class
	MODE_CONSTANTS
	
feature

	editing_mode: INTEGER is 0
		-- Corresponding value for editing mode.
		
	executing_mode: INTEGER is 1
		-- Corresponding value for excuting mode.
end -- class MODE_CONSTANTS