public class FocussedBreakpointRuleApplicationManager extends java.lang.Object implements DelegationBasedAutomatedRuleApplicationManager
Modifier and Type | Field and Description |
---|---|
private java.util.Optional<java.lang.String> |
breakpoint |
private AutomatedRuleApplicationManager |
delegate |
Modifier | Constructor and Description |
---|---|
|
FocussedBreakpointRuleApplicationManager(AutomatedRuleApplicationManager delegate,
Goal goal,
java.util.Optional<PosInOccurrence> focussedSubterm,
java.util.Optional<java.lang.String> breakpoint) |
private |
FocussedBreakpointRuleApplicationManager(AutomatedRuleApplicationManager delegate,
java.util.Optional<java.lang.String> breakpoint) |
Modifier and Type | Method and Description |
---|---|
void |
clearCache()
Clear existing caches of applicable rules
|
java.lang.Object |
clone() |
AutomatedRuleApplicationManager |
copy() |
AutomatedRuleApplicationManager |
getDelegate() |
private static boolean |
isJavaPIO(PosInOccurrence pio) |
private boolean |
mayAddRule(RuleApp rule,
PosInOccurrence pos) |
RuleApp |
next() |
RuleApp |
peekNext() |
void |
ruleAdded(RuleApp rule,
PosInOccurrence pos)
Called when a new RuleApp is added
|
void |
rulesAdded(ImmutableList<? extends RuleApp> rules,
PosInOccurrence pos)
Called when a collection of new RuleApps is added
|
void |
setGoal(Goal p_goal)
Set the goal
this is the rule app manager for |
private final AutomatedRuleApplicationManager delegate
private final java.util.Optional<java.lang.String> breakpoint
private FocussedBreakpointRuleApplicationManager(AutomatedRuleApplicationManager delegate, java.util.Optional<java.lang.String> breakpoint)
public FocussedBreakpointRuleApplicationManager(AutomatedRuleApplicationManager delegate, Goal goal, java.util.Optional<PosInOccurrence> focussedSubterm, java.util.Optional<java.lang.String> breakpoint)
public void clearCache()
AutomatedRuleApplicationManager
clearCache
in interface AutomatedRuleApplicationManager
public AutomatedRuleApplicationManager copy()
copy
in interface AutomatedRuleApplicationManager
public java.lang.Object clone()
clone
in class java.lang.Object
public RuleApp peekNext()
peekNext
in interface AutomatedRuleApplicationManager
public RuleApp next()
next
in interface AutomatedRuleApplicationManager
public void setGoal(Goal p_goal)
AutomatedRuleApplicationManager
this
is the rule app manager forsetGoal
in interface AutomatedRuleApplicationManager
public void ruleAdded(RuleApp rule, PosInOccurrence pos)
NewRuleListener
ruleAdded
in interface NewRuleListener
public void rulesAdded(ImmutableList<? extends RuleApp> rules, PosInOccurrence pos)
NewRuleListener
rulesAdded
in interface NewRuleListener
private boolean mayAddRule(RuleApp rule, PosInOccurrence pos)
private static boolean isJavaPIO(PosInOccurrence pio)
public AutomatedRuleApplicationManager getDelegate()
getDelegate
in interface DelegationBasedAutomatedRuleApplicationManager