uc 01 - yshehab/SchoolRoomBooking GitHub Wiki
public collection<Range> createPermit(Organization anOrg, Member aMember, Room aRoom, Range dateRange, Range timeslots, String display)

Given: The Organization object organization26, the Member object member5446, the Room object room4, the Range object range67, the Range object range78 and the string Yoga:
- Check if there are any other bookings for room4intersecting withrange67andrange78As the check is sucessful:
- Check that member5446is a member oforganization26As the check is sucessful:
- a new Booking object booking3is created with the supplied attributes
- a new Permit object permit47is created with the supplied attributes
- 
permit47records a reference tomember5446
- organization26 records a reference to permit47
- school3 records a reference to booking3and room4
- school3 records a reference to permit47
- 
permit47records a reference to booking3
Note: this makes isFor a derived association, as we have Map <Room, Booking> as an attribute of School

- If aMemberis not linked toanOrganizationthrow an exception
- If there are any other bookings for room4 intersecting with range67 and range78 then two range objects are returned, one of intersecting dates and one of intersecting timeslots.
public collection<Range> createPermit(Organization anOrg, Member aMember, Room aRoom, Range dateRange, Range timeslots, String display) 
Pre condition: aMember should be linked via isMemberOf to anOrg. If not an exception is thrown. 
Post condition: a collection of two Range objects is returned, one containing intersecting days and one intersecting timeslots. If there are no intersections two empty Range objects are returned and a new Booking object is created with the supplied attributes, and a new Permit object is created with the supplied attributes.
public School getSchool()
private collection<Permit> permits
private collection<Room, Booking> bookings 
public void addPermit(Permit aPermit)
Post condition: permits contains aPermit
public collection<Booking> getBookings(Room aRoom)
Post condition: returns the collection of Booking objects linked to aRoom
Note: we currently only need future bookings
public void addBooking(Room aRoom, Booking aBooking)
Post condition:  the collection bookings contains (aRoom, aBooking)
public new(Room aRoom, Range aDateRange, Range  timeslots, String display, Permit aPermit)
Post condition: a new Booking object aBooking is created, a Permit records a reference to aBooking. The School object linked to aRoom records a reference to aRoom and aBooking.
public collection<Range>  intersectsWith(Range aDaterange, Range timeslots)
Post condition: a collection of two Range objects is returned, one containing intersecting days and one intersecting timeslots. If there are no intersections two empty Range objects are returned.
public Boolean isMember(Member aMember)
Post condition: returns true if aMember is in the receiver's members, false otherwise
private collection<Booking> bookings
Permit(Member aMember, Organization anOrg)
Post condition: a new Permit object aPermit is created with a unique number.
public void addBooking(Booking aBooking)
Post condition:  the collection bookings contains aBooking
isIn from School to Room 
has from School to Booking

This is the valid scenario, unless there is something exciting happening with the invalid and alternate scenarios I'll just do some comments.