de.uka.ilkd.key.informationflow.rule.tacletbuilder

Class AbstractInfFlowTacletBuilder.QuantifiableVariableVisitor

java.lang.Object

de.uka.ilkd.key.informationflow.rule.tacletbuilder.AbstractInfFlowTacletBuilder.QuantifiableVariableVisitor

All Implemented Interfaces:

Visitor

Enclosing class:

AbstractInfFlowTacletBuilder

class AbstractInfFlowTacletBuilder.QuantifiableVariableVisitor
extends java.lang.Object
implements Visitor

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.LinkedList<QuantifiableVariable>	vars

Constructor Summary

Constructors

Constructor and Description
QuantifiableVariableVisitor()

Method Summary

Modifier and Type	Method and Description
java.util.LinkedList<QuantifiableVariable>	getResult()
void	subtreeEntered(Term subtreeRoot) this method is called in execPreOrder and execPostOrder in class Term when entering the subtree rooted in the term subtreeRoot.
void	subtreeLeft(Term subtreeRoot) this method is called in execPreOrder and execPostOrder in class Term when leaving the subtree rooted in the term subtreeRoot.
void	visit(Term visited) the entry method for the visitor pattern
boolean	visitSubtree(Term visited) Checks if the subtree below the visited Term should be traversed.

Methods inherited from class java.lang.Object

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

Field Detail

vars

private java.util.LinkedList<QuantifiableVariable> vars

Constructor Detail

QuantifiableVariableVisitor

QuantifiableVariableVisitor()

Method Detail

visitSubtree

public boolean visitSubtree(Term visited)

Description copied from interface: Visitor

Checks if the subtree below the visited Term should be traversed.

Specified by:

visitSubtree in interface Visitor

Parameters:

visited - The currently visited Term.

Returns:

true visit sub tree, false skip sub tree.

visit

public void visit(Term visited)

Description copied from interface: Visitor

the entry method for the visitor pattern

Specified by:

visit in interface Visitor

Parameters:

visited - the Term to be visited

subtreeEntered

public void subtreeEntered(Term subtreeRoot)

Description copied from interface: Visitor

this method is called in execPreOrder and execPostOrder in class Term when entering the subtree rooted in the term subtreeRoot. Default implementation is to do nothing. Subclasses can override this method when the visitor behaviour depends on informations bound to subtrees.

Specified by:

subtreeEntered in interface Visitor

Parameters:

subtreeRoot - root of the subtree which the visitor enters.

subtreeLeft

public void subtreeLeft(Term subtreeRoot)

Description copied from interface: Visitor

this method is called in execPreOrder and execPostOrder in class Term when leaving the subtree rooted in the term subtreeRoot. Default implementation is to do nothing. Subclasses can override this method when the visitor behaviour depends on informations bound to subtrees.

Specified by:

subtreeLeft in interface Visitor

Parameters:

subtreeRoot - root of the subtree which the visitor leaves.

getResult

public java.util.LinkedList<QuantifiableVariable> getResult()