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