diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | 55 |
1 files changed, 48 insertions, 7 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore index 094e78ae..24cd9148 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore +++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | |||
@@ -121,13 +121,30 @@ | |||
121 | eType="#//TypeScope" containment="true"/> | 121 | eType="#//TypeScope" containment="true"/> |
122 | </eClassifiers> | 122 | </eClassifiers> |
123 | <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> | 123 | <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> |
124 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//TypeReference" | ||
125 | containment="true"/> | ||
126 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 124 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
127 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 125 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
128 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 126 | <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification" |
129 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 127 | containment="true"/> |
130 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="max" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 128 | </eClassifiers> |
129 | <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope"> | ||
130 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference" | ||
131 | containment="true"/> | ||
132 | </eClassifiers> | ||
133 | <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope"> | ||
134 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference" | ||
135 | containment="true"/> | ||
136 | </eClassifiers> | ||
137 | <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope"> | ||
138 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference" | ||
139 | containment="true"/> | ||
140 | </eClassifiers> | ||
141 | <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope"> | ||
142 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference" | ||
143 | containment="true"/> | ||
144 | </eClassifiers> | ||
145 | <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope"> | ||
146 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference" | ||
147 | containment="true"/> | ||
131 | </eClassifiers> | 148 | </eClassifiers> |
132 | <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> | 149 | <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> |
133 | <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> | 150 | <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> |
@@ -138,6 +155,28 @@ | |||
138 | <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> | 155 | <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> |
139 | <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> | 156 | <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> |
140 | <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> | 157 | <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> |
158 | <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/> | ||
159 | <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification"> | ||
160 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
161 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
162 | </eClassifiers> | ||
163 | <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification"> | ||
164 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
165 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
166 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
167 | </eClassifiers> | ||
168 | <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification"> | ||
169 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | ||
170 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
171 | </eClassifiers> | ||
172 | <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification"> | ||
173 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | ||
174 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
175 | </eClassifiers> | ||
176 | <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification"> | ||
177 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | ||
178 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
179 | </eClassifiers> | ||
141 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> | 180 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> |
142 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" | 181 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" |
143 | containment="true"/> | 182 | containment="true"/> |
@@ -156,19 +195,21 @@ | |||
156 | containment="true"/> | 195 | containment="true"/> |
157 | <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" | 196 | <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" |
158 | containment="true"/> | 197 | containment="true"/> |
198 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
159 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 199 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
200 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
160 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 201 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
161 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> | 202 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> |
162 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" | 203 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" |
163 | containment="true"/> | 204 | containment="true"/> |
164 | <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" | ||
165 | containment="true"/> | ||
166 | <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" | 205 | <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" |
167 | containment="true"/> | 206 | containment="true"/> |
168 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" | 207 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" |
169 | containment="true"/> | 208 | containment="true"/> |
170 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" | 209 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" |
171 | containment="true"/> | 210 | containment="true"/> |
211 | <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" | ||
212 | containment="true"/> | ||
172 | </eClassifiers> | 213 | </eClassifiers> |
173 | <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> | 214 | <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> |
174 | <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> | 215 | <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> |