Uses of Class
org.jcsp.lang.Guard
-
Packages that use Guard Package Description org.jcsp.lang This provides classes and interfaces corresponding to the fundamental primitives of CSP.org.jcsp.net This is main package for JCSP.NET.org.jcsp.net.dynamic Supports dynamic operations over the JCSP.NET infrastructure.org.jcsp.net2 org.jcsp.util.filter This defines filtering channels that can apply transformations to objects as they are read and/or written. -
-
Uses of Guard in org.jcsp.lang
Subclasses of Guard in org.jcsp.lang Modifier and Type Class Description classAltingBarrierThis is the front-end for a barrier that can be used as aGuardin anAlternative.classAltingChannelAcceptThis extendsGuardandChannelAcceptto enable a process to choose between many CALL channel (and other) events.classAltingChannelInput<T>This extendsGuardandChannelInputto enable a process to choose between many object input (and other) events.classAltingChannelInputIntThis extendsGuardandChannelInputIntto enable a process to choose between many integer input (and other) events.classAltingChannelInputWrapper<T>Deprecated.There is no longer any need to use this class, after the 1.1 class reorganisation.classAltingChannelOutput<T>This extendsGuardandChannelOutputto enable a process to choose between many integer output (and other) events.classAltingChannelOutputIntThis extendsGuardandChannelOutputIntto enable a process to choose between many integer output (and other) events.classAltingConnectionClient<T>This class is sub-classed by JCSP.NET classes to provideConnectionClientobjects which can have theirreceive()method alted over.classAltingConnectionClientImpl<T>This class does not need to be used by standard JCSP users.classAltingConnectionServer<T>An interface to connection.classAltingConnectionServerImpl<T>This class does not need to be used by standard JCSP users.classAny2OneCallChannelThis is the super-class for any-to-one interface-specific CALL channels, safe for use by many clients and one server.classCSTimerThis is aGuardfor setting timeouts in anAlternative.classInlineAlternativeThis class is experimental (i.e.classOne2OneCallChannelThis is the super-class for one-to-one interface-specific CALL channels.classRejectableAltingChannelInputDeprecated.This channel is superceded by the poison mechanisms, please seePoisonExceptionclassSharedAltingConnectionClient<T>Implements a client end of a Connection which can have multiple client processes.classSkipThis is a process that immediately terminates and aGuardthat is always ready.classStopThis is a process that starts, engages in no events, performs no computation but refuses to terminate.Methods in org.jcsp.lang that return Guard Modifier and Type Method Description GuardInlineAlternative. getGuardByIndex(int index)Returns the guard object at a given index.GuardInlineAlternative. getSelectedGuard()Returns the actual guard object corresponding to the selected guard.Constructors in org.jcsp.lang with parameters of type Guard Constructor Description Alternative(Guard[] guard)Construct anAlternativeobject operating on theGuardarray of events.InlineAlternative(Guard[] guards)Creates a new oneInlineAlternative(Guard[] guards, int mode)Creates a new one -
Uses of Guard in org.jcsp.net
Subclasses of Guard in org.jcsp.net Modifier and Type Class Description classNetAltingChannelInputAn abstract class that is sub-classed by classes whose instances should be networked channel ends that can be used as anobjects.AltingChannelInputclassNetAltingConnectionClientInstances of this class areAltingConnectionClientobjects which connect toConnectionServerobjects over a JCSP.NET network.classNetSharedAltingConnectionClientDefines a class whose instances should bethat connect to aSharedAltingConnectionClientConnectionServerover a JCSP.NET network. -
Uses of Guard in org.jcsp.net.dynamic
Subclasses of Guard in org.jcsp.net.dynamic Modifier and Type Class Description classMigratableAltingChannelInputA migratable input channel end that can be used as a guard within anAlternative. -
Uses of Guard in org.jcsp.net2
Subclasses of Guard in org.jcsp.net2 Modifier and Type Class Description classNetAltingChannelInput<T>A NetChannelInput that may be used as a guard.classNetAltingConnectionClientclassNetAltingConnectionServer -
Uses of Guard in org.jcsp.util.filter
Subclasses of Guard in org.jcsp.util.filter Modifier and Type Class Description classFilteredAltingChannelInputImplements anAltingChannelInputchannel end that also supports read filters.
-