note
	description: "External of the SDL2 library."
	author: "Louis Marchand"
	date: "Thu, 02 Apr 2015 02:40:10 +0000"
	revision: "2.0"

class interface
	GAME_SDL_EXTERNAL

create 
	default_create
			-- Process instances of classes with no creation clause.
			-- (Default: do nothing.)
			-- (from ANY)

feature -- Access

	generating_type: TYPE [detachable GAME_SDL_EXTERNAL]
			-- Type of current object
			-- (type of which it is a direct instance)
			-- (from ANY)
		ensure -- from ANY
			generating_type_not_void: Result /= Void

	generator: STRING_8
			-- Name of current object's generating class
			-- (base class of the type of which it is a direct instance)
			-- (from ANY)
		ensure -- from ANY
			generator_not_void: Result /= Void
			generator_not_empty: not Result.is_empty
	
feature -- Comparison

	frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void
			-- or attached to isomorphic object structures?
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			shallow_implies_deep: standard_equal (a, b) implies Result
			both_or_none_void: (a = Void) implies (Result = (b = Void))
			same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b))
			symmetric: Result implies deep_equal (b, a)

	frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void or attached
			-- to objects considered equal?
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b))

	frozen is_deep_equal alias "≡≡≡" (other: GAME_SDL_EXTERNAL): BOOLEAN
			-- Are Current and other attached to isomorphic object structures?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			shallow_implies_deep: standard_is_equal (other) implies Result
			same_type: Result implies same_type (other)
			symmetric: Result implies other.is_deep_equal (Current)

	is_equal (other: GAME_SDL_EXTERNAL): BOOLEAN
			-- Is other attached to an object considered
			-- equal to current object?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			symmetric: Result implies other ~ Current
			consistent: standard_is_equal (other) implies Result

	frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN
			-- Are a and b either both void or attached to
			-- field-by-field identical objects of the same type?
			-- Always uses default object comparison criterion.
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b))

	frozen standard_is_equal alias "" (other: GAME_SDL_EXTERNAL): BOOLEAN
			-- Is other attached to an object of the same type
			-- as current object, and field-by-field identical to it?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			same_type: Result implies same_type (other)
			symmetric: Result implies other.standard_is_equal (Current)
	
feature -- Status report

	conforms_to (other: ANY): BOOLEAN
			-- Does type of current object conform to type
			-- of other (as per Eiffel: The Language, chapter 13)?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void

	same_type (other: ANY): BOOLEAN
			-- Is type of current object identical to type of other?
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			definition: Result = (conforms_to (other) and other.conforms_to (Current))
	
feature -- Duplication

	copy (other: GAME_SDL_EXTERNAL)
			-- Update current object using fields of object attached
			-- to other, so as to yield equal objects.
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
			type_identity: same_type (other)
		ensure -- from ANY
			is_equal: Current ~ other

	frozen deep_copy (other: GAME_SDL_EXTERNAL)
			-- Effect equivalent to that of:
			--		copy (other . deep_twin)
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
		ensure -- from ANY
			deep_equal: deep_equal (Current, other)

	frozen deep_twin: GAME_SDL_EXTERNAL
			-- New object structure recursively duplicated from Current.
			-- (from ANY)
		ensure -- from ANY
			deep_twin_not_void: Result /= Void
			deep_equal: deep_equal (Current, Result)

	frozen standard_copy (other: GAME_SDL_EXTERNAL)
			-- Copy every field of other onto corresponding field
			-- of current object.
			-- (from ANY)
		require -- from ANY
			other_not_void: other /= Void
			type_identity: same_type (other)
		ensure -- from ANY
			is_standard_equal: standard_is_equal (other)

	frozen standard_twin: GAME_SDL_EXTERNAL
			-- New object field-by-field identical to other.
			-- Always uses default copying semantics.
			-- (from ANY)
		ensure -- from ANY
			standard_twin_not_void: Result /= Void
			equal: standard_equal (Result, Current)

	frozen twin: GAME_SDL_EXTERNAL
			-- New object equal to Current
			-- twin calls copy; to change copying/twinning semantics, redefine copy.
			-- (from ANY)
		ensure -- from ANY
			twin_not_void: Result /= Void
			is_equal: Result ~ Current
	
feature -- Basic operations

	frozen default: detachable GAME_SDL_EXTERNAL
			-- Default value of object's type
			-- (from ANY)

	frozen default_pointer: POINTER
			-- Default value of type POINTER
			-- (Avoid the need to write p.default for
			-- some p of type POINTER.)
			-- (from ANY)
		ensure -- from ANY
			instance_free: class

	default_rescue
			-- Process exception for routines with no Rescue clause.
			-- (Default: do nothing.)
			-- (from ANY)

	frozen do_nothing
			-- Execute a null action.
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
	
feature -- Constants

	frozen kmod_alt: NATURAL_16

	frozen kmod_caps: NATURAL_16

	frozen kmod_ctrl: NATURAL_16

	frozen kmod_gui: NATURAL_16

	frozen kmod_lalt: NATURAL_16

	frozen kmod_lctrl: NATURAL_16

	frozen kmod_lgui: NATURAL_16

	frozen kmod_lshift: NATURAL_16

	frozen kmod_mode: NATURAL_16

	frozen kmod_none: NATURAL_16

	frozen kmod_num: NATURAL_16

	frozen kmod_ralt: NATURAL_16

	frozen kmod_rctrl: NATURAL_16

	frozen kmod_rgui: NATURAL_16

	frozen kmod_rshift: NATURAL_16

	frozen kmod_shift: NATURAL_16

	frozen sdl_arrayorder_abgr: NATURAL_32

	frozen sdl_arrayorder_argb: NATURAL_32

	frozen sdl_arrayorder_bgr: NATURAL_32

	frozen sdl_arrayorder_bgra: NATURAL_32

	frozen sdl_arrayorder_none: NATURAL_32

	frozen sdl_arrayorder_rgb: NATURAL_32

	frozen sdl_arrayorder_rgba: NATURAL_32

	frozen sdl_bitmaporder_1234: NATURAL_32

	frozen sdl_bitmaporder_4321: NATURAL_32

	frozen sdl_bitmaporder_none: NATURAL_32

	frozen sdl_blendmode_add: INTEGER_32

	frozen sdl_blendmode_blend: INTEGER_32

	frozen sdl_blendmode_mod: INTEGER_32

	frozen sdl_blendmode_none: INTEGER_32

	frozen sdl_button_left: NATURAL_32

	frozen sdl_button_lmask: NATURAL_32

	frozen sdl_button_middle: NATURAL_32

	frozen sdl_button_mmask: NATURAL_32

	frozen sdl_button_right: NATURAL_32

	frozen sdl_button_rmask: NATURAL_32

	frozen sdl_button_x1: NATURAL_32

	frozen sdl_button_x1mask: NATURAL_32

	frozen sdl_button_x2: NATURAL_32

	frozen sdl_button_x2mask: NATURAL_32

	frozen sdl_controlleraxismotion: NATURAL_32

	frozen sdl_controllerbuttondown: NATURAL_32

	frozen sdl_controllerbuttonup: NATURAL_32

	frozen sdl_controllerdeviceadded: NATURAL_32

	frozen sdl_controllerdeviceremapped: NATURAL_32

	frozen sdl_controllerdeviceremoved: NATURAL_32

	frozen sdl_disable: INTEGER_32

	frozen sdl_dollargesture: NATURAL_32

	frozen sdl_dollarrecord: NATURAL_32

	frozen sdl_dropfile: NATURAL_32

	frozen sdl_enable: INTEGER_32

	frozen sdl_false: INTEGER_32

	frozen sdl_fingerdown: NATURAL_32

	frozen sdl_fingermotion: NATURAL_32

	frozen sdl_fingerup: NATURAL_32

	frozen sdl_flip_horizontal: INTEGER_32

	frozen sdl_flip_none: INTEGER_32

	frozen sdl_flip_vertical: INTEGER_32

	frozen sdl_gl_accelerated_visual: INTEGER_32

	frozen sdl_gl_accum_alpha_size: INTEGER_32

	frozen sdl_gl_accum_blue_size: INTEGER_32

	frozen sdl_gl_accum_green_size: INTEGER_32

	frozen sdl_gl_accum_red_size: INTEGER_32

	frozen sdl_gl_alpha_size: INTEGER_32

	frozen sdl_gl_blue_size: INTEGER_32

	frozen sdl_gl_buffer_size: INTEGER_32

	frozen sdl_gl_context_debug_flag: INTEGER_32

	frozen sdl_gl_context_flags: INTEGER_32

	frozen sdl_gl_context_forward_compatible_flag: INTEGER_32

	frozen sdl_gl_context_major_version: INTEGER_32

	frozen sdl_gl_context_minor_version: INTEGER_32

	frozen sdl_gl_context_profile_compatibility: INTEGER_32

	frozen sdl_gl_context_profile_core: INTEGER_32

	frozen sdl_gl_context_profile_es: INTEGER_32

	frozen sdl_gl_context_profile_mask: INTEGER_32

	frozen sdl_gl_context_reset_isolation_flag: INTEGER_32

	frozen sdl_gl_context_robust_access_flag: INTEGER_32

	frozen sdl_gl_depth_size: INTEGER_32

	frozen sdl_gl_doublebuffer: INTEGER_32

	frozen sdl_gl_framebuffer_srgb_capable: INTEGER_32

	frozen sdl_gl_green_size: INTEGER_32

	frozen sdl_gl_multisamplebuffers: INTEGER_32

	frozen sdl_gl_multisamplesamples: INTEGER_32

	frozen sdl_gl_red_size: INTEGER_32

	frozen sdl_gl_share_with_current_context: INTEGER_32

	frozen sdl_gl_stencil_size: INTEGER_32

	frozen sdl_gl_stereo: INTEGER_32

	frozen sdl_haptic_autocenter: NATURAL_32

	frozen sdl_haptic_cartesian: NATURAL_8

	frozen sdl_haptic_constant: NATURAL_32

	frozen sdl_haptic_custom: NATURAL_32

	frozen sdl_haptic_damper: NATURAL_32

	frozen sdl_haptic_friction: NATURAL_32

	frozen sdl_haptic_gain: NATURAL_32

	frozen sdl_haptic_inertia: NATURAL_32

	frozen sdl_haptic_infinity: NATURAL_32

	frozen sdl_haptic_leftright: NATURAL_32

	frozen sdl_haptic_pause: NATURAL_32

	frozen sdl_haptic_polar: NATURAL_8

	frozen sdl_haptic_ramp: NATURAL_32

	frozen sdl_haptic_sawtoothdown: NATURAL_32

	frozen sdl_haptic_sawtoothup: NATURAL_32

	frozen sdl_haptic_sine: NATURAL_32

	frozen sdl_haptic_spherical: NATURAL_8

	frozen sdl_haptic_spring: NATURAL_32

	frozen sdl_haptic_status: NATURAL_32

	frozen sdl_haptic_triangle: NATURAL_32

	frozen sdl_hat_centered: NATURAL_8

	frozen sdl_hat_down: NATURAL_8

	frozen sdl_hat_left: NATURAL_8

	frozen sdl_hat_leftdown: NATURAL_8

	frozen sdl_hat_leftup: NATURAL_8

	frozen sdl_hat_right: NATURAL_8

	frozen sdl_hat_rightdown: NATURAL_8

	frozen sdl_hat_rightup: NATURAL_8

	frozen sdl_hat_up: NATURAL_8

	frozen sdl_init_audio: NATURAL_32

	frozen sdl_init_events: NATURAL_32

	frozen sdl_init_everything: NATURAL_32

	frozen sdl_init_gamecontroller: NATURAL_32

	frozen sdl_init_haptic: NATURAL_32

	frozen sdl_init_joystick: NATURAL_32

	frozen sdl_init_noparachute: NATURAL_32

	frozen sdl_init_timer: NATURAL_32

	frozen sdl_init_video: NATURAL_32

	frozen sdl_joyaxismotion: NATURAL_32

	frozen sdl_joyballmotion: NATURAL_32

	frozen sdl_joybuttondown: NATURAL_32

	frozen sdl_joybuttonup: NATURAL_32

	frozen sdl_joydeviceadded: NATURAL_32

	frozen sdl_joydeviceremoved: NATURAL_32

	frozen sdl_joyhatmotion: NATURAL_32

	frozen sdl_keydown: NATURAL_32

	frozen sdl_keyup: NATURAL_32

	frozen sdl_mousebuttondown: NATURAL_32

	frozen sdl_mousebuttonup: NATURAL_32

	frozen sdl_mousemotion: NATURAL_32

	frozen sdl_mousewheel: NATURAL_32

	frozen sdl_multigesture: NATURAL_32

	frozen sdl_packedlayout_1010102: NATURAL_32

	frozen sdl_packedlayout_1555: NATURAL_32

	frozen sdl_packedlayout_2101010: NATURAL_32

	frozen sdl_packedlayout_332: NATURAL_32

	frozen sdl_packedlayout_4444: NATURAL_32

	frozen sdl_packedlayout_5551: NATURAL_32

	frozen sdl_packedlayout_565: NATURAL_32

	frozen sdl_packedlayout_8888: NATURAL_32

	frozen sdl_packedlayout_none: NATURAL_32

	frozen sdl_packedorder_abgr: NATURAL_32

	frozen sdl_packedorder_argb: NATURAL_32

	frozen sdl_packedorder_bgra: NATURAL_32

	frozen sdl_packedorder_bgrx: NATURAL_32

	frozen sdl_packedorder_none: NATURAL_32

	frozen sdl_packedorder_rgba: NATURAL_32

	frozen sdl_packedorder_rgbx: NATURAL_32

	frozen sdl_packedorder_xbgr: NATURAL_32

	frozen sdl_packedorder_xrgb: NATURAL_32

	frozen sdl_pixelformat_abgr1555: NATURAL_32

	frozen sdl_pixelformat_abgr4444: NATURAL_32

	frozen sdl_pixelformat_abgr8888: NATURAL_32

	frozen sdl_pixelformat_argb1555: NATURAL_32

	frozen sdl_pixelformat_argb2101010: NATURAL_32

	frozen sdl_pixelformat_argb4444: NATURAL_32

	frozen sdl_pixelformat_argb8888: NATURAL_32

	frozen sdl_pixelformat_bgr24: NATURAL_32

	frozen sdl_pixelformat_bgr555: NATURAL_32

	frozen sdl_pixelformat_bgr565: NATURAL_32

	frozen sdl_pixelformat_bgr888: NATURAL_32

	frozen sdl_pixelformat_bgra4444: NATURAL_32

	frozen sdl_pixelformat_bgra5551: NATURAL_32

	frozen sdl_pixelformat_bgra8888: NATURAL_32

	frozen sdl_pixelformat_bgrx8888: NATURAL_32

	frozen sdl_pixelformat_index1lsb: NATURAL_32

	frozen sdl_pixelformat_index1msb: NATURAL_32

	frozen sdl_pixelformat_index4lsb: NATURAL_32

	frozen sdl_pixelformat_index4msb: NATURAL_32

	frozen sdl_pixelformat_index8: NATURAL_32

	frozen sdl_pixelformat_iyuv: NATURAL_32

	frozen sdl_pixelformat_rgb24: NATURAL_32

	frozen sdl_pixelformat_rgb332: NATURAL_32

	frozen sdl_pixelformat_rgb444: NATURAL_32

	frozen sdl_pixelformat_rgb555: NATURAL_32

	frozen sdl_pixelformat_rgb565: NATURAL_32

	frozen sdl_pixelformat_rgb888: NATURAL_32

	frozen sdl_pixelformat_rgba4444: NATURAL_32

	frozen sdl_pixelformat_rgba5551: NATURAL_32

	frozen sdl_pixelformat_rgba8888: NATURAL_32

	frozen sdl_pixelformat_rgbx8888: NATURAL_32

	frozen sdl_pixelformat_unknown: NATURAL_32

	frozen sdl_pixelformat_uyvy: NATURAL_32

	frozen sdl_pixelformat_yuy2: NATURAL_32

	frozen sdl_pixelformat_yv12: NATURAL_32

	frozen sdl_pixelformat_yvyu: NATURAL_32

	frozen sdl_pixeltype_arrayf16: NATURAL_32

	frozen sdl_pixeltype_arrayf32: NATURAL_32

	frozen sdl_pixeltype_arrayu16: NATURAL_32

	frozen sdl_pixeltype_arrayu32: NATURAL_32

	frozen sdl_pixeltype_arrayu8: NATURAL_32

	frozen sdl_pixeltype_index1: NATURAL_32

	frozen sdl_pixeltype_index4: NATURAL_32

	frozen sdl_pixeltype_index8: NATURAL_32

	frozen sdl_pixeltype_packed16: NATURAL_32

	frozen sdl_pixeltype_packed32: NATURAL_32

	frozen sdl_pixeltype_packed8: NATURAL_32

	frozen sdl_pixeltype_unknown: NATURAL_32

	frozen sdl_powerstate_charged: NATURAL_32

	frozen sdl_powerstate_charging: NATURAL_32

	frozen sdl_powerstate_no_battery: NATURAL_32

	frozen sdl_powerstate_on_battery: NATURAL_32

	frozen sdl_powerstate_unknown: NATURAL_32

	frozen sdl_query: INTEGER_32

	frozen sdl_quit: NATURAL_32

	frozen sdl_renderer_accelerated: NATURAL_32

	frozen sdl_renderer_presentvsync: NATURAL_32

	frozen sdl_renderer_software: NATURAL_32

	frozen sdl_renderer_targettexture: NATURAL_32

	frozen sdl_system_cursor_arrow: INTEGER_32

	frozen sdl_system_cursor_crosshair: INTEGER_32

	frozen sdl_system_cursor_hand: INTEGER_32

	frozen sdl_system_cursor_ibeam: INTEGER_32

	frozen sdl_system_cursor_no: INTEGER_32

	frozen sdl_system_cursor_sizeall: INTEGER_32

	frozen sdl_system_cursor_sizenesw: INTEGER_32

	frozen sdl_system_cursor_sizens: INTEGER_32

	frozen sdl_system_cursor_sizenwse: INTEGER_32

	frozen sdl_system_cursor_sizewe: INTEGER_32

	frozen sdl_system_cursor_wait: INTEGER_32

	frozen sdl_system_cursor_waitarrow: INTEGER_32

	frozen sdl_syswm_cocoa: INTEGER_32

	frozen sdl_syswm_directfb: INTEGER_32

	frozen sdl_syswm_uikit: INTEGER_32

	frozen sdl_syswm_unknown: INTEGER_32

	frozen sdl_syswm_windows: INTEGER_32

	frozen sdl_syswm_x11: INTEGER_32

	frozen sdl_textediting: NATURAL_32

	frozen sdl_textinput: NATURAL_32

	frozen sdl_textureaccess_static: INTEGER_32

	frozen sdl_textureaccess_streaming: INTEGER_32

	frozen sdl_textureaccess_target: INTEGER_32

	frozen sdl_touch_mouseid: NATURAL_32

	frozen sdl_true: INTEGER_32

	frozen sdl_window_borderless: NATURAL_32

	frozen sdl_window_foreign: NATURAL_32

	frozen sdl_window_fullscreen: NATURAL_32

	frozen sdl_window_fullscreen_desktop: NATURAL_32

	frozen sdl_window_hidden: NATURAL_32

	frozen sdl_window_input_focus: NATURAL_32

	frozen sdl_window_input_grabbed: NATURAL_32

	frozen sdl_window_maximized: NATURAL_32

	frozen sdl_window_minimized: NATURAL_32

	frozen sdl_window_mouse_focus: NATURAL_32

	frozen sdl_window_opengl: NATURAL_32

	frozen sdl_window_resizable: NATURAL_32

	frozen sdl_window_shown: NATURAL_32

	frozen sdl_windowevent: NATURAL_32

	frozen sdl_windowevent_close: NATURAL_8

	frozen sdl_windowevent_enter: NATURAL_8

	frozen sdl_windowevent_exposed: NATURAL_8

	frozen sdl_windowevent_focus_gained: NATURAL_8

	frozen sdl_windowevent_focus_lost: NATURAL_8

	frozen sdl_windowevent_hidden: NATURAL_8

	frozen sdl_windowevent_leave: NATURAL_8

	frozen sdl_windowevent_maximized: NATURAL_8

	frozen sdl_windowevent_minimized: NATURAL_8

	frozen sdl_windowevent_moved: NATURAL_8

	frozen sdl_windowevent_resized: NATURAL_8

	frozen sdl_windowevent_restored: NATURAL_8

	frozen sdl_windowevent_shown: NATURAL_8

	frozen sdl_windowevent_size_changed: NATURAL_8

	frozen sdl_windowpos_centered: INTEGER_32
	
feature -- Function SDL.h

	frozen c_sdl_joystickgetdeviceguidstring (deviceindex: INTEGER_32; pszguid: POINTER; cbguid: INTEGER_32)

	frozen c_sdl_joystickgetguidstring (joystick, pszguid: POINTER; cbguid: INTEGER_32)

	frozen sdl_allocformat (pixel_format: NATURAL_32): POINTER

	frozen sdl_allocpalette (ncolors: INTEGER_32): POINTER

	frozen sdl_allocrw: POINTER

	frozen sdl_bitsperpixel (format: NATURAL_32): INTEGER_32

	frozen sdl_blitscaled (src, srcrect, dst, dstrect: POINTER): INTEGER_32

	frozen sdl_blitsurface (src, srcrect, dst, dstrect: POINTER): INTEGER_32

	frozen sdl_bytesperpixel (format: NATURAL_32): INTEGER_32

	frozen sdl_clearerror

	frozen sdl_convertsurface (src, fmt: POINTER; flags: NATURAL_32): POINTER

	frozen sdl_convertsurfaceformat (src: POINTER; pixel_format, flags: NATURAL_32): POINTER

	frozen sdl_createcolorcursor (surface: POINTER; hot_x, hot_y: INTEGER_32): POINTER

	frozen sdl_createrenderer (window: POINTER; index: INTEGER_32; flags: NATURAL_32): POINTER

	frozen sdl_creatergbsurface (flags: NATURAL_32; width, height, depth: INTEGER_32; rmask, gmask, bmask, amask: NATURAL_32): POINTER

	frozen sdl_createsystemcursor (id: INTEGER_32): POINTER

	frozen sdl_createtexture (renderer: POINTER; format: NATURAL_32; access, w, h: INTEGER_32): POINTER

	frozen sdl_createtexturefromsurface (renderer, surface: POINTER): POINTER

	frozen sdl_createwindow (title: POINTER; x, y, w, h: INTEGER_32; flags: NATURAL_32): POINTER

	frozen sdl_delay (ms: NATURAL_32)

	frozen sdl_destroyrenderer (renderer: POINTER)

	frozen sdl_destroytexture (texture: POINTER)

	frozen sdl_destroywindow (window: POINTER)

	frozen sdl_eventstate (type: NATURAL_32; state: INTEGER_32): NATURAL_8

	frozen sdl_fillrect (dst, rect: POINTER; collor: NATURAL_32): INTEGER_32

	frozen sdl_fillrects (dst, rects: POINTER; count: INTEGER_32; collor: NATURAL_32): INTEGER_32

	frozen sdl_free (mem: POINTER)

	frozen sdl_freecursor (cursor: POINTER)

	frozen sdl_freeformat (format: POINTER)

	frozen sdl_freepalette (palette: POINTER)

	frozen sdl_freerw (area: POINTER)

	frozen sdl_freesurface (surface: POINTER)

	frozen sdl_getbasepath: POINTER

	frozen sdl_getclipboardtext: POINTER

	frozen sdl_getclosestdisplaymode (displayindex: INTEGER_32; mode, closest: POINTER): POINTER

	frozen sdl_getcolorkey (surface, key: POINTER): INTEGER_32

	frozen sdl_getcurrentdisplaymode (displayindex: INTEGER_32; mode: POINTER): INTEGER_32

	frozen sdl_getcursor: POINTER

	frozen sdl_getdefaultcursor: POINTER

	frozen sdl_getdesktopdisplaymode (displayindex: INTEGER_32; mode: POINTER): INTEGER_32

	frozen sdl_getdisplaybounds (displayindex: INTEGER_32; rect: POINTER): INTEGER_32

	frozen sdl_getdisplaymode (displayindex, modeindex: INTEGER_32; mode: POINTER): INTEGER_32

	frozen sdl_getdisplayname (displayindex: INTEGER_32): POINTER

	frozen sdl_getenv (name: POINTER): POINTER

	frozen sdl_geterror: POINTER

	frozen sdl_getmousestate (x, y: POINTER): NATURAL_32

	frozen sdl_getnumdisplaymodes (displayindex: INTEGER_32): INTEGER_32

	frozen sdl_getnumrenderdrivers: INTEGER_32

	frozen sdl_getnumtouchdevices: INTEGER_32

	frozen sdl_getnumtouchfingers (touchid: INTEGER_64): INTEGER_32

	frozen sdl_getnumvideodisplays: INTEGER_32

	frozen sdl_getpowerinfo (secs, pct: POINTER): NATURAL_32

	frozen sdl_getprefpath (org, app: POINTER): POINTER

	frozen sdl_getrelativemousemode: BOOLEAN

	frozen sdl_getrenderdrawblendmode (renderer, blendmode: POINTER): INTEGER_32

	frozen sdl_getrenderdrawcolor (renderer, r, g, b, a: POINTER): INTEGER_32

	frozen sdl_getrenderdriverinfo (index: INTEGER_32; info: POINTER): INTEGER_32

	frozen sdl_getrenderer (window: POINTER): POINTER

	frozen sdl_getrendererinfo (renderer, info: POINTER): INTEGER_32

	frozen sdl_getrendereroutputsize (renderer, w, h: POINTER): INTEGER_32

	frozen sdl_getrgba (pixel: NATURAL_32; format, r, g, b, a: POINTER)

	frozen sdl_getsurfacealphamod (surface, alpha: POINTER): INTEGER_32

	frozen sdl_getsurfaceblendmode (surface, blendmode: POINTER): INTEGER_32

	frozen sdl_getsurfacecolormod (surface, r, g, b: POINTER): INTEGER_32

	frozen sdl_gettexturealphamod (texture, alpha: POINTER): INTEGER_32

	frozen sdl_gettextureblendmode (texture, blendmode: POINTER): INTEGER_32

	frozen sdl_gettexturecolormod (texture, r, g, b: POINTER): INTEGER_32

	frozen sdl_getticks: NATURAL_32

	frozen sdl_gettouchdevice (index: INTEGER_32): INTEGER_64

	frozen sdl_gettouchfinger (touchid: INTEGER_64; index: INTEGER_32): POINTER

	frozen sdl_getwindowbrightness (window: POINTER): REAL_32

	frozen sdl_getwindowdisplayindex (window: POINTER): INTEGER_32

	frozen sdl_getwindowdisplaymode (window, mode: POINTER): INTEGER_32

	frozen sdl_getwindowflags (window: POINTER): NATURAL_32

	frozen sdl_getwindowgammaramp (window, red, green, blue: POINTER): INTEGER_32

	frozen sdl_getwindowgrab (window: POINTER): BOOLEAN

	frozen sdl_getwindowid (window: POINTER): NATURAL_32

	frozen sdl_getwindowmaximumsize (window, w, h: POINTER)

	frozen sdl_getwindowminimumsize (window, w, h: POINTER)

	frozen sdl_getwindowpixelformat (window: POINTER): NATURAL_32

	frozen sdl_getwindowposition (window, x, y: POINTER)

	frozen sdl_getwindowsize (window, w, h: POINTER)

	frozen sdl_getwindowsurface (window: POINTER): POINTER

	frozen sdl_getwindowtitle (window: POINTER): POINTER

	frozen sdl_getwindowwminfo (window, info: POINTER): BOOLEAN

	frozen sdl_gl_createcontext (a_window: POINTER): POINTER

	frozen sdl_gl_deletecontext (a_context: POINTER)

	frozen sdl_gl_getattribute (a_attr: INTEGER_32; a_value: POINTER): INTEGER_32

	frozen sdl_gl_getdrawablesize (a_window, a_width, a_height: POINTER)

	frozen sdl_gl_getswapinterval: INTEGER_32

	frozen sdl_gl_loadlibrary (a_path: POINTER): INTEGER_32

	frozen sdl_gl_resetattributes

	frozen sdl_gl_setattribute (a_attr, a_value: INTEGER_32): INTEGER_32

	frozen sdl_gl_setswapinterval (a_interval: INTEGER_32): INTEGER_32

	frozen sdl_gl_swapwindow (a_window: POINTER)

	frozen sdl_gl_unloadlibrary

	frozen sdl_hapticclose (haptic: POINTER)

	frozen sdl_hapticdestroyeffect (hapti: POINTER; effect: INTEGER_32)

	frozen sdl_hapticeffectsupported (haptic, effect: POINTER): INTEGER_32

	frozen sdl_hapticgeteffectstatus (hapti: POINTER; effect: INTEGER_32): INTEGER_32

	frozen sdl_hapticname (device_index: INTEGER_32): POINTER

	frozen sdl_hapticneweffect (haptic, effect: POINTER): INTEGER_32

	frozen sdl_hapticnumaxes (haptic: POINTER): INTEGER_32

	frozen sdl_hapticnumeffects (haptic: POINTER): INTEGER_32

	frozen sdl_hapticnumeffectsplaying (haptic: POINTER): INTEGER_32

	frozen sdl_hapticopen (device_index: INTEGER_32): POINTER

	frozen sdl_hapticopened (device_index: INTEGER_32): BOOLEAN

	frozen sdl_hapticopenfromjoystick (joystick: POINTER): POINTER

	frozen sdl_hapticopenfrommouse: POINTER

	frozen sdl_hapticpause (haptic: POINTER): INTEGER_32

	frozen sdl_hapticquery (haptic: POINTER): NATURAL_32

	frozen sdl_hapticrumbleinit (haptic: POINTER): INTEGER_32

	frozen sdl_hapticrumbleplay (haptic: POINTER; strength: REAL_32; length: NATURAL_32): INTEGER_32

	frozen sdl_hapticrumblestop (haptic: POINTER): INTEGER_32

	frozen sdl_hapticrumblesupported (haptic: POINTER): BOOLEAN

	frozen sdl_hapticruneffect (hapti: POINTER; effect: INTEGER_32; iteration: NATURAL_32): INTEGER_32

	frozen sdl_hapticsetgain (haptic: POINTER; gain: INTEGER_32): INTEGER_32

	frozen sdl_hapticstopall (haptic: POINTER): INTEGER_32

	frozen sdl_hapticstopeffect (hapti: POINTER; effect: INTEGER_32): INTEGER_32

	frozen sdl_hapticunpause (haptic: POINTER): INTEGER_32

	frozen sdl_hasclipboardtext: BOOLEAN

	frozen sdl_hidewindow (window: POINTER)

	frozen sdl_init (flags: NATURAL_32): INTEGER_32

	frozen sdl_initsubsystem (flags: NATURAL_32): INTEGER_32

	frozen sdl_ispixelformat_alpha (format: NATURAL_32): BOOLEAN

	frozen sdl_ispixelformat_fourcc (format: NATURAL_32): BOOLEAN

	frozen sdl_ispixelformat_indexed (format: NATURAL_32): BOOLEAN

	frozen sdl_istextinputactive: BOOLEAN

	frozen sdl_joystickclose (joystick: POINTER)

	frozen sdl_joystickeventstate (state: INTEGER_32): INTEGER_32

	frozen sdl_joystickgetattached (joystick: POINTER): BOOLEAN

	frozen sdl_joystickgetaxis (joystick: POINTER; axis: INTEGER_32): INTEGER_16

	frozen sdl_joystickgetball (joystick: POINTER; ball: INTEGER_32; dx, dy: POINTER): INTEGER_32

	frozen sdl_joystickgetbutton (joystick: POINTER; button: INTEGER_32): BOOLEAN

	frozen sdl_joystickgethat (joystick: POINTER; hat: INTEGER_32): NATURAL_8

	frozen sdl_joystickinstanceid (joystick: POINTER): INTEGER_32

	frozen sdl_joystickishaptic (joystick: POINTER): INTEGER_32

	frozen sdl_joystickname (joystick: POINTER): POINTER

	frozen sdl_joysticknameforindex (device_index: INTEGER_32): POINTER

	frozen sdl_joysticknumaxes (joystick: POINTER): INTEGER_32

	frozen sdl_joysticknumballs (joystick: POINTER): INTEGER_32

	frozen sdl_joysticknumbuttons (joystick: POINTER): INTEGER_32

	frozen sdl_joysticknumhats (joystick: POINTER): INTEGER_32

	frozen sdl_joystickopen (device_index: INTEGER_32): POINTER

	frozen sdl_joystickupdate

	frozen sdl_loadbmp (file: POINTER): POINTER

	frozen sdl_loadbmp_rw (src: POINTER; freesrc: INTEGER_32): POINTER

	frozen sdl_loaddollartemplates (touchid: INTEGER_64; src: POINTER): INTEGER_32

	frozen sdl_locksurface (a_surface: POINTER): INTEGER_32

	frozen sdl_locktexture (texture, rect, pixels, pitch: POINTER): INTEGER_32

	frozen sdl_maprgb (format: POINTER; r, g, b: NATURAL_8): NATURAL_32

	frozen sdl_maprgba (format: POINTER; r, g, b, a: NATURAL_8): NATURAL_32

	frozen sdl_maskstopixelformatenum (bpp: INTEGER_32; rmask, gmask, bmask, amask: NATURAL_32): NATURAL_32

	frozen sdl_maximizewindow (window: POINTER)

	frozen sdl_minimizewindow (window: POINTER)

	frozen sdl_mouseishaptic: BOOLEAN

	frozen sdl_mustlock (surface: POINTER): BOOLEAN

	frozen sdl_numhaptics: INTEGER_32

	frozen sdl_numjoysticks: INTEGER_32

	frozen sdl_pixelformatenumtomasks (format: NATURAL_32; bpp, rmask, gmask, bmask, amask: POINTER): BOOLEAN

	frozen sdl_pixellayout (format: NATURAL_32): NATURAL_32

	frozen sdl_pixelorder (format: NATURAL_32): NATURAL_32

	frozen sdl_pixeltype (format: NATURAL_32): NATURAL_32

	frozen sdl_pollevent (event: POINTER): INTEGER_32

	frozen sdl_querytexture (texture, format, access, w, h: POINTER): INTEGER_32

	frozen sdl_quit_lib

	frozen sdl_quitsubsystem (flags: NATURAL_32)

	frozen sdl_raisewindow (window: POINTER)

	frozen sdl_recordgesture (touchid: INTEGER_64): INTEGER_32

	frozen sdl_renderclear (renderer: POINTER): INTEGER_32

	frozen sdl_rendercopy (renderer, texture, srcrect, dstrect: POINTER): INTEGER_32

	frozen sdl_rendercopyex (renderer, texture, srcrect, dstrect: POINTER; angle: REAL_64; center: POINTER; flip: INTEGER_32): INTEGER_32

	frozen sdl_renderdrawline (renderer: POINTER; x1, y1, x2, y2: INTEGER_32): INTEGER_32

	frozen sdl_renderdrawlines (renderer, points: POINTER; count: INTEGER_32): INTEGER_32

	frozen sdl_renderdrawpoint (renderer: POINTER; x, y: INTEGER_32): INTEGER_32

	frozen sdl_renderdrawpoints (renderer, points: POINTER; count: INTEGER_32): INTEGER_32

	frozen sdl_renderdrawrect (renderer, rect: POINTER): INTEGER_32

	frozen sdl_renderdrawrects (renderer, rects: POINTER; count: INTEGER_32): INTEGER_32

	frozen sdl_renderfillrect (renderer, rect: POINTER): INTEGER_32

	frozen sdl_renderfillrects (renderer, rects: POINTER; count: INTEGER_32): INTEGER_32

	frozen sdl_rendergetcliprect (renderer, rect: POINTER)

	frozen sdl_rendergetlogicalsize (renderer, w, h: POINTER)

	frozen sdl_rendergetscale (renderer, scalex, scaley: POINTER)

	frozen sdl_rendergetviewport (renderer, rect: POINTER)

	frozen sdl_renderpresent (renderer: POINTER)

	frozen sdl_rendersetcliprect (renderer, rect: POINTER): INTEGER_32

	frozen sdl_rendersetlogicalsize (renderer: POINTER; w, h: INTEGER_32): INTEGER_32

	frozen sdl_rendersetscale (renderer: POINTER; scalex, scaley: REAL_32): INTEGER_32

	frozen sdl_rendersetviewport (renderer, rect: POINTER): INTEGER_32

	frozen sdl_restorewindow (window: POINTER)

	frozen sdl_rwclose (context: POINTER): INTEGER_32

	frozen sdl_rwfromconstmem (mem: POINTER; size: INTEGER_32): POINTER

	frozen sdl_rwfromfile (file, mode: POINTER): POINTER

	frozen sdl_rwfromfp (mem: POINTER; autoclose: BOOLEAN): POINTER

	frozen sdl_rwfrommem (mem: POINTER; size: INTEGER_32): POINTER

	frozen sdl_savealldollartemplates (dst: POINTER): INTEGER_32

	frozen sdl_savebmp (surface, file: POINTER): INTEGER_32

	frozen sdl_savedollartemplate (gestureid: INTEGER_64; dst: POINTER): INTEGER_32

	frozen sdl_setclipboardtext (text: POINTER): INTEGER_32

	frozen sdl_setcolorkey (surface: POINTER; flag: INTEGER_32; key: NATURAL_32): INTEGER_32

	frozen sdl_setcursor (cursor: POINTER)

	frozen sdl_setenv (name, value: POINTER; overwrite: BOOLEAN): INTEGER_32

	frozen sdl_setpixelformatpalette (format, palette: POINTER): INTEGER_32

	frozen sdl_setrelativemousemode (enable: BOOLEAN): INTEGER_32

	frozen sdl_setrenderdrawblendmode (renderer: POINTER; blendmode: INTEGER_32): INTEGER_32

	frozen sdl_setrenderdrawcolor (renderer: POINTER; r, g, b, a: NATURAL_8): INTEGER_32

	frozen sdl_setrendertarget (renderer, texture: POINTER): INTEGER_32

	frozen sdl_setsurfacealphamod (surface: POINTER; alpha: NATURAL_8): INTEGER_32

	frozen sdl_setsurfaceblendmode (surface: POINTER; blendmode: INTEGER_32): INTEGER_32

	frozen sdl_setsurfacecolormod (surface: POINTER; r, g, b: NATURAL_8): INTEGER_32

	frozen sdl_setsurfacerle (surface: POINTER; flag: INTEGER_32): INTEGER_32

	frozen sdl_settextinputrect (rect: POINTER)

	frozen sdl_settexturealphamod (texture: POINTER; blendmode: NATURAL_8): INTEGER_32

	frozen sdl_settextureblendmode (texture: POINTER; blendmode: INTEGER_32): INTEGER_32

	frozen sdl_settexturecolormod (texture: POINTER; r, g, b: NATURAL_8): INTEGER_32

	frozen sdl_setwindowbordered (window: POINTER; bordered: BOOLEAN)

	frozen sdl_setwindowbrightness (window: POINTER; brightness: REAL_32): INTEGER_32

	frozen sdl_setwindowdisplaymode (window, mode: POINTER): INTEGER_32

	frozen sdl_setwindowfullscreen (window: POINTER; flags: NATURAL_32): INTEGER_32

	frozen sdl_setwindowgammaramp (window, red, green, blue: POINTER): INTEGER_32

	frozen sdl_setwindowgrab (window: POINTER; grabbed: BOOLEAN)

	frozen sdl_setwindowicon (window, icon: POINTER)

	frozen sdl_setwindowmaximumsize (window: POINTER; max_w, max_h: INTEGER_32)

	frozen sdl_setwindowminimumsize (window: POINTER; min_w, min_h: INTEGER_32)

	frozen sdl_setwindowposition (window: POINTER; x, y: INTEGER_32)

	frozen sdl_setwindowsize (window: POINTER; w, h: INTEGER_32)

	frozen sdl_setwindowtitle (window, title: POINTER)

	frozen sdl_showcursor (toggle: INTEGER_32): INTEGER_32

	frozen sdl_showwindow (window: POINTER)

	frozen sdl_starttextinput

	frozen sdl_stoptextinput

	frozen sdl_unlocksurface (a_surface: POINTER)

	frozen sdl_unlocktexture (texture: POINTER)

	frozen sdl_updatetexture (texture, rect, pixels: POINTER; pitch: INTEGER_32): INTEGER_32

	frozen sdl_updatewindowsurface (window: POINTER): INTEGER_32

	frozen sdl_updatewindowsurfacerects (window, rects: POINTER; numrects: INTEGER_32): INTEGER_32

	frozen sdl_version_compile (x: POINTER)

	frozen sdl_warpmouseinwindow (window: POINTER; x, y: INTEGER_32)

	frozen sdl_wasinit (flags: NATURAL_32): NATURAL_32

	frozen sdl_windowpos_centered_display (display: INTEGER_32): INTEGER_32

	frozen sdl_windowpos_undefined: INTEGER_32

	frozen sdl_windowpos_undefined_display (display: INTEGER_32): INTEGER_32
	
feature -- Manual C function (implemented in sdl_additions.c)

	frozen setsdlrwops (rwop, cpf_infos: POINTER)
			-- Set a CustomPackageFileInfos in the SDL ressource reader.
	
feature -- Output

	Io: STD_FILES
			-- Handle to standard file setup
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			io_not_void: Result /= Void

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
			-- (from ANY)
		ensure -- from ANY
			out_not_void: Result /= Void

	print (o: detachable ANY)
			-- Write terse external representation of o
			-- on standard output.
			-- (from ANY)
		ensure -- from ANY
			instance_free: class

	frozen tagged_out: STRING_8
			-- New string containing terse printable representation
			-- of current object
			-- (from ANY)
		ensure -- from ANY
			tagged_out_not_void: Result /= Void
	
feature -- Platform

	Operating_environment: OPERATING_ENVIRONMENT
			-- Objects available from the operating system
			-- (from ANY)
		ensure -- from ANY
			instance_free: class
			operating_environment_not_void: Result /= Void
	
feature -- Structure SDL_Color SDL.h

	frozen c_sizeof_sdl_color: INTEGER_32
			-- Size of an SDL_Color C structure.

	frozen get_sdl_color_struct_a (ptr: POINTER): NATURAL_8
			-- the alpha component in the range 0-255

	frozen get_sdl_color_struct_b (ptr: POINTER): NATURAL_8
			-- the blue component in the range 0-255

	frozen get_sdl_color_struct_g (ptr: POINTER): NATURAL_8
			-- the green component in the range 0-255

	frozen get_sdl_color_struct_r (ptr: POINTER): NATURAL_8
			-- the red component in the range 0-255

	frozen set_sdl_color_struct_a (ptr: POINTER; value: NATURAL_8)
			-- the alpha component in the range 0-255

	frozen set_sdl_color_struct_b (ptr: POINTER; value: NATURAL_8)
			-- the blue component in the range 0-255

	frozen set_sdl_color_struct_g (ptr: POINTER; value: NATURAL_8)
			-- the green component in the range 0-255

	frozen set_sdl_color_struct_r (ptr: POINTER; value: NATURAL_8)
			-- the red component in the range 0-255
	
feature -- Structure SDL_CommonEvent SDL.h

	frozen c_sizeof_sdl_common_event: INTEGER_32
			-- Size of an SDL_CommonEvent C structure.

	frozen get_common_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_common_event_struct_type (event: POINTER): NATURAL_32
			-- Event type.

	frozen set_common_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_common_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type.
	
feature -- Structure SDL_ControllerAxisEvent SDL.h

	frozen c_sizeof_sdl_controller_axis_event: INTEGER_32
			-- Size of an SDL_ControllerAxisEvent C structure.

	frozen get_controller_axis_event_struct_axis (ptr: POINTER): NATURAL_8

	frozen get_controller_axis_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_controller_axis_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_CONTROLLERAXISMOTION

	frozen get_controller_axis_event_struct_value (ptr: POINTER): INTEGER_16

	frozen get_controller_axis_event_struct_which (ptr: POINTER): INTEGER_32

	frozen set_controller_axis_event_struct_axis (ptr: POINTER; value: NATURAL_8)

	frozen set_controller_axis_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_controller_axis_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_CONTROLLERAXISMOTION

	frozen set_controller_axis_event_struct_value (ptr: POINTER; value: INTEGER_16)

	frozen set_controller_axis_event_struct_which (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_ControllerButtonEvent SDL.h

	frozen c_sizeof_sdl_controller_button_event: INTEGER_32
			-- Size of an SDL_ControllerButtonEvent C structure.

	frozen get_controller_button_event_struct_button (ptr: POINTER): NATURAL_8

	frozen get_controller_button_event_struct_state (ptr: POINTER): NATURAL_8

	frozen get_controller_button_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_controller_button_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_CONTROLLERBUTTONDOWN or SDL_CONTROLLERBUTTONUP

	frozen get_controller_button_event_struct_which (ptr: POINTER): INTEGER_32

	frozen set_controller_button_event_struct_button (ptr: POINTER; value: NATURAL_8)

	frozen set_controller_button_event_struct_state (ptr: POINTER; value: NATURAL_8)

	frozen set_controller_button_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_controller_button_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_CONTROLLERBUTTONDOWN or SDL_CONTROLLERBUTTONUP

	frozen set_controller_button_event_struct_which (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_ControllerDeviceEvent SDL.h

	frozen c_sizeof_sdl_controller_device_event: INTEGER_32
			-- Size of an SDL_ControllerDeviceEvent C structure.

	frozen get_controller_device_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_controller_device_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_CONTROLLERDEVICEADDED, SDL_CONTROLLERDEVICEREMOVED or SDL_CONTROLLERDEVICEREMAPPED

	frozen get_controller_device_event_struct_which (ptr: POINTER): INTEGER_32

	frozen set_controller_device_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_controller_device_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_CONTROLLERDEVICEADDED, SDL_CONTROLLERDEVICEREMOVED or SDL_CONTROLLERDEVICEREMAPPED

	frozen set_controller_device_event_struct_which (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_DisplayMode SDL.h

	frozen c_sizeof_sdl_display_mode: INTEGER_32
			-- Size of an SDL_DisplayMode C structure.

	frozen get_display_mode_struct_format (mode: POINTER): NATURAL_32
			-- One of the SDL_PixelFormatEnum values

	frozen get_display_mode_struct_h (mode: POINTER): INTEGER_32
			-- Height

	frozen get_display_mode_struct_refresh_rate (mode: POINTER): INTEGER_32
			-- Refresh rate (in Hz), or 0 for unspecified

	frozen get_display_mode_struct_w (mode: POINTER): INTEGER_32
			-- Width

	frozen set_display_mode_struct_format (mode: POINTER; format: NATURAL_32)
			-- One of the SDL_PixelFormatEnum values

	frozen set_display_mode_struct_h (mode: POINTER; h: INTEGER_32)
			-- Height

	frozen set_display_mode_struct_refresh_rate (mode: POINTER; refresh_rate: INTEGER_32)
			-- Refresh rate (in Hz), or 0 for unspecified

	frozen set_display_mode_struct_w (mode: POINTER; w: INTEGER_32)
			-- Width
	
feature -- Structure SDL_DollarGestureEvent SDL.h

	frozen c_sizeof_sdl_dollar_gesture_event: INTEGER_32
			-- Size of an SDL_DollarGestureEvent C structure.

	frozen get_dollar_gesture_event_struct_error (ptr: POINTER): REAL_32

	frozen get_dollar_gesture_event_struct_gesture_id (ptr: POINTER): INTEGER_64

	frozen get_dollar_gesture_event_struct_num_fingers (ptr: POINTER): NATURAL_32

	frozen get_dollar_gesture_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_dollar_gesture_event_struct_touch_id (ptr: POINTER): INTEGER_64

	frozen get_dollar_gesture_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_DOLLARGESTURE

	frozen get_dollar_gesture_event_struct_x (ptr: POINTER): REAL_32

	frozen get_dollar_gesture_event_struct_y (ptr: POINTER): REAL_32

	frozen set_dollar_gesture_event_struct_error (ptr: POINTER; value: REAL_32)

	frozen set_dollar_gesture_event_struct_gesture_id (ptr: POINTER; value: INTEGER_64)

	frozen set_dollar_gesture_event_struct_num_fingers (ptr: POINTER; value: NATURAL_32)

	frozen set_dollar_gesture_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_dollar_gesture_event_struct_touch_id (ptr: POINTER; value: INTEGER_64)

	frozen set_dollar_gesture_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_DOLLARGESTURE

	frozen set_dollar_gesture_event_struct_x (ptr: POINTER; value: REAL_32)

	frozen set_dollar_gesture_event_struct_y (ptr: POINTER; value: REAL_32)
	
feature -- Structure SDL_DropEvent SDL.h

	frozen c_sizeof_sdl_drop_event: INTEGER_32
			-- Size of an SDL_DropEvent C structure.

	frozen get_drop_event_struct_file (ptr: POINTER): POINTER

	frozen get_drop_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_drop_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_DROPFILE

	frozen set_drop_event_struct_file (ptr: POINTER; value: POINTER)

	frozen set_drop_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_drop_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_DROPFILE
	
feature -- Structure SDL_Event SDL.h

	frozen c_sizeof_sdl_event: INTEGER_32
			-- Size of an SDL_Event C structure.

	frozen get_event_struct_button_pointer (event: POINTER): POINTER
			-- Mouse button event
			-- Return a pointer to SDL_MouseMotionEvent

	frozen get_event_struct_caxis_pointer (event: POINTER): POINTER
			-- game controller axis event data
			-- Return a pointer to SDL_ControllerAxisEvent

	frozen get_event_struct_cbutton_pointer (event: POINTER): POINTER
			-- game controller button event data
			-- Return a pointer to SDL_ControllerButtonEvent

	frozen get_event_struct_cdevice_pointer (event: POINTER): POINTER
			-- game controller device event data
			-- Return a pointer to SDL_ControllerDeviceEvent

	frozen get_event_struct_dgesture_pointer (event: POINTER): POINTER
			-- multi finger gesture data
			-- Return a pointer to SDL_DollarGestureEvent

	frozen get_event_struct_drop_pointer (event: POINTER): POINTER
			-- drag and drop event data
			-- Return a pointer to SDL_DropEvent

	frozen get_event_struct_edit_pointer (event: POINTER): POINTER
			-- text editing event data
			-- Return a pointer to SDL_TextEditingEvent

	frozen get_event_struct_jaxis_pointer (event: POINTER): POINTER
			-- Joystick Axis motion event
			-- Return a pointer to SDL_JoyAxisEvent

	frozen get_event_struct_jball_pointer (event: POINTER): POINTER
			-- Joystick trackball motion event
			-- Return a pointer to SDL_JoyBallEvent

	frozen get_event_struct_jbutton_pointer (event: POINTER): POINTER
			-- Joystick button event
			-- Return a pointer to SDL_JoyButtonEvent

	frozen get_event_struct_jdevice_pointer (event: POINTER): POINTER
			-- joystick device event data
			-- Return a pointer to SDL_JoyDeviceEvent

	frozen get_event_struct_jhat_pointer (event: POINTER): POINTER
			-- Joystick hat motion event
			-- Return a pointer to SDL_JoyHatEvent

	frozen get_event_struct_key_pointer (event: POINTER): POINTER
			-- keyboard event data
			-- Return a pointer to SDL_KeyboardEvent

	frozen get_event_struct_mgesture_pointer (event: POINTER): POINTER
			-- multi finger gesture data
			-- Return a pointer to SDL_MultiGestureEvent

	frozen get_event_struct_motion_pointer (event: POINTER): POINTER
			-- Mouse motion event
			-- Return a pointer to SDL_MouseMotionEvent

	frozen get_event_struct_quit_pointer (event: POINTER): POINTER
			-- Application quit request event
			-- Return a pointer to SDL_QuitEvent

	frozen get_event_struct_syswm_pointer (event: POINTER): POINTER
			-- Undefined window manager event
			-- Return a pointer to SDL_SysWMEvent

	frozen get_event_struct_text_pointer (event: POINTER): POINTER
			-- text input event data
			-- Return a pointer to SDL_TextInputEvent

	frozen get_event_struct_tfinger_pointer (event: POINTER): POINTER
			-- touch finger event data
			-- Return a pointer to SDL_TouchFingerEvent

	frozen get_event_struct_type (event: POINTER): NATURAL_32
			-- Event type

	frozen get_event_struct_user_pointer (event: POINTER): POINTER
			-- User defined event
			-- Return a pointer to SDL_UserEvent

	frozen get_event_struct_wheel_pointer (event: POINTER): POINTER
			-- mouse wheel event data
			-- Return a pointer to SDL_MouseWheelEvent

	frozen get_event_struct_window_pointer (event: POINTER): POINTER
			-- Activation Event
			-- Return a pointer to SDL_ActiveEvent

	frozen set_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type
	
feature -- Structure SDL_Finger SDL.h

	frozen get_sdl_finger_struct_id (ptr: POINTER): INTEGER_64

	frozen get_sdl_finger_struct_pressure (ptr: POINTER): REAL_32

	frozen get_sdl_finger_struct_x (ptr: POINTER): REAL_32

	frozen get_sdl_finger_struct_y (ptr: POINTER): REAL_32
	
feature -- Structure SDL_HapticCondition SDL.h

	frozen get_sdl_haptic_condition_button (ptr: POINTER): NATURAL_16
			-- button that triggers effect

	frozen get_sdl_haptic_condition_delay (ptr: POINTER): NATURAL_16
			-- delay before starting effect

	frozen get_sdl_haptic_condition_interval (ptr: POINTER): NATURAL_16
			-- how soon before effect can be triggered again

	frozen get_sdl_haptic_condition_length (ptr: POINTER): NATURAL_32
			-- duration of effect (ms)

	frozen get_sdl_haptic_condition_struct_center_i (ptr: POINTER; index: INTEGER_32): INTEGER_16
			-- position of the dead zone

	frozen get_sdl_haptic_condition_struct_deadband_i (ptr: POINTER; index: INTEGER_32): NATURAL_16
			-- size of the dead zone; max 0xFFFF: whole axis-range when 0-centered

	frozen get_sdl_haptic_condition_struct_left_coeff_i (ptr: POINTER; index: INTEGER_32): INTEGER_16
			-- how fast to increase the force towards the negative side

	frozen get_sdl_haptic_condition_struct_left_sat_i (ptr: POINTER; index: INTEGER_32): NATURAL_16
			-- level when joystick is to the negative side; max 0xFFFF

	frozen get_sdl_haptic_condition_struct_right_coeff_i (ptr: POINTER; index: INTEGER_32): INTEGER_16
			-- how fast to increase the force towards the positive side

	frozen get_sdl_haptic_condition_struct_right_sat_i (ptr: POINTER; index: INTEGER_32): NATURAL_16
			-- level when joystick is to the positive side; max 0xFFFF

	frozen set_sdl_haptic_condition_button (ptr: POINTER; value: NATURAL_16)
			-- button that triggers effect

	frozen set_sdl_haptic_condition_delay (ptr: POINTER; value: NATURAL_16)
			-- delay before starting effect

	frozen set_sdl_haptic_condition_interval (ptr: POINTER; value: NATURAL_16)
			-- how soon before effect can be triggered again

	frozen set_sdl_haptic_condition_length (ptr: POINTER; value: NATURAL_32)
			-- duration of effect (ms)

	frozen set_sdl_haptic_condition_struct_center_i (ptr: POINTER; index: INTEGER_32; value: INTEGER_16)
			-- position of the dead zone

	frozen set_sdl_haptic_condition_struct_deadband_i (ptr: POINTER; index: INTEGER_32; value: NATURAL_16)
			-- size of the dead zone; max 0xFFFF: whole axis-range when 0-centered

	frozen set_sdl_haptic_condition_struct_left_coeff_i (ptr: POINTER; index: INTEGER_32; value: INTEGER_16)
			-- how fast to increase the force towards the negative side

	frozen set_sdl_haptic_condition_struct_left_sat_i (ptr: POINTER; index: INTEGER_32; value: NATURAL_16)
			-- level when joystick is to the negative side; max 0xFFFF

	frozen set_sdl_haptic_condition_struct_right_coeff_i (ptr: POINTER; index: INTEGER_32; value: INTEGER_16)
			-- how fast to increase the force towards the positive side

	frozen set_sdl_haptic_condition_struct_right_sat_i (ptr: POINTER; index: INTEGER_32; value: NATURAL_16)
			-- level when joystick is to the positive side; max 0xFFFF
	
feature -- Structure SDL_HapticConstant SDL.h

	frozen get_sdl_haptic_constant_attack_length (ptr: POINTER): NATURAL_16
			-- duration of the attack

	frozen get_sdl_haptic_constant_attack_level (ptr: POINTER): NATURAL_16
			-- level at the start of the attack

	frozen get_sdl_haptic_constant_button (ptr: POINTER): NATURAL_16
			-- button that triggers effect

	frozen get_sdl_haptic_constant_delay (ptr: POINTER): NATURAL_16
			-- delay before starting effect

	frozen get_sdl_haptic_constant_direction (ptr: POINTER): POINTER
			-- direction of the effect

	frozen get_sdl_haptic_constant_fade_length (ptr: POINTER): NATURAL_16
			-- duration of the fade

	frozen get_sdl_haptic_constant_fade_level (ptr: POINTER): NATURAL_16
			-- level at the end of the fade

	frozen get_sdl_haptic_constant_interval (ptr: POINTER): NATURAL_16
			-- how soon before effect can be triggered again

	frozen get_sdl_haptic_constant_length (ptr: POINTER): NATURAL_32
			-- duration of effect (ms)

	frozen get_sdl_haptic_constant_level (ptr: POINTER): INTEGER_16
			-- strength of the constant effect

	frozen set_sdl_haptic_constant_attack_length (ptr: POINTER; value: NATURAL_16)
			-- duration of the attack

	frozen set_sdl_haptic_constant_attack_level (ptr: POINTER; value: NATURAL_16)
			-- level at the start of the attack

	frozen set_sdl_haptic_constant_button (ptr: POINTER; value: NATURAL_16)
			-- button that triggers effect

	frozen set_sdl_haptic_constant_delay (ptr: POINTER; value: NATURAL_16)
			-- delay before starting effect

	frozen set_sdl_haptic_constant_fade_length (ptr: POINTER; value: NATURAL_16)
			-- duration of the fade

	frozen set_sdl_haptic_constant_fade_level (ptr: POINTER; value: NATURAL_16)
			-- level at the end of the fade

	frozen set_sdl_haptic_constant_interval (ptr: POINTER; value: NATURAL_16)
			-- how soon before effect can be triggered again

	frozen set_sdl_haptic_constant_length (ptr: POINTER; value: NATURAL_32)
			-- duration of effect (ms)

	frozen set_sdl_haptic_constant_level (ptr: POINTER; value: INTEGER_16)
			-- strength of the constant effect
	
feature -- Structure SDL_HapticCustom SDL.h

	frozen get_sdl_haptic_custom_attack_length (ptr: POINTER): NATURAL_16
			-- duration of the attack

	frozen get_sdl_haptic_custom_attack_level (ptr: POINTER): NATURAL_16
			-- level at the start of the attack

	frozen get_sdl_haptic_custom_button (ptr: POINTER): NATURAL_16
			-- button that triggers effect

	frozen get_sdl_haptic_custom_channels (ptr: POINTER): NATURAL_8
			-- axes to use, minimum of 1

	frozen get_sdl_haptic_custom_data (ptr: POINTER): POINTER
			-- duration of the attack

	frozen get_sdl_haptic_custom_delay (ptr: POINTER): NATURAL_16
			-- delay before starting effect

	frozen get_sdl_haptic_custom_direction (ptr: POINTER): POINTER
			-- direction of the effect

	frozen get_sdl_haptic_custom_fade_length (ptr: POINTER): NATURAL_16
			-- duration of the fade

	frozen get_sdl_haptic_custom_fade_level (ptr: POINTER): NATURAL_16
			-- level at the end of the fade

	frozen get_sdl_haptic_custom_interval (ptr: POINTER): NATURAL_16
			-- how soon before effect can be triggered again

	frozen get_sdl_haptic_custom_length (ptr: POINTER): NATURAL_32
			-- duration of effect (ms)

	frozen get_sdl_haptic_custom_period (ptr: POINTER): NATURAL_16
			-- period of the samples

	frozen get_sdl_haptic_custom_samples (ptr: POINTER): NATURAL_16
			-- number of samples

	frozen set_sdl_haptic_custom_attack_length (ptr: POINTER; value: NATURAL_16)
			-- should contain channels*samples items

	frozen set_sdl_haptic_custom_attack_level (ptr: POINTER; value: NATURAL_16)
			-- level at the start of the attack

	frozen set_sdl_haptic_custom_button (ptr: POINTER; value: NATURAL_16)
			-- button that triggers effect

	frozen set_sdl_haptic_custom_channels (ptr: POINTER; value: NATURAL_8)
			-- axes to use, minimum of 1

	frozen set_sdl_haptic_custom_data (ptr, value: POINTER)
			-- should contain channels*samples items

	frozen set_sdl_haptic_custom_delay (ptr: POINTER; value: NATURAL_16)
			-- delay before starting effect

	frozen set_sdl_haptic_custom_fade_length (ptr: POINTER; value: NATURAL_16)
			-- duration of the fade

	frozen set_sdl_haptic_custom_fade_level (ptr: POINTER; value: NATURAL_16)
			-- level at the end of the fade

	frozen set_sdl_haptic_custom_interval (ptr: POINTER; value: NATURAL_16)
			-- how soon before effect can be triggered again

	frozen set_sdl_haptic_custom_length (ptr: POINTER; value: NATURAL_32)
			-- duration of effect (ms)

	frozen set_sdl_haptic_custom_period (ptr: POINTER; value: NATURAL_16)
			-- period of the samples

	frozen set_sdl_haptic_custom_samples (ptr: POINTER; value: NATURAL_16)
			-- number of samples
	
feature -- Structure SDL_HapticDirection SDL.h

	frozen c_sizeof_sdl_haptic_direction: INTEGER_32
			-- Size of an SDL_HapticDirection C structure.

	frozen get_sdl_haptic_direction_struct_dir_i (ptr: POINTER; index: INTEGER_32): INTEGER_32
			-- the type of encoding

	frozen get_sdl_haptic_direction_struct_type (ptr: POINTER): NATURAL_8
			-- the type of encoding

	frozen set_sdl_haptic_direction_struct_dir_i (ptr: POINTER; index: INTEGER_32; value: INTEGER_32)
			-- the encoded direction

	frozen set_sdl_haptic_direction_struct_type (ptr: POINTER; value: NATURAL_8)
			-- the type of encoding
	
feature -- Structure SDL_HapticEffect SDL.h

	frozen c_sizeof_sdl_haptic_effect: INTEGER_32
			-- Size of an SDL_HapticEffect C structure.

	frozen get_sdl_haptic_effect_condition (ptr: POINTER): POINTER
			-- condition effect

	frozen get_sdl_haptic_effect_constant (ptr: POINTER): POINTER
			-- constant effect

	frozen get_sdl_haptic_effect_custom (ptr: POINTER): POINTER
			-- custom effect

	frozen get_sdl_haptic_effect_leftright (ptr: POINTER): POINTER
			-- leftright effect

	frozen get_sdl_haptic_effect_periodic (ptr: POINTER): POINTER
			-- periodic effect

	frozen get_sdl_haptic_effect_ramp (ptr: POINTER): POINTER
			-- ramp effect

	frozen get_sdl_haptic_effect_type (ptr: POINTER): NATURAL_16
			-- delay before starting effect

	frozen set_sdl_haptic_effect_type (ptr: POINTER; value: NATURAL_16)
			-- delay before starting effect
	
feature -- Structure SDL_HapticLeftRight SDL.h

	frozen get_sdl_haptic_leftright_large_magnitude (ptr: POINTER): NATURAL_16
			-- control of the large controller motor

	frozen get_sdl_haptic_leftright_length (ptr: POINTER): NATURAL_32
			-- duration of effect (ms)

	frozen get_sdl_haptic_leftright_small_magnitude (ptr: POINTER): NATURAL_16
			-- control of the large controller motor

	frozen set_sdl_haptic_leftright_large_magnitude (ptr: POINTER; value: NATURAL_16)
			-- control of the large controller motor

	frozen set_sdl_haptic_leftright_length (ptr: POINTER; value: NATURAL_32)
			-- duration of effect (ms)

	frozen set_sdl_haptic_leftright_small_magnitude (ptr: POINTER; value: NATURAL_16)
			-- control of the large controller motor
	
feature -- Structure SDL_HapticPeriodic SDL.h

	frozen get_sdl_haptic_periodic_attack_length (ptr: POINTER): NATURAL_16
			-- duration of the attack

	frozen get_sdl_haptic_periodic_attack_level (ptr: POINTER): NATURAL_16
			-- level at the start of the attack

	frozen get_sdl_haptic_periodic_button (ptr: POINTER): NATURAL_16
			-- button that triggers effect

	frozen get_sdl_haptic_periodic_delay (ptr: POINTER): NATURAL_16
			-- delay before starting effect

	frozen get_sdl_haptic_periodic_direction (ptr: POINTER): POINTER
			-- direction of the effect

	frozen get_sdl_haptic_periodic_fade_length (ptr: POINTER): NATURAL_16
			-- duration of the fade

	frozen get_sdl_haptic_periodic_fade_level (ptr: POINTER): NATURAL_16
			-- level at the end of the fade

	frozen get_sdl_haptic_periodic_interval (ptr: POINTER): NATURAL_16
			-- how soon before effect can be triggered again

	frozen get_sdl_haptic_periodic_length (ptr: POINTER): NATURAL_32
			-- duration of effect (ms)

	frozen get_sdl_haptic_periodic_magnitude (ptr: POINTER): INTEGER_16
			-- peak value; if negative, equivalent to 180 degrees extra phase shift

	frozen get_sdl_haptic_periodic_offset (ptr: POINTER): INTEGER_16
			-- mean value of the wave

	frozen get_sdl_haptic_periodic_period (ptr: POINTER): NATURAL_16
			-- period of the wave

	frozen get_sdl_haptic_periodic_phase (ptr: POINTER): NATURAL_16
			-- positive phase shift given by hundredth of a degree

	frozen set_sdl_haptic_periodic_attack_length (ptr: POINTER; value: NATURAL_16)
			-- duration of the attack

	frozen set_sdl_haptic_periodic_attack_level (ptr: POINTER; value: NATURAL_16)
			-- level at the start of the attack

	frozen set_sdl_haptic_periodic_button (ptr: POINTER; value: NATURAL_16)
			-- button that triggers effect

	frozen set_sdl_haptic_periodic_delay (ptr: POINTER; value: NATURAL_16)
			-- delay before starting effect

	frozen set_sdl_haptic_periodic_fade_length (ptr: POINTER; value: NATURAL_16)
			-- duration of the fade

	frozen set_sdl_haptic_periodic_fade_level (ptr: POINTER; value: NATURAL_16)
			-- level at the end of the fade

	frozen set_sdl_haptic_periodic_interval (ptr: POINTER; value: NATURAL_16)
			-- how soon before effect can be triggered again

	frozen set_sdl_haptic_periodic_length (ptr: POINTER; value: NATURAL_32)
			-- duration of effect (ms)

	frozen set_sdl_haptic_periodic_magnitude (ptr: POINTER; value: INTEGER_16)
			-- peak value; if negative, equivalent to 180 degrees extra phase shift

	frozen set_sdl_haptic_periodic_offset (ptr: POINTER; value: INTEGER_16)
			-- mean value of the wave

	frozen set_sdl_haptic_periodic_period (ptr: POINTER; value: NATURAL_16)
			-- period of the wave

	frozen set_sdl_haptic_periodic_phase (ptr: POINTER; value: NATURAL_16)
			-- positive phase shift given by hundredth of a degree
	
feature -- Structure SDL_HapticRamp SDL.h

	frozen get_sdl_haptic_ramp_attack_length (ptr: POINTER): NATURAL_16
			-- duration of the attack

	frozen get_sdl_haptic_ramp_attack_level (ptr: POINTER): NATURAL_16
			-- level at the start of the attack

	frozen get_sdl_haptic_ramp_button (ptr: POINTER): NATURAL_16
			-- button that triggers effect

	frozen get_sdl_haptic_ramp_delay (ptr: POINTER): NATURAL_16
			-- delay before starting effect

	frozen get_sdl_haptic_ramp_direction (ptr: POINTER): POINTER
			-- direction of the effect

	frozen get_sdl_haptic_ramp_end (ptr: POINTER): INTEGER_16
			-- strength of the ramp effect at the end

	frozen get_sdl_haptic_ramp_fade_length (ptr: POINTER): NATURAL_16
			-- duration of the fade

	frozen get_sdl_haptic_ramp_fade_level (ptr: POINTER): NATURAL_16
			-- level at the end of the fade

	frozen get_sdl_haptic_ramp_interval (ptr: POINTER): NATURAL_16
			-- how soon before effect can be triggered again

	frozen get_sdl_haptic_ramp_length (ptr: POINTER): NATURAL_32
			-- duration of effect (ms)

	frozen get_sdl_haptic_ramp_start (ptr: POINTER): INTEGER_16
			-- strength of the ramp effect at the start

	frozen set_sdl_haptic_ramp_attack_length (ptr: POINTER; value: NATURAL_16)
			-- duration of the attack

	frozen set_sdl_haptic_ramp_attack_level (ptr: POINTER; value: NATURAL_16)
			-- level at the start of the attack

	frozen set_sdl_haptic_ramp_button (ptr: POINTER; value: NATURAL_16)
			-- button that triggers effect

	frozen set_sdl_haptic_ramp_delay (ptr: POINTER; value: NATURAL_16)
			-- delay before starting effect

	frozen set_sdl_haptic_ramp_end (ptr: POINTER; value: INTEGER_16)
			-- strength of the ramp effect at the end

	frozen set_sdl_haptic_ramp_fade_length (ptr: POINTER; value: NATURAL_16)
			-- duration of the fade

	frozen set_sdl_haptic_ramp_fade_level (ptr: POINTER; value: NATURAL_16)
			-- level at the end of the fade

	frozen set_sdl_haptic_ramp_interval (ptr: POINTER; value: NATURAL_16)
			-- how soon before effect can be triggered again

	frozen set_sdl_haptic_ramp_length (ptr: POINTER; value: NATURAL_32)
			-- duration of effect (ms)

	frozen set_sdl_haptic_ramp_start (ptr: POINTER; value: INTEGER_16)
			-- strength of the ramp effect at the start
	
feature -- Structure SDL_JoyAxisEvent SDL.h

	frozen c_sizeof_sdl_joy_axis_event: INTEGER_32
			-- Size of an SDL_JoyAxisEvent C structure.

	frozen get_joy_axis_event_struct_axis (ptr: POINTER): NATURAL_8

	frozen get_joy_axis_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_joy_axis_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_JOYAXISMOTION

	frozen get_joy_axis_event_struct_value (ptr: POINTER): INTEGER_16

	frozen get_joy_axis_event_struct_which (ptr: POINTER): INTEGER_32

	frozen set_joy_axis_event_struct_axis (ptr: POINTER; value: NATURAL_8)

	frozen set_joy_axis_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_joy_axis_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_JOYAXISMOTION

	frozen set_joy_axis_event_struct_value (ptr: POINTER; value: INTEGER_16)

	frozen set_joy_axis_event_struct_which (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_JoyBallEvent SDL.h

	frozen c_sizeof_sdl_joy_ball_event: INTEGER_32
			-- Size of an SDL_JoyBallEvent C structure.

	frozen get_joy_ball_event_struct_ball (ptr: POINTER): NATURAL_8

	frozen get_joy_ball_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_joy_ball_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_JOYBALLMOTION

	frozen get_joy_ball_event_struct_which (ptr: POINTER): INTEGER_32

	frozen get_joy_ball_event_struct_xrel (ptr: POINTER): INTEGER_16

	frozen get_joy_ball_event_struct_yrel (ptr: POINTER): INTEGER_16

	frozen set_joy_ball_event_struct_ball (ptr: POINTER; value: NATURAL_8)

	frozen set_joy_ball_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_joy_ball_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_JOYBALLMOTION

	frozen set_joy_ball_event_struct_which (ptr: POINTER; value: INTEGER_32)

	frozen set_joy_ball_event_struct_xrel (ptr: POINTER; value: INTEGER_16)

	frozen set_joy_ball_event_struct_yrel (ptr: POINTER; value: INTEGER_16)
	
feature -- Structure SDL_JoyButtonEvent SDL.h

	frozen c_sizeof_sdl_joy_button_event: INTEGER_32
			-- Size of an SDL_JoyButtonEvent C structure.

	frozen get_joy_button_event_struct_button (ptr: POINTER): NATURAL_8

	frozen get_joy_button_event_struct_state (ptr: POINTER): NATURAL_8

	frozen get_joy_button_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_joy_button_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_JOYBUTTONDOWN or SDL_JOYBUTTONUP

	frozen get_joy_button_event_struct_which (ptr: POINTER): INTEGER_32

	frozen set_joy_button_event_struct_button (ptr: POINTER; value: NATURAL_8)

	frozen set_joy_button_event_struct_state (ptr: POINTER; value: NATURAL_8)

	frozen set_joy_button_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_joy_button_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_JOYBUTTONDOWN or SDL_JOYBUTTONUP

	frozen set_joy_button_event_struct_which (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_JoyDeviceEvent SDL.h

	frozen c_sizeof_sdl_joy_device_event: INTEGER_32
			-- Size of an SDL_JoyDeviceEvent C structure.

	frozen get_joy_device_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_joy_device_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_JOYDEVICEADDED or SDL_JOYDEVICEREMOVED

	frozen get_joy_device_event_struct_which (ptr: POINTER): INTEGER_32

	frozen set_joy_device_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_joy_device_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_JOYDEVICEADDED or SDL_JOYDEVICEREMOVED

	frozen set_joy_device_event_struct_which (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_JoyHatEvent SDL.h

	frozen c_sizeof_sdl_joy_hat_event: INTEGER_32
			-- Size of an SDL_JoyHatEvent C structure.

	frozen get_joy_hat_event_struct_hat (ptr: POINTER): NATURAL_8

	frozen get_joy_hat_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_joy_hat_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_JOYHATMOTION

	frozen get_joy_hat_event_struct_value (ptr: POINTER): NATURAL_8

	frozen get_joy_hat_event_struct_which (ptr: POINTER): INTEGER_32

	frozen set_joy_hat_event_struct_hat (ptr: POINTER; value: NATURAL_8)

	frozen set_joy_hat_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_joy_hat_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_JOYHATMOTION

	frozen set_joy_hat_event_struct_value (ptr: POINTER; value: NATURAL_8)

	frozen set_joy_hat_event_struct_which (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_KeyboardEvent SDL.h

	frozen c_sizeof_sdl_keyboard_event: INTEGER_32
			-- Size of an SDL_KeyboardEvent C structure.

	frozen get_keyboard_event_struct_keysym_pointer (event: POINTER): POINTER
			-- Contains key press information
			-- Return a pointer to SDL_Keysym

	frozen get_keyboard_event_struct_repeat (event: POINTER): NATURAL_8

	frozen get_keyboard_event_struct_state (event: POINTER): NATURAL_8

	frozen get_keyboard_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_keyboard_event_struct_type (event: POINTER): NATURAL_32
			-- Event type. Always SDL_KEYDOWN or SDL_KEYUP.

	frozen get_keyboard_event_struct_window_id (event: POINTER): NATURAL_32

	frozen set_keyboard_event_struct_repeat (event: POINTER; value: NATURAL_8)

	frozen set_keyboard_event_struct_state (event: POINTER; value: NATURAL_8)

	frozen set_keyboard_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_keyboard_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type. Always SDL_KEYDOWN or SDL_KEYUP.

	frozen set_keyboard_event_struct_window_id (event: POINTER; window_id: NATURAL_32)
	
feature -- Structure SDL_Keysym SDL.h

	frozen c_sizeof_sdl_keysym: INTEGER_32
			-- Size of an SDL_keysym C structure.

	frozen get_key_sym_struct_mod (ptr: POINTER): NATURAL_16

	frozen get_key_sym_struct_scancode (ptr: POINTER): INTEGER_32

	frozen get_key_sym_struct_sym (ptr: POINTER): INTEGER_32

	frozen set_key_sym_struct_mod (ptr: POINTER; value: NATURAL_16)

	frozen set_key_sym_struct_scancode (ptr: POINTER; value: INTEGER_32)

	frozen set_key_sym_struct_sym (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_MouseButtonEvent SDL.h

	frozen c_sizeof_sdl_mouse_button_event: INTEGER_32
			-- Size of an SDL_MouseButtonEvent C structure.

	frozen get_mouse_button_event_struct_button (ptr: POINTER): NATURAL_8

	frozen get_mouse_button_event_struct_clicks (ptr: POINTER): NATURAL_8

	frozen get_mouse_button_event_struct_state (ptr: POINTER): NATURAL_8

	frozen get_mouse_button_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_mouse_button_event_struct_type (event: POINTER): NATURAL_32
			-- Event type. Always SDL_MOUSEBUTTONDOWN or SDL_MOUSEBUTTONUP

	frozen get_mouse_button_event_struct_which (event: POINTER): NATURAL_32

	frozen get_mouse_button_event_struct_window_id (event: POINTER): NATURAL_32

	frozen get_mouse_button_event_struct_x (ptr: POINTER): INTEGER_32

	frozen get_mouse_button_event_struct_y (ptr: POINTER): INTEGER_32

	frozen set_mouse_button_event_struct_button (ptr: POINTER; value: NATURAL_8)

	frozen set_mouse_button_event_struct_clicks (ptr: POINTER; value: NATURAL_8)

	frozen set_mouse_button_event_struct_state (ptr: POINTER; value: NATURAL_8)

	frozen set_mouse_button_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_mouse_button_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type. Always SDL_MOUSEBUTTONDOWN or SDL_MOUSEBUTTONUP

	frozen set_mouse_button_event_struct_which (event: POINTER; which: NATURAL_32)

	frozen set_mouse_button_event_struct_window_id (event: POINTER; window_id: NATURAL_32)

	frozen set_mouse_button_event_struct_x (ptr: POINTER; value: INTEGER_32)

	frozen set_mouse_button_event_struct_y (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_MouseMotionEvent SDL.h

	frozen c_sizeof_sdl_mouse_motion_event: INTEGER_32
			-- Size of an SDL_MouseMotionEvent C structure.

	frozen get_mouse_motion_event_struct_state (event: POINTER): NATURAL_32

	frozen get_mouse_motion_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_mouse_motion_event_struct_type (event: POINTER): NATURAL_32
			-- Event type. Always SDL_MOUSEMOTION

	frozen get_mouse_motion_event_struct_which (event: POINTER): NATURAL_32

	frozen get_mouse_motion_event_struct_window_id (event: POINTER): NATURAL_32

	frozen get_mouse_motion_event_struct_x (ptr: POINTER): INTEGER_32

	frozen get_mouse_motion_event_struct_xrel (ptr: POINTER): INTEGER_32

	frozen get_mouse_motion_event_struct_y (ptr: POINTER): INTEGER_32

	frozen get_mouse_motion_event_struct_yrel (ptr: POINTER): INTEGER_32

	frozen set_mouse_motion_event_struct_state (event: POINTER; state: NATURAL_32)

	frozen set_mouse_motion_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_mouse_motion_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type. Always SDL_MOUSEMOTION

	frozen set_mouse_motion_event_struct_which (event: POINTER; which: NATURAL_32)

	frozen set_mouse_motion_event_struct_window_id (event: POINTER; window_id: NATURAL_32)

	frozen set_mouse_motion_event_struct_x (ptr: POINTER; value: INTEGER_32)

	frozen set_mouse_motion_event_struct_xrel (ptr: POINTER; value: INTEGER_32)

	frozen set_mouse_motion_event_struct_y (ptr: POINTER; value: INTEGER_32)

	frozen set_mouse_motion_event_struct_yrel (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_MouseWheelEvent SDL.h

	frozen c_sizeof_sdl_mouse_wheel_event: INTEGER_32
			-- Size of an SDL_MouseWheelEvent C structure.

	frozen get_mouse_wheel_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_mouse_wheel_event_struct_type (event: POINTER): NATURAL_32
			-- Event type. Always SDL_MOUSEWHEEL

	frozen get_mouse_wheel_event_struct_which (event: POINTER): NATURAL_32

	frozen get_mouse_wheel_event_struct_window_id (event: POINTER): NATURAL_32

	frozen get_mouse_wheel_event_struct_x (ptr: POINTER): INTEGER_32

	frozen get_mouse_wheel_event_struct_y (ptr: POINTER): INTEGER_32

	frozen set_mouse_wheel_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_mouse_wheel_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type. Always SDL_MOUSEWHEEL

	frozen set_mouse_wheel_event_struct_which (event: POINTER; which: NATURAL_32)

	frozen set_mouse_wheel_event_struct_window_id (event: POINTER; window_id: NATURAL_32)

	frozen set_mouse_wheel_event_struct_x (ptr: POINTER; value: INTEGER_32)

	frozen set_mouse_wheel_event_struct_y (ptr: POINTER; value: INTEGER_32)
	
feature -- Structure SDL_MultiGestureEvent SDL.h

	frozen c_sizeof_sdl_multi_gesture_event: INTEGER_32
			-- Size of an SDL_MultiGestureEvent C structure.

	frozen get_multi_gesture_event_struct_ddist (ptr: POINTER): REAL_32

	frozen get_multi_gesture_event_struct_dtheta (ptr: POINTER): REAL_32

	frozen get_multi_gesture_event_struct_num_fingers (ptr: POINTER): NATURAL_16

	frozen get_multi_gesture_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_multi_gesture_event_struct_touch_id (ptr: POINTER): INTEGER_64

	frozen get_multi_gesture_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_MULTIGESTURE

	frozen get_multi_gesture_event_struct_x (ptr: POINTER): REAL_32

	frozen get_multi_gesture_event_struct_y (ptr: POINTER): REAL_32

	frozen set_multi_gesture_event_struct_ddist (ptr: POINTER; value: REAL_32)

	frozen set_multi_gesture_event_struct_dtheta (ptr: POINTER; value: REAL_32)

	frozen set_multi_gesture_event_struct_num_fingers (ptr: POINTER; value: NATURAL_16)

	frozen set_multi_gesture_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_multi_gesture_event_struct_touch_id (ptr: POINTER; value: INTEGER_64)

	frozen set_multi_gesture_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_MULTIGESTURE

	frozen set_multi_gesture_event_struct_x (ptr: POINTER; value: REAL_32)

	frozen set_multi_gesture_event_struct_y (ptr: POINTER; value: REAL_32)
	
feature -- Structure SDL_Palette SDL.h

	frozen get_sdl_palette_struct_color_i (ptr: POINTER; index: INTEGER_32): POINTER
			-- SDL_Color at index

	frozen get_sdl_palette_struct_ncolors (ptr: POINTER): INTEGER_32
			-- the number of colors in the palette

	frozen set_sdl_palette_struct_ncolors (ptr: POINTER; value: INTEGER_32)
			-- the number of colors in the palette
	
feature -- Structure SDL_PixelFormat SDL.h

	frozen get_sdl_pixel_format_struct_amask (ptr: POINTER): NATURAL_32
			-- a mask representing the location of the alpha component of the pixel

	frozen get_sdl_pixel_format_struct_bits_per_pixel (ptr: POINTER): NATURAL_8
			-- the number of significant bits in a pixel value, eg: 8, 15, 16, 24, 32

	frozen get_sdl_pixel_format_struct_bmask (ptr: POINTER): NATURAL_32
			-- a mask representing the location of the blue component of the pixel

	frozen get_sdl_pixel_format_struct_bytes_per_pixel (ptr: POINTER): NATURAL_8
			-- the number of bytes required to hold a pixel value, eg: 1, 2, 3, 4

	frozen get_sdl_pixel_format_struct_format (ptr: POINTER): NATURAL_32
			-- the SDL_PixelFormatEnum values

	frozen get_sdl_pixel_format_struct_gmask (ptr: POINTER): NATURAL_32
			-- a mask representing the location of the green component of the pixel

	frozen get_sdl_pixel_format_struct_palette (ptr: POINTER): POINTER
			-- an SDL_Palette structure associated with this pixel format, or NULL if the format doesn't have a palette

	frozen get_sdl_pixel_format_struct_rmask (ptr: POINTER): NATURAL_32
			-- a mask representing the location of the red component of the pixel
	
feature -- Structure SDL_Point SDL.h

	frozen c_sizeof_sdl_point: INTEGER_32
			-- Size of an SDL_Point C structure.

	frozen get_point_struct_x (point: POINTER): INTEGER_32
			-- X location of the point

	frozen get_point_struct_y (point: POINTER): INTEGER_32
			-- Y location of the point

	frozen set_point_struct_x (point: POINTER; x: INTEGER_32)
			-- X location of the point

	frozen set_point_struct_y (point: POINTER; y: INTEGER_32)
			-- Y location of the point
	
feature -- Structure SDL_QuitEvent SDL.h

	frozen c_sizeof_sdl_quit_event: INTEGER_32
			-- Size of an SDL_QuitEvent C structure.

	frozen get_quit_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_quit_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_QUIT

	frozen set_quit_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_quit_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_QUIT
	
feature -- Structure SDL_Rect SDL.h

	frozen c_sizeof_sdl_rect: INTEGER_32
			-- Size of an SDL_Rect C structure.

	frozen get_rect_struct_h (rect: POINTER): INTEGER_32
			-- Height of the rectangle

	frozen get_rect_struct_w (rect: POINTER): INTEGER_32
			-- Width of the rectangle

	frozen get_rect_struct_x (rect: POINTER): INTEGER_32
			-- X location of the rectangle's upper left corner

	frozen get_rect_struct_y (rect: POINTER): INTEGER_32
			-- Y location of the rectangle's upper left corner

	frozen set_rect_struct_h (rect: POINTER; h: INTEGER_32)
			-- Height of the rectangle

	frozen set_rect_struct_w (rect: POINTER; w: INTEGER_32)
			-- Width of the rectangle

	frozen set_rect_struct_x (rect: POINTER; x: INTEGER_32)
			-- X location of the rectangle's upper left corner

	frozen set_rect_struct_y (rect: POINTER; y: INTEGER_32)
			-- Y location of the rectangle's upper left corner
	
feature -- Structure SDL_RendererInfo SDL.h

	frozen c_sizeof_sdl_renderer_info: INTEGER_32
			-- Size of an SDL_RendererInfo C structure.

	frozen get_sdl_renderer_info_flags (ptr: POINTER): NATURAL_32
			-- Every supported renderer flags

	frozen get_sdl_renderer_info_max_texture_height (ptr: POINTER): INTEGER_32
			-- The maximum height of texture that the renderer driver can manage
			-- (0 for unknown)

	frozen get_sdl_renderer_info_max_texture_width (ptr: POINTER): INTEGER_32
			-- The maximum width of texture that the renderer driver can manage
			-- (0 for unknown)

	frozen get_sdl_renderer_info_name (ptr: POINTER): POINTER
			-- Retreive the name of the renderer driver

	frozen get_sdl_renderer_info_num_texture_formats (ptr: POINTER): NATURAL_32
			-- The number of available texture formats

	frozen get_sdl_renderer_info_texture_formats (ptr: POINTER; index: INTEGER_32): NATURAL_32
			-- The i-th texture format
	
feature -- Structure SDL_Surface SDL.h

	frozen get_sdl_surface_struct_format (ptr: POINTER): POINTER
			-- the format of the pixels stored in the surface

	frozen get_sdl_surface_struct_h (ptr: POINTER): INTEGER_32
			-- the height in pixels

	frozen get_sdl_surface_struct_pitch (ptr: POINTER): INTEGER_32
			-- the length of a row of pixels in bytes

	frozen get_sdl_surface_struct_pixels (ptr: POINTER): POINTER
			-- the pointer to the actual pixel data

	frozen get_sdl_surface_struct_refcount (ptr: POINTER): INTEGER_32
			-- reference count that can be incremented by the application

	frozen get_sdl_surface_struct_w (ptr: POINTER): INTEGER_32
			-- the width in pixels
	
feature -- Structure SDL_SysWMinfo SDL.h

	frozen c_sizeof_sdl_sys_wm_info: INTEGER_32
			-- Size of an SDL_SysWMinfo C structure.

	frozen get_sys_wm_struct_subsystem (ptr: POINTER): INTEGER_32

	frozen get_sys_wm_struct_version (ptr: POINTER): POINTER
			-- Set to the version of the current SDL library.
	
feature -- Structure SDL_TextEditingEvent SDL.h

	frozen c_sizeof_sdl_text_editing_event: INTEGER_32
			-- Size of an SDL_TextEditingEvent C structure.

	frozen get_text_editing_event_struct_length (event: POINTER): INTEGER_32

	frozen get_text_editing_event_struct_start (event: POINTER): INTEGER_32

	frozen get_text_editing_event_struct_text (event: POINTER): POINTER

	frozen get_text_editing_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_text_editing_event_struct_type (event: POINTER): NATURAL_32
			-- Event type. Always SDL_TEXTEDITING

	frozen get_text_editing_event_struct_window_id (event: POINTER): NATURAL_32

	frozen set_text_editing_event_struct_length (event: POINTER; length: INTEGER_32)

	frozen set_text_editing_event_struct_start (event: POINTER; start: INTEGER_32)

	frozen set_text_editing_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_text_editing_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type. Always SDL_TEXTEDITING

	frozen set_text_editing_event_struct_window_id (event: POINTER; window_id: NATURAL_32)
	
feature -- Structure SDL_TextInputEvent SDL.h

	frozen c_sizeof_sdl_text_input_event: INTEGER_32
			-- Size of an SDL_TextInputEvent C structure.

	frozen get_text_input_event_struct_text (event: POINTER): POINTER

	frozen get_text_input_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_text_input_event_struct_type (event: POINTER): NATURAL_32
			-- Event type. Always SDL_TEXTINPUT

	frozen get_text_input_event_struct_window_id (event: POINTER): NATURAL_32

	frozen set_text_input_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_text_input_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type. Always SDL_TEXTINPUT

	frozen set_text_input_event_struct_window_id (event: POINTER; window_id: NATURAL_32)
	
feature -- Structure SDL_TouchFingerEvent SDL.h

	frozen c_sizeof_sdl_touch_finger_event: INTEGER_32
			-- Size of an SDL_TouchFingerEvent C structure.

	frozen get_touch_finger_event_struct_dx (ptr: POINTER): REAL_32

	frozen get_touch_finger_event_struct_dy (ptr: POINTER): REAL_32

	frozen get_touch_finger_event_struct_finger_id (ptr: POINTER): INTEGER_64

	frozen get_touch_finger_event_struct_pressure (ptr: POINTER): REAL_32

	frozen get_touch_finger_event_struct_timestamp (ptr: POINTER): NATURAL_32

	frozen get_touch_finger_event_struct_touch_id (ptr: POINTER): INTEGER_64

	frozen get_touch_finger_event_struct_type (ptr: POINTER): NATURAL_32
			-- Event type. Always SDL_FINGERMOTION, SDL_FINGERDOWN, or SDL_FINGERUP

	frozen get_touch_finger_event_struct_x (ptr: POINTER): REAL_32

	frozen get_touch_finger_event_struct_y (ptr: POINTER): REAL_32

	frozen set_touch_finger_event_struct_dx (ptr: POINTER; value: REAL_32)

	frozen set_touch_finger_event_struct_dy (ptr: POINTER; value: REAL_32)

	frozen set_touch_finger_event_struct_finger_id (ptr: POINTER; value: INTEGER_64)

	frozen set_touch_finger_event_struct_pressure (ptr: POINTER; value: REAL_32)

	frozen set_touch_finger_event_struct_timestamp (ptr: POINTER; value: NATURAL_32)

	frozen set_touch_finger_event_struct_touch_id (ptr: POINTER; value: INTEGER_64)

	frozen set_touch_finger_event_struct_type (ptr: POINTER; value: NATURAL_32)
			-- Event type. Always SDL_FINGERMOTION, SDL_FINGERDOWN, or SDL_FINGERUP

	frozen set_touch_finger_event_struct_x (ptr: POINTER; value: REAL_32)

	frozen set_touch_finger_event_struct_y (ptr: POINTER; value: REAL_32)
	
feature -- Structure SDL_WindowEvent SDL.h

	frozen c_sizeof_sdl_window_event: INTEGER_32
			-- Size of an SDL_WindowEvent C structure.

	frozen get_window_event_struct_data1 (event: POINTER): INTEGER_32

	frozen get_window_event_struct_data2 (event: POINTER): INTEGER_32

	frozen get_window_event_struct_event (event: POINTER): NATURAL_8

	frozen get_window_event_struct_timestamp (event: POINTER): NATURAL_32

	frozen get_window_event_struct_type (event: POINTER): NATURAL_32
			-- Event type. Always SDL_WINDOWEVENT.

	frozen get_window_event_struct_window_id (event: POINTER): NATURAL_32

	frozen set_window_event_struct_data1 (event: POINTER; data1: INTEGER_32)

	frozen set_window_event_struct_data2 (event: POINTER; data2: INTEGER_32)

	frozen set_window_event_struct_event (event: POINTER; event_id: NATURAL_8)

	frozen set_window_event_struct_timestamp (event: POINTER; timestamp: NATURAL_32)

	frozen set_window_event_struct_type (event: POINTER; type: NATURAL_32)
			-- Event type. Always SDL_WINDOWEVENT.

	frozen set_window_event_struct_window_id (event: POINTER; window_id: NATURAL_32)
	
feature -- Structure SDL_version SDL.h

	frozen c_sizeof_sdl_version: INTEGER_32
			-- Size of an SDL_SysWMinfo C structure.

	frozen get_sdl_version_struct_major (ptr: POINTER): NATURAL_8
			-- The major version of the SDL library.

	frozen get_sdl_version_struct_minor (ptr: POINTER): NATURAL_8
			-- The minor version of the SDL library.

	frozen get_sdl_version_struct_patch (ptr: POINTER): NATURAL_8
			-- The patch level version of the SDL library.
	
invariant
		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class GAME_SDL_EXTERNAL

Generated by ISE EiffelStudio