diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | 131 |
1 files changed, 131 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel new file mode 100644 index 00000000..c593e886 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | |||
@@ -0,0 +1,131 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" | ||
3 | xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.18.0.M3" modelDirectory="/org.eclipse.viatra.solver.language/src-gen" | ||
4 | modelPluginID="org.eclipse.viatra.solver.language" forceOverwrite="true" modelName="SolverLanguage" | ||
5 | updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
6 | complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.18"> | ||
7 | <genPackages prefix="SolverLanguage" basePackage="org.eclipse.viatra.solver.language" | ||
8 | disposableProviderFactory="true" fileExtensions="vsc" ecorePackage="SolverLanguage.ecore#/"> | ||
9 | <genClasses ecoreClass="SolverLanguage.ecore#//Problem"> | ||
10 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Problem/statements"/> | ||
11 | </genClasses> | ||
12 | <genClasses ecoreClass="SolverLanguage.ecore#//Statement"/> | ||
13 | <genClasses ecoreClass="SolverLanguage.ecore#//BooleanValue"/> | ||
14 | <genClasses ecoreClass="SolverLanguage.ecore#//TruthValue"/> | ||
15 | <genClasses ecoreClass="SolverLanguage.ecore#//Interpretation"/> | ||
16 | <genClasses ecoreClass="SolverLanguage.ecore#//BasicInterpretation"> | ||
17 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/symbol"/> | ||
18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/objects"/> | ||
19 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/value"/> | ||
20 | </genClasses> | ||
21 | <genClasses ecoreClass="SolverLanguage.ecore#//Symbol"/> | ||
22 | <genClasses ecoreClass="SolverLanguage.ecore#//ModelSymbol"> | ||
23 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ModelSymbol/name"/> | ||
24 | </genClasses> | ||
25 | <genClasses ecoreClass="SolverLanguage.ecore#//PartialitySymbol"/> | ||
26 | <genClasses ecoreClass="SolverLanguage.ecore#//ExistSymbol"/> | ||
27 | <genClasses ecoreClass="SolverLanguage.ecore#//EqualsSymbol"/> | ||
28 | <genClasses ecoreClass="SolverLanguage.ecore#//DataSymbol"/> | ||
29 | <genClasses ecoreClass="SolverLanguage.ecore#//BooleanSymbol"/> | ||
30 | <genClasses ecoreClass="SolverLanguage.ecore#//IntegerSymbol"/> | ||
31 | <genClasses ecoreClass="SolverLanguage.ecore#//RealSymbol"/> | ||
32 | <genClasses ecoreClass="SolverLanguage.ecore#//StringSymbol"/> | ||
33 | <genClasses ecoreClass="SolverLanguage.ecore#//ComplexObject"/> | ||
34 | <genClasses ecoreClass="SolverLanguage.ecore#//Object"/> | ||
35 | <genClasses ecoreClass="SolverLanguage.ecore#//NamedObject"> | ||
36 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//NamedObject/name"/> | ||
37 | </genClasses> | ||
38 | <genClasses ecoreClass="SolverLanguage.ecore#//UnnamedObject"> | ||
39 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//UnnamedObject/name"/> | ||
40 | </genClasses> | ||
41 | <genClasses ecoreClass="SolverLanguage.ecore#//DataObject"/> | ||
42 | <genClasses ecoreClass="SolverLanguage.ecore#//BooleanObject"> | ||
43 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BooleanObject/value"/> | ||
44 | </genClasses> | ||
45 | <genClasses ecoreClass="SolverLanguage.ecore#//IntObject"> | ||
46 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//IntObject/value"/> | ||
47 | </genClasses> | ||
48 | <genClasses ecoreClass="SolverLanguage.ecore#//RealObject"> | ||
49 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//RealObject/value"/> | ||
50 | </genClasses> | ||
51 | <genClasses ecoreClass="SolverLanguage.ecore#//StringObject"> | ||
52 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringObject/value"/> | ||
53 | </genClasses> | ||
54 | <genClasses ecoreClass="SolverLanguage.ecore#//Predicate"> | ||
55 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/parameters"/> | ||
56 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/bodies"/> | ||
57 | </genClasses> | ||
58 | <genClasses ecoreClass="SolverLanguage.ecore#//PredicateSymbol"> | ||
59 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateSymbol/symbol"/> | ||
60 | </genClasses> | ||
61 | <genClasses ecoreClass="SolverLanguage.ecore#//ErrorPredicate"> | ||
62 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ErrorPredicate/name"/> | ||
63 | </genClasses> | ||
64 | <genClasses ecoreClass="SolverLanguage.ecore#//Parameter"> | ||
65 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/variable"/> | ||
66 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/type"/> | ||
67 | </genClasses> | ||
68 | <genClasses ecoreClass="SolverLanguage.ecore#//PatternBody"> | ||
69 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PatternBody/constraints"/> | ||
70 | </genClasses> | ||
71 | <genClasses ecoreClass="SolverLanguage.ecore#//Polarity"/> | ||
72 | <genClasses ecoreClass="SolverLanguage.ecore#//Constraint"> | ||
73 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/polarity"/> | ||
74 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/symbol"/> | ||
75 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/params"/> | ||
76 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/closureType"/> | ||
77 | </genClasses> | ||
78 | <genClasses ecoreClass="SolverLanguage.ecore#//ClosureType"/> | ||
79 | <genClasses ecoreClass="SolverLanguage.ecore#//Literal"/> | ||
80 | <genClasses ecoreClass="SolverLanguage.ecore#//Variable"> | ||
81 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Variable/name"/> | ||
82 | </genClasses> | ||
83 | <genClasses ecoreClass="SolverLanguage.ecore#//AllInstances"> | ||
84 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//AllInstances/symbol"/> | ||
85 | </genClasses> | ||
86 | <genClasses ecoreClass="SolverLanguage.ecore#//AllObjects"/> | ||
87 | <genClasses ecoreClass="SolverLanguage.ecore#//DefaultInterpretation"> | ||
88 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//DefaultInterpretation/interpretation"/> | ||
89 | </genClasses> | ||
90 | <genClasses ecoreClass="SolverLanguage.ecore#//CDInterpretation"/> | ||
91 | <genClasses ecoreClass="SolverLanguage.ecore#//ClassInterpretation"> | ||
92 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassInterpretation/abstract"/> | ||
93 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/symbol"/> | ||
94 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/supertypes"/> | ||
95 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/fielt"/> | ||
96 | </genClasses> | ||
97 | <genClasses ecoreClass="SolverLanguage.ecore#//EnumInterpretation"> | ||
98 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/Symbol"/> | ||
99 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/objects"/> | ||
100 | </genClasses> | ||
101 | <genClasses ecoreClass="SolverLanguage.ecore#//FieldRelationInterpretation"> | ||
102 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//FieldRelationInterpretation/containment"/> | ||
103 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/symbol"/> | ||
104 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/multiplicity"/> | ||
105 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/target"/> | ||
106 | </genClasses> | ||
107 | <genClasses ecoreClass="SolverLanguage.ecore#//GlobalRelationInterpretation"> | ||
108 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//GlobalRelationInterpretation/containment"/> | ||
109 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/symbol"/> | ||
110 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/sourceMultiplicity"/> | ||
111 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/source"/> | ||
112 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/targetMultiplicity"/> | ||
113 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/target"/> | ||
114 | </genClasses> | ||
115 | <genClasses ecoreClass="SolverLanguage.ecore#//MultiplicityDefinition"> | ||
116 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/lower"/> | ||
117 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/upper"/> | ||
118 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/unlimitedUpper"/> | ||
119 | </genClasses> | ||
120 | <genClasses ecoreClass="SolverLanguage.ecore#//BooleanTrue"/> | ||
121 | <genClasses ecoreClass="SolverLanguage.ecore#//BooleanFalse"/> | ||
122 | <genClasses ecoreClass="SolverLanguage.ecore#//True"/> | ||
123 | <genClasses ecoreClass="SolverLanguage.ecore#//False"/> | ||
124 | <genClasses ecoreClass="SolverLanguage.ecore#//Unknown"/> | ||
125 | <genClasses ecoreClass="SolverLanguage.ecore#//Error"/> | ||
126 | <genClasses ecoreClass="SolverLanguage.ecore#//Positive"/> | ||
127 | <genClasses ecoreClass="SolverLanguage.ecore#//Negative"/> | ||
128 | <genClasses ecoreClass="SolverLanguage.ecore#//ReflexiveClosure"/> | ||
129 | <genClasses ecoreClass="SolverLanguage.ecore#//IrreflexiveClosure"/> | ||
130 | </genPackages> | ||
131 | </genmodel:GenModel> | ||