diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-04 15:31:47 -0400 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-04 15:31:47 -0400 |
commit | 3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56 (patch) | |
tree | bef27ef38448443d5342fa5ea25700fc1b40ea1f /Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel | |
parent | Fixed misformalization of (may/must)(X!=Y) for abstract objects (diff) | |
download | VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.gz VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.zst VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.zip |
Added aggregate expressions to logic language on the model level
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel | 30 |
1 files changed, 25 insertions, 5 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel index 80550537..303080e7 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel | |||
@@ -104,9 +104,9 @@ | |||
104 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/leftOperand"/> | 104 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/leftOperand"/> |
105 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/rightOperand"/> | 105 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/rightOperand"/> |
106 | </genClasses> | 106 | </genClasses> |
107 | <genClasses image="false" ecoreClass="logiclanguage.ecore#//IntOperation"> | 107 | <genClasses image="false" ecoreClass="logiclanguage.ecore#//NumericOperation"> |
108 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IntOperation/leftOperand"/> | 108 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//NumericOperation/leftOperand"/> |
109 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IntOperation/rightOperand"/> | 109 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//NumericOperation/rightOperand"/> |
110 | </genClasses> | 110 | </genClasses> |
111 | <genClasses ecoreClass="logiclanguage.ecore#//Plus"/> | 111 | <genClasses ecoreClass="logiclanguage.ecore#//Plus"/> |
112 | <genClasses ecoreClass="logiclanguage.ecore#//Minus"/> | 112 | <genClasses ecoreClass="logiclanguage.ecore#//Minus"/> |
@@ -156,6 +156,26 @@ | |||
156 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/value"/> | 156 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/value"/> |
157 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/range"/> | 157 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/range"/> |
158 | </genClasses> | 158 | </genClasses> |
159 | <genClasses ecoreClass="logiclanguage.ecore#//StringTypeReference"/> | ||
160 | <genClasses ecoreClass="logiclanguage.ecore#//StringLiteral"> | ||
161 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//StringLiteral/value"/> | ||
162 | </genClasses> | ||
163 | <genClasses ecoreClass="logiclanguage.ecore#//TransitiveClosure"> | ||
164 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TransitiveClosure/leftOperand"/> | ||
165 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TransitiveClosure/rightOperand"/> | ||
166 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TransitiveClosure/relation"/> | ||
167 | </genClasses> | ||
168 | <genClasses ecoreClass="logiclanguage.ecore#//Pow"/> | ||
169 | <genClasses image="false" ecoreClass="logiclanguage.ecore#//AggregateExpression"> | ||
170 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//AggregateExpression/relation"/> | ||
171 | </genClasses> | ||
172 | <genClasses ecoreClass="logiclanguage.ecore#//Sum"/> | ||
173 | <genClasses ecoreClass="logiclanguage.ecore#//Count"/> | ||
174 | <genClasses ecoreClass="logiclanguage.ecore#//Min"/> | ||
175 | <genClasses ecoreClass="logiclanguage.ecore#//Max"/> | ||
176 | <genClasses image="false" ecoreClass="logiclanguage.ecore#//ProjectedAggregateExpression"> | ||
177 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//ProjectedAggregateExpression/projectionIndex"/> | ||
178 | </genClasses> | ||
159 | </genPackages> | 179 | </genPackages> |
160 | <genPackages prefix="Logicproblem" basePackage="hu.bme.mit.inf.dslreasoner.logic.model" | 180 | <genPackages prefix="Logicproblem" basePackage="hu.bme.mit.inf.dslreasoner.logic.model" |
161 | disposableProviderFactory="true" ecorePackage="logicproblem.ecore#/"> | 181 | disposableProviderFactory="true" ecorePackage="logicproblem.ecore#/"> |
@@ -171,8 +191,8 @@ | |||
171 | </genClasses> | 191 | </genClasses> |
172 | <genClasses ecoreClass="logicproblem.ecore#//ContainmentHierarchy"> | 192 | <genClasses ecoreClass="logicproblem.ecore#//ContainmentHierarchy"> |
173 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> | 193 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> |
174 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/parentFunctions"/> | 194 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/> |
175 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/parentRelations"/> | 195 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/> |
176 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> | 196 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> |
177 | </genClasses> | 197 | </genClasses> |
178 | <genClasses ecoreClass="logicproblem.ecore#//RelationAnnotation"> | 198 | <genClasses ecoreClass="logicproblem.ecore#//RelationAnnotation"> |