diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language.model/model/model.genmodel')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language.model/model/model.genmodel | 287 |
1 files changed, 287 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.model/model/model.genmodel b/Application/org.eclipse.viatra.solver.language.model/model/model.genmodel new file mode 100644 index 00000000..0e916847 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.model/model/model.genmodel | |||
@@ -0,0 +1,287 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" | ||
4 | modelDirectory="/org.eclipse.viatra.solver.language.model/src-gen" | ||
5 | creationIcons="false" editDirectory="/org.eclipse.viatra.solver.language.model.edit/src-gen" | ||
6 | editorDirectory="/org.eclipse.viatra.solver.language.model.editor/src-gen" modelPluginID="org.eclipse.viatra.solver.language.model" | ||
7 | modelName="SolverLanguage" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
8 | codeFormatting="true" importerID="org.eclipse.emf.importer.ecore" complianceLevel="5.0" | ||
9 | copyrightFields="false" operationReflection="true" importOrganizing="true"> | ||
10 | <foreignModel>model.ecore</foreignModel> | ||
11 | <testsDirectory xsi:nil="true"/> | ||
12 | <genPackages prefix="SolverLanguage" basePackage="org.eclipse.viatra.solver.language" | ||
13 | disposableProviderFactory="true" ecorePackage="model.ecore#/"> | ||
14 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="model.ecore#//UnaryOperator"> | ||
15 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//UnaryOperator/NOT"/> | ||
16 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//UnaryOperator/PLUS"/> | ||
17 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//UnaryOperator/MINUS"/> | ||
18 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//UnaryOperator/MAYBE"/> | ||
19 | </genEnums> | ||
20 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="model.ecore#//BinaryOperator"> | ||
21 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/PLUS"/> | ||
22 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/MINUS"/> | ||
23 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/MULTIPLY"/> | ||
24 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/DIVIDE"/> | ||
25 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/POW"/> | ||
26 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/IN"/> | ||
27 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/EQUALS"/> | ||
28 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/NOT_EQUALS"/> | ||
29 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/LESS"/> | ||
30 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/LESS_EQUALS"/> | ||
31 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/GREATER"/> | ||
32 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//BinaryOperator/GREATER_EQUALS"/> | ||
33 | </genEnums> | ||
34 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="model.ecore#//LogicValue"> | ||
35 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//LogicValue/UNKNOWN"/> | ||
36 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//LogicValue/FALSE"/> | ||
37 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//LogicValue/TRUE"/> | ||
38 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//LogicValue/ERROR"/> | ||
39 | </genEnums> | ||
40 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="model.ecore#//ObjectiveKind"> | ||
41 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//ObjectiveKind/MINIMIZATION"/> | ||
42 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//ObjectiveKind/MAXIMIZATION"/> | ||
43 | </genEnums> | ||
44 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="model.ecore#//AttributeKind"> | ||
45 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//AttributeKind/FUNCTIONAL"/> | ||
46 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//AttributeKind/ERROR"/> | ||
47 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//AttributeKind/ROOT"/> | ||
48 | <genEnumLiterals ecoreEnumLiteral="model.ecore#//AttributeKind/CONTAINMENT"/> | ||
49 | </genEnums> | ||
50 | <genClasses ecoreClass="model.ecore#//PathComponent"> | ||
51 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//PathComponent/symbol"/> | ||
52 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//PathComponent/inverse"/> | ||
53 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//PathComponent/transitiveClosure"/> | ||
54 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//PathComponent/reflexiveTransitiveClosure"/> | ||
55 | </genClasses> | ||
56 | <genClasses ecoreClass="model.ecore#//Symbol"> | ||
57 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Symbol/name"/> | ||
58 | </genClasses> | ||
59 | <genClasses ecoreClass="model.ecore#//Call"> | ||
60 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Call/functor"/> | ||
61 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Call/argumentList"/> | ||
62 | </genClasses> | ||
63 | <genClasses ecoreClass="model.ecore#//Reference"> | ||
64 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//Reference/components"/> | ||
65 | </genClasses> | ||
66 | <genClasses ecoreClass="model.ecore#//Expression"> | ||
67 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Expression/existsVariables"/> | ||
68 | </genClasses> | ||
69 | <genClasses ecoreClass="model.ecore#//Argument"/> | ||
70 | <genClasses ecoreClass="model.ecore#//ArgumentList"> | ||
71 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ArgumentList/arguments"/> | ||
72 | </genClasses> | ||
73 | <genClasses ecoreClass="model.ecore#//ExpressionArgument"> | ||
74 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ExpressionArgument/expression"/> | ||
75 | </genClasses> | ||
76 | <genClasses ecoreClass="model.ecore#//StarArgument"/> | ||
77 | <genClasses ecoreClass="model.ecore#//TypedArgument"> | ||
78 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//TypedArgument/typeReference"/> | ||
79 | </genClasses> | ||
80 | <genClasses ecoreClass="model.ecore#//MultiaryExpession"> | ||
81 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//MultiaryExpession/children"/> | ||
82 | </genClasses> | ||
83 | <genClasses ecoreClass="model.ecore#//Variable"> | ||
84 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Variable/typeReference"/> | ||
85 | </genClasses> | ||
86 | <genClasses ecoreClass="model.ecore#//UnaryExpression"> | ||
87 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//UnaryExpression/body"/> | ||
88 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//UnaryExpression/op"/> | ||
89 | </genClasses> | ||
90 | <genClasses ecoreClass="model.ecore#//BinaryExpression"> | ||
91 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//BinaryExpression/op"/> | ||
92 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//BinaryExpression/left"/> | ||
93 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//BinaryExpression/right"/> | ||
94 | </genClasses> | ||
95 | <genClasses ecoreClass="model.ecore#//Disjunction"/> | ||
96 | <genClasses ecoreClass="model.ecore#//Conjunction"/> | ||
97 | <genClasses ecoreClass="model.ecore#//ConditionalExpression"> | ||
98 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ConditionalExpression/condition"/> | ||
99 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ConditionalExpression/then"/> | ||
100 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ConditionalExpression/else"/> | ||
101 | </genClasses> | ||
102 | <genClasses ecoreClass="model.ecore#//Switch"> | ||
103 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Switch/cases"/> | ||
104 | </genClasses> | ||
105 | <genClasses ecoreClass="model.ecore#//Case"> | ||
106 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Case/condition"/> | ||
107 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Case/body"/> | ||
108 | </genClasses> | ||
109 | <genClasses ecoreClass="model.ecore#//LetExpression"> | ||
110 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//LetExpression/bindings"/> | ||
111 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//LetExpression/body"/> | ||
112 | </genClasses> | ||
113 | <genClasses ecoreClass="model.ecore#//LetBinding"> | ||
114 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//LetBinding/value"/> | ||
115 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//LetBinding/variable"/> | ||
116 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//LetBinding/name"/> | ||
117 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//LetBinding/type"/> | ||
118 | </genClasses> | ||
119 | <genClasses ecoreClass="model.ecore#//Literal"/> | ||
120 | <genClasses ecoreClass="model.ecore#//IntLiteral"> | ||
121 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//IntLiteral/value"/> | ||
122 | </genClasses> | ||
123 | <genClasses ecoreClass="model.ecore#//RealLiteral"> | ||
124 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//RealLiteral/value"/> | ||
125 | </genClasses> | ||
126 | <genClasses ecoreClass="model.ecore#//StringLiteral"> | ||
127 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//StringLiteral/value"/> | ||
128 | </genClasses> | ||
129 | <genClasses ecoreClass="model.ecore#//LogicLiteral"> | ||
130 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//LogicLiteral/value"/> | ||
131 | </genClasses> | ||
132 | <genClasses ecoreClass="model.ecore#//EmptyLiteral"/> | ||
133 | <genClasses ecoreClass="model.ecore#//CastExpression"> | ||
134 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//CastExpression/body"/> | ||
135 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference model.ecore#//CastExpression/targetType"/> | ||
136 | </genClasses> | ||
137 | <genClasses ecoreClass="model.ecore#//AggregateExpression"> | ||
138 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//AggregateExpression/forallVariables"/> | ||
139 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//AggregateExpression/condition"/> | ||
140 | </genClasses> | ||
141 | <genClasses ecoreClass="model.ecore#//Count"/> | ||
142 | <genClasses ecoreClass="model.ecore#//Aggregation"> | ||
143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Aggregation/value"/> | ||
144 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//Aggregation/op"/> | ||
145 | </genClasses> | ||
146 | <genClasses ecoreClass="model.ecore#//Forall"> | ||
147 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Forall/body"/> | ||
148 | </genClasses> | ||
149 | <genClasses ecoreClass="model.ecore#//TypeReference"> | ||
150 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//TypeReference/forceObjectType"/> | ||
151 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//TypeReference/type"/> | ||
152 | </genClasses> | ||
153 | <genClasses ecoreClass="model.ecore#//InfinityLiteral"/> | ||
154 | <genClasses ecoreClass="model.ecore#//Interval"> | ||
155 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Interval/lowerBound"/> | ||
156 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Interval/upperBound"/> | ||
157 | </genClasses> | ||
158 | <genClasses ecoreClass="model.ecore#//Functor"> | ||
159 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Functor/parameters"/> | ||
160 | </genClasses> | ||
161 | <genClasses ecoreClass="model.ecore#//Relation"/> | ||
162 | <genClasses ecoreClass="model.ecore#//BaseRelation"/> | ||
163 | <genClasses ecoreClass="model.ecore#//Predicate"/> | ||
164 | <genClasses ecoreClass="model.ecore#//Datatype"/> | ||
165 | <genClasses ecoreClass="model.ecore#//Function"> | ||
166 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//Function/resultType"/> | ||
167 | </genClasses> | ||
168 | <genClasses ecoreClass="model.ecore#//Metric"/> | ||
169 | <genClasses ecoreClass="model.ecore#//Operator"/> | ||
170 | <genClasses ecoreClass="model.ecore#//Node"> | ||
171 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Node/named"/> | ||
172 | </genClasses> | ||
173 | <genClasses ecoreClass="model.ecore#//Statement"/> | ||
174 | <genClasses ecoreClass="model.ecore#//AbstractAssertion"> | ||
175 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//AbstractAssertion/expression"/> | ||
176 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//AbstractAssertion/range"/> | ||
177 | </genClasses> | ||
178 | <genClasses ecoreClass="model.ecore#//FunctorDefiniton"> | ||
179 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//FunctorDefiniton/head"/> | ||
180 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//FunctorDefiniton/body"/> | ||
181 | </genClasses> | ||
182 | <genClasses ecoreClass="model.ecore#//PredicateDefinition"/> | ||
183 | <genClasses ecoreClass="model.ecore#//FunctionDefinition"> | ||
184 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//FunctionDefinition/resultType"/> | ||
185 | </genClasses> | ||
186 | <genClasses ecoreClass="model.ecore#//Attribute"> | ||
187 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//Attribute/target"/> | ||
188 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Attribute/kind"/> | ||
189 | </genClasses> | ||
190 | <genClasses ecoreClass="model.ecore#//ExternDeclaration"> | ||
191 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//ExternDeclaration/name"/> | ||
192 | </genClasses> | ||
193 | <genClasses ecoreClass="model.ecore#//ExternFunctorDeclaration"> | ||
194 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ExternFunctorDeclaration/argumentList"/> | ||
195 | </genClasses> | ||
196 | <genClasses ecoreClass="model.ecore#//ExternPredicateDeclaration"/> | ||
197 | <genClasses ecoreClass="model.ecore#//ExternFunctionDeclaration"> | ||
198 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//ExternFunctionDeclaration/resultType"/> | ||
199 | </genClasses> | ||
200 | <genClasses ecoreClass="model.ecore#//ExternAggregationOperatorDeclaration"> | ||
201 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//ExternAggregationOperatorDeclaration/argumentType"/> | ||
202 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//ExternAggregationOperatorDeclaration/resultType"/> | ||
203 | </genClasses> | ||
204 | <genClasses ecoreClass="model.ecore#//ExternDatatypeDeclaration"/> | ||
205 | <genClasses ecoreClass="model.ecore#//ClassDeclaration"> | ||
206 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ClassDeclaration/fields"/> | ||
207 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//ClassDeclaration/name"/> | ||
208 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//ClassDeclaration/abstract"/> | ||
209 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//ClassDeclaration/supertypes"/> | ||
210 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//ClassDeclaration/root"/> | ||
211 | </genClasses> | ||
212 | <genClasses ecoreClass="model.ecore#//EnumDeclaration"> | ||
213 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//EnumDeclaration/literals"/> | ||
214 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//EnumDeclaration/name"/> | ||
215 | </genClasses> | ||
216 | <genClasses ecoreClass="model.ecore#//EnumLiteral"> | ||
217 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//EnumLiteral/name"/> | ||
218 | </genClasses> | ||
219 | <genClasses ecoreClass="model.ecore#//Field"> | ||
220 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Field/containment"/> | ||
221 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Field/crossReference"/> | ||
222 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//Field/opposite"/> | ||
223 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Field/multiplicity"/> | ||
224 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//Field/type"/> | ||
225 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Field/name"/> | ||
226 | </genClasses> | ||
227 | <genClasses ecoreClass="model.ecore#//Multiplicity"/> | ||
228 | <genClasses ecoreClass="model.ecore#//DefaultAssertion"/> | ||
229 | <genClasses ecoreClass="model.ecore#//Assertion"/> | ||
230 | <genClasses ecoreClass="model.ecore#//UnboundedMultiplicity"/> | ||
231 | <genClasses ecoreClass="model.ecore#//ExactMultiplicity"> | ||
232 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//ExactMultiplicity/value"/> | ||
233 | </genClasses> | ||
234 | <genClasses ecoreClass="model.ecore#//BoundedMultiplicity"> | ||
235 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//BoundedMultiplicity/lowerBound"/> | ||
236 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//BoundedMultiplicity/upperBound"/> | ||
237 | </genClasses> | ||
238 | <genClasses ecoreClass="model.ecore#//InlinePredicateAttrributes"> | ||
239 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//InlinePredicateAttrributes/error"/> | ||
240 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//InlinePredicateAttrributes/functional"/> | ||
241 | </genClasses> | ||
242 | <genClasses ecoreClass="model.ecore#//AggregationOperator"> | ||
243 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//AggregationOperator/argumentType"/> | ||
244 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//AggregationOperator/resultType"/> | ||
245 | </genClasses> | ||
246 | <genClasses ecoreClass="model.ecore#//Problem"> | ||
247 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Problem/name"/> | ||
248 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Problem/statements"/> | ||
249 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Problem/symbols"/> | ||
250 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//Problem/imports"/> | ||
251 | </genClasses> | ||
252 | <genClasses ecoreClass="model.ecore#//TypedStarArgument"/> | ||
253 | <genClasses ecoreClass="model.ecore#//TypedVariableArgument"> | ||
254 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//TypedVariableArgument/name"/> | ||
255 | </genClasses> | ||
256 | <genClasses ecoreClass="model.ecore#//UnnamedErrorPredicateDefintion"> | ||
257 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//UnnamedErrorPredicateDefintion/argumentList"/> | ||
258 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//UnnamedErrorPredicateDefintion/body"/> | ||
259 | </genClasses> | ||
260 | <genClasses ecoreClass="model.ecore#//ObjectiveDeclaration"> | ||
261 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//ObjectiveDeclaration/kind"/> | ||
262 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference model.ecore#//ObjectiveDeclaration/objective"/> | ||
263 | </genClasses> | ||
264 | <genClasses ecoreClass="model.ecore#//ScopeDeclaration"> | ||
265 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//ScopeDeclaration/type"/> | ||
266 | </genClasses> | ||
267 | <genClasses ecoreClass="model.ecore#//ExactScope"> | ||
268 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//ExactScope/size"/> | ||
269 | </genClasses> | ||
270 | <genClasses ecoreClass="model.ecore#//BoundedScope"> | ||
271 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//BoundedScope/lowerBound"/> | ||
272 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//BoundedScope/upperBound"/> | ||
273 | </genClasses> | ||
274 | <genClasses ecoreClass="model.ecore#//LowerBoundedScope"> | ||
275 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//LowerBoundedScope/lowerBound"/> | ||
276 | </genClasses> | ||
277 | <genClasses ecoreClass="model.ecore#//NamespaceImport"> | ||
278 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//NamespaceImport/importedNamespace"/> | ||
279 | </genClasses> | ||
280 | <genClasses ecoreClass="model.ecore#//Import"> | ||
281 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//Import/alias"/> | ||
282 | </genClasses> | ||
283 | <genClasses ecoreClass="model.ecore#//UriImport"> | ||
284 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//UriImport/uri"/> | ||
285 | </genClasses> | ||
286 | </genPackages> | ||
287 | </genmodel:GenModel> | ||