PACKAGE Chop IS
------------------------------------------------------------------------
--| Dining Philosophers - Ada 95 edition
--| Each chopstick is an Ada 95 protected object
--| Author: Michael B. Feldman, The George Washington University 
--| Last Modified: January 1996                                     
------------------------------------------------------------------------
 
  PROTECTED TYPE Stick IS
    ENTRY Pick_Up;
    PROCEDURE Put_Down;
  PRIVATE
    In_Use: Boolean := False;
  END Stick;
 
END Chop;