Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ITP_VARIABLE General cluster: etf description: "Objects representing variables." create: make Ancestors HASHABLE* ITP_EXPRESSION* Queries hash_code: INTEGER_32 index: INTEGER_32 is_equal (other: [like Current] ITP_VARIABLE): BOOLEAN is_hashable: BOOLEAN name (a_prefix: STRING_8): STRING_8 Commands process (a_processor: ITP_EXPRESSION_PROCESSOR)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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