Class ParkingManager


  • public class ParkingManager
    extends java.lang.Object
    This class manages the information of which parking lot is taken, and which is still free.
    Since:
    Ptolemy II 3.0
    Version:
    $Id$
    Author:
    Yang Zhao
    Pt.AcceptedRating:
    Yellow (cxh)
    Pt.ProposedRating:
    Yellow (cxh)
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.HashSet AvailableLots  
      static java.util.HashSet ParkedLots  
    • Constructor Summary

      Constructors 
      Constructor Description
      ParkingManager()  
      ParkingManager​(java.util.HashSet availableLots, java.util.HashSet parkedLots)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.HashSet getAvailable()  
      void update​(RecordToken updateMsg)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • AvailableLots

        public static java.util.HashSet AvailableLots
      • ParkedLots

        public static java.util.HashSet ParkedLots
    • Constructor Detail

      • ParkingManager

        public ParkingManager()
      • ParkingManager

        public ParkingManager​(java.util.HashSet availableLots,
                              java.util.HashSet parkedLots)
    • Method Detail

      • update

        public void update​(RecordToken updateMsg)
      • getAvailable

        public java.util.HashSet getAvailable()