fmrisc.ProgramExplorer.Semantics

Class ReferencedExcs

java.lang.Object

fmrisc.ProgramExplorer.Syntax.ASTVisitorBase

fmrisc.ProgramExplorer.Semantics.ReferencedExcs

All Implemented Interfaces:

ASTVisitor

public final class ReferencedExcs
extends ASTVisitorBase

Compute the exception types referenced by an expression.

Constructor Summary

Constructors

Constructor and Description
ReferencedExcs()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(AST tree) Add references from the denoted tree.
static java.util.Collection<ClassSymbol>	compute(AST tree) Compute referenced exceptions.
java.util.Collection<ClassSymbol>	getResult() Get the result of the computation.
void	visit(StateThrowsException formula) Process formula.

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, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

ReferencedExcs

public ReferencedExcs()

Method Detail

compute

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

Compute referenced exceptions.

Parameters:

tree - the expression.

Returns:

a collection of the symbols of the exceptions referenced by tree.

add

public void add(AST tree)

Add references from the denoted tree.

Parameters:

tree - the tree.

getResult

public java.util.Collection<ClassSymbol> getResult()

Get the result of the computation.

Returns:

the result.

visit

public void visit(StateThrowsException formula)

Process formula.

Specified by:

visit in interface ASTVisitor

Overrides:

visit in class ASTVisitorBase

Parameters:

formula - the formula to be processed.