// 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;
}