Class PrinterInt

java.lang.Object
org.jcsp.plugNplay.ints.PrinterInt
All Implemented Interfaces:
CSProcess

public class PrinterInt extends Object implements 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 in MergeInt.
Author:
P.H. Welch and P.D. Austin
See Also:
  • Constructor Details

    • PrinterInt

      public PrinterInt(ChannelInputInt in)
      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

      public PrinterInt(ChannelInputInt in, String prefix, String postfix)
      Construct a new PrinterInt with System.out as its PrintStream.
      Parameters:
      in - the channel from which to read
      prefix - the string to write in front of each integer
      postfix - the string to write after each integer
    • PrinterInt

      public PrinterInt(ChannelInputInt in, PrintStream printStream)
      Construct a new PrinterInt with empty prefix and postfix strings.
      Parameters:
      in - the channel from which to read
      printStream - the stream to which to write
    • PrinterInt

      public PrinterInt(ChannelInputInt in, PrintStream printStream, String prefix, String postfix)
      Construct a new PrinterInt.
      Parameters:
      in - he 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
  • Method Details

    • run

      public void run()
      The main body of this process.
      Specified by:
      run in interface CSProcess