Automatic generation produced by ISE Eiffel
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) -- Generated by Eiffel Studio --
For more details: eiffel.org