channelofboolean.java

java实现的一个pascal编译器

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

/**
 * represents a channel that writes and reads
 * booleans to and from a channel
 * @author Fidel Viegas ([e-mail])
 */
public class ChannelOfBoolean extends One2OneChannel {
  /**
   * writes a character value to the channel;
   */
   public void send(boolean value) {
     write(new Boolean(value)); // write the value as an Boolean object
   }

  /**
   * returns the boolean written to the channel
   */
  public boolean receive() {
    return ((Boolean) read()).booleanValue(); // return the char value
  }
}