note
	description: "Summary description for {COMMON_SETUP}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class 
	COMMON_SETUP

inherit
	ANY
		redefine
			default_create
		end

create 
	default_create

feature -- Constructor

	default_create
			-- Process instances of classes with no creation clause.
			-- (Default: do nothing.)
		do
			common_setup
		end
	
feature -- Attributes

	p1: PERSON

	p2: PERSON

	p3: PERSON

	p4: PERSON

	m1: CAR

	m2: CAR

	m3: CAR

	m4: CAR

	common_setup
		do
			create p1.make ("p1")
			create p2.make ("p2")
			create p3.make ("p3")
			create p4.make ("p4")
			create m1.make ("m1")
			create m2.make ("m2")
			create m3.make ("m3")
			create m4.make ("m4")
		end
	
feature -- Agent functions

	is_person (pair: PAIR [PERSON, CAR]; p: PERSON): BOOLEAN
		do
			Result := pair.first ~ p
		end
	
end -- class COMMON_SETUP

Generated by ISE EiffelStudio