diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-06 00:27:55 +0200 |
| commit | 820151b6d27643ba0927ca84d1bccadbd695a55d (patch) | |
| tree | 9d3a5786b7f90723a6af967875f861a89e5b897e /Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore | |
| parent | color update (diff) | |
| download | VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.gz VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.tar.zst VIATRA-Generator-820151b6d27643ba0927ca84d1bccadbd695a55d.zip | |
PS language update
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"/> |