Package org.jcsp.lang

Class AltingBarrierCoordinate

java.lang.Object
org.jcsp.lang.AltingBarrierCoordinate

class AltingBarrierCoordinate extends Object
  • Field Details

    • active

      private static int active
    • activeLock

      private static Object activeLock
      Lock object for coordinating enable/disable sequences.
  • Constructor Details

    • AltingBarrierCoordinate

      AltingBarrierCoordinate()
  • Method Details

    • startEnable

      static void startEnable()
    • finishEnable

      static void finishEnable()
    • startDisable

      static void startDisable(int n)
    • finishDisable

      static void finishDisable()