source: trunk/modelicaml/org.openmodelica.modelicaml.helper/plugin.xml @ 1581

Last change on this file since 1581 was 1581, checked in by wschamai, 12 years ago

NEW: first working version of the "Automatic Scenario-Based Design Verification" feature

File size: 8.1 KB
Line 
1<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.4"?>
3<plugin>
4    <extension
5         point="org.eclipse.ui.views">
6      <view
7            name="Intstantiated Requirements"
8            icon="icons/requirement.gif"
9            category="org.openmodelica.modelicaml.gen.modelica.category1"
10            class="org.openmodelica.modelicaml.helper.views.InstantiatedRequirementsView"
11            id="org.openmodelica.modelicaml.helper.view.instantiated.requirements">
12      </view>
13   </extension>
14   
15   <extension
16         point="org.eclipse.ui.commands">
17      <!--
18      <command
19            id="org.openmodelica.modelicaml.helper.commands.instantiaterequirements"
20            name="Instantiate Requirements">
21      </command>
22      <command
23            id="org.openmodelica.modelicaml.helper.commands.updateTestOracleElements"
24            name="Create/Update Test Oracle Elements">
25      </command>
26      -->
27      <command
28            id="org.openmodelica.modelicaml.helper.commands.generatesimmodels"
29            name="Generate Verification Models Popup">
30      </command>
31      <command
32            id="org.openmodelica.modelicaml.helper.commands.toolbar.generatesimmodels"
33            name="Generate Verification Models Toolbar">
34      </command>
35      <command
36            id="org.openmodelica.modelicaml.helper.commands.toolbar.discoverScenToReqRelations"
37            name="Discover Scenarios to Requirements Relations Toolbar">
38      </command>
39      <command
40            id="org.openmodelica.modelicaml.helper.commands.toolbar.automaticScenarioBasedVerification"
41            name="Automatic Scenario-Based Verification">
42      </command>
43   </extension>
44   <extension
45         point="org.eclipse.ui.handlers">
46      <!--
47      <handler
48            class="org.openmodelica.modelicaml.helper.handlers.InstantiateRequirementsHandler"
49            commandId="org.openmodelica.modelicaml.helper.commands.instantiaterequirements">
50         <activeWhen>
51            <with
52                  variable="selection">
53               <count
54                     value="1">
55               </count>
56               <iterate>
57                  <adapt
58                        type="org.eclipse.emf.ecore.EObject">
59                     <and>
60                        <instanceof
61                              value="org.eclipse.uml2.uml.Class">
62                        </instanceof>
63                        <or>
64                           <test
65                                 args="ModelicaML::ModelicaClassConstructs::Block"
66                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
67                           </test>
68                           <test
69                                 args="ModelicaML::ModelicaClassConstructs::Model"
70                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
71                           </test>
72                           <test
73                                 args="ModelicaML::ModelicaClassConstructs::ModelicaClass"
74                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
75                           </test>
76                        </or>
77                        <and>
78                           <not>
79                              <instanceof
80                                    value="org.eclipse.uml2.uml.Behavior">
81                              </instanceof>
82                           </not>
83                        </and>
84                     </and>
85                  </adapt>
86               </iterate>
87            </with>
88         </activeWhen>
89      </handler>
90      <handler
91            class="org.openmodelica.modelicaml.helper.handlers.GenerateTestOracleElementsHandler"
92            commandId="org.openmodelica.modelicaml.helper.commands.updateTestOracleElements">
93         <activeWhen>
94            <with
95                  variable="selection">
96               <count
97                     value="1">
98               </count>
99               <iterate>
100                  <adapt
101                        type="org.eclipse.emf.ecore.EObject">
102                     <and>
103                        <instanceof
104                              value="org.eclipse.uml2.uml.Class">
105                        </instanceof>
106                        <or>
107                           <test
108                                 args="ModelicaML::ModelicaClassConstructs::Block"
109                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
110                           </test>
111                           <test
112                                 args="ModelicaML::ModelicaClassConstructs::Model"
113                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
114                           </test>
115                           <test
116                                 args="ModelicaML::ModelicaClassConstructs::ModelicaClass"
117                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
118                           </test>
119                        </or>
120                        <and>
121                           <not>
122                              <instanceof
123                                    value="org.eclipse.uml2.uml.Behavior">
124                              </instanceof>
125                           </not>
126                        </and>
127                     </and>
128                  </adapt>
129               </iterate>
130            </with>
131         </activeWhen>
132      </handler>
133      -->
134      <handler
135            class="org.openmodelica.modelicaml.helper.handlers.VeMGenaratorPopupHandler"
136            commandId="org.openmodelica.modelicaml.helper.commands.generatesimmodels">
137         <activeWhen>
138            <with
139                  variable="selection">
140               <count
141                     value="1">
142               </count>
143               <iterate>
144                  <adapt
145                        type="org.eclipse.emf.ecore.EObject">
146                     <and>
147                        <instanceof
148                              value="org.eclipse.uml2.uml.Class">
149                        </instanceof>
150                        <or>
151                           <test
152                                 args="ModelicaML::ModelicaClassConstructs::Block"
153                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
154                           </test>
155                           <test
156                                 args="ModelicaML::ModelicaClassConstructs::Model"
157                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
158                           </test>
159                           <test
160                                 args="ModelicaML::ModelicaClassConstructs::ModelicaClass"
161                                 property="org.openmodelica.modelicaml.testers.hasStereotype">
162                           </test>
163                        </or>
164                        <and>
165                           <not>
166                              <instanceof
167                                    value="org.eclipse.uml2.uml.Behavior">
168                              </instanceof>
169                           </not>
170                        </and>
171                     </and>
172                  </adapt>
173               </iterate>
174            </with>
175         </activeWhen>
176      </handler>
177      <handler
178            class="org.openmodelica.modelicaml.helper.handlers.VeMGenaratorToobarHandler"
179            commandId="org.openmodelica.modelicaml.helper.commands.toolbar.generatesimmodels">
180      </handler>
181      <handler
182            class="org.openmodelica.modelicaml.helper.handlers.ScenariosToRequirementsRelationsDiscoveryToolbarHandler"
183            commandId="org.openmodelica.modelicaml.helper.commands.toolbar.discoverScenToReqRelations">
184      </handler>
185      <handler
186            class="org.openmodelica.modelicaml.helper.handlers.AutomaticScenarioBasedVerificationToolbarHandler"
187            commandId="org.openmodelica.modelicaml.helper.commands.toolbar.automaticScenarioBasedVerification">
188      </handler>
189   </extension>
190
191</plugin>
Note: See TracBrowser for help on using the repository browser.