Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.test |
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.
|
AltingBarrier[] |
AltingBarrier.expand(int n)
This expands the number of processes enrolled in this alting barrier.
|
Modifier and Type | Method and Description |
---|---|
void |
AltingBarrier.contract(AltingBarrier[] ab)
This contracts the number of processes enrolled in this alting barrier.
|
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) |
Copyright © 1996–2022. All rights reserved.