jcsp.plugNplay
Class Numbers
java.lang.Object
|
+--jcsp.plugNplay.Numbers
- All Implemented Interfaces:
- CSProcess
- public class Numbers
- extends Object
- implements CSProcess
Plugs together a network of low-level stateless components
to generate the sequence of natural numbers.
Process Diagram
External View
___________
| | out
| Numbers |-->----
|___________|
Internal View
___________________________________________
| ____________ ________ |
| | | | | | out
| | Prefix (0) |----->-----| Delta2 |---------->--
| |____________| |________| |
| | | |
| | ___________ | |
| | | | | |
| +---<--| Successor |--<--+ |
| |___________| |
| Numbers |
|___________________________________________|
Description
The Numbers process generates the sequence of Natural Numbers.
Channel Protocols
| Input Channels |
| Output Channels |
| out |
java.lang.Integer |
The output will always be of type Integer.
|
- Author:
- P.D.Austin
|
Constructor Summary |
Numbers(ChannelOutput out)
Construct a new Numbers process with 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 |
Numbers
public Numbers(ChannelOutput out)
- Construct a new Numbers process with the output Channel out.
- Parameters:
out - the output channel
run
public void run()
- The main body of this process.
- Specified by:
run in interface CSProcess
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.