public class ExprRewriter extends AbstractRewriter<Expr> implements ExprVisitor
| Constructor and Description |
|---|
ExprRewriter(Map<Var,Node> values)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
ExprList |
rewrite(ExprList lst) |
SortCondition |
rewrite(SortCondition sortCondition) |
List<SortCondition> |
rewriteSortConditionList(List<SortCondition> lst) |
void |
visit(ExprAggregator eAgg) |
void |
visit(ExprFunction0 func) |
void |
visit(ExprFunction1 func) |
void |
visit(ExprFunction2 func) |
void |
visit(ExprFunction3 func) |
void |
visit(ExprFunctionN func) |
void |
visit(ExprFunctionOp funcOp) |
void |
visit(ExprNone none) |
void |
visit(ExprVar nv) |
void |
visit(NodeValue nv) |
getResult, rewrite, rewritepublic void visit(ExprFunction0 func)
visit in interface ExprVisitorpublic void visit(ExprFunction1 func)
visit in interface ExprVisitorpublic void visit(ExprFunction2 func)
visit in interface ExprVisitorpublic void visit(ExprFunction3 func)
visit in interface ExprVisitorpublic void visit(ExprFunctionN func)
visit in interface ExprVisitorpublic void visit(ExprFunctionOp funcOp)
visit in interface ExprVisitorpublic void visit(NodeValue nv)
visit in interface ExprVisitorpublic void visit(ExprNone none)
visit in interface ExprVisitorpublic void visit(ExprVar nv)
visit in interface ExprVisitorpublic void visit(ExprAggregator eAgg)
visit in interface ExprVisitorpublic final List<SortCondition> rewriteSortConditionList(List<SortCondition> lst)
public final SortCondition rewrite(SortCondition sortCondition)
Licensed under the Apache License, Version 2.0