CSP for Java
(JCSP) 1.1-rc4

Class Nand

  extended by org.jcsp.plugNplay.Nand
All Implemented Interfaces:

public final class Nand
extends Object
implements CSProcess

Bitwise nands two Integer streams to one stream.

Process Diagram

    in0  ______
   -->--|      | out
    in1 | Nand |-->--


This is a process with an infinite loop that waits for a Object of type Number to be sent down each of its input channels. The loop body then calculates the bitwise NAND on the values of the two Numbers and writes the result as a new Integer to its output channel.

Channel Protocols

Input Channels
in1,in2 java.lang.Number Both Channels can accept data from any subclass of Number. It is possible to send Floats down one channel Nand Integers down the other. However all values will be converted to ints.
Output Channels
out java.lang.Integer The output will always be of type Integer.


The following example shows how the use of this process in a small program. The program also uses some of the other building block processes. It generates a sequence of numbers, rounds each odd number down to the nearest even number, negates them and prints them to the screen.
 import org.jcsp.lang.*;
 import org.jcsp.plugNplay.*;
 public class NandExample {
   public static void main (String[] argv) {
     final One2OneChannel a = Channel.one2one ();
     final One2OneChannel b = Channel.one2one ();
     final One2OneChannel c = Channel.one2one ();
     final One2OneChannel d = Channel.one2one ();
     new Parallel (
       new CSProcess[] {
         new Numbers (a.out ()),
         new Generate (b.out (), Integer.MAX_VALUE - 1),
         new Nand (a.in (), b.in (), c.out ()),
         new Successor (c.in (), d.out ()),
         new Printer (d.in (), "--> ", "\n")
     ).run ();

P.H. Welch and P.D. Austin

Constructor Summary
Nand(ChannelInput in1, ChannelInput in2, ChannelOutput out)
          Construct a new Nand process with the input Channels in1 and in2 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


public Nand(ChannelInput in1,
            ChannelInput in2,
            ChannelOutput out)
Construct a new Nand process with the input Channels in1 and in2 and the output Channel out. The ordering of the Channels in1 and in2 make no difference to the functionality of this process.

in1 - the first input Channel
in2 - the second input Channel
out - the output Channel
Method Detail


public void run()
The main body of this process.

Specified by:
run in interface CSProcess

CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 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.