Package: org.overture.ide.vdmsl.ui.wizards
Coverage Summary
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
org.overture.ide.vdmsl.ui.wizards |
|
|
|
|
|
|
Coverage Breakdown by Source File
name | instruction | branch | complexity | line | method | class | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
VdmSlNewFileWizard |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmSlNewModuleWizard |
|
|
|
|
|
|
||||||||||||||||||||||||
VdmSlNewProjectWizard |
|
|
|
|
|
|