public abstract class AbstractBreakpoint extends java.lang.Object implements IBreakpoint
IBreakpoint
.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
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()
Copyright © 2003-2019 The KeY-Project.