public final class FreeVariables extends ASTVisitorBase
Modifier and Type | Method and Description |
---|---|
static void |
add(Expression exp,
java.util.Collection<java.lang.String> result)
Compute free variables of expression.
|
static java.util.Collection<java.lang.String> |
compute(Expression exp)
Compute free variables of expression.
|
void |
visit(LetExpression exp)
Process quantified expression
|
void |
visit(QuantifiedExpression exp)
Process quantified expression
|
void |
visit(Reference ref)
Process reference.
|
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
public static java.util.Collection<java.lang.String> compute(Expression exp)
exp
- an expression.public static void add(Expression exp, java.util.Collection<java.lang.String> result)
exp
- an expression.result
- a collection to which the names of the free variables
of the expression are added.public void visit(Reference ref)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
ref
- a reference.public void visit(QuantifiedExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
exp
- a quantified expression.public void visit(LetExpression exp)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
exp
- a quantified expression.