/* StringValue.java */

/** A class representing a String constant. 
 */
public class StringValue extends Value {
  private String val;

  public StringValue(String x) {
    val = x;
  }

  public String stringValue() { 
    return val; 
  }

  public String toString() {
    return '\"' + val + '\"';
  }
}