jcsp.plugNplay.ints
Class TailInt

java.lang.Object
  |
  +--jcsp.plugNplay.ints.TailInt

All Implemented Interfaces:

CSProcess

public final class TailInt

extends Object

implements CSProcess

The output stream is the tail of its input stream.

Process Diagram

         ___________
    in  |           | out
   -->--|  TailInt  |-->--
        |___________|
 

The output stream is the tail of its input stream.

Description

The output stream from PrefixInt is the tail of its input stream.

Two inputs are needed before any output is produced but, thereafter, one output is produced for each input.

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.D.Austin

Constructor Summary

TailInt(ChannelInputInt in, ChannelOutputInt out)
Construct a new TailInt 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

TailInt

public TailInt(ChannelInputInt in,
               ChannelOutputInt out)

Construct a new TailInt 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