Class IdentityInt

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

public final class IdentityInt extends Object implements CSProcess
This copies its input stream to its output stream unchanged.

Process Diagram

Description

This is a process that simply copies its input stream to its output stream. The difference between a channel and a channel into which an IdentityInt process has been spliced is that the latter has a buffering capacity of one more than the channel (which is zero, unless explicitly constructed with a buffer).

Channel Protocols

Input Channels
in int All channels in this package carry integers.
Output Channels
out int All channels in this package carry integers.
Author:
P.H. Welch and P.D. Austin
  • Constructor Details

    • IdentityInt

      public IdentityInt(ChannelInputInt in, ChannelOutputInt out)
      Construct a new IdentityInt process with the input Channel in and the output Channel out.
      Parameters:
      in - the input Channel
      out - the output Channel
  • Method Details

    • run

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