| |
|
| java.lang.Object de.uka.ilkd.key.visualdebugger.Breakpoint
All known Subclasses: visualdebugger.views.BreakpointEclipse,
Breakpoint | public class Breakpoint (Code) | | A breakpoint is attached to exact one occurrence of a
SourceElement in the source code. Breakpoints are either enabled or
disabled.
|
Breakpoint | public Breakpoint(SourceElementId id)(Code) | | creates a breakpoint attached to the specified source element
Parameters: id - the SourceElementId identifying uniquely an occurrence ofa SourceElement in the code |
getId | public SourceElementId getId()(Code) | | the occurrence of the source element in the code to which the breakpoint
is attached
the SourceElementId referring to an occurrence of asource code element |
isEnabled | public boolean isEnabled()(Code) | | true iff. the breakpoint is enabled
true iff. the breakpoint is enabled |
setEnabled | public void setEnabled(boolean enabled)(Code) | | enables or disables the breakpoint
Parameters: enabled - boolean indicating if the breakpoint has to be enabled ordisabled |
|
|
|