diff options
Diffstat (limited to 'language-model/src/main/resources/model/problem.ecore')
-rw-r--r-- | language-model/src/main/resources/model/problem.ecore | 36 |
1 files changed, 33 insertions, 3 deletions
diff --git a/language-model/src/main/resources/model/problem.ecore b/language-model/src/main/resources/model/problem.ecore index 99404f61..43d69a86 100644 --- a/language-model/src/main/resources/model/problem.ecore +++ b/language-model/src/main/resources/model/problem.ecore | |||
@@ -61,9 +61,9 @@ | |||
61 | </eClassifiers> | 61 | </eClassifiers> |
62 | <eClassifiers xsi:type="ecore:EClass" name="Assertion" eSuperTypes="#//Statement"> | 62 | <eClassifiers xsi:type="ecore:EClass" name="Assertion" eSuperTypes="#//Statement"> |
63 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> | 63 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> |
64 | <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1" | ||
65 | eType="#//Node"/> | ||
66 | <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" | ||
66 | eType="#//AssertionArgument" containment="true"/> | ||
67 | </eClassifiers> | 67 | </eClassifiers> |
68 | <eClassifiers xsi:type="ecore:EClass" name="Node" eSuperTypes="#//VariableOrNode"/> | 68 | <eClassifiers xsi:type="ecore:EClass" name="Node" eSuperTypes="#//VariableOrNode"/> |
69 | <eClassifiers xsi:type="ecore:EEnum" name="LogicValue"> | 69 | <eClassifiers xsi:type="ecore:EEnum" name="LogicValue"> |
@@ -94,7 +94,7 @@ | |||
94 | defaultValueLiteral="1"/> | 94 | defaultValueLiteral="1"/> |
95 | </eClassifiers> | 95 | </eClassifiers> |
96 | <eClassifiers xsi:type="ecore:EClass" name="UnboundedMultiplicity" eSuperTypes="#//Multiplicity"/> | 96 | <eClassifiers xsi:type="ecore:EClass" name="UnboundedMultiplicity" eSuperTypes="#//Multiplicity"/> |
97 | <eClassifiers xsi:type="ecore:EClass" name="Argument"> | 97 | <eClassifiers xsi:type="ecore:EClass" name="VariableOrNodeArgument" eSuperTypes="#//Argument"> |
98 | <eStructuralFeatures xsi:type="ecore:EReference" name="variableOrNode" eType="#//VariableOrNode"/> | 98 | <eStructuralFeatures xsi:type="ecore:EReference" name="variableOrNode" eType="#//VariableOrNode"/> |
99 | <eStructuralFeatures xsi:type="ecore:EReference" name="singletonVariable" eType="#//ImplicitVariable" | 99 | <eStructuralFeatures xsi:type="ecore:EReference" name="singletonVariable" eType="#//ImplicitVariable" |
100 | containment="true"/> | 100 | containment="true"/> |
@@ -104,4 +104,34 @@ | |||
104 | eType="#//Node" containment="true"/> | 104 | eType="#//Node" containment="true"/> |
105 | </eClassifiers> | 105 | </eClassifiers> |
106 | <eClassifiers xsi:type="ecore:EClass" name="VariableOrNode" abstract="true" eSuperTypes="#//NamedElement"/> | 106 | <eClassifiers xsi:type="ecore:EClass" name="VariableOrNode" abstract="true" eSuperTypes="#//NamedElement"/> |
107 | <eClassifiers xsi:type="ecore:EClass" name="Constant" abstract="true"/> | ||
108 | <eClassifiers xsi:type="ecore:EClass" name="IntConstant" eSuperTypes="#//Constant"> | ||
109 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="intValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" | ||
110 | defaultValueLiteral="0"/> | ||
111 | </eClassifiers> | ||
112 | <eClassifiers xsi:type="ecore:EClass" name="RealConstant" eSuperTypes="#//Constant"> | ||
113 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="realValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble" | ||
114 | defaultValueLiteral="0.0"/> | ||
115 | </eClassifiers> | ||
116 | <eClassifiers xsi:type="ecore:EClass" name="StringConstant" eSuperTypes="#//Constant"> | ||
117 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="stringValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
118 | </eClassifiers> | ||
119 | <eClassifiers xsi:type="ecore:EClass" name="ConstantArgument" eSuperTypes="#//Argument"> | ||
120 | <eStructuralFeatures xsi:type="ecore:EReference" name="constant" eType="#//Constant" | ||
121 | containment="true"/> | ||
122 | </eClassifiers> | ||
123 | <eClassifiers xsi:type="ecore:EClass" name="Argument" abstract="true"/> | ||
124 | <eClassifiers xsi:type="ecore:EClass" name="NodeAssertionArgument" eSuperTypes="#//AssertionArgument"> | ||
125 | <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//Node"/> | ||
126 | </eClassifiers> | ||
127 | <eClassifiers xsi:type="ecore:EClass" name="AssertionArgument" abstract="true"/> | ||
128 | <eClassifiers xsi:type="ecore:EClass" name="ConstantAssertionArgument" eSuperTypes="#//AssertionArgument"> | ||
129 | <eStructuralFeatures xsi:type="ecore:EReference" name="constant" eType="#//Constant" | ||
130 | containment="true"/> | ||
131 | </eClassifiers> | ||
132 | <eClassifiers xsi:type="ecore:EClass" name="NodeValueAssertion" eSuperTypes="#//Statement"> | ||
133 | <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//Node"/> | ||
134 | <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Constant" | ||
135 | containment="true"/> | ||
136 | </eClassifiers> | ||
107 | </ecore:EPackage> | 137 | </ecore:EPackage> |