note
	description: "Summary description for {CIL_SEH_DATA}."
	date: "$Date$"
	revision: "$Revision$"

class
	CIL_SEH_DATA

create
	make

feature {NONE} -- Initialization

	make
		do
				-- by default flags its initialized with
				-- exception.
			create flags.exception
		end

feature -- Access

	try_offset: NATURAL_64 assign set_try_offset
	try_length: NATURAL_64 assign set_try_length
	handler_offset: NATURAL_64 assign set_handler_offset
	handler_length: NATURAL_64 assign set_handler_length

		-- Defined as a union
	filter_offset: NATURAL_64 assign set_filter_offset
	class_token: NATURAL_64 assign set_class_token

	flags: CIL_SEH_DATA_ENUM assign set_flags


feature -- Element change

	set_try_offset (a_offset: NATURAL_64)
			-- Set `try_offset` with `a_offset`.
		do
			try_offset := a_offset
		ensure
			try_offset_set: try_offset = a_offset
		end

	set_try_length (a_length: NATURAL_64)
			-- Set `try_length` with `a_length`
		do
			try_length := a_length
		ensure
			try_length_set: try_length = a_length
		end

	set_handler_offset (a_offset: NATURAL_64)
			-- Set `handler_offset` with `a_offset`
		do
			handler_offset := a_offset
		ensure
			handler_offset_set: handler_offset = a_offset
		end

	set_handler_length (a_length: NATURAL_64)
			-- Set `handler_length` with `a_length`
		do
			handler_length := a_length
		ensure
			handler_length_set: handler_length = a_length
		end

	set_filter_offset (a_offset: NATURAL_64)
			-- Set `filter_offset` with `a_offset`.
		do
			filter_offset := a_offset
		ensure
			filter_offset_set: filter_offset = a_offset
		end

	set_class_token (a_token: NATURAL_64)
			-- Set `class_token` with `a_token`
		do
			class_token := a_token
		ensure
			class_token_set: class_token = a_token
		end

	set_flags (a_flags: CIL_SEH_DATA_ENUM)
			-- `set_flags' with `a_flags`.
		do
			flags := a_flags
		ensure
			falgs_set: flags = a_flags
		end


feature -- Element Change




end