note
	description: "Informations about a display (a display is generally a screen)"
	author: "Louis Marchand"
	date: "Tue, 24 Feb 2015 00:07:14 +0000"
	revision: "2.0"

class interface
	GAME_DISPLAY

create 
	make

feature -- Access

	index: INTEGER_32
			-- The internal index of Current

	name: READABLE_STRING_GENERAL
			-- The name of Current

	bound_x: INTEGER_32
			-- Y coordinate of the bound of Current.
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	bound_y: INTEGER_32
			-- Y coordinate of the bound of Current.
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	bound_width: INTEGER_32
			-- Width of the bound of Current.
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	bound_height: INTEGER_32
			-- Height of the bound of Current.
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	bound: TUPLE [x: INTEGER_32; y: INTEGER_32; width: INTEGER_32; height: INTEGER_32]
			-- Desktop area represented by Current (with the primary display located at 0,0).
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	current_mode: GAME_DISPLAY_MODE
			-- A copy of the current display mode of Current.
			-- Note that modification to this object won't have any effect on the system.
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	native_mode: GAME_DISPLAY_MODE
			-- A copy of the display mode that Current should have if the game is not in full screen
			-- Note that this is equivalent to current_mode in non full screen mode.
			-- Note that modification to this object won't have any effect on the system.
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	closest_mode (a_mode: GAME_DISPLAY_MODE): GAME_DISPLAY_MODE
			-- A copy of the display mode compatible with Current that is closest to a_mode.
			-- Note that modification to this object won't have any effect on the system.
		require
			displays_bound_is_video_enabled: Game_library.is_video_enable

	modes: CHAIN [GAME_DISPLAY_MODE]
			-- All display mode compatible with Current
			-- Note that modification to this object won't have any effect on the system.
	
invariant
	index_valid: index >= 0 and index < Game_library.displays_count

end -- class GAME_DISPLAY

Generated by ISE EiffelStudio