class STATES

feature

	Exit_from_application: INTEGER is -2

	Return_to_previous: INTEGER is -1

	BASIC: INTEGER is 1	-- BASIC

	Editing: INTEGER is 2	-- Editing

	Viewing: INTEGER is 3	-- Viewing

end