Automatic generation produced by ISE Eiffel
class interface HEIR feature a_string: STRING -- Simple text string display -- Output message saying where we are. display_routine -- Output simple message. first_message -- Display a simple message. -- (from PARENT) invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) end -- class HEIR -- Generated by ISE Eiffel --
For more details: www.eiffel.com