public final class ReferencedExcs extends ASTVisitorBase
Constructor and Description |
---|
ReferencedExcs() |
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.
|
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, 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<ClassSymbol> compute(AST tree)
tree
- the expression.public void add(AST tree)
tree
- the tree.public java.util.Collection<ClassSymbol> getResult()
public void visit(StateThrowsException formula)
visit
in interface ASTVisitor
visit
in class ASTVisitorBase
formula
- the formula to be processed.