Package org.jcsp.plugNplay.ints
Class PrinterInt
java.lang.Object
org.jcsp.plugNplay.ints.PrinterInt
- All Implemented Interfaces:
CSProcess
Prints each int from its input channel to a PrintStream.
Process Diagram
Description
PrinterInt is a process for printing each int from its in channel to a PrintStream object (by default, System.out).For convenience, PrinterInt may be configured with prefix and postfix strings with which to decorate its output.
Channel Protocols
Input Channels | ||
---|---|---|
in | int | All channels in this package carry integers. |
Example
See the example inMergeInt
.- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate ChannelInputInt
The channel from which to readprivate String
The string to write after each integerprivate String
The string to write in front of each integerprivate PrintStream
The stream to which to write -
Constructor Summary
ConstructorsConstructorDescriptionConstruct a new PrinterInt with System.out as its PrintStream and empty prefix and postfix strings.PrinterInt
(ChannelInputInt in, PrintStream printStream) Construct a new PrinterInt with empty prefix and postfix strings.PrinterInt
(ChannelInputInt in, PrintStream printStream, String prefix, String postfix) Construct a new PrinterInt.PrinterInt
(ChannelInputInt in, String prefix, String postfix) Construct a new PrinterInt with System.out as its PrintStream. -
Method Summary
-
Field Details
-
in
The channel from which to read -
printStream
The stream to which to write -
prefix
The string to write in front of each integer -
postfix
The string to write after each integer
-
-
Constructor Details
-
PrinterInt
Construct a new PrinterInt with System.out as its PrintStream and empty prefix and postfix strings.- Parameters:
in
- the channel from which to read
-
PrinterInt
Construct a new PrinterInt with System.out as its PrintStream.- Parameters:
in
- the channel from which to readprefix
- the string to write in front of each integerpostfix
- the string to write after each integer
-
PrinterInt
Construct a new PrinterInt with empty prefix and postfix strings.- Parameters:
in
- the channel from which to readprintStream
- the stream to which to write
-
PrinterInt
Construct a new PrinterInt.- Parameters:
in
- he channel from which to readprintStream
- the stream to which to writeprefix
- the string to write in front of each integerpostfix
- the string to write after each integer
-
-
Method Details