org.jcsp.plugNplay.ints
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 Summary

IdentityInt(ChannelInputInt in, ChannelOutputInt out)
Construct a new IdentityInt process with the input Channel in and the output Channel out.

Method Summary

void	run() The main body of this process.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

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 Detail

run

public void run()

The main body of this process.

Specified by:

run in interface CSProcess