private static class TestGenMacro.TestGenStrategy extends FilterStrategy
Modifier and Type | Field and Description |
---|---|
private int |
limit |
private static Name |
NAME |
private static int |
UNWIND_COST |
private static java.util.Set<java.lang.String> |
unwindRules |
Constructor and Description |
---|
TestGenStrategy(Strategy delegate) |
Modifier and Type | Method and Description |
---|---|
RuleAppCost |
computeCost(RuleApp app,
PosInOccurrence pio,
Goal goal)
Evaluate the cost of a
RuleApp . |
private int |
computeUnwindRules(Goal goal) |
boolean |
isApprovedApp(RuleApp app,
PosInOccurrence pio,
Goal goal)
Re-Evaluate a
RuleApp . |
boolean |
isStopAtFirstNonCloseableGoal()
|
private static boolean |
isUnwindRule(Rule rule) |
Name |
name()
returns the name of this element
|
instantiateApp
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
updateStrategySettings
private static final Name NAME
private static final java.util.Set<java.lang.String> unwindRules
private static final int UNWIND_COST
private final int limit
public TestGenStrategy(Strategy delegate)
private static boolean isUnwindRule(Rule rule)
public RuleAppCost computeCost(RuleApp app, PosInOccurrence pio, Goal goal)
Feature
RuleApp
.computeCost
in interface Feature
computeCost
in class FilterStrategy
app
- the RuleApppio
- position where app
is to be appliedgoal
- the goal on which app
is to be appliedRuleAppCost
object. TopRuleAppCost.INSTANCE
indicates that the rule shall not be applied at all (it is discarded by
the strategy).private int computeUnwindRules(Goal goal)
public boolean isApprovedApp(RuleApp app, PosInOccurrence pio, Goal goal)
Strategy
RuleApp
. This method is
called immediately before a rule is really appliedisApprovedApp
in interface Strategy
isApprovedApp
in class FilterStrategy
public Name name()
Named