Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.plugNplay.ints |
This provides an assortment of plug-and-play CSP components to wire together
(with int-carrying wires) and reuse.
|
org.jcsp.test |
Modifier and Type | Interface and Description |
---|---|
interface |
SharedChannelInputInt
This is the same as
ChannelInputInt except that it is guaranteed
safe to pass on to more than one internal process for parallel reading. |
Modifier and Type | Class and Description |
---|---|
class |
AltingChannelInputInt
This extends
Guard and ChannelInputInt
to enable a process
to choose between many integer input (and other) events. |
(package private) class |
AltingChannelInputIntImpl |
(package private) class |
AltingChannelInputIntSymmetricImpl |
(package private) class |
ChannelInputIntImpl |
(package private) class |
SharedChannelInputIntImpl |
Modifier and Type | Field and Description |
---|---|
private ChannelInputInt |
AltingChannelInputIntSymmetricImpl.in |
Constructor and Description |
---|
AltingChannelInputIntSymmetricImpl(AltingBarrier ab,
ChannelInputInt in) |
Modifier and Type | Field and Description |
---|---|
private ChannelInputInt |
BlackHoleInt.in
The input Channel
|
private ChannelInputInt[] |
ParaplexInt.in
The input channels
|
private ChannelInputInt |
ProcessReadInt.in
The channel from which to read
|
private ChannelInputInt |
DemultiplexInt.in
The input Channel
|
private ChannelInputInt |
SuccessorInt.in
The input Channel
|
private ChannelInputInt |
PrinterInt.in
The channel from which to read
|
private ChannelInputInt |
FixedDelayInt.in
The input Channel
|
private ChannelInputInt |
MultInt.in
The input Channel
|
private ChannelInputInt |
PrefixInt.in
The input Channel
|
private ChannelInputInt |
IntegrateInt.in
The input Channel
|
private ChannelInputInt |
IdentityInt.in
The input Channel
|
private ChannelInputInt |
TailInt.in
The input Channel
|
private ChannelInputInt[] |
MergeInt.in
The input channels
|
private ChannelInputInt |
DeltaInt.in
The input Channel
|
private ChannelInputInt |
PairsInt.in
The input Channel
|
private ChannelInputInt |
SignInt.in
The input Channel
|
private ChannelInputInt |
SubstituteInt.in
The input Channel
|
private ChannelInputInt |
Delta2Int.in
The input Channel
|
private ChannelInputInt |
XorInt.in0
The first input Channel
|
private ChannelInputInt |
NorInt.in0
The first input Channel
|
private ChannelInputInt |
Merge2Int.in0
The first input Channel
|
private ChannelInputInt |
AndInt.in0
The first input Channel
|
private ChannelInputInt |
OrInt.in0
The first input Channel
|
private ChannelInputInt |
PlusInt.in0
The first input Channel
|
private ChannelInputInt |
NandInt.in0
The first input Channel
|
private ChannelInputInt |
TimesInt.in0
The first input Channel
|
private ChannelInputInt |
XorInt.in1
The second input Channel
|
private ChannelInputInt |
NorInt.in1
The second input Channel
|
private ChannelInputInt |
Merge2Int.in1
The second input Channel
|
private ChannelInputInt |
AndInt.in1
The second input Channel
|
private ChannelInputInt |
OrInt.in1
The second input Channel
|
private ChannelInputInt |
PlusInt.in1
The second input Channel
|
private ChannelInputInt |
NandInt.in1
The second input Channel
|
private ChannelInputInt |
TimesInt.in1
The second input Channel
|
Constructor and Description |
---|
AndInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new AndInt process with the input Channels in0 and in1 and the
output Channel out.
|
BlackHoleInt(ChannelInputInt in)
Construct a new BlackHoleInt process with the input Channel in.
|
Delta2Int(ChannelInputInt in,
ChannelOutputInt out0,
ChannelOutputInt out1)
Construct a new Delta2Int process with the input Channel in and the output
Channels out0 and out1.
|
DeltaInt(ChannelInputInt in,
ChannelOutputInt[] out)
Construct a new DeltaInt process with the input Channel in and the output
Channels out.
|
DemultiplexInt(ChannelInputInt in,
ChannelOutputInt[] out)
Construct a new DemultiplexInt process with the input Channel in and the output
Channels out.
|
FixedDelayInt(long delayTime,
ChannelInputInt in,
ChannelOutputInt out)
Construct a new FixedDelayInt process with the input Channel in and the
output Channel out.
|
IdentityInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new IdentityInt process with the input Channel in and the
output Channel out.
|
IntegrateInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new IntegrateInt process with the input Channel in and the
output Channel out.
|
Merge2Int(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new Merge2Int process with the input channels
in0 and in1 and the output channel out.
|
MergeInt(ChannelInputInt[] in,
ChannelOutputInt out)
Construct a new Merge2Int process with the input channels
inand the output channel out.
|
MultInt(int n,
ChannelInputInt in,
ChannelOutputInt out)
Construct a new MultInt process with the input Channel in and the
output Channel out.
|
NandInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new NandInt process with the input Channels in0 and in1 and the
output Channel out.
|
NorInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new NorInt process with the input Channels in0 and in1 and the
output Channel out.
|
OrInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new OrInt process with the input Channels in0 and in1 and the
output Channel out.
|
PairsInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new PairsInt process with the input Channel in and the
output Channel out.
|
ParaplexInt(ChannelInputInt[] in,
ChannelOutput out)
Construct a new ParaplexInt process from the array of input channels
to the output channel.
|
PlusInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new PlusInt process with the input Channels in0 and in1 and the
output Channel out.
|
PrefixInt(int n,
ChannelInputInt in,
ChannelOutputInt out)
Construct a new PrefixInt process with the input Channel in and the
output Channel out.
|
PrinterInt(ChannelInputInt in)
Construct a new PrinterInt with System.out as
its PrintStream and empty prefix and postfix strings.
|
PrinterInt(ChannelInputInt in,
java.io.PrintStream printStream)
Construct a new PrinterInt with empty prefix and postfix strings.
|
PrinterInt(ChannelInputInt in,
java.io.PrintStream printStream,
java.lang.String prefix,
java.lang.String postfix)
Construct a new PrinterInt.
|
PrinterInt(ChannelInputInt in,
java.lang.String prefix,
java.lang.String postfix)
Construct a new PrinterInt with System.out as
its PrintStream.
|
ProcessReadInt(ChannelInputInt in)
Construct a new ProcessReadInt.
|
SignInt(java.lang.String sign,
ChannelInputInt in,
ChannelOutput out)
Construct a new Sign process with the input Channel in and the
output Channel out.
|
SubstituteInt(ChannelInputInt in,
ChannelOutputInt out,
int n)
Construct a new SubstituteInt process.
|
SuccessorInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new SuccessorInt process with the input Channel in and the
output Channel out.
|
TailInt(ChannelInputInt in,
ChannelOutputInt out)
Construct a new TailInt process with the input Channel in and the
output Channel out.
|
TimesInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new TimesInt process with the input Channels in0 and in1 and the
output Channel out.
|
XorInt(ChannelInputInt in0,
ChannelInputInt in1,
ChannelOutputInt out)
Construct a new XorInt process with the input Channels in0 and in1 and the
output Channel out.
|
Modifier and Type | Field and Description |
---|---|
private ChannelInputInt |
ExtendedReaderSyncInt.input |
Modifier and Type | Method and Description |
---|---|
void |
TestExtendedRendezvous.helper_testFIFOChannelOneWriterInt(ChannelInputInt in,
ChannelOutputInt out) |
void |
TestExtendedRendezvous.helper_testIntChannelOneWriter(ChannelInputInt in,
ChannelOutputInt out) |
Constructor and Description |
---|
ExtendedReaderSyncInt(AltingBarrier[][] barriers,
ChannelInputInt in,
int iterations) |
ExtendedReaderSyncInt(AltingBarrier barrier,
ChannelInputInt in,
int iterations) |