Package: org.overture.ide.debug.core.model.internal
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.debug.core.model.internal |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AbstractVdmBreakpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
AbstractVdmBreakpoint$PerSessionInfo |
|
|
|
|
|
|
||||||||||||||||||||||||
DbgpService |
|
|
|
|
|
|
||||||||||||||||||||||||
DbgpService$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
IThreadManagement |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmBreakpointPathMapperExtension |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmStreamProxy |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmThreadManager |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmThreadManagerListener |
|
|
|
|
|
|
||||||||||||||||||||||||
NoWatchExpressionResult |
|
|
|
|
|
|
||||||||||||||||||||||||
NopVdmbreakpointPathMapper |
|
|
|
|
|
|
||||||||||||||||||||||||
RemoteVdmDebugTarget |
|
|
|
|
|
|
||||||||||||||||||||||||
StrUtils |
|
|
|
|
|
|
||||||||||||||||||||||||
UnknownVariable |
|
|
|
|
|
|
||||||||||||||||||||||||
VariableNameComparator |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmBreakpointManager |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmBreakpointManager$TemporaryBreakpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmBreakpointPathMapper |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmBreakpointUtils |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmConsoleInputListener |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmConsoleInputListener$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugElement |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugModel |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugTarget |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugTarget$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmLineBreakpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmLineBreakpoint$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmMethodEntryBreakpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmStack |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmStackFrame |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmStackFrame$VdmVariableContainer |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThread |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThread$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadManager |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadManager$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadManager$2 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadManager$3 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadManager$4 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadManager$IThreadBoolean |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadStateManager |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmThreadStateManager$IStateChangeHandler |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmTypeFactory |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmValue |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmValueProxy |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmVariable |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmVariableWrapper |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmVariableWrapperValue |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmWatchExpressionDelegate |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmWatchExpressionDelegate$ListenerAdpater |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmWatchExpressionResult |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmWatchpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmWatchpoint$1 |
|
|
|
|
|
|