Automatic generation produced by ISE Eiffel

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

General
	cluster: etf
	description: "Object store for interpreter"
	create: make

Ancestors
	REFACTORING_HELPER

Queries
	arguments (an_expression_list: ARRAY [ITP_EXPRESSION]): detachable ARRAY [detachable ANY]
	expression_value (an_expression: ITP_EXPRESSION): detachable ANY
	is_expression_defined (an_expression: ITP_EXPRESSION): BOOLEAN
	is_variable_defined (a_index: INTEGER_32): BOOLEAN
	to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN
	variable_value (a_index: INTEGER_32): detachable ANY

Commands
	assign_expression (an_expression: ITP_EXPRESSION; a_index: INTEGER_32)
	assign_value (a_value: detachable ANY; a_index: INTEGER_32)
	fixme (comment: READABLE_STRING_8)
	to_implement (comment: READABLE_STRING_8)

Constraints
	storage attached
	storage flag attached
	storage count same as storage flag count



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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