protected static interface DragNDropInstantiator.TacletFilter
Modifier and Type | Interface and Description |
---|---|
static class |
DragNDropInstantiator.TacletFilter.TacletWithIfFindAndNoReplacewith
This filter selects all Taclet which have an assumes,
find and no replacewith part.
|
static class |
DragNDropInstantiator.TacletFilter.TacletWithIfFindAndReplacewith
This filter selects all Taclet which have an assumes,
find and at least one replacewith part.
|
static class |
DragNDropInstantiator.TacletFilter.TacletWithNoIf
This filter selects all Taclet which have no assume, but a
find.
|
static class |
DragNDropInstantiator.TacletFilter.TacletWithNoIfFindAndAddrule
This filter selects all Taclet which have no assumes, but a
find and at least one addrule section.
|
Modifier and Type | Field and Description |
---|---|
static DragNDropInstantiator.TacletFilter |
TACLET_WITH_IF_FIND_AND_NO_REPLACEWITH
This filter selects all Taclet which have an assumes,
find and no replacewith part.
|
static DragNDropInstantiator.TacletFilter |
TACLET_WITH_IF_FIND_AND_REPLACEWITH
This filter selects all Taclet which have an assumes,
find and at least one replacewith part.
|
static DragNDropInstantiator.TacletFilter |
TACLET_WITH_NO_IF
This filter selects all Taclets which have no assumes,
sequent but a findpart.
|
static DragNDropInstantiator.TacletFilter |
TACLET_WITH_NO_IF_FIND_AND_ADDRULE
This filter selects all Taclet which have an assumes,
find and no replacewith part.
|
Modifier and Type | Method and Description |
---|---|
boolean |
satisfiesFilterCondition(Taclet taclet)
checks if the taclet satisfies certain syntactic criterias
|
static final DragNDropInstantiator.TacletFilter TACLET_WITH_IF_FIND_AND_REPLACEWITH
static final DragNDropInstantiator.TacletFilter TACLET_WITH_IF_FIND_AND_NO_REPLACEWITH
static final DragNDropInstantiator.TacletFilter TACLET_WITH_NO_IF_FIND_AND_ADDRULE
static final DragNDropInstantiator.TacletFilter TACLET_WITH_NO_IF
boolean satisfiesFilterCondition(Taclet taclet)
taclet
- the Taclet to be tested