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