public class FocussedBreakpointRuleApplicationManager extends java.lang.Object implements DelegationBasedAutomatedRuleApplicationManager
Constructor and Description |
---|
FocussedBreakpointRuleApplicationManager(AutomatedRuleApplicationManager delegate,
Goal goal,
java.util.Optional<PosInOccurrence> focussedSubterm,
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() |
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 |
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
public AutomatedRuleApplicationManager getDelegate()
getDelegate
in interface DelegationBasedAutomatedRuleApplicationManager
Copyright © 2003-2019 The KeY-Project.