Package: org.overture.ide.debug.core.model
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.debug.core.model |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ArrayVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
AtomicVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
CollectionVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
ComplexVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
DebugEventHelper |
|
|
|
|
|
|
||||||||||||||||||||||||
DefaultDebugOptions |
|
|
|
|
|
|
||||||||||||||||||||||||
HashVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugLaunchConstants |
|
|
|
|
|
|
||||||||||||||||||||||||
IRefreshableVdmVariable |
|
|
|
|
|
|
||||||||||||||||||||||||
ISourceOffsetLookup |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmBreakpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmBreakpointListener |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmBreakpointPathMapper |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmDebugElement |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmDebugTarget |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmDebugTargetListener |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmDebugThreadConfigurator |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmExecution |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmLineBreakpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmMethodEntryBreakpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmStack |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmStackFrame |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmThread |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmTypeFactory |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmValue |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmVariable |
|
|
|
|
|
|
||||||||||||||||||||||||
IVdmWatchpoint |
|
|
|
|
|
|
||||||||||||||||||||||||
SetVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
StringVdmType |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugState |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugState$DebugState |
|
|
|
|
|
|