fmrisc.ProgramExplorer.Semantics

Class UsedVariables

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Semantics.UsedVariables

All Implemented Interfaces:

ASTVisitor

public final class UsedVariables
extends ASTVisitorBase

Compute the (logic) variables/constants used in an expression.

Method Summary

Modifier and Type	Method and Description
static void	add(Expression exp, java.util.Collection<java.lang.String> result) Compute used variables of expression.
static void	add(java.lang.String[] vars, java.util.Collection<java.lang.String> result) Add variables to variable set.
static java.util.Collection<java.lang.String>	compute(Expression exp) Compute used variables of expression.
void	visit(LetExpression exp) Process quantified expression
void	visit(QuantifiedExpression exp) Process quantified expression
void	visit(Reference ident) Process reference.

Methods inherited from class fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

compute

public static java.util.Collection<java.lang.String> compute(Expression exp)

Compute used variables of expression.

Parameters:

exp - an expression.

Returns:

a collection of the names of the used variables of the expression

add

public static void add(Expression exp,
                       java.util.Collection<java.lang.String> result)

Compute used variables of expression.

Parameters:

exp - an expression.

result - a collection to which the names of the used variables of the expression are added.

add

public static void add(java.lang.String[] vars,
                       java.util.Collection<java.lang.String> result)

Add variables to variable set.

Parameters:

vars - an array of variables

result - a collection to which the given variables are added

visit

public void visit(Reference ident)

Process reference.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

ident - a reference.

visit

public void visit(QuantifiedExpression exp)

Process quantified expression

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

exp - a quantified expression.

visit

public void visit(LetExpression exp)

Process quantified expression

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

exp - a quantified expression.