Automatic generation produced by ISE Eiffel

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

create 
	make

feature 

	display_demonstration_message is
			-- Output a welcoming message.
		do
			io.put_new_line
			io.put_string (" ISE Eiffel spoken here")
			io.put_new_line
			io.put_string ("--------------------------------%N%N")
		end

	make is
			-- Output messages tracing what's going on.
		do
			display_demonstration_message
			create {HEIR} o1
			create o2
			o1.display
			o2.display
		end

	o1: PARENT
			-- Examples of attributes
			-- Was declared in TESTROOT as synonym of o2.

	o2: PARENT
			-- Examples of attributes
			-- Was declared in TESTROOT as synonym of o1.
	
invariant

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

end -- class TESTROOT


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

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