|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Interface to expressions (terms and formulas).
Method Summary | |
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.AST.AST |
print, printCore, printParens, toString |
Method Detail |
public void printPriority(int treshold, java.io.PrintWriter out)
treshold
- priority level of enclosing expressionout
- writer to print expression onpublic Expression instantiate()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |