de.uka.ilkd.key.java.visitor

Class FreeLabelFinder

java.lang.Object

de.uka.ilkd.key.java.visitor.FreeLabelFinder

public class FreeLabelFinder
extends java.lang.Object

descends recursively a given program and looks for free occurrences of a specified label

Constructor Summary

Constructors

Constructor and Description
FreeLabelFinder()

Method Summary

Modifier and Type	Method and Description
boolean	findLabel(Label label, ProgramElement node)

Methods inherited from class java.lang.Object

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

Constructor Detail

FreeLabelFinder

public FreeLabelFinder()

Method Detail

findLabel

public boolean findLabel(Label label,
                         ProgramElement node)