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 -- class STATES