channelofstring.java

java实现的一个pascal编译器

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

/**
 * represents a channel that writes and reads
 * Strings to and from a channel
 * @author Fidel Viegas ([e-mail])
 */
public class ChannelOfString extends One2OneChannel {
  /**
   * writes a string value to the channel;
   */
   public void send(String value) {
     write(value); // write the value as an string object
   }

  /**
   * returns the string written to the channel
   */
  public String receive() {
    return (String) read(); // return the string value
  }
}