channelofchar.java

java实现的一个pascal编译器

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

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

  /**
   * returns the character written to the channel
   */
  public char receive() {
    return ((Character) read()).charValue(); // return the char value
  }
}