fmrisc.Syntax
Interface Expression

All Superinterfaces:
AST
All Known Implementing Classes:
AndFormula, ApplicationExpression, ArrayTerm, BinaryExpression, DividesTerm, EqualsFormula, EquivalentFormula, ExistsFormula, ExpressionBase, ForallFormula, GreaterEqualFormula, GreaterFormula, IfThenElseExpression, ImpliesFormula, LambdaTerm, LessEqualFormula, LessFormula, LetExpression, Logical, MinusTerm, NegationTerm, NotEqualsFormula, NotEquivalentFormula, NotFormula, Number, OrFormula, PlusTerm, PowerTerm, QuantifiedExpression, RecordTerm, Reference, SelectionTerm, TimesTerm, TupleTerm, UnaryExpression, UpdateTerm

public interface Expression
extends AST

Interface to expressions (terms and formulas).


Method Summary
 int getPriority()
          Get Priority of expression (higher values mean less binding power).
 Expression instantiate()
          return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers
 void printPriority(int treshold, java.io.PrintWriter out)
          print expression, use parentheses if priority is greater than treshold
 
Methods inherited from interface fmrisc.Syntax.AST
accept, print, printCore, printParens, toString
 

Method Detail

getPriority

int getPriority()
Get Priority of expression (higher values mean less binding power).

Returns:
the expression priority.

printPriority

void printPriority(int treshold,
                   java.io.PrintWriter out)
print expression, use parentheses if priority is greater than treshold

Parameters:
treshold - priority level of enclosing expression
out - writer to print expression on

instantiate

Expression instantiate()
return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers

Returns:
the instantiated copy