public abstract class AbstractBreakpoint extends java.lang.Object implements IBreakpoint
IBreakpoint
.Modifier and Type | Field and Description |
---|---|
private boolean |
enabled
The flag if the Breakpoint is enabled.
|
private Proof |
proof
The proof this stop condition is associated with.
|
Constructor and Description |
---|
AbstractBreakpoint(Proof proof,
boolean enabled)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Proof |
getProof() |
boolean |
isEnabled()
Checks if the Breakpoint is enabled.
|
void |
setEnabled(boolean enabled)
Sets the new enabled value.
|
void |
updateState(int maxApplications,
long timeout,
Proof proof,
long startTime,
int countApplied,
Goal goal)
This method is called from
StopCondition.isGoalAllowed(int, long, Proof, long, int, Goal)
and can be used to update the state of the IBreakpoint . |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isBreakpointHit
private final Proof proof
private boolean enabled
public AbstractBreakpoint(Proof proof, boolean enabled)
proof
- The Proof
in which this IBreakpoint
is used.enabled
- The enabled state.public void updateState(int maxApplications, long timeout, Proof proof, long startTime, int countApplied, Goal goal)
StopCondition.isGoalAllowed(int, long, Proof, long, int, Goal)
and can be used to update the state of the IBreakpoint
.updateState
in interface IBreakpoint
maxApplications
- The defined maximal number of rules to apply. Can be different to StrategySettings.getMaxSteps()
in side proofs.timeout
- The defined timeout in ms or -1
if disabled. Can be different to StrategySettings.getTimeout()
in side proofs.proof
- The current Proof
.startTime
- The timestamp when the apply strategy has started, computed via System.currentTimeMillis()
countApplied
- The number of already applied rules.goal
- The current Goal
on which the next rule will be applied.public boolean isEnabled()
isEnabled
in interface IBreakpoint
public void setEnabled(boolean enabled)
enabled
- the new valuepublic Proof getProof()