Package: org.overture.ide.ui.internal.viewsupport
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.ui.internal.viewsupport |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
DecorationgVdmLabelProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
IProblemChangedListener |
|
|
|
|
|
|
||||||||||||||||||||||||
ImageDescriptorRegistry |
|
|
|
|
|
|
||||||||||||||||||||||||
ImageDescriptorRegistry$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
ImageImageDescriptor |
|
|
|
|
|
|
||||||||||||||||||||||||
ImportsContainer |
|
|
|
|
|
|
||||||||||||||||||||||||
ProblemMarkerManager |
|
|
|
|
|
|
||||||||||||||||||||||||
ProblemMarkerManager$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
ProblemMarkerManager$ProjectErrorVisitor |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmColoredViewersManager |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmColoredViewersManager$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmColoringLabelProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmElementImageDescriptor |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmElementImageProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmElementLabels |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmUILabelProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmUILabelProvider$1 |
|
|
|
|
|
|