diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:33:20 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-11 19:56:54 +0200 |
commit | 66a7758d4838a76a7979420f1674f8fbd664e3f2 (patch) | |
tree | 9d2c2dfb227a894016fb91754f5776896f2a1306 /subprojects/language-model/src/main/resources/model | |
parent | chore(deps): bump frontend dependencies (diff) | |
download | refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.gz refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.zst refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.zip |
feat(language): modal parameter types
Diffstat (limited to 'subprojects/language-model/src/main/resources/model')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.ecore | 1 | ||||
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.ecore b/subprojects/language-model/src/main/resources/model/problem.ecore index 8f1bc355..571d52f3 100644 --- a/subprojects/language-model/src/main/resources/model/problem.ecore +++ b/subprojects/language-model/src/main/resources/model/problem.ecore | |||
@@ -32,6 +32,7 @@ | |||
32 | </eClassifiers> | 32 | </eClassifiers> |
33 | <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//Variable"> | 33 | <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//Variable"> |
34 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameterType" eType="#//Relation"/> | 34 | <eStructuralFeatures xsi:type="ecore:EReference" name="parameterType" eType="#//Relation"/> |
35 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="modality" eType="#//Modality"/> | ||
35 | </eClassifiers> | 36 | </eClassifiers> |
36 | <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true" eSuperTypes="#//VariableOrNode"/> | 37 | <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true" eSuperTypes="#//VariableOrNode"/> |
37 | <eClassifiers xsi:type="ecore:EClass" name="Conjunction" eSuperTypes="#//ExistentialQuantifier"> | 38 | <eClassifiers xsi:type="ecore:EClass" name="Conjunction" eSuperTypes="#//ExistentialQuantifier"> |
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index fbaf9d65..1b72ecfd 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -54,6 +54,7 @@ | |||
54 | </genClasses> | 54 | </genClasses> |
55 | <genClasses ecoreClass="problem.ecore#//Parameter"> | 55 | <genClasses ecoreClass="problem.ecore#//Parameter"> |
56 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> | 56 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> |
57 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Parameter/modality"/> | ||
57 | </genClasses> | 58 | </genClasses> |
58 | <genClasses ecoreClass="problem.ecore#//Variable"/> | 59 | <genClasses ecoreClass="problem.ecore#//Variable"/> |
59 | <genClasses ecoreClass="problem.ecore#//Conjunction"> | 60 | <genClasses ecoreClass="problem.ecore#//Conjunction"> |