private static class AutoMacro.AutoMacroFilterStrategy extends FilterStrategy
Modifier and Type | Field and Description |
---|---|
private boolean |
allowSplits
See in outer class.
|
private java.util.Optional<java.lang.String> |
breakpoint
See in outer class.
|
private boolean |
breakpointReached
Signals that we already reached the breakpoint(s)
|
private static Name |
NAME
Name of that strategy
|
private boolean |
onlyHumanReadable
See in outer class.
|
private boolean |
symbexOnly
See in outer class.
|
private java.util.List<java.lang.String> |
whitelist
See in outer class.
|
Constructor and Description |
---|
AutoMacroFilterStrategy(Strategy delegate,
java.util.Optional<java.lang.String> breakpoint,
boolean allowSplits,
java.util.List<java.lang.String> whitelist,
boolean symbexOnly,
boolean onlyHumanReadable) |
Modifier and Type | Method and Description |
---|---|
boolean |
isApprovedApp(RuleApp app,
PosInOccurrence pio,
Goal goal)
Re-Evaluate a
RuleApp . |
private boolean |
isJavaPIO(PosInOccurrence pio) |
boolean |
isStopAtFirstNonCloseableGoal()
|
Name |
name()
returns the name of this element
|
computeCost, instantiateApp
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
updateStrategySettings
private static final Name NAME
private final java.util.Optional<java.lang.String> breakpoint
private final boolean allowSplits
private final java.util.List<java.lang.String> whitelist
private final boolean symbexOnly
private final boolean onlyHumanReadable
private boolean breakpointReached
public AutoMacroFilterStrategy(Strategy delegate, java.util.Optional<java.lang.String> breakpoint, boolean allowSplits, java.util.List<java.lang.String> whitelist, boolean symbexOnly, boolean onlyHumanReadable)
public Name name()
Named
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
private boolean isJavaPIO(PosInOccurrence pio)