Package: org.overture.ide.ui.editor.core
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.ui.editor.core |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
VdmAnnotationHover |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDocument |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmDocumentProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmEditor |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmEditor$1 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmEditor$2 |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmEditor$EditorSelectionChangedListener |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmEditor$ILocationSearcher |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmExternalDocument |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmExternalDocumentProvider |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmExternalEditor |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmReconcilingStrategy |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmSourceViewer |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmSourceViewerConfiguration |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmSourceViewerConfiguration$1 |
|
|
|
|
|
|