fmrisc.ProofNavigator.Semantics

Class FreeVariables

java.lang.Object

fmrisc.ProofNavigator.Syntax.ASTVisitorBase

fmrisc.ProofNavigator.Semantics.FreeVariables

All Implemented Interfaces:

ASTVisitor

public final class FreeVariables
extends ASTVisitorBase

Compute the free variables of an expression.

Method Summary

Methods

Modifier and Type	Method and Description
static void	append(Expression exp, java.util.Vector<ValueSymbol> result, boolean constants) Compute free variables of expression.
static java.util.Vector<ValueSymbol>	compute(Expression exp, boolean constants) Compute free variables of expression.
static java.util.Vector<ValueSymbol>	compute(Type type, boolean constants) Compute free variables of type.

Methods inherited from class fmrisc.ProofNavigator.Syntax.ASTVisitorBase

isCloned, visit

Methods inherited from class java.lang.Object

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

Method Detail

compute

public static java.util.Vector<ValueSymbol> compute(Expression exp,
                                    boolean constants)

Compute free variables of expression.

Parameters:

exp - an expression.

constants - true if also constants are to be added.

Returns:

a vector of ValueSymbol objects representing the free variables of the expression (each symbol occurs once in the vector).

compute

public static java.util.Vector<ValueSymbol> compute(Type type,
                                    boolean constants)

Compute free variables of type.

Parameters:

type - a type.

constants - true if also constants are to be added.

Returns:

a vector of ValueSymbol objects representing the free variables of the type (each symbol occurs once in the vector).

append

public static void append(Expression exp,
          java.util.Vector<ValueSymbol> result,
          boolean constants)

Compute free variables of expression.

Parameters:

exp - an expression.

constants - true if also constants are to be added.

result - a vector to which the ValueSymbol objects representing the free variables of the expression are appended (each symbol will occur only once in result).