ASTAssumeStatement.java

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

import edu.udel.cis.vsl.tass.front.minimp.ast.expression.ASTExpressionIF;

public class ASTAssumeStatement extends ASTStatement {
  private ASTExpressionIF assumption;

  public ASTAssumeStatement(ASTExpressionIF assumption) {
    this.assumption = assumption;
  }

  public ASTExpressionIF getAssumption() {
    return this.assumption;
  }

  public String toString() {
    return "assume " + assumption.toString() + ";";
  }
}