Package org.jcsp.lang

Class Guard

    • Constructor Summary

      Constructors 
      Constructor Description
      Guard()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void schedule​(Alternative alt)
      Schedules the process performing the given Alternative to run again.
      • Methods inherited from class java.lang.Object

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

      • Guard

        public Guard()
    • Method Detail

      • schedule

        protected void schedule​(Alternative alt)
        Schedules the process performing the given Alternative to run again. This is intended for use by advanced users of the library who want to create their own Guards that are not in the org.jcsp.lang package.
        Parameters:
        alt - The Alternative to schedule