ASTSpecExpression.java

package edu.udel.cis.vsl.tass.front.minimp.ast.expression;

import edu.udel.cis.vsl.tass.front.minimp.ast.misc.ASTIdentifier;
import edu.udel.cis.vsl.tass.front.minimp.ast.type.ASTTypeIF;

public class ASTSpecExpression extends ASTExpression {
  private ASTIdentifier name;

  public ASTSpecExpression(ASTIdentifier name, ASTTypeIF type) {
    super(type);
    this.name = name;
  }

  public ASTIdentifier getName() {
    return this.name;
  }

  public String toString() {
    return "spec." + name.toString();
  }
}