Package org.jcsp.lang

Class Mutex

java.lang.Object
org.jcsp.lang.Mutex

class Mutex extends Object
A package-visible class that implements a straightforward mutex, for use by One2AnyChannel and Any2AnyChannel
  • Field Details

    • claimed

      private boolean claimed
  • Constructor Details

    • Mutex

      Mutex()
  • Method Details

    • claim

      public void claim()
    • release

      public void release()