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
Fields in org.jcsp.lang declared as AltingBarrier Modifier and Type Field Description private AltingBarrier
AltingChannelInputIntSymmetricImpl. ab
private AltingBarrier
AltingChannelInputSymmetricImpl. ab
private AltingBarrier
AltingChannelOutputIntSymmetricImpl. ab
private AltingBarrier
AltingChannelOutputSymmetricImpl. ab
private AltingBarrier[]
BasicOne2OneChannelSymmetric. ab
private AltingBarrier[]
BasicOne2OneChannelSymmetricInt. ab
private AltingBarrier
AltingBarrierBase. frontEnds
All front-ends are chained off here.(package private) AltingBarrier
AltingBarrier. next
Link to the next front-end (used byAltingBarrierBase
).Methods in org.jcsp.lang that return AltingBarrier Modifier and Type Method Description static AltingBarrier
AltingBarrier. 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
.AltingBarrier
AltingBarrier. 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.(package private) AltingBarrier
AltingBarrierBase. expand()
(package private) AltingBarrier[]
AltingBarrierBase. expand(int n)
Methods in org.jcsp.lang with parameters of type AltingBarrier Modifier and Type Method Description void
AltingBarrier. contract(AltingBarrier[] ab)
This contracts the number of processes enrolled in this alting barrier.(package private) void
AltingBarrierBase. contract(AltingBarrier ab)
This removes the given front-end chained to this alting barrier.(package private) void
AltingBarrierBase. contract(AltingBarrier[] ab)
This removes the given front-ends chained to this alting barrier.Constructors in org.jcsp.lang with parameters of type AltingBarrier Constructor Description AltingBarrier(AltingBarrierBase base, AltingBarrier next)
Package-only constructor (used byAltingBarrierBase
).AltingChannelInputIntSymmetricImpl(AltingBarrier ab, ChannelInputInt in)
AltingChannelInputSymmetricImpl(AltingBarrier ab, ChannelInput<T> in)
AltingChannelOutputIntSymmetricImpl(AltingBarrier ab, ChannelOutputInt out)
AltingChannelOutputSymmetricImpl(AltingBarrier ab, ChannelOutput<T> out)
-
Uses of AltingBarrier in org.jcsp.test
Fields in org.jcsp.test declared as AltingBarrier Modifier and Type Field Description private AltingBarrier
BarrierSyncer. barrier
(package private) AltingBarrier
DelaySyncer. barrier
private AltingBarrier[][]
ExtendedReaderSync. events
private AltingBarrier[][]
ExtendedReaderSyncInt. events
private AltingBarrier[][]
WriterProcess. events
private AltingBarrier[][]
WriterProcessInt. events
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, java.util.List values, AltingBarrier event)
WriterProcess(ChannelOutput out, java.util.List values, AltingBarrier[][] events)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)
-