de.uka.ilkd.key.gui.nodeviews

Class DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith

All Implemented Interfaces:

DragNDropInstantiator.TacletFilter

Enclosing interface:

DragNDropInstantiator.TacletFilter

public static class DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith
extends Object
implements DragNDropInstantiator.TacletFilter

This filter selects all Taclet which have an assumes, find and at least one replacewith part.

Nested Class Summary

Nested classes/interfaces inherited from interface de.uka.ilkd.key.gui.nodeviews.DragNDropInstantiator.TacletFilter

DragNDropInstantiator.TacletFilter.TacletWithIfFindAndNoReplacewith, DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith, DragNDropInstantiator.TacletFilter.TacletWithNoIf, DragNDropInstantiator.TacletFilter.TacletWithNoIfFindAndAddrule

Field Summary

Fields inherited from interface de.uka.ilkd.key.gui.nodeviews.DragNDropInstantiator.TacletFilter

TACLET_WITH_IF_FIND_AND_NO_REPLACEWITH, TACLET_WITH_IF_FIND_AND_REPLACEWITH, TACLET_WITH_NO_IF, TACLET_WITH_NO_IF_FIND_AND_ADDRULE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TacletWithIfFindAndReplacewith()

Method Summary

Modifier and Type	Method and Description
boolean	satisfiesFilterCondition(Taclet taclet) tests if the given taclet consists of an assumes, find and replacewith part and returns true if the test is positive

Methods inherited from class java.lang.Object

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

Constructor Detail

TacletWithIfFindAndReplacewith

private TacletWithIfFindAndReplacewith()

Method Detail

satisfiesFilterCondition

public boolean satisfiesFilterCondition(Taclet taclet)

tests if the given taclet consists of an assumes, find and replacewith part and returns true if the test is positive

Specified by:

satisfiesFilterCondition in interface DragNDropInstantiator.TacletFilter

Parameters:

taclet - the Taclet to be tested

Returns:

true if filter condition is fulfilled