Package org.jcsp.lang

Class Guard

    • 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