de.uka.ilkd.key.symbolic_execution.strategy.breakpoint

Class AbstractHitCountBreakpoint

java.lang.Object

de.uka.ilkd.key.symbolic_execution.strategy.breakpoint.AbstractBreakpoint

de.uka.ilkd.key.symbolic_execution.strategy.breakpoint.AbstractHitCountBreakpoint

All Implemented Interfaces:

IBreakpoint

Direct Known Subclasses:

AbstractConditionalBreakpoint, ExceptionBreakpoint, FieldWatchpoint, SymbolicExecutionExceptionBreakpoint

public abstract class AbstractHitCountBreakpoint
extends AbstractBreakpoint

Adds the hit count functionality to an AbstractBreakpoint.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private int	hitCount The HitCount of the Breakpoint (set by user).
private int	hitted Counter for how often the Breakpoint was hit.
private java.util.Map<java.lang.Integer,java.lang.Boolean>	hittedNodes Map to save the nodes that already have been reached, so nodes are not counted twice for the hitcount

Constructor Summary

Constructors

Constructor and Description
AbstractHitCountBreakpoint(int hitCount, Proof proof, boolean enabled) Creates a new AbstractHitCountBreakpoint.

Method Summary

Modifier and Type	Method and Description
int	getHitCount() Returns the hitCount of the associated Breakpoint.
protected boolean	hitcountExceeded(Node node) Checks if the Hitcount is exceeded for the given JavaLineBreakpoint.
boolean	isBreakpointHit(SourceElement activeStatement, RuleApp ruleApp, Proof proof, Node node) Determines if the breakpoint represented by this BreakpointStopConition is triggered.
void	setHitCount(int hitCount) Set the hitCount to the new value

Methods inherited from class de.uka.ilkd.key.symbolic_execution.strategy.breakpoint.AbstractBreakpoint

getProof, isEnabled, setEnabled, updateState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

hitCount

private int hitCount

The HitCount of the Breakpoint (set by user).

hitted

private int hitted

Counter for how often the Breakpoint was hit.

hittedNodes

private final java.util.Map<java.lang.Integer,java.lang.Boolean> hittedNodes

Map to save the nodes that already have been reached, so nodes are not counted twice for the hitcount

Constructor Detail

AbstractHitCountBreakpoint

public AbstractHitCountBreakpoint(int hitCount,
                                  Proof proof,
                                  boolean enabled)

Creates a new AbstractHitCountBreakpoint.

Parameters:

hitCount - the number of hits after which the execution should hold at this breakpoint

proof - the Proof that will be executed and should stop

enabled - flag if the Breakpoint is enabled

Method Detail

hitcountExceeded

protected boolean hitcountExceeded(Node node)

Checks if the Hitcount is exceeded for the given JavaLineBreakpoint. If the Hitcount is not exceeded the hitted counter is incremented, otherwise its set to 0.

Returns:

true if the Hitcount is exceeded or the JavaLineBreakpoint has no Hitcount.

isBreakpointHit

public boolean isBreakpointHit(SourceElement activeStatement,
                               RuleApp ruleApp,
                               Proof proof,
                               Node node)

Determines if the breakpoint represented by this BreakpointStopConition is triggered. Override this method in order to suspend execution when a breakpoint is hit.

Parameters:

activeStatement - the activeStatement of the node

ruleApp - the applied RuleApp

proof - the current proof

node - the current node

Returns:

true if execution should hold

getHitCount

public int getHitCount()

Returns the hitCount of the associated Breakpoint.

Returns:

the hitCount of the associated Breakpoint

setHitCount

public void setHitCount(int hitCount)

Set the hitCount to the new value

Parameters:

hitCount - the new value