deferred class
	GAME_KEY_MODIFIER

General
	cluster: input
	description: "Common status report methods for types that hold a modifier value"

Ancestors
	ANY

Queries
	has_alt: BOOLEAN
	has_alt_gr: BOOLEAN
	has_caps_lock: BOOLEAN
	has_ctrl: BOOLEAN
	has_gui: BOOLEAN
	has_left_alt: BOOLEAN
	has_left_ctrl: BOOLEAN
	has_left_gui: BOOLEAN
	has_left_shift: BOOLEAN
	has_none: BOOLEAN
	has_num_lock: BOOLEAN
	has_right_alt: BOOLEAN
	has_right_ctrl: BOOLEAN
	has_right_gui: BOOLEAN
	has_right_shift: BOOLEAN
	has_shift: BOOLEAN
	modifier: NATURAL_16

Generated by ISE EiffelStudio