CSP for Java
(JCSP) 1.1-rc4

org.jcsp.plugNplay.ints
Class AndInt

java.lang.Object
  extended by org.jcsp.plugNplay.ints.AndInt
All Implemented Interfaces:
CSProcess

public final class AndInt
extends Object
implements CSProcess

Bitwise ands two integer streams to one stream.

Process Diagram

Description

AndInt is a process whose output stream is the bitwise and of the integers on its input streams.

Channel Protocols

Input Channels
in0, in1 int All channels in this package carry integers.
Output Channels
out int All channels in this package carry integers.

Example

The following example shows how to use the And process in a small program. The program also uses some of the other building block processes. The program generates a sequence of numbers and rounds each odd number down to the nearest even number and prints this on the screen.
 import org.jcsp.lang.*;
 import org.jcsp.plugNplay.ints.*;
 
 public class AndIntExample {
 
   public static void main (String[] argv) {
 
     final One2OneChannelInt a = Channel.one2oneInt ();
     final One2OneChannelInt b = Channel.one2oneInt ();
     final One2OneChannelInt c = Channel.one2oneInt ();
 
     new Parallel (
       new CSProcess[] {
         new NumbersInt (a.out ()),
         new GenerateInt (b.out (), Integer.MAX_VALUE - 1),
         new AndInt (a.in (), b.in (), c.out ()),
         new PrinterInt (c.in (), "--> ", "\n")
       }
     ).run ();
 
   }
 
 }
 

Author:
P.H. Welch and P.D. Austin

Constructor Summary
AndInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)
          Construct a new AndInt process with the input Channels in0 and in1 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

AndInt

public AndInt(ChannelInputInt in0,
              ChannelInputInt in1,
              ChannelOutputInt out)
Construct a new AndInt process with the input Channels in0 and in1 and the output Channel out. The ordering of the Channels in0 and in1 make no difference to the functionality of this process.

Parameters:
in0 - an input Channel
in1 - an 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.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.