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 | |
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')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore | 12 | ||||
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | 8 |
2 files changed, 6 insertions, 14 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"/> |
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel index c593e886..1da7a172 100644 --- a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel +++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | |||
@@ -52,15 +52,11 @@ | |||
52 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringObject/value"/> | 52 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringObject/value"/> |
53 | </genClasses> | 53 | </genClasses> |
54 | <genClasses ecoreClass="SolverLanguage.ecore#//Predicate"> | 54 | <genClasses ecoreClass="SolverLanguage.ecore#//Predicate"> |
55 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Predicate/isError"/> | ||
56 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/symbol"/> | ||
55 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/parameters"/> | 57 | <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"/> | 58 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/bodies"/> |
57 | </genClasses> | 59 | </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"> | 60 | <genClasses ecoreClass="SolverLanguage.ecore#//Parameter"> |
65 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/variable"/> | 61 | <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"/> | 62 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/type"/> |