fmrisc.ProgramExplorer.Semantics

Class ReferencedUnits

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Semantics.ReferencedUnits

All Implemented Interfaces:

ASTVisitor

public final class ReferencedUnits
extends ASTVisitorBase

Compute the units (theory/class) referenced by a unit.

Constructor Summary

Constructors

Constructor and Description
ReferencedUnits()

Method Summary

Modifier and Type	Method and Description
static java.util.Collection<Symbol>	compute(AST tree) Compute referenced units.
static void	computeClosure(java.util.Collection<Symbol> in, java.util.Vector<Symbol> out) Compute closure of unit dependencies.
static java.util.Collection<Symbol>	filterDependencies(Symbol symbol, java.util.Collection<Symbol> symbols) Filter all those units that (directly or indirectly) depend on given unit.
void	visit(Identifier ident) Process identifier.
void	visit(StringLiteral literal) Process string literal
void	visit(StringType type) Process string type.

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

Constructor Detail

ReferencedUnits

public ReferencedUnits()

Method Detail

compute

public static java.util.Collection<Symbol> compute(AST tree)

Compute referenced units.

Parameters:

tree - the source of the unit.

Returns:

a collection of the symbols of the referenced units.

visit

public void visit(Identifier ident)

Process identifier.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

ident - an identifier.

visit

public void visit(StringType type)

Process string type.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

type - a string type expression.

visit

public void visit(StringLiteral literal)

Process string literal

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

literal - a string literal

filterDependencies

public static java.util.Collection<Symbol> filterDependencies(Symbol symbol,
                                                              java.util.Collection<Symbol> symbols)

Filter all those units that (directly or indirectly) depend on given unit. Assumes that all units have their direct dependencies computed.

Parameters:

symbol - the symbol denoting a unit

symbols - a collection of units

Returns:

the set of all elements of symbols depending directly or indirectly on the unit denoted by symbol.

computeClosure

public static void computeClosure(java.util.Collection<Symbol> in,
                                  java.util.Vector<Symbol> out)

Compute closure of unit dependencies.

Parameters:

in - a collection of unit (class/theory) symbols.

out - a vector of unit (class/theory) symbols different from in. to which the reflexive transitive closure of the unit (class/theory) dependencies of in are added in dependence order.