Package: org.overture.ide.debug.core
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.debug.core |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ConsoleFactoryDebug |
|
|
|
|
|
|
||||||||||||||||||||||||
ConsoleFactoryLogging |
|
|
|
|
|
|
||||||||||||||||||||||||
DebugOption |
|
|
|
|
|
|
||||||||||||||||||||||||
ExtendedDebugEventDetails |
|
|
|
|
|
|
||||||||||||||||||||||||
IDbgpService |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugConfigurable |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugConstants |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugOptions |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugOptions$BooleanOption |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugOptions$IntegerOption |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugOptions$Option |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugOptions$StringOption |
|
|
|
|
|
|
||||||||||||||||||||||||
IDebugPreferenceConstants |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugManager |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugPlugin |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugPlugin$DbgpServicePreferenceUpdater |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmVariableNameComparator |
|
|
|
|
|
|