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.Modifier and Type | Field and Description |
---|---|
private java.lang.String |
fullFieldName |
private boolean |
isAccess |
private boolean |
isModification |
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 |
---|---|
private boolean |
checkChildrenOfSourceElement(SourceElement sourceElement) |
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
private boolean isAccess
private boolean isModification
private java.lang.String fullFieldName
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 nodeprivate boolean checkChildrenOfSourceElement(SourceElement sourceElement)
public boolean isAccess()
public void setAccess(boolean isAccess)
isAccess
- the isAccess to setpublic boolean isModification()
public void setModification(boolean isModification)
isModification
- the isModification to set