indexing
	description : "nachbedingung application root class"
	date        : "$Date: 2008-12-29 15:41:59 -0800 (Mon, 29 Dec 2008) $"
	revision    : "$Revision: 76432 $"

class
	APPLICATION

inherit
	ARGUMENTS

create
	make

feature {NONE} -- Implementation
	ct: COUNTER
	ch: CHILD

feature {NONE} -- Initialization

	make
			-- Run application.
		do
			print ("nachbedingung%N")

			create ct
			ct.set(3)
			print ("ct " + ct.get().out + "%N")

			create ch
			ch.set(-2)
			print ("ch " + ch.get().out + "%N")

			print ("done%N")
		end

end