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 | 12 |
1 files changed, 4 insertions, 8 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 9b26faa3..c18e4184 100644 --- a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore +++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore | |||
@@ -32,7 +32,7 @@ | |||
32 | <eClassifiers xsi:type="ecore:EClass" name="StringSymbol" eSuperTypes="#//DataSymbol"/> | 32 | <eClassifiers xsi:type="ecore:EClass" name="StringSymbol" eSuperTypes="#//DataSymbol"/> |
33 | <eClassifiers xsi:type="ecore:EClass" name="ComplexObject"/> | 33 | <eClassifiers xsi:type="ecore:EClass" name="ComplexObject"/> |
34 | <eClassifiers xsi:type="ecore:EClass" name="Object" eSuperTypes="#//ComplexObject"/> | 34 | <eClassifiers xsi:type="ecore:EClass" name="Object" eSuperTypes="#//ComplexObject"/> |
35 | <eClassifiers xsi:type="ecore:EClass" name="NamedObject" eSuperTypes="#//Object"> | 35 | <eClassifiers xsi:type="ecore:EClass" name="NamedObject" eSuperTypes="#//Object #//Literal"> |
36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 36 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
37 | </eClassifiers> | 37 | </eClassifiers> |
38 | <eClassifiers xsi:type="ecore:EClass" name="UnnamedObject" eSuperTypes="#//Object"> | 38 | <eClassifiers xsi:type="ecore:EClass" name="UnnamedObject" eSuperTypes="#//Object"> |
@@ -53,18 +53,14 @@ | |||
53 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 53 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
54 | </eClassifiers> | 54 | </eClassifiers> |
55 | <eClassifiers xsi:type="ecore:EClass" name="Predicate" eSuperTypes="#//Statement"> | 55 | <eClassifiers xsi:type="ecore:EClass" name="Predicate" eSuperTypes="#//Statement"> |
56 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="isError" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/> | ||
57 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol" | ||
58 | containment="true"/> | ||
56 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1" | 59 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1" |
57 | eType="#//Parameter" containment="true"/> | 60 | eType="#//Parameter" containment="true"/> |
58 | <eStructuralFeatures xsi:type="ecore:EReference" name="bodies" upperBound="-1" | 61 | <eStructuralFeatures xsi:type="ecore:EReference" name="bodies" upperBound="-1" |
59 | eType="#//PatternBody" containment="true"/> | 62 | eType="#//PatternBody" containment="true"/> |
60 | </eClassifiers> | 63 | </eClassifiers> |
61 | <eClassifiers xsi:type="ecore:EClass" name="PredicateSymbol" eSuperTypes="#//Predicate"> | ||
62 | <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol" | ||
63 | containment="true"/> | ||
64 | </eClassifiers> | ||
65 | <eClassifiers xsi:type="ecore:EClass" name="ErrorPredicate" eSuperTypes="#//Predicate"> | ||
66 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
67 | </eClassifiers> | ||
68 | <eClassifiers xsi:type="ecore:EClass" name="Parameter"> | 64 | <eClassifiers xsi:type="ecore:EClass" name="Parameter"> |
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="variable" eType="#//Variable" | 65 | <eStructuralFeatures xsi:type="ecore:EReference" name="variable" eType="#//Variable" |
70 | containment="true"/> | 66 | containment="true"/> |