jcsp.plugNplay.ints
Class PrefixInt

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

All Implemented Interfaces:

CSProcess

public final class PrefixInt

extends Object

implements CSProcess

Prefixes a user-supplied integer to the int stream flowing through.

Process Diagram

         _______________
    in  |               | out
   -->--| PrefixInt (n) |-->--
        |_______________|
 

Description

The output stream from PrefixInt is its input stream prefixed by the integer, n, with which it is configured.

One output is gererated before any input but that, 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

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

PrefixInt

public PrefixInt(int n,
                 ChannelInputInt in,
                 ChannelOutputInt out)

Construct a new PrefixInt process with the input Channel in and the output Channel out.

Parameters:

n - the initial int to be sent down the Channel.

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