indexing

	description: "[

		User event

	]"
	date: "$Date$"
	revision: "$Revision$"

class EM_USER_EVENT

inherit

	EM_EVENT
		redefine
			make
		end

create

	make

feature {NONE} -- Initialization

	make (a_pointer: POINTER) is
			-- Create a user event.
		do
			Precursor (a_pointer)
			create sdl_user_event_struct.make_shared (a_pointer)
		end

feature -- Queries

	-- Todo: Complete queries.

feature {NONE} -- Implementation

	sdl_user_event_struct: SDL_USER_EVENT_STRUCT
			-- The struct

invariant

	sdl_user_event_struct_not_void: sdl_user_event_struct /= Void

end