Package: org.overture.ide.debug.ui.log
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.debug.ui.log |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Messages |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogContentProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogCopyAction |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogExecutionFilter |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogItem |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogLabelProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogManager |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogManager$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$2 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$3 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$4 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$5 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$6 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$7 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDebugLogView$8 |
|
|
|
|
|
|