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