Automatic generation produced by ISE Eiffel
class interface HEIR feature display -- Output message saying where we are. display_routine -- Output simple message. a_string: STRING -- Simple text string end -- class HEIR -- Generated by ISE Eiffel --
For more details: www.eiffel.com