Exemplo n.º 1
0
 // Precondition: None
 // Postcondition: The item is not checked out (by any patron)
 public void ReturnToShelf()
 {
     itemCheckedOut = false;
     patron         = null; // No longer associated with anyone
 }
Exemplo n.º 2
0
 // Precondition: None
 // Postcondition: The item is checked out by thePatron
 public void CheckOut(LibraryPatron thePatron)
 {
     itemCheckedOut = true;
     patron         = thePatron;
 }