de.uka.ilkd.key.strategy

Interface IBreakpointStopCondition

All Superinterfaces:

StopCondition

All Known Implementing Classes:

BreakpointStopCondition, SymbolicExecutionBreakpointStopCondition

public interface IBreakpointStopCondition
extends StopCondition

Defines the basic functionality of an StopCondition which stops applying rules when at least one IBreakpoint is hit.

Author:

Martin Hentschel

Method Summary

Modifier and Type	Method and Description
void	addBreakpoint(IBreakpoint breakpoint) Adds a new IBreakpoint.
java.util.Set<IBreakpoint>	getBreakpoints() Returns all available IBreakpoints.
void	removeBreakpoint(IBreakpoint breakpoint) Removes an IBreakpoint.

Methods inherited from interface de.uka.ilkd.key.prover.StopCondition

getGoalNotAllowedMessage, getMaximalWork, getStopMessage, isGoalAllowed, shouldStop

Method Detail

addBreakpoint

void addBreakpoint(IBreakpoint breakpoint)

Adds a new IBreakpoint.

Parameters:

breakpoint - The IBreakpoint to add.

removeBreakpoint

void removeBreakpoint(IBreakpoint breakpoint)

Removes an IBreakpoint.

Parameters:

breakpoint - The IBreakpoint to remove.

getBreakpoints

java.util.Set<IBreakpoint> getBreakpoints()

Returns all available IBreakpoints.

Returns:

The available IBreakpoints.