Package: org.overture.ide.ui
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.ui |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
IVdmUiConstants |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmPluginImages |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmPluginImages$CachedImageDescriptor |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmProblemsLabelDecorator |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmProblemsLabelDecorator$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmProblemsLabelDecorator$ProblemsLabelChangedEvent |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmUIPlugin |
|
|
|
|
|
|