Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.test |
Modifier and Type | Field and Description |
---|---|
private AltingBarrier[] |
BasicOne2OneChannelSymmetric.ab |
private AltingBarrier |
AltingChannelInputIntSymmetricImpl.ab |
private AltingBarrier |
AltingChannelOutputSymmetricImpl.ab |
private AltingBarrier[] |
BasicOne2OneChannelSymmetricInt.ab |
private AltingBarrier |
AltingChannelInputSymmetricImpl.ab |
private AltingBarrier |
AltingChannelOutputIntSymmetricImpl.ab |
private AltingBarrier |
AltingBarrierBase.frontEnds
All front-ends are chained off here.
|
(package private) AltingBarrier |
AltingBarrier.next
Link to the next front-end (used by
AltingBarrierBase ). |
Modifier and Type | Method and Description |
---|---|
static AltingBarrier |
AltingBarrier.create()
This creates a new alting barrier with an (initial) enrollment
count of
1 . |
static AltingBarrier[] |
AltingBarrier.create(int n)
This creates a new alting barrier with an (initial) enrollment
count of
n . |
AltingBarrier |
AltingBarrier.expand()
This expands by one the number of processes enrolled in this alting
barrier.
|
(package private) AltingBarrier |
AltingBarrierBase.expand() |
AltingBarrier[] |
AltingBarrier.expand(int n)
This expands the number of processes enrolled in this alting barrier.
|
(package private) AltingBarrier[] |
AltingBarrierBase.expand(int n) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
AltingBarrierBase.contract(AltingBarrier ab)
This removes the given front-end chained to this alting barrier.
|
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-ends chained to this alting barrier.
|
Constructor and Description |
---|
AltingBarrier(AltingBarrierBase base,
AltingBarrier next)
Package-only constructor (used by
AltingBarrierBase ). |
AltingChannelInputIntSymmetricImpl(AltingBarrier ab,
ChannelInputInt in) |
AltingChannelInputSymmetricImpl(AltingBarrier ab,
ChannelInput<T> in) |
AltingChannelOutputIntSymmetricImpl(AltingBarrier ab,
ChannelOutputInt out) |
AltingChannelOutputSymmetricImpl(AltingBarrier ab,
ChannelOutput<T> out) |
Modifier and Type | Field and Description |
---|---|
private AltingBarrier |
BarrierSyncer.barrier |
(package private) AltingBarrier |
DelaySyncer.barrier |
private AltingBarrier[][] |
ExtendedReaderSyncInt.events |
private AltingBarrier[][] |
WriterProcessInt.events |
private AltingBarrier[][] |
ExtendedReaderSync.events |
private AltingBarrier[][] |
WriterProcess.events |
Constructor and 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) |