Uses of Class
org.jcsp.lang.AltingBarrier
-
Packages that use AltingBarrier Package Description org.jcsp.lang This provides classes and interfaces corresponding to the fundamental primitives of CSP.org.jcsp.test -
-
Uses of AltingBarrier in org.jcsp.lang
Methods in org.jcsp.lang that return AltingBarrier Modifier and Type Method Description static AltingBarrierAltingBarrier. create()This creates a new alting barrier with an (initial) enrollment count of1.static AltingBarrier[]AltingBarrier. create(int n)This creates a new alting barrier with an (initial) enrollment count ofn.AltingBarrierAltingBarrier. expand()This expands by one the number of processes enrolled in this alting barrier.AltingBarrier[]AltingBarrier. expand(int n)This expands the number of processes enrolled in this alting barrier.Methods in org.jcsp.lang with parameters of type AltingBarrier Modifier and Type Method Description voidAltingBarrier. contract(AltingBarrier[] ab)This contracts the number of processes enrolled in this alting barrier. -
Uses of AltingBarrier in org.jcsp.test
Constructors in org.jcsp.test with parameters of type AltingBarrier Constructor Description BarrierSyncer(AltingBarrier barrier)DelaySyncer(AltingBarrier barrier, int milliSeconds, int iterations)ExtendedReaderSync(AltingBarrier[][] barriers, ChannelInput in, int iterations)ExtendedReaderSync(AltingBarrier barrier, ChannelInput in, int iterations)ExtendedReaderSyncInt(AltingBarrier[][] barriers, ChannelInputInt in, int iterations)ExtendedReaderSyncInt(AltingBarrier barrier, ChannelInputInt in, int iterations)WriterProcess(ChannelOutput out, List values, AltingBarrier event)WriterProcess(ChannelOutput out, List values, AltingBarrier[][] events)WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
-