note description: "Summary description for {TEST_REGISTRATION2}." author: "" date: "$Date$" revision: "$Revision$" class interface TEST_REGISTRATION1 create make feature -- tests Registrations: STRING_8 = "[ { s1 -> EECS3311:MON, 16:00 -- 17:30, s2 -> EECS3342:TUE, 11:30 -- 13:00, s3 -> EECS3101:FRI, 19:00 -- 22:00, s3 -> EECS2011:FRI, 13:00 -- 14:30 } ]" pair (s: STUDENT; c: COURSE): PAIR [STUDENT, COURSE] t1: BOOLEAN t4: BOOLEAN t5 end -- class TEST_REGISTRATION1
Generated by ISE EiffelStudio