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

Interface Summary

Interface	Description
IBreakpoint	Defines the basic functionality of a breakpoint.

Class Summary

Class	Description
AbstractBreakpoint	Provides the basic implementation of an IBreakpoint.
AbstractConditionalBreakpoint	Adds the funtionality to breakpoints to evaluate conditions.
AbstractHitCountBreakpoint	Adds the hit count functionality to an AbstractBreakpoint.
ExceptionBreakpoint	ThisExceptionBreakpoint represents an exception breakpoint and is responsible to tell the debugger to stop execution when the respective breakpoint is hit.
FieldWatchpoint	ThisFieldWatchpoint represents a Java watchpoint and is responsible to tell the debugger to stop execution when the respective variable is accessed or modified.
KeYWatchpoint	ThisKeYWatchpoint represents a KeY watchpoint and is responsible to tell the debugger to stop execution when the respective watchpoint evaluates its condition to true.
LineBreakpoint
MethodBreakpoint
SymbolicExecutionExceptionBreakpoint	ThisSymbolicExecutionExceptionBreakpoint represents an exception breakpoint and is responsible to tell the debugger to stop execution when the respective breakpoint is hit.