Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class 
	HEIR

feature 

	a_string: STRING is
			-- Simple text string
		do
			create Result.make (0)
			Result.append ("Showing an attribute of class HEIR")
		end

	display is
			-- Output message saying where we are.
		do
			io.putstring ("In class HEIR")
			io.new_line
			io.putstring ("-------------------")
			io.new_line
			display_routine
			io.putstring (a_string)
			io.new_line
			io.new_line
		end

	display_routine is
			-- Output simple message.
		do
			io.putstring ("Calling a routine of class HEIR")
			io.new_line
		end

	first_message is
			-- Display a simple message.
			-- (from PARENT)
		do
			io.putstring ("Message number 1")
			io.new_line
			io.new_line
		end
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class HEIR


Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com