Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	ITP_SHARED_CONSTANTS

General
	cluster: etf
	description: "Constants used by interpeter"

Ancestors
	ANY

Queries
	Execute_request_flag: NATURAL_8
	Internal_error_respones_flag: NATURAL_8
	Invariant_violation_on_entry_response_flag: NATURAL_8
	Normal_response_flag: NATURAL_8
	Quit_request_flag: NATURAL_8
	Start_request_flag: NATURAL_8
	Type_request_flag: NATURAL_8



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org