public static class DragNDropInstantiator.TacletFilter.TacletWithIfFindAndNoReplacewith 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 |
TacletWithIfFindAndNoReplacewith() |
Modifier and Type | Method and Description |
---|---|
boolean |
satisfiesFilterCondition(Taclet taclet)
tests if the given taclet consists of an assumes,
find and no 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