deferred class
	GAME_WINDOW_BUILDER

General
	cluster: graphic
	description: "A builder to create GAME_WINDOW"

Ancestors
	GAME_LIBRARY_SHARED*

Queries
	dimension: TUPLE [INTEGER_32, INTEGER_32]
	display: detachable GAME_DISPLAY
	flags: NATURAL_32
	Game_library: GAME_LIBRARY_CONTROLLER
	generate_window: GAME_WINDOW
	has_border: BOOLEAN
	height: INTEGER_32
	is_fake_fullscreen: BOOLEAN
	is_fullscreen: BOOLEAN
	is_hidden: BOOLEAN
	is_input_grabbed: BOOLEAN
	is_maximized: BOOLEAN
	is_minimized: BOOLEAN
	is_position_centered: BOOLEAN
	is_position_undefined: BOOLEAN
	is_position_x_centered: BOOLEAN
	is_position_x_undefined: BOOLEAN
	is_position_y_centered: BOOLEAN
	is_position_y_undefined: BOOLEAN
	is_resizable: BOOLEAN
	position: TUPLE [INTEGER_32, INTEGER_32]
	position_x: INTEGER_32
	position_y: INTEGER_32
	title: READABLE_STRING_GENERAL
	width: INTEGER_32

Commands
	disable_border
	disable_fake_fullscreen
	disable_fullscreen
	disable_hidden
	disable_input_grabbed
	disable_maximized
	disable_minimized
	disable_position_centered
	disable_position_undefined
	disable_position_x_centered
	disable_position_x_undefined
	disable_position_y_centered
	disable_position_y_undefined
	disable_resizable
	enable_border
	enable_fake_fullscreen
	enable_fullscreen
	enable_hidden
	enable_input_grabbed
	enable_maximized
	enable_minimized
	enable_position_centered
	enable_position_undefined
	enable_position_x_centered
	enable_position_x_undefined
	enable_position_y_centered
	enable_position_y_undefined
	enable_resizable
	set_dimension (a_width, a_height: INTEGER_32)
	set_display (a_display: detachable GAME_DISPLAY)
	set_flags (a_flags: NATURAL_32)
	set_has_border (a_value: BOOLEAN)
	set_height (a_height: INTEGER_32)
	set_is_fake_fullscreen (a_value: BOOLEAN)
	set_is_fullscreen (a_value: BOOLEAN)
	set_is_hidden (a_value: BOOLEAN)
	set_is_input_grabbed (a_value: BOOLEAN)
	set_is_maximized (a_value: BOOLEAN)
	set_is_minimized (a_value: BOOLEAN)
	set_is_position_centered (a_value: BOOLEAN)
	set_is_position_undefined (a_value: BOOLEAN)
	set_is_position_x_centered (a_value: BOOLEAN)
	set_is_position_x_undefined (a_value: BOOLEAN)
	set_is_position_y_centered (a_value: BOOLEAN)
	set_is_position_y_undefined (a_value: BOOLEAN)
	set_is_resizable (a_value: BOOLEAN)
	set_position (a_x, a_y: INTEGER_32)
	set_position_x (a_position_x: INTEGER_32)
	set_position_y (a_position_y: INTEGER_32)
	set_title (a_title: READABLE_STRING_GENERAL)
	set_width (a_width: INTEGER_32)
	unset_display

Constraints
	position is valid
	position centered valid
	position undefine valid
	position centered undefined valid
	position x centered undefined valid
	position y centered undefined valid
	dimension is valid

Generated by ISE EiffelStudio