public class FieldWatchpoint extends AbstractHitCountBreakpoint
FieldWatchpoint
represents a Java watchpoint and is responsible to tell the debugger to stop execution when the respective
variable is accessed or modified.Constructor and Description |
---|
FieldWatchpoint(boolean enabled,
int hitCount,
java.lang.String fieldName,
boolean isAcces,
boolean isModification,
KeYJavaType containerKJT,
Proof proof)
Creates a new
FieldWatchpoint . |
Modifier and Type | Method and Description |
---|---|
boolean |
isAccess() |
boolean |
isBreakpointHit(SourceElement activeStatement,
RuleApp ruleApp,
Proof proof,
Node node)
Determines if the breakpoint represented by this BreakpointStopConition is triggered.
|
boolean |
isModification() |
void |
setAccess(boolean isAccess) |
void |
setModification(boolean isModification) |
getHitCount, hitcountExceeded, setHitCount
getProof, isEnabled, setEnabled, updateState
public FieldWatchpoint(boolean enabled, int hitCount, java.lang.String fieldName, boolean isAcces, boolean isModification, KeYJavaType containerKJT, Proof proof)
FieldWatchpoint
.enabled
- flag if the Breakpoint is enabledhitCount
- the number of hits after which the execution should hold at this breakpointfieldName
- the field to watchisAcces
- flag to watch for accessesisModification
- flag to watch for modificationscontainerType
- the type of the element containing the breakpointproof
- the Proof
that will be executed and should stoppublic boolean isBreakpointHit(SourceElement activeStatement, RuleApp ruleApp, Proof proof, Node node)
isBreakpointHit
in interface IBreakpoint
isBreakpointHit
in class AbstractHitCountBreakpoint
activeStatement
- the activeStatement of the noderuleApp
- the applied RuleApp
proof
- the current proofnode
- the current nodepublic boolean isAccess()
public void setAccess(boolean isAccess)
isAccess
- the isAccess to setpublic boolean isModification()
public void setModification(boolean isModification)
isModification
- the isModification to setCopyright © 2003-2019 The KeY-Project.