diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore index aa1c579f..bd516038 100644 --- a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore +++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore | |||
@@ -6,14 +6,7 @@ | |||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="statements" upperBound="-1" | 6 | <eStructuralFeatures xsi:type="ecore:EReference" name="statements" upperBound="-1" |
7 | eType="#//Statement" containment="true"/> | 7 | eType="#//Statement" containment="true"/> |
8 | </eClassifiers> | 8 | </eClassifiers> |
9 | <eClassifiers xsi:type="ecore:EClass" name="Statement"> | 9 | <eClassifiers xsi:type="ecore:EClass" name="Statement"/> |
10 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
11 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="superclasses" unique="false" | ||
13 | upperBound="-1" eType="#//NamedElement"/> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="members" upperBound="-1" | ||
15 | eType="#//MemberDefinition" containment="true"/> | ||
16 | </eClassifiers> | ||
17 | <eClassifiers xsi:type="ecore:EClass" name="PredicateDefinition" eSuperTypes="#//Statement"> | 10 | <eClassifiers xsi:type="ecore:EClass" name="PredicateDefinition" eSuperTypes="#//Statement"> |
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Expression" | 11 | <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Expression" |
19 | containment="true"/> | 12 | containment="true"/> |
@@ -110,11 +103,11 @@ | |||
110 | <eClassifiers xsi:type="ecore:EClass" name="Call" eSuperTypes="#//Expression"> | 103 | <eClassifiers xsi:type="ecore:EClass" name="Call" eSuperTypes="#//Expression"> |
111 | <eStructuralFeatures xsi:type="ecore:EReference" name="functor" eType="#//Reference" | 104 | <eStructuralFeatures xsi:type="ecore:EReference" name="functor" eType="#//Reference" |
112 | containment="true"/> | 105 | containment="true"/> |
113 | <eStructuralFeatures xsi:type="ecore:EReference" name="argumentList" eType="#//ArgumentList" | ||
114 | containment="true"/> | ||
115 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="transitiveClosure" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | 106 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="transitiveClosure" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> |
116 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="reflexiveTransitiveClosure" | 107 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="reflexiveTransitiveClosure" |
117 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | 108 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> |
109 | <eStructuralFeatures xsi:type="ecore:EReference" name="argumentList" eType="#//ArgumentList" | ||
110 | containment="true"/> | ||
118 | </eClassifiers> | 111 | </eClassifiers> |
119 | <eClassifiers xsi:type="ecore:EClass" name="ArgumentList"> | 112 | <eClassifiers xsi:type="ecore:EClass" name="ArgumentList"> |
120 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" | 113 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" |
@@ -160,6 +153,14 @@ | |||
160 | <eClassifiers xsi:type="ecore:EClass" name="StringLiteral" eSuperTypes="#//Literal"> | 153 | <eClassifiers xsi:type="ecore:EClass" name="StringLiteral" eSuperTypes="#//Literal"> |
161 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 154 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
162 | </eClassifiers> | 155 | </eClassifiers> |
156 | <eClassifiers xsi:type="ecore:EClass" name="ClassDefinition" eSuperTypes="#//Statement"> | ||
157 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
158 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
159 | <eStructuralFeatures xsi:type="ecore:EReference" name="superclasses" unique="false" | ||
160 | upperBound="-1" eType="#//NamedElement"/> | ||
161 | <eStructuralFeatures xsi:type="ecore:EReference" name="members" upperBound="-1" | ||
162 | eType="#//MemberDefinition" containment="true"/> | ||
163 | </eClassifiers> | ||
163 | <eClassifiers xsi:type="ecore:EClass" name="MemberDefinition"> | 164 | <eClassifiers xsi:type="ecore:EClass" name="MemberDefinition"> |
164 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | 165 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> |
165 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//NamedElement"/> | 166 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//NamedElement"/> |