Skip to content
Browse files

First draft checklist view and exporter.

  • Loading branch information...
1 parent cb99f6c commit 3b110f11180b009e6f838c48c54dd239a5ae02c7 Matt Barry committed Mar 15, 2011
Showing with 58,383 additions and 425 deletions.
  1. +1 −1 net.certware.argument.arm.navigator.test/src/net/certware/argument/arm/navigator/ActivatorTest.java
  2. +1 −1 net.certware.argument.arm.navigator/src/net/certware/argument/arm/navigator/LabelProvider.java
  3. +1 −1 net.certware.argument.eur.navigator/src/net/certware/argument/eur/navigator/LabelProvider.java
  4. +1 −1 net.certware.argument.gsn.navigator/src/net/certware/argument/gsn/navigator/Activator.java
  5. +1 −1 net.certware.argument.gsn.navigator/src/net/certware/argument/gsn/navigator/LabelProvider.java
  6. +1 −1 net.certware.argument.sfp.navigator/src/net/certware/argument/sfp/navigator/Activator.java
  7. +2 −2 net.certware.branding/about.mappings
  8. +1 −0 net.certware.branding/about.properties
  9. +9 −3 net.certware.core.ui/META-INF/MANIFEST.MF
  10. +46 −0 net.certware.core.ui/doc/net_certware_core_ui_splashExtension.html
  11. BIN net.certware.core.ui/icons/obj16/export_wiz.gif
  12. BIN net.certware.core.ui/icons/splash/af.png
  13. BIN net.certware.core.ui/icons/splash/badge_beta.jpg
  14. BIN net.certware.core.ui/icons/splash/embedded.png
  15. BIN net.certware.core.ui/icons/splash/enterprise.png
  16. BIN net.certware.core.ui/icons/splash/languages.png
  17. BIN net.certware.core.ui/icons/splash/rcp.png
  18. BIN net.certware.core.ui/icons/splash/ribbon_beta.gif
  19. +12 −0 net.certware.core.ui/plugin.xml
  20. +124 −0 net.certware.core.ui/schema/splashExtension.exsd
  21. +3 −0 net.certware.core.ui/src/net/certware/core/ui/CertWareUI.java
  22. +66 −0 net.certware.core.ui/src/net/certware/core/ui/CertWareUIPlugin.java
  23. +2 −0 net.certware.core.ui/src/net/certware/core/ui/help/IHelpContext.java
  24. +75 −0 net.certware.core.ui/src/net/certware/core/ui/listeners/ActiveEditorListener.java
  25. +308 −0 net.certware.core.ui/src/net/certware/core/ui/splash/ExtensibleSplashHandler.java
  26. +52 −0 net.certware.core.ui/src/net/certware/core/ui/splash/OverlaySplashHandler.java
  27. +33 −0 net.certware.core.ui/src/net/certware/core/ui/views/ICertWareView.java
  28. BIN net.certware.doc/wiki/certware-32.gif
  29. +1 −92 net.certware.doc/wiki/project.textile
  30. +107 −0 net.certware.doc/wiki/versions.textile
  31. +7 −0 net.certware.evidence.hugin.test/.classpath
  32. +28 −0 net.certware.evidence.hugin.test/.project
  33. +8 −0 net.certware.evidence.hugin.test/.settings/org.eclipse.jdt.core.prefs
  34. +7 −0 net.certware.evidence.hugin.test/META-INF/MANIFEST.MF
  35. +4 −0 net.certware.evidence.hugin.test/build.properties
  36. +16,715 −0 net.certware.evidence.hugin.test/resources/barley.net
  37. +36,641 −0 net.certware.evidence.hugin.test/resources/diabetes.net
  38. +196 −0 net.certware.evidence.hugin.test/resources/mildew1.net
  39. +219 −0 net.certware.evidence.hugin.test/resources/mildew2.net
  40. +219 −0 net.certware.evidence.hugin.test/resources/mildew3.net
  41. +237 −0 net.certware.evidence.hugin.test/resources/mildew4.net
  42. +12 −0 net.certware.evidence.hugin.test/resources/readme.textile
  43. +1 −1 net.certware.evidence.saem.editor/META-INF/MANIFEST.MF
  44. BIN net.certware.evidence.saem.editor/icons/full/wizban/NewEvidence.gif
  45. +22 −288 ...certware.evidence.saem.editor/src/net/certware/evidence/evidence/presentation/EvidenceEditor.java
  46. +1 −2 ...are.evidence.saem.editor/src/net/certware/evidence/evidence/presentation/EvidenceModelWizard.java
  47. +1 −1 net.certware.evidence.saem/META-INF/MANIFEST.MF
  48. +2 −2 net.certware.evidence.saem/model/saem.genmodel
  49. +7 −0 net.certware.example/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (16).launch
  50. +6 −1 net.certware.example/.project
  51. +7 −0 ...ertware.export.arm/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (18).launch
  52. +6 −1 net.certware.export.arm/.project
  53. +7 −0 net.certware.export.excel/.classpath
  54. +28 −0 net.certware.export.excel/.project
  55. +8 −0 net.certware.export.excel/.settings/org.eclipse.jdt.core.prefs
  56. +4 −0 net.certware.export.excel/.settings/org.eclipse.pde.core.prefs
  57. +23 −0 net.certware.export.excel/META-INF/MANIFEST.MF
  58. +4 −0 net.certware.export.excel/build.properties
  59. +30 −0 net.certware.export.excel/src/net/certware/export/excel/Activator.java
  60. +545 −0 net.certware.export.excel/src/net/certware/export/excel/WriteExcel.java
  61. +7 −0 ...ertware.export.gsn/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (19).launch
  62. +6 −1 net.certware.export.gsn/.project
  63. +7 −0 net.certware.export/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (17).launch
  64. +6 −1 net.certware.export/.project
  65. +9 −4 net.certware.feature/feature.xml
  66. +7 −0 ...tware.history.egit/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (21).launch
  67. +6 −1 net.certware.history.egit/.project
  68. +1 −1 net.certware.history.egit/src/net/certware/history/egit/Activator.java
  69. +7 −0 ...ware.history.tasks/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (22).launch
  70. +6 −1 net.certware.history.tasks/.project
  71. +1 −1 net.certware.history.tasks/src/net/certware/history/tasks/Activator.java
  72. +7 −0 net.certware.history/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (20).launch
  73. +6 −1 net.certware.history/.project
  74. +2 −2 net.certware.launch/CertWare_Editors_Application.launch
  75. +7 −0 ...asurement.sco.edit/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (24).launch
  76. +6 −1 net.certware.measurement.sco.edit/.project
  77. +7 −0 ...urement.sco.editor/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (25).launch
  78. +6 −1 net.certware.measurement.sco.editor/.project
  79. +7 −0 ...ment.sco.navigator/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (26).launch
  80. +6 −1 net.certware.measurement.sco.navigator/.project
  81. +1 −1 net.certware.measurement.sco.navigator/src/net/certware/measurement/sco/navigator/Activator.java
  82. +7 −0 ...surement.sco.tests/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (27).launch
  83. +6 −1 net.certware.measurement.sco.tests/.project
  84. +7 −0 ...asurement.sco.view/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (28).launch
  85. +6 −1 net.certware.measurement.sco.view/.project
  86. +7 −0 ...re.measurement.sco/.externalToolBuilders/org.eclipse.pde.api.tools.apiAnalysisBuilder (23).launch
  87. +6 −1 net.certware.measurement.sco/.project
  88. +1 −1 net.certware.measurement.spm.navigator/src/net/certware/measurement/spm/navigator/Activator.java
  89. +1 −1 net.certware.measurement.spm.view/src/net/certware/measurement/spm/view/Activator.java
  90. +1 −1 net.certware.planning.cpn.navigator/src/net/certware/planning/cpn/navigator/Activator.java
  91. +68 −3 net.certware.product/certware.product
  92. +7 −0 net.certware.verification.checklist.view/.classpath
  93. +28 −0 net.certware.verification.checklist.view/.project
  94. +8 −0 net.certware.verification.checklist.view/.settings/org.eclipse.jdt.core.prefs
  95. +4 −0 net.certware.verification.checklist.view/.settings/org.eclipse.pde.core.prefs
  96. +24 −0 net.certware.verification.checklist.view/META-INF/MANIFEST.MF
  97. +7 −0 net.certware.verification.checklist.view/build.properties
  98. BIN net.certware.verification.checklist.view/icons/obj16/alphab_sort_down_mini.gif
  99. BIN net.certware.verification.checklist.view/icons/obj16/ascending.gif
  100. BIN net.certware.verification.checklist.view/icons/obj16/certware.gif
  101. BIN net.certware.verification.checklist.view/icons/obj16/cheatsheet.gif
  102. BIN net.certware.verification.checklist.view/icons/obj16/descending.gif
  103. BIN net.certware.verification.checklist.view/icons/obj16/export_wiz.gif
  104. BIN net.certware.verification.checklist.view/icons/obj16/filter_top_level.gif
  105. BIN net.certware.verification.checklist.view/icons/obj16/icon_sort.gif
  106. BIN net.certware.verification.checklist.view/icons/view16/checklist.png
  107. +90 −0 net.certware.verification.checklist.view/plugin.xml
  108. +62 −0 net.certware.verification.checklist.view/src/net/certware/verification/checklist/view/Activator.java
  109. +817 −0 net.certware.verification.checklist.view/src/net/certware/verification/checklist/view/ViewList.java
  110. +79 −0 ...re.verification.checklist.view/src/net/certware/verification/checklist/view/actions/OpenView.java
  111. +41 −0 ...erification.checklist.view/src/net/certware/verification/checklist/view/filters/ResultFilter.java
  112. +60 −0 ....checklist.view/src/net/certware/verification/checklist/view/handlers/ExportChecklistHandler.java
  113. +92 −0 ...erification.checklist.view/src/net/certware/verification/checklist/view/help/ContextProvider.java
  114. +190 −0 ...fication.checklist.view/src/net/certware/verification/checklist/view/jobs/ExportChecklistJob.java
  115. +15 −0 ....checklist.view/src/net/certware/verification/checklist/view/preferences/PreferenceConstants.java
  116. +36 −0 ...hecklist.view/src/net/certware/verification/checklist/view/preferences/PreferenceInitializer.java
  117. +81 −0 ...ecklist.view/src/net/certware/verification/checklist/view/preferences/ViewListPreferencePage.java
  118. +56 −0 ...n.checklist.view/src/net/certware/verification/checklist/view/table/ChecklistContentProvider.java
  119. +134 −0 ...tion.checklist.view/src/net/certware/verification/checklist/view/table/ChecklistItemProvider.java
  120. +86 −0 ...erification.checklist.view/src/net/certware/verification/checklist/view/table/ChecklistModel.java
  121. +82 −0 ...ication.checklist.view/src/net/certware/verification/checklist/view/table/ChecklistModelList.java
  122. +126 −0 ...rification.checklist.view/src/net/certware/verification/checklist/view/table/ChecklistSorter.java
  123. +86 −0 ...ation.checklist.view/src/net/certware/verification/checklist/view/table/ChecklistTableViewer.java
  124. +63 −0 ...erification.checklist.view/src/net/certware/verification/checklist/view/testers/LoadedTester.java
  125. +39 −0 ....verification.checklist.view/src/net/certware/verification/checklist/view/util/ReadModelFile.java
View
2 ...re.argument.arm.navigator.test/src/net/certware/argument/arm/navigator/ActivatorTest.java
@@ -8,7 +8,7 @@
import org.osgi.framework.BundleContext;
/**
- * The class <code>ActivatorTest</code> contains tests for the class <code>{@link Activator}</code>.
+ * The class <code>ActivatorTest</code> contains tests for the class <code>{@link CertWareUIPlugin}</code>.
*
* @generatedBy CodePro at 9/17/10 12:24 PM
* @author mrb
View
2 ...ertware.argument.arm.navigator/src/net/certware/argument/arm/navigator/LabelProvider.java
@@ -33,7 +33,7 @@ public LabelProvider() {
/*
ImageDescriptor id = null;
- id = Activator.imageDescriptorFromPlugin(Activator.PLUGIN_ID, "icons/obj16/safe.gif");
+ id = CertWareUIPlugin.imageDescriptorFromPlugin(CertWareUIPlugin.PLUGIN_ID, "icons/obj16/safe.gif");
if ( id != null )
safeImage = id.createImage();
*/
View
2 ...ertware.argument.eur.navigator/src/net/certware/argument/eur/navigator/LabelProvider.java
@@ -27,7 +27,7 @@ public LabelProvider() {
/*
ImageDescriptor id = null;
- id = Activator.imageDescriptorFromPlugin(Activator.PLUGIN_ID, "icons/obj16/safe.gif");
+ id = CertWareUIPlugin.imageDescriptorFromPlugin(CertWareUIPlugin.PLUGIN_ID, "icons/obj16/safe.gif");
if ( id != null )
safeImage = id.createImage();
*/
View
2 net.certware.argument.gsn.navigator/src/net/certware/argument/gsn/navigator/Activator.java
@@ -4,7 +4,7 @@
import org.osgi.framework.BundleContext;
/**
- * Activator for navigator plugin.
+ * CertWareUIPlugin for navigator plugin.
* @author mrb
* @since 1.0
*/
View
2 ...ertware.argument.gsn.navigator/src/net/certware/argument/gsn/navigator/LabelProvider.java
@@ -30,7 +30,7 @@ public LabelProvider() {
/*
ImageDescriptor id = null;
- id = Activator.imageDescriptorFromPlugin(Activator.PLUGIN_ID, "icons/obj16/safe.gif");
+ id = CertWareUIPlugin.imageDescriptorFromPlugin(CertWareUIPlugin.PLUGIN_ID, "icons/obj16/safe.gif");
if ( id != null )
safeImage = id.createImage();
*/
View
2 net.certware.argument.sfp.navigator/src/net/certware/argument/sfp/navigator/Activator.java
@@ -5,7 +5,7 @@
import org.eclipse.ui.plugin.AbstractUIPlugin;
/**
- * Activator for navigator plugin.
+ * CertWareUIPlugin for navigator plugin.
* @author mrb
* @since 1.0
*/
View
4 net.certware.branding/about.mappings
@@ -1,3 +1,3 @@
-0=1.2.0
-1=20110309
+0=1.2.1
+1=20110315
2=Evaluation users only.
View
1 net.certware.branding/about.properties
@@ -23,6 +23,7 @@ Uses Eclipse Model-to-Model (M2M) framework under the Eclipse Public License.\n\
Uses Object Management Group Argument Metamodel (ARM).\n\
Uses Object Management Group Software Assurance Evidence Metamodel (SAEM).\n\
Uses Object Management Group Software Measurement Metamodel (SMM).\n\
+Uses Apache POI under the Apache License.\n\
Uses docx4j under the Apache License.\n\
Uses UCLA SamIam under the BSD License.\n\
View
12 net.certware.core.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: CertWare Core UI
Bundle-SymbolicName: net.certware.core.ui;singleton:=true
-Bundle-Version: 1.2.0.qualifier
+Bundle-Version: 1.2.1.qualifier
Bundle-Activator: net.certware.core.ui.CertWareUI
Bundle-Vendor: Kestrel Technology LLC
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
@@ -18,10 +18,16 @@ Require-Bundle: net.certware.core,
org.eclipse.ui.ide,
org.eclipse.ui,
org.eclipse.core.runtime,
- org.eclipse.ui.cheatsheets
+ org.eclipse.ui.cheatsheets,
+ org.eclipse.swt,
+ org.eclipse.jface,
+ org.eclipse.ui.workbench
Export-Package: net.certware.core.ui,
net.certware.core.ui.dialog,
+ net.certware.core.ui.handlers,
net.certware.core.ui.help,
+ net.certware.core.ui.listeners,
net.certware.core.ui.log,
net.certware.core.ui.preferences,
- net.certware.core.ui.resources
+ net.certware.core.ui.resources,
+ net.certware.core.ui.views
View
46 net.certware.core.ui/doc/net_certware_core_ui_splashExtension.html
@@ -0,0 +1,46 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
+<HTML>
+<HEAD><meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+<title>Splash Extensions</title>
+<style type="text/css">@import url("file:/Users/mrbarryold/Applications/Eclipse-3.6-Model-64/configuration/org.eclipse.osgi/bundles/1252/1/.cp/book.css");</style>
+<style type="text/css">@import url("file:/Users/mrbarryold/Applications/Eclipse-3.6-Model-64/configuration/org.eclipse.osgi/bundles/1256/1/.cp/schema.css");</style>
+</HEAD>
+<BODY>
+<H1 style="text-align:center">Splash Extensions</H1>
+<p></p>
+<h6 class="CaptionFigColumn SchemaHeader">Identifier: </h6>net.certware.core.ui.splashExtension<p></p>
+<h6 class="CaptionFigColumn SchemaHeader">Since: </h6>[Enter the first release in which this extension point appears.]
+<p></p>
+
+<h6 class="CaptionFigColumn SchemaHeader">Description: </h6>[Enter description of this extension point.]<p></p>
+<h6 class="CaptionFigColumn SchemaHeader">Configuration Markup:</h6>
+<p></p>
+<p class="code SchemaDtd">&lt;!ELEMENT <a name="e.extension">extension</a> (<a href="#e.splashExtension">splashExtension</a>)+&gt;</p>
+<p class="code SchemaDtd">&lt;!ATTLIST extension</p>
+<p class="code SchemaDtdAttlist">point&nbsp;CDATA #REQUIRED</p><p class="code SchemaDtdAttlist">id&nbsp;&nbsp;&nbsp;&nbsp;CDATA #IMPLIED</p><p class="code SchemaDtdAttlist">name&nbsp;&nbsp;CDATA #IMPLIED</p>&gt;</p>
+<p></p>
+<ul class="ConfigMarkupAttlistDesc">
+</ul>
+<br><p class="code SchemaDtd">&lt;!ELEMENT <a name="e.splashExtension">splashExtension</a> EMPTY&gt;</p>
+<p class="code SchemaDtd">&lt;!ATTLIST splashExtension</p>
+<p class="code SchemaDtdAttlist">id&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;CDATA #REQUIRED</p><p class="code SchemaDtdAttlist">icon&nbsp;&nbsp;&nbsp;&nbsp;CDATA #REQUIRED</p><p class="code SchemaDtdAttlist">tooltip&nbsp;CDATA #IMPLIED</p>&gt;</p>
+<p></p>
+<ul class="ConfigMarkupAttlistDesc">
+<li><b>id</b> - </li>
+<li><b>icon</b> - 50x50 icon</li>
+<li><b>tooltip</b> - </li>
+</ul>
+<br><h6 class="CaptionFigColumn SchemaHeader">Examples: </h6>[Enter extension point usage example here.]
+<p></p>
+
+<h6 class="CaptionFigColumn SchemaHeader">API Information: </h6>[Enter API information here.]
+<p></p>
+
+<h6 class="CaptionFigColumn SchemaHeader">Supplied Implementation: </h6>[Enter information about supplied implementation of this extension point.]
+<p></p>
+
+<br>
+<p class="note SchemaCopyright">
+</p>
+</BODY>
+</HTML>
View
BIN net.certware.core.ui/icons/obj16/export_wiz.gif
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN net.certware.core.ui/icons/splash/af.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN net.certware.core.ui/icons/splash/badge_beta.jpg
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN net.certware.core.ui/icons/splash/embedded.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN net.certware.core.ui/icons/splash/enterprise.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN net.certware.core.ui/icons/splash/languages.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN net.certware.core.ui/icons/splash/rcp.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
BIN net.certware.core.ui/icons/splash/ribbon_beta.gif
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
12 net.certware.core.ui/plugin.xml
@@ -1,6 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
+ <extension-point id="splashExtension" name="Splash Extensions" schema="schema/splashExtension.exsd"/>
<extension
point="org.eclipse.ui.newWizards">
<category
@@ -158,4 +159,15 @@
icon="icons/obj16/cheatsheet.gif">
</image>
</extension>
+ <extension
+ point="org.eclipse.ui.splashHandlers">
+ <splashHandler
+ class="net.certware.core.ui.splash.OverlaySplashHandler"
+ id="net.certware.core.ui.splash.overlay">
+ </splashHandler>
+ <splashHandlerProductBinding
+ productId="net.certware.product.CertWare"
+ splashId="net.certware.core.ui.splash.overlay">
+ </splashHandlerProductBinding>
+ </extension>
</plugin>
View
124 net.certware.core.ui/schema/splashExtension.exsd
@@ -0,0 +1,124 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!-- Schema file written by PDE -->
+<schema targetNamespace="net.certware.core.ui">
+<annotation>
+ <appInfo>
+ <meta.schema plugin="net.certware.core.ui" id="splashExtension" name="Splash Extensions"/>
+ </appInfo>
+ <documentation>
+ [Enter description of this extension point.]
+ </documentation>
+ </annotation>
+
+ <element name="extension">
+ <complexType>
+ <sequence minOccurs="1" maxOccurs="unbounded">
+ <element ref="splashExtension"/>
+ </sequence>
+ <attribute name="point" type="string" use="required">
+ <annotation>
+ <documentation>
+
+ </documentation>
+ </annotation>
+ </attribute>
+ <attribute name="id" type="string">
+ <annotation>
+ <documentation>
+
+ </documentation>
+ </annotation>
+ </attribute>
+ <attribute name="name" type="string">
+ <annotation>
+ <documentation>
+
+ </documentation>
+ <appInfo>
+ <meta.attribute translatable="true"/>
+ </appInfo>
+ </annotation>
+ </attribute>
+ </complexType>
+ </element>
+
+ <element name="splashExtension">
+ <annotation>
+ <appInfo>
+ <meta.element labelAttribute="id" icon="icon"/>
+ </appInfo>
+ </annotation>
+ <complexType>
+ <attribute name="id" type="string" use="required">
+ <annotation>
+ <documentation>
+
+ </documentation>
+ </annotation>
+ </attribute>
+ <attribute name="icon" type="string" use="required">
+ <annotation>
+ <documentation>
+ 50x50 icon
+ </documentation>
+ <appInfo>
+ <meta.attribute kind="resource"/>
+ </appInfo>
+ </annotation>
+ </attribute>
+ <attribute name="tooltip" type="string">
+ <annotation>
+ <documentation>
+
+ </documentation>
+ </annotation>
+ </attribute>
+ </complexType>
+ </element>
+
+ <annotation>
+ <appInfo>
+ <meta.section type="since"/>
+ </appInfo>
+ <documentation>
+ [Enter the first release in which this extension point appears.]
+ </documentation>
+ </annotation>
+
+ <annotation>
+ <appInfo>
+ <meta.section type="examples"/>
+ </appInfo>
+ <documentation>
+ [Enter extension point usage example here.]
+ </documentation>
+ </annotation>
+
+ <annotation>
+ <appInfo>
+ <meta.section type="apiInfo"/>
+ </appInfo>
+ <documentation>
+ [Enter API information here.]
+ </documentation>
+ </annotation>
+
+ <annotation>
+ <appInfo>
+ <meta.section type="implementation"/>
+ </appInfo>
+ <documentation>
+ [Enter information about supplied implementation of this extension point.]
+ </documentation>
+ </annotation>
+
+ <annotation>
+ <appInfo>
+ <meta.section type="copyright"/>
+ </appInfo>
+ <documentation>
+
+ </documentation>
+ </annotation>
+
+</schema>
View
3 net.certware.core.ui/src/net/certware/core/ui/CertWareUI.java
@@ -44,6 +44,8 @@
public static final String CERTWARE_SCRIPT_IMAGE = "certware.script.image"; //$NON-NLS-1$
/** wizard banner */
public static final String CERTWARE_WIZARD_BANNER = "certware.wizban"; //$NON-NLS-1$
+ /** export image */
+ public static final String CERTWARE_EXPORT_IMAGE = "certware.export"; //$NON-NLS-1$
/**
* Returns the shared instance
@@ -91,6 +93,7 @@ protected void initializeImageRegistry(ImageRegistry registry) {
initializeImage(registry,bundle,"icons/obj16/certware-open.gif",CERTWARE_OPEN_IMAGE);
initializeImage(registry,bundle,"icons/obj16/certware-run.gif",CERTWARE_RUN_IMAGE);
initializeImage(registry,bundle,"icons/obj16/certware-script.gif",CERTWARE_SCRIPT_IMAGE);
+ initializeImage(registry,bundle,"icons/obj16/export_wiz.gif",CERTWARE_EXPORT_IMAGE);
initializeImage(registry,bundle,"icons/wizban/certware-wizban.png",CERTWARE_WIZARD_BANNER);
// register an icon for the job family
View
66 net.certware.core.ui/src/net/certware/core/ui/CertWareUIPlugin.java
@@ -0,0 +1,66 @@
+package net.certware.core.ui;
+
+import org.eclipse.swt.widgets.Display;
+import org.eclipse.ui.forms.FormColors;
+import org.eclipse.ui.forms.widgets.FormToolkit;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+import org.osgi.framework.BundleActivator;
+
+/**
+ * Convenience plugin superclass for UI parts.
+ * @author mrb
+ * @since 1.2.1
+ */
+public class CertWareUIPlugin extends AbstractUIPlugin implements BundleActivator {
+
+ /** singleton reference */
+ static private CertWareUIPlugin plugin = null;
+ /** form colors reference */
+ private FormColors formColors;
+ /** form toolkit reference */
+ private FormToolkit formToolkit;
+
+ /**
+ * CertWareUIPlugin saves the plugin reference.
+ */
+ public CertWareUIPlugin() {
+ super();
+ plugin = this;
+ }
+
+ /**
+ * Returns the reference to the plugin.
+ * @return plugin reference
+ */
+ public static CertWareUIPlugin getDefault() {
+ return plugin;
+ }
+
+ /**
+ * Returns the shared instance of the form colors.
+ * Creates the resource on first access.
+ * @param display color source display
+ * @return shared colors
+ */
+ public FormColors getFormColors(Display display) {
+ if (formColors == null) {
+ formColors = new FormColors(display);
+ formColors.markShared();
+ }
+ return formColors;
+ }
+
+ /**
+ * Returns the shared instance of the form toolkit.
+ * Also creates the form colors if necessary.
+ * @param display color source display
+ * @return shared toolkit
+ */
+ public FormToolkit getFormToolkit(Display display) {
+ if ( formToolkit == null ) {
+ formToolkit = new FormToolkit(getFormColors(display));
+ }
+ return formToolkit;
+ }
+
+}
View
2 net.certware.core.ui/src/net/certware/core/ui/help/IHelpContext.java
@@ -94,6 +94,8 @@
public static String VCL_EDITOR_ITEM = PREFIX + "vcl_editor_item_context"; //$NON-NLS-1$
/** VCL editor choices context ID */
public static String VCL_EDITOR_CHOICES = PREFIX + "vcl_editor_choices_context"; //$NON-NLS-1$
+ /** VCL view context ID */
+ public static String VCL_VIEW = PREFIX + "vcl_view_context"; //$NON-NLS-1$
// model agnostic context IDs
View
75 net.certware.core.ui/src/net/certware/core/ui/listeners/ActiveEditorListener.java
@@ -0,0 +1,75 @@
+package net.certware.core.ui.listeners;
+
+import net.certware.core.ui.views.ICertWareView;
+
+import org.eclipse.ui.IPartListener2;
+import org.eclipse.ui.IWorkbenchPartReference;
+
+/**
+ * Listens for active editor events.
+ * Used here to identify the active editor.
+ * @author mrb
+ */
+public class ActiveEditorListener implements IPartListener2
+{
+ /** the view reference */
+ private ICertWareView certWareView = null;
+
+ public ActiveEditorListener(ICertWareView tv) {
+ this.certWareView = tv;
+ }
+
+ /**
+ * Method for part activated event.
+ * If the view is linked with the editor, then determine whether the editor contains a C file.
+ * If so, then find the associated view file using the root of the file name.
+ */
+ @SuppressWarnings("unused")
+ public void partActivated(IWorkbenchPartReference partRef)
+ {
+ if ( certWareView.getLinkingEditor() ) {
+ // the part name turns out to be the file name
+ String partName = partRef.getPartName();
+ /*
+ if ( partName.endsWith(C_FILE_EXTENSION)) {
+ String extension = toolView.getDefaultExtension();
+ String viewName = partName.substring(0, partName.lastIndexOf('.') + 1) + extension;
+ IFile viewFile = FileFinder.findResourceByName(viewName, null, null);
+ toolView.setSelectedFile(viewFile);
+ }
+ */
+ }
+ }
+
+ public void partDeactivated(IWorkbenchPartReference partRef)
+ {
+ // let the view content linger
+ }
+
+ public void partInputChanged(IWorkbenchPartReference partRef)
+ {
+ // the input might have changed, but the file name reference does not
+ }
+
+ public void partBroughtToTop(IWorkbenchPartReference partRef)
+ {
+ }
+
+ public void partClosed(IWorkbenchPartReference partRef)
+ {
+ }
+
+ public void partHidden(IWorkbenchPartReference partRef)
+ {
+ }
+
+ public void partOpened(IWorkbenchPartReference partRef)
+ {
+ }
+
+ public void partVisible(IWorkbenchPartReference partRef)
+ {
+ }
+
+
+}
View
308 net.certware.core.ui/src/net/certware/core/ui/splash/ExtensibleSplashHandler.java
@@ -0,0 +1,308 @@
+
+package net.certware.core.ui.splash;
+
+import java.util.ArrayList;
+import java.util.Iterator;
+
+import org.eclipse.core.runtime.IConfigurationElement;
+import org.eclipse.core.runtime.IExtension;
+import org.eclipse.core.runtime.Platform;
+import org.eclipse.jface.resource.ImageDescriptor;
+import org.eclipse.swt.SWT;
+import org.eclipse.swt.graphics.Image;
+import org.eclipse.swt.graphics.Point;
+import org.eclipse.swt.layout.GridLayout;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Label;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+import org.eclipse.ui.splash.AbstractSplashHandler;
+
+/**
+ * @since 3.3
+ *
+ */
+public class ExtensibleSplashHandler extends AbstractSplashHandler {
+
+ private ArrayList fImageList;
+
+ private ArrayList fTooltipList;
+
+ private final static String F_SPLASH_EXTENSION_ID = "net.certware.core.ui.splashExtension"; //NON-NLS-1
+
+ private final static String F_ELEMENT_ICON = "icon"; //NON-NLS-1
+
+ private final static String F_ELEMENT_TOOLTIP = "tooltip"; //NON-NLS-1
+
+ private final static String F_DEFAULT_TOOLTIP = "Image"; //NON-NLS-1
+
+ private final static int F_IMAGE_WIDTH = 50;
+
+ private final static int F_IMAGE_HEIGHT = 50;
+
+ private final static int F_SPLASH_SCREEN_BEVEL = 5;
+
+ private Composite fIconPanel;
+
+ /**
+ *
+ */
+ public ExtensibleSplashHandler() {
+ fImageList = new ArrayList();
+ fTooltipList = new ArrayList();
+ fIconPanel = null;
+ }
+
+ /* (non-Javadoc)
+ * @see org.eclipse.ui.splash.AbstractSplashHandler#init(org.eclipse.swt.widgets.Shell)
+ */
+ public void init(Shell splash) {
+ // Store the shell
+ super.init(splash);
+ // Configure the shell layout
+ configureUISplash();
+ // Load all splash extensions
+ loadSplashExtensions();
+ // If no splash extensions were loaded abort the splash handler
+ if (hasSplashExtensions() == false) {
+ return;
+ }
+ // Create UI
+ createUI();
+ // Configure the image panel bounds
+ configureUICompositeIconPanelBounds();
+ // Enter event loop and prevent the RCP application from
+ // loading until all work is done
+ doEventLoop();
+ }
+
+ /**
+ * @return
+ */
+ private boolean hasSplashExtensions() {
+ if (fImageList.isEmpty()) {
+ return false;
+ } else {
+ return true;
+ }
+ }
+
+ /**
+ *
+ */
+ private void createUI() {
+ // Create the icon panel
+ createUICompositeIconPanel();
+ // Create the images
+ createUIImages();
+ }
+
+ /**
+ *
+ */
+ private void createUIImages() {
+ Iterator imageIterator = fImageList.iterator();
+ Iterator tooltipIterator = fTooltipList.iterator();
+ int i = 1;
+ int columnCount = ((GridLayout)fIconPanel.getLayout()).numColumns;
+ // Create all the images
+ // Abort if we run out of columns (left-over images will not fit within
+ // the usable splash screen width)
+ while (imageIterator.hasNext() &&
+ (i <= columnCount)) {
+ Image image = (Image)imageIterator.next();
+ String tooltip = (String)tooltipIterator.next();
+ // Create the image using a label widget
+ createUILabel(image, tooltip);
+ i++;
+ }
+ }
+
+ /**
+ * @param image
+ * @param tooltip
+ */
+ private void createUILabel(Image image, String tooltip) {
+ // Create the label (no text)
+ Label label = new Label(fIconPanel, SWT.NONE);
+ label.setImage(image);
+ label.setToolTipText(tooltip);
+ }
+
+ /**
+ *
+ */
+ private void createUICompositeIconPanel() {
+ Shell splash = getSplash();
+ // Create the composite
+ fIconPanel = new Composite(splash, SWT.NONE);
+ // Determine the maximum number of columns that can fit on the splash
+ // screen. One 50x50 image per column.
+ int maxColumnCount = getUsableSplashScreenWidth() / F_IMAGE_WIDTH;
+ // Limit size to the maximum number of columns if the number of images
+ // exceed this amount; otherwise, use the exact number of columns
+ // required.
+ int actualColumnCount = Math.min(fImageList.size(), maxColumnCount);
+ // Configure the layout
+ GridLayout layout = new GridLayout(actualColumnCount, true);
+ layout.horizontalSpacing = 0;
+ layout.verticalSpacing = 0;
+ layout.marginHeight = 0;
+ layout.marginWidth = 0;
+ fIconPanel.setLayout(layout);
+ }
+
+ /**
+ *
+ */
+ private void configureUICompositeIconPanelBounds() {
+ // Determine the size of the panel and position it at the bottom-right
+ // of the splash screen.
+ Point panelSize = fIconPanel.computeSize(SWT.DEFAULT, SWT.DEFAULT, true);
+
+ int x_coord = getSplash().getSize().x - F_SPLASH_SCREEN_BEVEL - panelSize.x;
+ int y_coord = getSplash().getSize().y - F_SPLASH_SCREEN_BEVEL - panelSize.y;
+ int x_width = panelSize.x;
+ int y_width = panelSize.y;
+
+ fIconPanel.setBounds(x_coord, y_coord, x_width, y_width);
+ }
+
+ /**
+ * @return
+ */
+ private int getUsableSplashScreenWidth() {
+ // Splash screen width minus two graphic border bevel widths
+ return getSplash().getSize().x - (F_SPLASH_SCREEN_BEVEL * 2);
+ }
+
+ /**
+ *
+ */
+ private void loadSplashExtensions() {
+ // Get all splash handler extensions
+ IExtension[] extensions =
+ Platform.getExtensionRegistry().getExtensionPoint(
+ F_SPLASH_EXTENSION_ID).getExtensions();
+ // Process all splash handler extensions
+ for (int i = 0; i < extensions.length; i++) {
+ processSplashExtension(extensions[i]);
+ }
+ }
+
+ /**
+ * @param extension
+ */
+ private void processSplashExtension(IExtension extension) {
+ // Get all splash handler configuration elements
+ IConfigurationElement[] elements = extension.getConfigurationElements();
+ // Process all splash handler configuration elements
+ for (int j = 0; j < elements.length; j++) {
+ processSplashElements(elements[j]);
+ }
+ }
+
+ /**
+ * @param configurationElement
+ */
+ private void processSplashElements(
+ IConfigurationElement configurationElement) {
+ // Attribute: icon
+ processSplashElementIcon(configurationElement);
+ // Attribute: tooltip
+ processSplashElementTooltip(configurationElement);
+ }
+
+ /**
+ * @param configurationElement
+ */
+ private void processSplashElementTooltip(
+ IConfigurationElement configurationElement) {
+ // Get attribute tooltip
+ String tooltip = configurationElement.getAttribute(F_ELEMENT_TOOLTIP);
+ // If a tooltip is not defined, give it a default
+ if ((tooltip == null) ||
+ (tooltip.length() == 0)) {
+ fTooltipList.add(F_DEFAULT_TOOLTIP);
+ } else {
+ fTooltipList.add(tooltip);
+ }
+ }
+
+ /**
+ * @param configurationElement
+ */
+ private void processSplashElementIcon(
+ IConfigurationElement configurationElement) {
+ // Get attribute icon
+ String iconImageFilePath = configurationElement.getAttribute(F_ELEMENT_ICON);
+ // Abort if an icon attribute was not specified
+ if ((iconImageFilePath == null) ||
+ (iconImageFilePath.length() == 0)) {
+ return;
+ }
+ // Create a corresponding image descriptor
+ ImageDescriptor descriptor =
+ AbstractUIPlugin.imageDescriptorFromPlugin(
+ configurationElement.getNamespaceIdentifier(),
+ iconImageFilePath);
+ // Abort if no corresponding image was found
+ if (descriptor == null) {
+ return;
+ }
+ // Create the image
+ Image image = descriptor.createImage();
+ // Abort if image creation failed
+ if (image == null) {
+ return;
+ }
+ // Abort if the image does not have dimensions of 50x50
+ if ((image.getBounds().width != F_IMAGE_WIDTH) ||
+ (image.getBounds().height != F_IMAGE_HEIGHT)) {
+ // Dipose of the image
+ image.dispose();
+ return;
+ }
+ // Store the image and tooltip
+ fImageList.add(image);
+ }
+
+ /**
+ *
+ */
+ private void configureUISplash() {
+ // Configure layout
+ GridLayout layout = new GridLayout(1, true);
+ getSplash().setLayout(layout);
+ // Force shell to inherit the splash background
+ getSplash().setBackgroundMode(SWT.INHERIT_DEFAULT);
+ }
+
+ /**
+ *
+ */
+ private void doEventLoop() {
+ Shell splash = getSplash();
+ if (splash.getDisplay().readAndDispatch() == false) {
+ splash.getDisplay().sleep();
+ }
+ }
+
+ /* (non-Javadoc)
+ * @see org.eclipse.ui.splash.AbstractSplashHandler#dispose()
+ */
+ public void dispose() {
+ super.dispose();
+ // Check to see if any images were defined
+ if ((fImageList == null) ||
+ fImageList.isEmpty()) {
+ return;
+ }
+ // Dispose of all the images
+ Iterator iterator = fImageList.iterator();
+ while (iterator.hasNext()) {
+ Image image = (Image) iterator.next();
+ image.dispose();
+ }
+ }
+}
View
52 net.certware.core.ui/src/net/certware/core/ui/splash/OverlaySplashHandler.java
@@ -0,0 +1,52 @@
+package net.certware.core.ui.splash;
+
+import net.certware.core.ui.CertWareUI;
+
+import org.eclipse.jface.resource.ImageDescriptor;
+import org.eclipse.swt.events.PaintEvent;
+import org.eclipse.swt.events.PaintListener;
+import org.eclipse.swt.graphics.Image;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.ui.internal.splash.EclipseSplashHandler;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
+
+@SuppressWarnings("restriction")
+public class OverlaySplashHandler extends EclipseSplashHandler {
+
+ /** path to splash overlay */
+ private static final String BETA_PNG = "icons/splash/badge_beta.jpg";
+ /** border from corner */
+ private static final int BORDER = 10;
+ /** image reference to dispose */
+ private Image image;
+
+ public OverlaySplashHandler() {
+ super();
+ }
+
+ @Override
+ public void init(Shell splash) {
+ super.init(splash);
+
+ ImageDescriptor descriptor = AbstractUIPlugin.imageDescriptorFromPlugin(CertWareUI.PLUGIN_ID, BETA_PNG);
+ if (descriptor != null)
+ image = descriptor.createImage();
+ if (image !=null) {
+ final int xposition = splash.getSize().x - image.getImageData().width - BORDER;
+ final int yposition = BORDER;
+ getContent().addPaintListener (new PaintListener () {
+ public void paintControl (PaintEvent e) {
+ e.gc.drawImage (image, xposition, yposition);
+ }
+ });
+ }
+ }
+
+ @Override
+ public void dispose() {
+ super.dispose();
+ if (image != null)
+ image.dispose();
+ }
+
+}
View
33 net.certware.core.ui/src/net/certware/core/ui/views/ICertWareView.java
@@ -0,0 +1,33 @@
+package net.certware.core.ui.views;
+
+import org.eclipse.core.resources.IFile;
+
+public interface ICertWareView
+{
+
+ /**
+ * Set the selected file in the viewer.
+ * @param file to use for source, as found in workspace
+ * @return true if changed
+ */
+ public boolean setSelectedFile(IFile file);
+
+ /**
+ * Get the state of whether the view is linked with the editor.
+ * Usually true if the user sets the link state.
+ * @return true if view and editor linked
+ */
+ public boolean getLinkingEditor();
+
+ /**
+ * Sets the state of whether the view is linked with the editor.
+ */
+ public void setLinkingEditor(boolean sle);
+
+ /**
+ * Returns the default file extension used for this view's content files.
+ * @return the default extension, usually the first extension found in generator model extensions
+ */
+ public String getDefaultExtension();
+
+}
View
BIN net.certware.doc/wiki/certware-32.gif
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
93 net.certware.doc/wiki/project.textile
@@ -4,99 +4,7 @@ h1{color:red}. CertWare Implementation and Integration Notes
<hr/>
-h2. Version History
-
-h3. Version 1.2.0
-
-_Bugs Fixed_:
-* Moved diagram preference page root into the CertWare preference page tree.
-* Moved diagram new wizard category to the CertWare UI category.
-_Enhancements_:
-* Added the SRI Structured Argument Markup Language (AML) model, and generated edit support and editors for arguments of this type. _There may be editor issues with the mixed XML element types in this generated code. A number of elements did not generate properly and manual repair was required._ A navigator contribution provides the explorer filter.
-* Added the OMG Software Assurance Evidence Metamodel (SAEM) model, and generated edit support and editors for evidence of this type. _It is not yet directly connected to the ARM derivatives for complete arguments._
-* Added new file wizards for the CPN DSL, SFP DSL, GSN DSL, and Hugin NET DSL. Added these to the CertWare perspective wizard shortcuts.
-* Updated graphics images, icons, and splash page.
-* Provided initial universal welcome contribution when run as a product.
-* Installed universal intro contributions that merely point to the web site.
-* Updated license language per NASA evaluation terms.
-
-h3. Version 1.1.2
-
-_Bugs Fixed_:
-* Removed Xtext-generated new project wizards for GSN DSL and CPN DSL.
-_Enhancements_:
-* Changed content property feature of ARM generator model to multi-line, thereby creating multi-line properties for CAE, EUR, and GSN tree-based model editors using text areas with scroll bars. Updated corresponding EEF framework parts to text areas.
-
-h3. Version 1.1.1
-
-_Bugs Fixed_:
-* Gather change orders allows empty lists on sum calculators.
-* Proof theorem detail page with empty ID now sets text properly.
-
-h3. Version 1.1
-
-_Bugs Fixed_:
-* Reassigned diagram model creation wizard to CertWare new wizard category.
-* Fixed labels on EUZ plugin identities and branding plug-in.
-* Reassigned diagram preference pages to fall under the CertWare category.
-* Added context and sub-strategy reference elements to the EUROCONTROL model strategy element.
-_Enhancements_:
-* Added API tooling setup to each project, adding nature and builder to support API report generation.
-* Expanded body text regions in all graphical shapes, allowing multi-line wrap display and editing.
-* Expanded semi-formal proof support. Added adapters for SFP outline view. Added active parser editor. Added validation for graph cycles and entailment. Added proof review wizard. Added dynamic help (first draft). Added navigator contribution for SFP file types.
-* Added planning module content for Microsoft Project MSPDI interchange model.
-* Completed some string externalization.
-* Updated to JGit 0.10.1 and EGit 0.10.1 for target platform and feature. Added these features to the CertWare parent.
-* Added measurement model plugins. The model is derived from the OMG Software Metrics Metamodel (1.0 beta 1, March 2009) XML schema, adopting and modifying an EMF implementation from Eclipse GMT MODISCO.
-* Added CertWare Planning Notation (CPN) DSL for assigning planning data mapping onto ARM Metamodel. Xtext project generated editor for DSL. Validation included for editor content with markers. Added a workbench view to show contents from workbench navigator or editor selections. Added pop-up menu action to open selected resource in its view. Added conversion action to translate the CPN file into Microsoft Project XML (MSPDI) file type for export.
-* Added CertWare Software Project Metrics (SPM) EMF model for collecting and computing metrics on argument case artifacts in change sets. Added corresponding navigator contribution summarized to the few key product and trend metrics with values. Added example contribution fragment as a pattern for a fully-specified metrics model example with place-holder observations. Added a workbench view to show contents from workbench navigator or editor selections. Added pop-up menu action to open selected resource in its view. Added object contribution action on selected project commit objects to compute change order count statistics from a selected change order (SCO) file. Added object contribution action on selected project model or project commit objects to compute all metrics given the statistics in the model.
-* Added CertWare Software Change Order (SCO) EMF model for capturing change order records for metrics. Added corresponding navigator contribution. Added a workbench view to show contents from workbench navigator or editor selections. Added pop-up menu action to open selected resource in its view. Added an action to collect commit identifiers and file size history from a project's associated EGit repository, creating an SCO file in the project containing the results.
-* Added a CertWare workbench perspective. Standard layout. Added views and new-wizard perspective extensions from each plug-in. Perspective defined in @net.certware.core.ui@ plug-in.
-* Added a quick-and-dirty task hour accumulator to the task list, activated on the pop-up menu for task category containers. Added a similar task hour accumulator to the project navigator for selections on a project container, which accumulates all hours for all tasks.
-_Commit_:
-* Committed as reference branch @M5@ with @1.1.0@ tag.
-
-h3. Version 1.0.2
-
-_Bugs Fixed_:
-* Fixed help context provider for example host plug-in.
-* Added EVL feature as a sub-feature for the packaging.
-_Enhancements_:
-* Added CertWare category to diagram plug-in preference pages for improved navigation.
-* Added help context IDs for details pages on the examples wizard.
-* Added first draft of semi-formal proof editor, mapped to file extension @.sfp@.
-_Commit_:
-* Committed with @1.0.2@ tag.
-
-h3. Version 1.0.1
-
-_Bugs Fixed_:
-* Fixed example wizard's URL string matching for resource copying from fragment bundles. This repair ensures the copying task is not dependent upon the extension point contribution's ordering of resources.
-_Enhancements_:
-* None
-_Commit_:
-* Committed as reference branch @M4@ with @1.0.1@ tag.
-
-h3. Version 1.0.0
-
-_Enhancements_:
-* Created ARM Ecore model for arguments, then GSN, CAE, and EUR Ecore models each depending on ARM package.
-* Created VCL Ecore model for check lists.
-* Established basic target definition including Equinox and RCP.
-* Established basic feature definition and branding support.
-* Established basic extended editing properties sheets using EEF.
-* Created Apache POI plugin library package for POI 3.6.
-* Created import/export plugin library package for docx4j.
-* Included EGit/JGit support in run configuration.
-* Unit test fragments created for ARM, GSN, and EUROCONTROL models.
-* Navigator content contributions and filters for ARM, GSN, CAE, EUR, and VCL models.
-* Example wizard using example resources contributed as fragments.
-* Javadoc basic setup and Ant script saved.
-* Graphical argument editors for CAE, GSN and EUROCONTROL models.
-_Commit_:
-* Committed as reference branch @warr@ with @1.0.0@ tag.
-<hr/>
h2. Documentation
@@ -119,6 +27,7 @@ h3. Meta-Models
* @EUZ@ A diagram for EUROCONTROL notation derived from EUR and ARM metamodels.
* @GSN@ A goal structuring notation metamodel derived from the ARM metamodel.
* @GSZ@ A diagram for goal structuring notation derived from GSN and ARM metamodels.
+* @NET@ Hugin Network models.
* @SFP@ A semi-formal proof metamodel derived from an Xtext grammar for these proofs.
* @SMM@ OMG software measurement metamodel and its Ecore implementation.
* @VCL@ A verification checklist generic metamodel.
View
107 net.certware.doc/wiki/versions.textile
@@ -0,0 +1,107 @@
+h1{color:blue}. CertWare Version History
+
+!certware-32.gif!
+
+
+h3. Version 1.2.1
+
+_Bugs Fixed_:
+_Enhancements_:
+* Added checklist view with results editor.
+* Added overlay splash handler for product version identification.
+* Changed SAEM editor to single page.
+
+
+h3. Version 1.2.0
+
+_Bugs Fixed_:
+* Moved diagram preference page root into the CertWare preference page tree.
+* Moved diagram new wizard category to the CertWare UI category.
+_Enhancements_:
+* Added the SRI Structured Argument Markup Language (AML) model, and generated edit support and editors for arguments of this type. _There may be editor issues with the mixed XML element types in this generated code. A number of elements did not generate properly and manual repair was required. A bug report was filed for EEF._ A navigator contribution provides the explorer filter.
+* Added the OMG Software Assurance Evidence Metamodel (SAEM) model, and generated edit support and editors for evidence of this type. _It is not yet directly connected to the ARM derivatives for complete arguments._
+* Added new file wizards for the CPN DSL, SFP DSL, GSN DSL, and Hugin NET DSL. Added these to the CertWare perspective wizard shortcuts.
+* Updated graphics images, icons, and splash page.
+* Provided initial universal welcome contribution when run as a product.
+* Installed universal introduction contributions that merely point to the web site.
+* Updated license language per NASA evaluation terms.
+_Commit_:
+* Committed as reference branch @M6@ with @1.2.0@ tag.
+
+h3. Version 1.1.2
+
+_Bugs Fixed_:
+* Removed Xtext-generated new project wizards for GSN DSL and CPN DSL.
+_Enhancements_:
+* Changed content property feature of ARM generator model to multi-line, thereby creating multi-line properties for CAE, EUR, and GSN tree-based model editors using text areas with scroll bars. Updated corresponding EEF framework parts to text areas.
+
+h3. Version 1.1.1
+
+_Bugs Fixed_:
+* Gather change orders allows empty lists on sum calculators.
+* Proof theorem detail page with empty ID now sets text properly.
+
+h3. Version 1.1
+
+_Bugs Fixed_:
+* Reassigned diagram model creation wizard to CertWare new wizard category.
+* Fixed labels on EUZ plugin identities and branding plug-in.
+* Reassigned diagram preference pages to fall under the CertWare category.
+* Added context and sub-strategy reference elements to the EUROCONTROL model strategy element.
+_Enhancements_:
+* Added API tooling setup to each project, adding nature and builder to support API report generation.
+* Expanded body text regions in all graphical shapes, allowing multi-line wrap display and editing.
+* Expanded semi-formal proof support. Added adapters for SFP outline view. Added active parser editor. Added validation for graph cycles and entailment. Added proof review wizard. Added dynamic help (first draft). Added navigator contribution for SFP file types.
+* Added planning module content for Microsoft Project MSPDI interchange model.
+* Completed some string externalization.
+* Updated to JGit 0.10.1 and EGit 0.10.1 for target platform and feature. Added these features to the CertWare parent.
+* Added measurement model plugins. The model is derived from the OMG Software Metrics Metamodel (1.0 beta 1, March 2009) XML schema, adopting and modifying an EMF implementation from Eclipse GMT MODISCO.
+* Added CertWare Planning Notation (CPN) DSL for assigning planning data mapping onto ARM Metamodel. Xtext project generated editor for DSL. Validation included for editor content with markers. Added a workbench view to show contents from workbench navigator or editor selections. Added pop-up menu action to open selected resource in its view. Added conversion action to translate the CPN file into Microsoft Project XML (MSPDI) file type for export.
+* Added CertWare Software Project Metrics (SPM) EMF model for collecting and computing metrics on argument case artifacts in change sets. Added corresponding navigator contribution summarized to the few key product and trend metrics with values. Added example contribution fragment as a pattern for a fully-specified metrics model example with place-holder observations. Added a workbench view to show contents from workbench navigator or editor selections. Added pop-up menu action to open selected resource in its view. Added object contribution action on selected project commit objects to compute change order count statistics from a selected change order (SCO) file. Added object contribution action on selected project model or project commit objects to compute all metrics given the statistics in the model.
+* Added CertWare Software Change Order (SCO) EMF model for capturing change order records for metrics. Added corresponding navigator contribution. Added a workbench view to show contents from workbench navigator or editor selections. Added pop-up menu action to open selected resource in its view. Added an action to collect commit identifiers and file size history from a project's associated EGit repository, creating an SCO file in the project containing the results.
+* Added a CertWare workbench perspective. Standard layout. Added views and new-wizard perspective extensions from each plug-in. Perspective defined in @net.certware.core.ui@ plug-in.
+* Added a quick-and-dirty task hour accumulator to the task list, activated on the pop-up menu for task category containers. Added a similar task hour accumulator to the project navigator for selections on a project container, which accumulates all hours for all tasks.
+_Commit_:
+* Committed as reference branch @M5@ with @1.1.0@ tag.
+
+h3. Version 1.0.2
+
+_Bugs Fixed_:
+* Fixed help context provider for example host plug-in.
+* Added EVL feature as a sub-feature for the packaging.
+_Enhancements_:
+* Added CertWare category to diagram plug-in preference pages for improved navigation.
+* Added help context IDs for details pages on the examples wizard.
+* Added first draft of semi-formal proof editor, mapped to file extension @.sfp@.
+_Commit_:
+* Committed with @1.0.2@ tag.
+
+h3. Version 1.0.1
+
+_Bugs Fixed_:
+* Fixed example wizard's URL string matching for resource copying from fragment bundles. This repair ensures the copying task is not dependent upon the extension point contribution's ordering of resources.
+_Enhancements_:
+* None
+_Commit_:
+* Committed as reference branch @M4@ with @1.0.1@ tag.
+
+h3. Version 1.0.0
+
+_Enhancements_:
+* Created ARM Ecore model for arguments, then GSN, CAE, and EUR Ecore models each depending on ARM package.
+* Created VCL Ecore model for check lists.
+* Established basic target definition including Equinox and RCP.
+* Established basic feature definition and branding support.
+* Established basic extended editing properties sheets using EEF.
+* Created Apache POI plugin library package for POI 3.6.
+* Created import/export plugin library package for docx4j.
+* Included EGit/JGit support in run configuration.
+* Unit test fragments created for ARM, GSN, and EUROCONTROL models.
+* Navigator content contributions and filters for ARM, GSN, CAE, EUR, and VCL models.
+* Example wizard using example resources contributed as fragments.
+* Javadoc basic setup and Ant script saved.
+* Graphical argument editors for CAE, GSN and EUROCONTROL models.
+_Commit_:
+* Committed as reference branch @warr@ with @1.0.0@ tag.
+
+
View
7 net.certware.evidence.hugin.test/.classpath
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
+ <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+ <classpathentry kind="src" path="src"/>
+ <classpathentry kind="output" path="bin"/>
+</classpath>
View
28 net.certware.evidence.hugin.test/.project
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>net.certware.evidence.hugin.test</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.jdt.core.javabuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ <buildCommand>
+ <name>org.eclipse.pde.ManifestBuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ <buildCommand>
+ <name>org.eclipse.pde.SchemaBuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.pde.PluginNature</nature>
+ <nature>org.eclipse.jdt.core.javanature</nature>
+ </natures>
+</projectDescription>
View
8 net.certware.evidence.hugin.test/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,8 @@
+#Tue Mar 01 13:01:37 GMT-06:00 2011
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.6
View
7 net.certware.evidence.hugin.test/META-INF/MANIFEST.MF
@@ -0,0 +1,7 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: CertWare Evidence Hugin Test
+Bundle-SymbolicName: net.certware.evidence.hugin.test;singleton:=true
+Bundle-Version: 1.2.0.qualifier
+Bundle-Vendor: Kestrel Technology LLC
+Bundle-RequiredExecutionEnvironment: JavaSE-1.6
View
4 net.certware.evidence.hugin.test/build.properties
@@ -0,0 +1,4 @@
+source.. = src/
+output.. = bin/
+bin.includes = META-INF/,\
+ .
View
16,715 net.certware.evidence.hugin.test/resources/barley.net
16,715 additions, 0 deletions not shown because the diff is too large. Please use a local Git client to view these changes.
View
36,641 net.certware.evidence.hugin.test/resources/diabetes.net
36,641 additions, 0 deletions not shown because the diff is too large. Please use a local Git client to view these changes.
View
196 net.certware.evidence.hugin.test/resources/mildew1.net
@@ -0,0 +1,196 @@
+net
+{
+ node_size = (80 40);
+ HR_Grid_X = "10";
+ HR_Grid_Y = "10";
+ HR_Grid_GridSnap = "1";
+ HR_Grid_GridShow = "0";
+ HR_Font_Name = "Arial";
+ HR_Font_Size = "-12";
+ HR_Font_Weight = "400";
+ HR_Font_Italic = "0";
+ HR_Propagate_Auto = "0";
+ HR_Propagate_AutoSum = "1";
+ HR_Propagate_AutoNormal = "1";
+ HR_Compile_TriangMethod = "0";
+ HR_Compile_Compress = "0";
+ HR_Compile_Approximate = "0";
+ HR_Compile_ApproxEpsilon = "0.00001";
+ HR_Monitor_AutoUpdGraph = "0";
+ HR_Monitor_GraphPrecision = "100";
+ HR_Monitor_OpenGraph = "0";
+ HR_Monitor_InitStates = "5";
+ HR_Monitor_InitSD = "2";
+ HR_Color_DiscreteChance = "16";
+ HR_Color_ContinuosChance = "48";
+ HR_Color_Utility = "36";
+ HR_Color_Decision = "17";
+ HR_Groups_UserGroupsNo = "0";
+ HR_Groups_GroupNames = "";
+ HR_Groups_GroupColors = "";
+ HRUNTIME_Grid_X = "10";
+ HRUNTIME_Grid_Y = "10";
+ HRUNTIME_Grid_GridSnap = "1";
+ HRUNTIME_Grid_GridShow = "0";
+ HRUNTIME_Font_Name = "Arial";
+ HRUNTIME_Font_Size = "-12";
+ HRUNTIME_Font_Weight = "400";
+ HRUNTIME_Font_Italic = "0";
+ HRUNTIME_Propagate_Auto = "0";
+ HRUNTIME_Propagate_AutoSum = "1";
+ HRUNTIME_Propagate_AutoNormal = "1";
+ HRUNTIME_Compile_TriangMethod = "0";
+ HRUNTIME_Compile_Compress = "0";
+ HRUNTIME_Compile_Approximate = "0";
+ HRUNTIME_Compile_ApproxEpsilon = "0.00001";
+ HRUNTIME_Monitor_AutoUpdGraph = "0";
+ HRUNTIME_Monitor_GraphPrecision = "100";
+ HRUNTIME_Monitor_OpenGraph = "0";
+ HRUNTIME_Monitor_InitStates = "5";
+}
+
+node Q
+{
+ label = "Q";
+ position = (0 340);
+ states = ("f" "a" "g" "v");
+}
+
+node OQ
+{
+ position = (0 240);
+ states = ("f" "a" "g" "v");
+}
+
+node H
+{
+ label = "H";
+ position = (300 320);
+ states = ("r" "b" "p" "f" "a" "g" "v");
+}
+
+node M
+{
+ label = "M";
+ position = (0 150);
+ states = ("no" "l" "m" "s");
+}
+
+node Ms
+{
+ label = "M*";
+ position = (150 220);
+ states = ("no" "l" "m" "s");
+}
+
+utility U
+{
+ label = "U";
+ position = (300 150);
+}
+
+decision A
+{
+ label = "A";
+ position = (150 110);
+ states = ("no" "l" "m" "h");
+}
+
+node OM
+{
+ label = "OM";
+ position = (0 30);
+ states = ("no" "l" "m" "s");
+}
+
+utility C
+{
+ position = (150 0);
+}
+
+potential (Q)
+{
+ data = ( 0.2 0.4 0.3 0.1 );
+}
+
+potential (OQ | Q)
+{
+ data = (( 0.8 0.15 0.05 0 ) % f
+ ( 0.3 0.6 0.1 0 ) % a
+ ( 0.1 0.2 0.6 0.1 ) % g
+ ( 0 0.1 0.4 0.5 )); % v
+}
+
+potential (H | Ms Q)
+{
+ data = ((( 0 0.05 0.1 0.7 0.1 0.05 0 ) % no f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % no a
+ ( 0 0 0 0.05 0.1 0.7 0.15 ) % no g
+ ( 0 0 0 0 0.1 0.2 0.7 )) % no v
+ (( 0.05 0.1 0.7 0.1 0.05 0 0 ) % l f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % l a
+ ( 0 0 0.05 0.1 0.7 0.15 0 ) % l g
+ ( 0 0 0 0.05 0.15 0.7 0.1 )) % l v
+ (( 0.15 0.7 0.1 0.05 0 0 0 ) % m f
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % m a
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ) % m g
+ ( 0 0 0.05 0.1 0.7 0.15 0 )) % m v
+ (( 0.9 0.1 0 0 0 0 0 ) % s f
+ ( 0.15 0.7 0.1 0.05 0 0 0 ) % s a
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % s g
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ))); % s v
+}
+
+potential (M)
+{
+ data = ( 0.4 0.3 0.2 0.1 );
+}
+
+potential (Ms | A M)
+{
+ data = ((( 1 0 0 0 ) % no no
+ ( 0 1 0 0 ) % no l
+ ( 0 0 1 0 ) % no m
+ ( 0 0 0 1 )) % no s
+ (( 1 0 0 0 ) % l no
+ ( 0.8 0.2 0 0 ) % l l
+ ( 0 0.8 0.2 0 ) % l m
+ ( 0 0 0.8 0.2 )) % l s
+ (( 1 0 0 0 ) % m no
+ ( 1 0 0 0 ) % m l
+ ( 0.8 0.2 0 0 ) % m m
+ ( 0 0.8 0.2 0 )) % m s
+ (( 1 0 0 0 ) % h no
+ ( 1 0 0 0 ) % h l
+ ( 1 0 0 0 ) % h m
+ ( 0.8 0.2 0 0 ))); % h s
+}
+
+potential (U | H)
+{
+ data = ( -1 % r
+ 1 % b
+ 5 % p
+ 8 % f
+ 10 % a
+ 12 % g
+ 13 ); % v
+}
+
+potential (A) {}
+
+potential (OM | M)
+{
+ data = (( 0.9 0.1 0 0 ) % no
+ ( 0.2 0.5 0.2 0.1 ) % l
+ ( 0.1 0.2 0.5 0.2 ) % m
+ ( 0 0.1 0.3 0.6 )); % s
+}
+
+potential (C | A)
+{
+ data = ( 0 % no
+ -2 % l
+ -3 % m
+ -4 ); % h
+}
View
219 net.certware.evidence.hugin.test/resources/mildew2.net
@@ -0,0 +1,219 @@
+net
+{
+ node_size = (80 40);
+ HRUNTIME_Monitor_InitStates = "5";
+ HRUNTIME_Monitor_OpenGraph = "0";
+ HRUNTIME_Monitor_GraphPrecision = "100";
+ HRUNTIME_Monitor_AutoUpdGraph = "0";
+ HRUNTIME_Compile_ApproxEpsilon = "0.00001";
+ HRUNTIME_Compile_Approximate = "0";
+ HRUNTIME_Compile_Compress = "0";
+ HRUNTIME_Compile_TriangMethod = "0";
+ HRUNTIME_Propagate_AutoNormal = "1";
+ HRUNTIME_Propagate_AutoSum = "1";
+ HRUNTIME_Propagate_Auto = "0";
+ HRUNTIME_Font_Italic = "0";
+ HRUNTIME_Font_Weight = "400";
+ HRUNTIME_Font_Size = "-12";
+ HRUNTIME_Font_Name = "Arial";
+ HRUNTIME_Grid_GridShow = "0";
+ HRUNTIME_Grid_GridSnap = "1";
+ HRUNTIME_Grid_Y = "10";
+ HRUNTIME_Grid_X = "10";
+ HR_Groups_GroupColors = "";
+ HR_Groups_GroupNames = "";
+ HR_Groups_UserGroupsNo = "0";
+ HR_Color_Decision = "17";
+ HR_Color_Utility = "36";
+ HR_Color_ContinuosChance = "48";
+ HR_Color_DiscreteChance = "16";
+ HR_Monitor_InitSD = "2";
+ HR_Monitor_InitStates = "5";
+ HR_Monitor_OpenGraph = "0";
+ HR_Monitor_GraphPrecision = "100";
+ HR_Monitor_AutoUpdGraph = "0";
+ HR_Compile_ApproxEpsilon = "0.00001";
+ HR_Compile_Approximate = "0";
+ HR_Compile_Compress = "0";
+ HR_Compile_TriangMethod = "0";
+ HR_Propagate_AutoNormal = "1";
+ HR_Propagate_AutoSum = "1";
+ HR_Propagate_Auto = "0";
+ HR_Font_Italic = "0";
+ HR_Font_Weight = "400";
+ HR_Font_Size = "-12";
+ HR_Font_Name = "Arial";
+ HR_Grid_GridShow = "0";
+ HR_Grid_GridSnap = "1";
+ HR_Grid_Y = "10";
+ HR_Grid_X = "10";
+}
+
+decision D10
+{
+ label = "T";
+ position = (440 320);
+ states = ("now" "wait 1 week" "wait 2 weeks");
+}
+
+utility C
+{
+ position = (150 0);
+}
+
+node OM
+{
+ label = "OM";
+ position = (0 30);
+ states = ("no" "l" "m" "s");
+}
+
+decision A
+{
+ label = "A";
+ position = (150 110);
+ states = ("no" "l" "m" "h");
+}
+
+utility U
+{
+ label = "U";
+ position = (360 210);
+}
+
+node Ms
+{
+ label = "M*";
+ position = (150 220);
+ states = ("no" "l" "m" "s");
+}
+
+node M
+{
+ label = "M";
+ position = (0 150);
+ states = ("no" "l" "m" "s");
+}
+
+node H
+{
+ label = "H";
+ position = (300 320);
+ states = ("r" "b" "p" "f" "a" "g" "v");
+}
+
+node OQ
+{
+ position = (0 240);
+ states = ("f" "a" "g" "v");
+}
+
+node Q
+{
+ label = "Q";
+ position = (0 340);
+ states = ("f" "a" "g" "v");
+}
+
+potential (D10 | A) {}
+
+potential (C | A)
+{
+ data = ( 0 % no
+ -2 % l
+ -3 % m
+ -4 ); % h
+}
+
+potential (OM | M)
+{
+ data = (( 0.9 0.1 0 0 ) % no
+ ( 0.2 0.5 0.2 0.1 ) % l
+ ( 0.1 0.2 0.5 0.2 ) % m
+ ( 0 0.1 0.3 0.6 )); % s
+}
+
+potential (A | OM OQ) {}
+
+potential (U | D10 H)
+{
+ data = (( -1 % now r
+ 1 % now b
+ 5 % now p
+ 8 % now f
+ 10 % now a
+ 12 % now g
+ 13 ) % now v
+ ( -1 % wait 1 week r
+ 1 % wait 1 week b
+ 5 % wait 1 week p
+ 8 % wait 1 week f
+ 10 % wait 1 week a
+ 12 % wait 1 week g
+ 13 ) % wait 1 week v
+ ( -1 % wait 2 weeks r
+ 1 % wait 2 weeks b
+ 5 % wait 2 weeks p
+ 8 % wait 2 weeks f
+ 10 % wait 2 weeks a
+ 12 % wait 2 weeks g
+ 13 )); % wait 2 weeks v
+}
+
+potential (Ms | A M)
+{
+ data = ((( 1 0 0 0 ) % no no
+ ( 0 1 0 0 ) % no l
+ ( 0 0 1 0 ) % no m
+ ( 0 0 0 1 )) % no s
+ (( 1 0 0 0 ) % l no
+ ( 0.8 0.2 0 0 ) % l l
+ ( 0 0.8 0.2 0 ) % l m
+ ( 0 0 0.8 0.2 )) % l s
+ (( 1 0 0 0 ) % m no
+ ( 1 0 0 0 ) % m l
+ ( 0.8 0.2 0 0 ) % m m
+ ( 0 0.8 0.2 0 )) % m s
+ (( 1 0 0 0 ) % h no
+ ( 1 0 0 0 ) % h l
+ ( 1 0 0 0 ) % h m
+ ( 0.8 0.2 0 0 ))); % h s
+}
+
+potential (M)
+{
+ data = ( 0.4 0.3 0.2 0.1 );
+}
+
+potential (H | Ms Q)
+{
+ data = ((( 0 0.05 0.1 0.7 0.1 0.05 0 ) % no f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % no a
+ ( 0 0 0 0.05 0.1 0.7 0.15 ) % no g
+ ( 0 0 0 0 0.1 0.2 0.7 )) % no v
+ (( 0.05 0.1 0.7 0.1 0.05 0 0 ) % l f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % l a
+ ( 0 0 0.05 0.1 0.7 0.15 0 ) % l g
+ ( 0 0 0 0.05 0.15 0.7 0.1 )) % l v
+ (( 0.15 0.7 0.1 0.05 0 0 0 ) % m f
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % m a
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ) % m g
+ ( 0 0 0.05 0.1 0.7 0.15 0 )) % m v
+ (( 0.9 0.1 0 0 0 0 0 ) % s f
+ ( 0.15 0.7 0.1 0.05 0 0 0 ) % s a
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % s g
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ))); % s v
+}
+
+potential (OQ | Q)
+{
+ data = (( 0.8 0.15 0.05 0 ) % f
+ ( 0.3 0.6 0.1 0 ) % a
+ ( 0.1 0.2 0.6 0.1 ) % g
+ ( 0 0.1 0.4 0.5 )); % v
+}
+
+potential (Q)
+{
+ data = ( 0.2 0.4 0.3 0.1 );
+}
View
219 net.certware.evidence.hugin.test/resources/mildew3.net
@@ -0,0 +1,219 @@
+net
+{
+ node_size = (80 40);
+ HR_Grid_X = "10";
+ HR_Grid_Y = "10";
+ HR_Grid_GridSnap = "1";
+ HR_Grid_GridShow = "0";
+ HR_Font_Name = "Arial";
+ HR_Font_Size = "-12";
+ HR_Font_Weight = "400";
+ HR_Font_Italic = "0";
+ HR_Propagate_Auto = "0";
+ HR_Propagate_AutoSum = "1";
+ HR_Propagate_AutoNormal = "1";
+ HR_Compile_TriangMethod = "0";
+ HR_Compile_Compress = "0";
+ HR_Compile_Approximate = "0";
+ HR_Compile_ApproxEpsilon = "0.00001";
+ HR_Monitor_AutoUpdGraph = "0";
+ HR_Monitor_GraphPrecision = "100";
+ HR_Monitor_OpenGraph = "0";
+ HR_Monitor_InitStates = "5";
+ HR_Monitor_InitSD = "2";
+ HR_Color_DiscreteChance = "16";
+ HR_Color_ContinuosChance = "48";
+ HR_Color_Utility = "36";
+ HR_Color_Decision = "17";
+ HR_Groups_UserGroupsNo = "0";
+ HR_Groups_GroupNames = "";
+ HR_Groups_GroupColors = "";
+ HRUNTIME_Grid_X = "10";
+ HRUNTIME_Grid_Y = "10";
+ HRUNTIME_Grid_GridSnap = "1";
+ HRUNTIME_Grid_GridShow = "0";
+ HRUNTIME_Font_Name = "Arial";
+ HRUNTIME_Font_Size = "-12";
+ HRUNTIME_Font_Weight = "400";
+ HRUNTIME_Font_Italic = "0";
+ HRUNTIME_Propagate_Auto = "0";
+ HRUNTIME_Propagate_AutoSum = "1";
+ HRUNTIME_Propagate_AutoNormal = "1";
+ HRUNTIME_Compile_TriangMethod = "0";
+ HRUNTIME_Compile_Compress = "0";
+ HRUNTIME_Compile_Approximate = "0";
+ HRUNTIME_Compile_ApproxEpsilon = "0.00001";
+ HRUNTIME_Monitor_AutoUpdGraph = "0";
+ HRUNTIME_Monitor_GraphPrecision = "100";
+ HRUNTIME_Monitor_OpenGraph = "0";
+ HRUNTIME_Monitor_InitStates = "5";
+}
+
+node Q
+{
+ label = "Q";
+ position = (0 340);
+ states = ("f" "a" "g" "v");
+}
+
+node OQ
+{
+ position = (0 240);
+ states = ("f" "a" "g" "v");
+}
+
+node H
+{
+ label = "H";
+ position = (300 320);
+ states = ("r" "b" "p" "f" "a" "g" "v");
+}
+
+node M
+{
+ label = "M";
+ position = (0 150);
+ states = ("no" "l" "m" "s");
+}
+
+node Ms
+{
+ label = "M*";
+ position = (150 220);
+ states = ("no" "l" "m" "s");
+}
+
+utility U
+{
+ label = "U";
+ position = (360 210);
+}
+
+decision A
+{
+ label = "A";
+ position = (150 110);
+ states = ("no" "l" "m" "h");
+}
+
+node OM
+{
+ label = "OM";
+ position = (0 30);
+ states = ("no" "l" "m" "s");
+}
+
+utility C
+{
+ position = (150 0);
+}
+
+decision D10
+{
+ label = "T";
+ position = (440 320);
+ states = ("now" "wait 1 week" "wait 2 weeks");
+}
+
+potential (Q)
+{
+ data = ( 0.2 0.4 0.3 0.1 );
+}
+
+potential (OQ | Q)
+{
+ data = (( 0.8 0.15 0.05 0 ) % f
+ ( 0.3 0.6 0.1 0 ) % a
+ ( 0.1 0.2 0.6 0.1 ) % g
+ ( 0 0.1 0.4 0.5 )); % v
+}
+
+potential (H | Ms Q)
+{
+ data = ((( 0 0.05 0.1 0.7 0.1 0.05 0 ) % no f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % no a
+ ( 0 0 0 0.05 0.1 0.7 0.15 ) % no g
+ ( 0 0 0 0 0.1 0.2 0.7 )) % no v
+ (( 0.05 0.1 0.7 0.1 0.05 0 0 ) % l f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % l a
+ ( 0 0 0.05 0.1 0.7 0.15 0 ) % l g
+ ( 0 0 0 0.05 0.15 0.7 0.1 )) % l v
+ (( 0.15 0.7 0.1 0.05 0 0 0 ) % m f
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % m a
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ) % m g
+ ( 0 0 0.05 0.1 0.7 0.15 0 )) % m v
+ (( 0.9 0.1 0 0 0 0 0 ) % s f
+ ( 0.15 0.7 0.1 0.05 0 0 0 ) % s a
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % s g
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ))); % s v
+}
+
+potential (M)
+{
+ data = ( 0.4 0.3 0.2 0.1 );
+}
+
+potential (Ms | A M)
+{
+ data = ((( 1 0 0 0 ) % no no
+ ( 0 1 0 0 ) % no l
+ ( 0 0 1 0 ) % no m
+ ( 0 0 0 1 )) % no s
+ (( 1 0 0 0 ) % l no
+ ( 0.8 0.2 0 0 ) % l l
+ ( 0 0.8 0.2 0 ) % l m
+ ( 0 0 0.8 0.2 )) % l s
+ (( 1 0 0 0 ) % m no
+ ( 1 0 0 0 ) % m l
+ ( 0.8 0.2 0 0 ) % m m
+ ( 0 0.8 0.2 0 )) % m s
+ (( 1 0 0 0 ) % h no
+ ( 1 0 0 0 ) % h l
+ ( 1 0 0 0 ) % h m
+ ( 0.8 0.2 0 0 ))); % h s
+}
+
+potential (U | D10 H)
+{
+ data = (( -1 % now r
+ 1 % now b
+ 5 % now p
+ 8 % now f
+ 10 % now a
+ 12 % now g
+ 13 ) % now v
+ ( -1 % wait 1 week r
+ 1 % wait 1 week b
+ 5 % wait 1 week p
+ 8 % wait 1 week f
+ 10 % wait 1 week a
+ 12 % wait 1 week g
+ 13 ) % wait 1 week v
+ ( -1 % wait 2 weeks r
+ 1 % wait 2 weeks b
+ 5 % wait 2 weeks p
+ 8 % wait 2 weeks f
+ 10 % wait 2 weeks a
+ 12 % wait 2 weeks g
+ 13 )); % wait 2 weeks v
+}
+
+potential (A | OQ OM) {}
+
+potential (OM | M)
+{
+ data = (( 0.9 0.1 0 0 ) % no
+ ( 0.2 0.5 0.2 0.1 ) % l
+ ( 0.1 0.2 0.5 0.2 ) % m
+ ( 0 0.1 0.3 0.6 )); % s
+}
+
+potential (C | A)
+{
+ data = ( 0 % no
+ -2 % l
+ -3 % m
+ -4 ); % h
+}
+
+potential (D10 | H) {}
View
237 net.certware.evidence.hugin.test/resources/mildew4.net
@@ -0,0 +1,237 @@
+net
+{
+ node_size = (80 40);
+ HR_Grid_X = "10";
+ HR_Grid_Y = "10";
+ HR_Grid_GridSnap = "1";
+ HR_Grid_GridShow = "0";
+ HR_Font_Name = "Arial";
+ HR_Font_Size = "-12";
+ HR_Font_Weight = "400";
+ HR_Font_Italic = "0";
+ HR_Propagate_Auto = "0";
+ HR_Propagate_AutoSum = "1";
+ HR_Propagate_AutoNormal = "1";
+ HR_Compile_TriangMethod = "0";
+ HR_Compile_Compress = "0";
+ HR_Compile_Approximate = "0";
+ HR_Compile_ApproxEpsilon = "0.00001";
+ HR_Monitor_AutoUpdGraph = "0";
+ HR_Monitor_GraphPrecision = "100";
+ HR_Monitor_OpenGraph = "0";
+ HR_Monitor_InitStates = "5";
+ HR_Monitor_InitSD = "2";
+ HR_Color_DiscreteChance = "16";
+ HR_Color_ContinuosChance = "48";
+ HR_Color_Utility = "36";
+ HR_Color_Decision = "17";
+ HR_Groups_UserGroupsNo = "0";
+ HR_Groups_GroupNames = "";
+ HR_Groups_GroupColors = "";
+ HRUNTIME_Monitor_InitStates = "5";
+ HRUNTIME_Monitor_OpenGraph = "0";
+ HRUNTIME_Monitor_GraphPrecision = "100";
+ HRUNTIME_Monitor_AutoUpdGraph = "0";
+ HRUNTIME_Compile_ApproxEpsilon = "0.00001";
+ HRUNTIME_Compile_Approximate = "0";
+ HRUNTIME_Compile_Compress = "0";
+ HRUNTIME_Compile_TriangMethod = "0";
+ HRUNTIME_Propagate_AutoNormal = "1";
+ HRUNTIME_Propagate_AutoSum = "1";
+ HRUNTIME_Propagate_Auto = "0";
+ HRUNTIME_Font_Italic = "0";
+ HRUNTIME_Font_Weight = "400";
+ HRUNTIME_Font_Size = "-12";
+ HRUNTIME_Font_Name = "Arial";
+ HRUNTIME_Grid_GridShow = "0";
+ HRUNTIME_Grid_GridSnap = "1";
+ HRUNTIME_Grid_Y = "10";
+ HRUNTIME_Grid_X = "10";
+}
+
+node C11
+{
+ label = "OH";
+ position = (370 400);
+ states = ("r" "b" "p" "f" "a" "g" "v");
+}
+
+decision D10
+{
+ label = "T";
+ position = (440 320);
+ states = ("now" "wait 1 week" "wait 2 weeks");
+}
+
+utility C
+{
+ position = (150 0);
+}
+
+node OM
+{
+ label = "OM";
+ position = (0 30);
+ states = ("no" "l" "m" "s");
+}
+
+decision A
+{
+ label = "A";
+ position = (150 110);
+ states = ("no" "l" "m" "h");
+}
+
+utility U
+{
+ label = "U";
+ position = (360 210);
+}
+
+node Ms
+{
+ label = "M*";
+ position = (150 220);
+ states = ("no" "l" "m" "s");
+}
+
+node M
+{
+ label = "M";
+ position = (0 150);
+ states = ("no" "l" "m" "s");
+}
+
+node H
+{
+ label = "H";
+ position = (300 320);
+ states = ("r" "b" "p" "f" "a" "g" "v");
+}
+
+node OQ
+{
+ position = (0 240);
+ states = ("f" "a" "g" "v");
+}
+
+node Q
+{
+ label = "Q";
+ position = (0 340);
+ states = ("f" "a" "g" "v");
+}
+
+potential (C11 | H)
+{
+ data = (( 0.75 0.1 0.08 0.04 0.03 0 0 ) % r
+ ( 0.1 0.75 0.1 0.03 0.02 0 0 ) % b
+ ( 0.02 0.1 0.75 0.1 0.03 0 0 ) % p
+ ( 0 0.02 0.1 0.75 0.1 0.03 0 ) % f
+ ( 0 0 0.02 0.1 0.75 0.1 0.03 ) % a
+ ( 0 0 0 0.05 0.1 0.75 0.1 ) % g
+ ( 1 1 0.02 0.05 0.08 0.1 0.75 )); % v
+}
+
+potential (D10 | C11) {}
+
+potential (C | A)
+{
+ data = ( 0 % no
+ -2 % l
+ -3 % m
+ -4 ); % h
+}
+
+potential (OM | M)
+{
+ data = (( 0.9 0.1 0 0 ) % no
+ ( 0.2 0.5 0.2 0.1 ) % l
+ ( 0.1 0.2 0.5 0.2 ) % m
+ ( 0 0.1 0.3 0.6 )); % s
+}
+
+potential (A | OM OQ) {}
+
+potential (U | D10 H)
+{
+ data = (( -1 % now r
+ 1 % now b
+ 5 % now p
+ 8 % now f
+ 10 % now a
+ 12 % now g
+ 13 ) % now v
+ ( -1 % wait 1 week r
+ 1 % wait 1 week b
+ 5 % wait 1 week p
+ 8 % wait 1 week f
+ 10 % wait 1 week a
+ 12 % wait 1 week g
+ 13 ) % wait 1 week v
+ ( -1 % wait 2 weeks r
+ 1 % wait 2 weeks b
+ 5 % wait 2 weeks p
+ 8 % wait 2 weeks f
+ 10 % wait 2 weeks a
+ 12 % wait 2 weeks g
+ 13 )); % wait 2 weeks v
+}
+
+potential (Ms | A M)
+{
+ data = ((( 1 0 0 0 ) % no no
+ ( 0 1 0 0 ) % no l
+ ( 0 0 1 0 ) % no m
+ ( 0 0 0 1 )) % no s
+ (( 1 0 0 0 ) % l no
+ ( 0.8 0.2 0 0 ) % l l
+ ( 0 0.8 0.2 0 ) % l m
+ ( 0 0 0.8 0.2 )) % l s
+ (( 1 0 0 0 ) % m no
+ ( 1 0 0 0 ) % m l
+ ( 0.8 0.2 0 0 ) % m m
+ ( 0 0.8 0.2 0 )) % m s
+ (( 1 0 0 0 ) % h no
+ ( 1 0 0 0 ) % h l
+ ( 1 0 0 0 ) % h m
+ ( 0.8 0.2 0 0 ))); % h s
+}
+
+potential (M)
+{
+ data = ( 0.4 0.3 0.2 0.1 );
+}
+
+potential (H | Ms Q)
+{
+ data = ((( 0 0.05 0.1 0.7 0.1 0.05 0 ) % no f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % no a
+ ( 0 0 0 0.05 0.1 0.7 0.15 ) % no g
+ ( 0 0 0 0 0.1 0.2 0.7 )) % no v
+ (( 0.05 0.1 0.7 0.1 0.05 0 0 ) % l f
+ ( 0 0 0.05 0.1 0.7 0.1 0.05 ) % l a
+ ( 0 0 0.05 0.1 0.7 0.15 0 ) % l g
+ ( 0 0 0 0.05 0.15 0.7 0.1 )) % l v
+ (( 0.15 0.7 0.1 0.05 0 0 0 ) % m f
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % m a
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ) % m g
+ ( 0 0 0.05 0.1 0.7 0.15 0 )) % m v
+ (( 0.9 0.1 0 0 0 0 0 ) % s f
+ ( 0.15 0.7 0.1 0.05 0 0 0 ) % s a
+ ( 0.05 0.1 0.7 0.1 0.05 0 0 ) % s g
+ ( 0 0.05 0.1 0.7 0.1 0.05 0 ))); % s v
+}
+
+potential (OQ | Q)
+{
+ data = (( 0.8 0.15 0.05 0 ) % f
+ ( 0.3 0.6 0.1 0 ) % a
+ ( 0.1 0.2 0.6 0.1 ) % g
+ ( 0 0.1 0.4 0.5 )); % v
+}
+
+potential (Q)
+{
+ data = ( 0.2 0.4 0.3 0.1 );
+}
View
12 net.certware.evidence.hugin.test/resources/readme.textile
@@ -0,0 +1,12 @@
+h1. CertWare Bayesian Network Tests
+
+This test plugin contains resources for exercising the Hugin DSL implementation. Test files have been copied from one or more public test file repositories as listed below:
+
+
+* "Bayesian Network Repository":http://www.cs.huji.ac.il/~galel/Repository/
+* "Hugin Developer Samples":http://www.hugin.com/developer/samples
+
+March 1, 2011
+
+
+
View
2 net.certware.evidence.saem.editor/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: %pluginName
Bundle-SymbolicName: net.certware.evidence.saem.editor;singleton:=true
-Bundle-Version: 1.2.0.qualifier
+Bundle-Version: 1.2.1.qualifier
Bundle-ClassPath: .
Bundle-Activator: net.certware.evidence.evidence.presentation.SaemEditorPlugin$Implementation
Bundle-Vendor: %providerName
View
BIN net.certware.evidence.saem.editor/icons/full/wizban/NewEvidence.gif
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
View
310 ....evidence.saem.editor/src/net/certware/evidence/evidence/presentation/EvidenceEditor.java
@@ -227,56 +227,6 @@
protected TreeViewer selectionViewer;
/**
- * This inverts the roll of parent and child in the content provider and show parents as a tree.
- * <!-- begin-user-doc -->
- * <!-- end-user-doc -->
- * @generated
- */
- protected TreeViewer parentViewer;
-
- /**
- * This shows how a tree view works.
- * <!-- begin-user-doc -->
- * <!-- end-user-doc -->
- * @generated
- */
- protected TreeViewer treeViewer;
-
- /**
- * This shows how a list view works.