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