Package org.jcsp.net

Class IndexManager

java.lang.Object
org.jcsp.net.IndexManager

class IndexManager extends Object
  • Field Details

    • instance

      private static IndexManager instance
    • channels

      private ChannelIndexMap channels
    • indexValue

      private long indexValue
    • labelToIndexMap

      private Hashtable labelToIndexMap
    • indexToLabelMap

      private Hashtable indexToLabelMap
    • replyChannels

      private Hashtable replyChannels
    • CNS_CHANNEL_INDEX

      public static final long CNS_CHANNEL_INDEX
      See Also:
    • POISON_FILTER

      private static final PoisonFilter POISON_FILTER
  • Constructor Details

    • IndexManager

      IndexManager()
  • Method Details