de.uka.ilkd.key.strategy.feature

Class FocusIsSubFormulaOfInfFlowContractAppFeature.SubFormulaVisitor

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.strategy.feature.FocusIsSubFormulaOfInfFlowContractAppFeature.SubFormulaVisitor

All Implemented Interfaces:

Visitor

Enclosing class:

FocusIsSubFormulaOfInfFlowContractAppFeature

private class FocusIsSubFormulaOfInfFlowContractAppFeature.SubFormulaVisitor
extends DefaultVisitor

Field Summary

Fields

Modifier and Type	Field and Description
(package private) boolean	isSubFormula
(package private) Term	potentialSub

Constructor Summary

Constructors

Constructor and Description
SubFormulaVisitor(Term potentialSub)

Method Summary

Modifier and Type	Method and Description
(package private) boolean	getIsSubFormula()
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

potentialSub

final Term potentialSub

isSubFormula

boolean isSubFormula

Constructor Detail

SubFormulaVisitor

public SubFormulaVisitor(Term potentialSub)

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

getIsSubFormula

boolean getIsSubFormula()