private static class InfFlowInputOutputRelationSnippet.SearchVisitor extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
private Term[] |
searchTerms |
private boolean |
termFound |
Constructor and Description |
---|
SearchVisitor(Term... searchTerms) |
Modifier and Type | Method and Description |
---|---|
void |
visit(Term visited)
the entry method for the visitor pattern
|
subtreeEntered, subtreeLeft, visitSubtree