public static class DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith extends java.lang.Object implements DragNDropInstantiator.TacletFilter
DragNDropInstantiator.TacletFilter.TacletWithIfFindAndNoReplacewith, DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith, DragNDropInstantiator.TacletFilter.TacletWithNoIf, DragNDropInstantiator.TacletFilter.TacletWithNoIfFindAndAddrule
TACLET_WITH_IF_FIND_AND_NO_REPLACEWITH, TACLET_WITH_IF_FIND_AND_REPLACEWITH, TACLET_WITH_NO_IF, TACLET_WITH_NO_IF_FIND_AND_ADDRULE
Modifier | Constructor and Description |
---|---|
private |
TacletWithIfFindAndReplacewith() |
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
|
public boolean satisfiesFilterCondition(Taclet taclet)
satisfiesFilterCondition
in interface DragNDropInstantiator.TacletFilter
taclet
- the Taclet to be tested