org.jcsp.plugNplay.ints

Class GenerateInt

java.lang.Object

org.jcsp.plugNplay.ints.GenerateInt

All Implemented Interfaces:

CSProcess

public final class GenerateInt
extends java.lang.Object
implements CSProcess

Generates an infinite (constant) sequence of ints.

Process Diagram

Description

GenerateInt is a process that generates an infinite sequence of the integer, n, with which it is configured.

Channel Protocols

Output Channels
out	int	All channels in this package carry integers.

Field Summary

Fields

Modifier and Type	Field and Description
private int	n The output number
private ChannelOutputInt	out The output Channel

Constructor Summary

Constructors

Constructor and Description
GenerateInt(ChannelOutputInt out, int n) Construct a new GenerateInt process with the output channel out.

Method Summary

Modifier and Type	Method and Description
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

Field Detail

out

private final ChannelOutputInt out

The output Channel

n

private final int n

The output number

Constructor Detail

GenerateInt

public GenerateInt(ChannelOutputInt out,
                   int n)

Construct a new GenerateInt process with the output channel out.

Parameters:

out - the output channel

n - the number to generate

Method Detail

run

public void run()

The main body of this process.

Specified by:

run in interface CSProcess