de.uka.ilkd.key.informationflow.po.snippet

Class InfFlowInputOutputRelationSnippet.SearchVisitor

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.informationflow.po.snippet.InfFlowInputOutputRelationSnippet.SearchVisitor

All Implemented Interfaces:

Visitor

Enclosing class:

InfFlowInputOutputRelationSnippet

private static class InfFlowInputOutputRelationSnippet.SearchVisitor
extends DefaultVisitor

Field Summary

Fields

Modifier and Type	Field and Description
private Term[]	searchTerms
private boolean	termFound

Constructor Summary

Constructors

Constructor and Description
SearchVisitor(Term... searchTerms)

Method Summary

Modifier and Type	Method and Description
void	visit(Term visited) the entry method for the visitor pattern

Methods inherited from class de.uka.ilkd.key.logic.DefaultVisitor

subtreeEntered, subtreeLeft, visitSubtree

Methods inherited from class java.lang.Object

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

Field Detail

termFound

private boolean termFound

searchTerms

private Term[] searchTerms

Constructor Detail

SearchVisitor

public SearchVisitor(Term... searchTerms)

Method Detail

visit

public void visit(Term visited)

Description copied from interface: Visitor

the entry method for the visitor pattern

Parameters:

visited - the Term to be visited