diff options
author | 2019-05-04 15:31:47 -0400 | |
---|---|---|
committer | 2019-05-04 15:31:47 -0400 | |
commit | 3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56 (patch) | |
tree | bef27ef38448443d5342fa5ea25700fc1b40ea1f /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java | |
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/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java index 909f49a5..bb7b8ede 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicproblem/impl/ContainmentHierarchyImpl.java | |||
@@ -105,6 +105,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
105 | * <!-- end-user-doc --> | 105 | * <!-- end-user-doc --> |
106 | * @generated | 106 | * @generated |
107 | */ | 107 | */ |
108 | @Override | ||
108 | public EList<Type> getTypesOrderedInHierarchy() { | 109 | public EList<Type> getTypesOrderedInHierarchy() { |
109 | if (typesOrderedInHierarchy == null) { | 110 | if (typesOrderedInHierarchy == null) { |
110 | typesOrderedInHierarchy = new EObjectResolvingEList<Type>(Type.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY); | 111 | typesOrderedInHierarchy = new EObjectResolvingEList<Type>(Type.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__TYPES_ORDERED_IN_HIERARCHY); |
@@ -117,6 +118,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
117 | * <!-- end-user-doc --> | 118 | * <!-- end-user-doc --> |
118 | * @generated | 119 | * @generated |
119 | */ | 120 | */ |
121 | @Override | ||
120 | public EList<Function> getContainmentFunctions() { | 122 | public EList<Function> getContainmentFunctions() { |
121 | if (containmentFunctions == null) { | 123 | if (containmentFunctions == null) { |
122 | containmentFunctions = new EObjectResolvingEList<Function>(Function.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS); | 124 | containmentFunctions = new EObjectResolvingEList<Function>(Function.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_FUNCTIONS); |
@@ -129,6 +131,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
129 | * <!-- end-user-doc --> | 131 | * <!-- end-user-doc --> |
130 | * @generated | 132 | * @generated |
131 | */ | 133 | */ |
134 | @Override | ||
132 | public EList<Relation> getContainmentRelations() { | 135 | public EList<Relation> getContainmentRelations() { |
133 | if (containmentRelations == null) { | 136 | if (containmentRelations == null) { |
134 | containmentRelations = new EObjectResolvingEList<Relation>(Relation.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS); | 137 | containmentRelations = new EObjectResolvingEList<Relation>(Relation.class, this, LogicproblemPackage.CONTAINMENT_HIERARCHY__CONTAINMENT_RELATIONS); |
@@ -141,6 +144,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
141 | * <!-- end-user-doc --> | 144 | * <!-- end-user-doc --> |
142 | * @generated | 145 | * @generated |
143 | */ | 146 | */ |
147 | @Override | ||
144 | public Constant getRootConstant() { | 148 | public Constant getRootConstant() { |
145 | if (rootConstant != null && rootConstant.eIsProxy()) { | 149 | if (rootConstant != null && rootConstant.eIsProxy()) { |
146 | InternalEObject oldRootConstant = (InternalEObject)rootConstant; | 150 | InternalEObject oldRootConstant = (InternalEObject)rootConstant; |
@@ -167,6 +171,7 @@ public class ContainmentHierarchyImpl extends MinimalEObjectImpl.Container imple | |||
167 | * <!-- end-user-doc --> | 171 | * <!-- end-user-doc --> |
168 | * @generated | 172 | * @generated |
169 | */ | 173 | */ |
174 | @Override | ||
170 | public void setRootConstant(Constant newRootConstant) { | 175 | public void setRootConstant(Constant newRootConstant) { |
171 | Constant oldRootConstant = rootConstant; | 176 | Constant oldRootConstant = rootConstant; |
172 | rootConstant = newRootConstant; | 177 | rootConstant = newRootConstant; |