class
	GAME_MOUSE_STATE

General
	cluster: input
	description: 
		"A snapshot of the state of a {GAME_MOUSE} at a certain time.
		Note that this information is not updated overtime."
	create: default_create

Ancestors
	GAME_MOUSE_BUTTON_MASK_COMMON*

Queries
	is_left_button_pressed: BOOLEAN
	is_middle_button_pressed: BOOLEAN
	is_optional_button_1_pressed: BOOLEAN
	is_optional_button_2_pressed: BOOLEAN
	is_right_button_pressed: BOOLEAN
	x: INTEGER_32
	y: INTEGER_32

Generated by ISE EiffelStudio