diff options
Diffstat (limited to 'language-model/src/main/resources/model/problem.ecore')
-rw-r--r-- | language-model/src/main/resources/model/problem.ecore | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/language-model/src/main/resources/model/problem.ecore b/language-model/src/main/resources/model/problem.ecore index 43d69a86..95653ca4 100644 --- a/language-model/src/main/resources/model/problem.ecore +++ b/language-model/src/main/resources/model/problem.ecore | |||
@@ -64,12 +64,15 @@ | |||
64 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//LogicValue"/> | 64 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//LogicValue"/> |
65 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" | 65 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" |
66 | eType="#//AssertionArgument" containment="true"/> | 66 | eType="#//AssertionArgument" containment="true"/> |
67 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="default" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean" | ||
68 | defaultValueLiteral="false"/> | ||
67 | </eClassifiers> | 69 | </eClassifiers> |
68 | <eClassifiers xsi:type="ecore:EClass" name="Node" eSuperTypes="#//VariableOrNode"/> | 70 | <eClassifiers xsi:type="ecore:EClass" name="Node" eSuperTypes="#//VariableOrNode"/> |
69 | <eClassifiers xsi:type="ecore:EEnum" name="LogicValue"> | 71 | <eClassifiers xsi:type="ecore:EEnum" name="LogicValue"> |
70 | <eLiterals name="TRUE" literal="TRUE"/> | 72 | <eLiterals name="TRUE" literal="TRUE"/> |
71 | <eLiterals name="FALSE" value="1"/> | 73 | <eLiterals name="FALSE" value="1"/> |
72 | <eLiterals name="UNKNOWN" value="2"/> | 74 | <eLiterals name="UNKNOWN" value="2"/> |
75 | <eLiterals name="ERROR" value="3"/> | ||
73 | </eClassifiers> | 76 | </eClassifiers> |
74 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Statement"> | 77 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Statement"> |
75 | <eStructuralFeatures xsi:type="ecore:EReference" name="typeScopes" upperBound="-1" | 78 | <eStructuralFeatures xsi:type="ecore:EReference" name="typeScopes" upperBound="-1" |
@@ -134,4 +137,9 @@ | |||
134 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Constant" | 137 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Constant" |
135 | containment="true"/> | 138 | containment="true"/> |
136 | </eClassifiers> | 139 | </eClassifiers> |
140 | <eClassifiers xsi:type="ecore:EClass" name="UniqueDeclaration" eSuperTypes="#//Statement"> | ||
141 | <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1" | ||
142 | eType="#//Node" containment="true"/> | ||
143 | </eClassifiers> | ||
144 | <eClassifiers xsi:type="ecore:EClass" name="WildcardAssertionArgument" eSuperTypes="#//AssertionArgument"/> | ||
137 | </ecore:EPackage> | 145 | </ecore:EPackage> |