channelofinteger.java

java实现的一个pascal编译器

package uk.co.brainycreatures.jpascal.type;
import jcsp.lang.*;

/**
 * represents a channel that writes and reads
 * integers to and from a channel
 */
public class ChannelOfInteger extends One2OneChannel {
  /**
   * writes an integer value to the channel;
   */
   public void send(long value) {
     write(new Long(value)); // write the value as an Integer object
   }

  /**
   * returns the integer written to the channel
   */
  public int receive() {
    return ((Long) read()).intValue(); // return the int value
  }
}