public static class DragNDropInstantiator.TacletFilter.TacletWithNoIfFindAndAddrule 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 |
TacletWithNoIfFindAndAddrule() |
Modifier and Type | Method and Description |
---|---|
private boolean |
goalTemplatesContainAddrules(ImmutableList<TacletGoalTemplate> goalDescriptions)
tests if the goal templates contain at least one addrule section
|
boolean |
satisfiesFilterCondition(Taclet taclet)
tests if the given taclet consists of an assume,
find and no replacewith part and
returns true if the test is positive
|
private boolean goalTemplatesContainAddrules(ImmutableList<TacletGoalTemplate> goalDescriptions)
goalDescriptions
- the IList
to be looked throughpublic boolean satisfiesFilterCondition(Taclet taclet)
satisfiesFilterCondition
in interface DragNDropInstantiator.TacletFilter
taclet
- the Taclet to be tested