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

Generated by ISE EiffelStudio