CSP for Java
(JCSP) 1.0-rc4

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

CSP for Java
(JCSP) 1.0-rc4

Submit a bug or feature to jcsp-team@ukc.ac.uk
Version 1.0-rc4 of the JCSP API Specification (Copyright 1997-2000 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.