aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ConstantImpl.java
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <semerath@mit.bme.hu>2019-05-04 15:31:47 -0400
committerLibravatar OszkarSemerath <semerath@mit.bme.hu>2019-05-04 15:31:47 -0400
commit3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56 (patch)
treebef27ef38448443d5342fa5ea25700fc1b40ea1f /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ConstantImpl.java
parentFixed misformalization of (may/must)(X!=Y) for abstract objects (diff)
downloadVIATRA-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/logiclanguage/impl/ConstantImpl.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ConstantImpl.java3
1 files changed, 3 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ConstantImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ConstantImpl.java
index 7c34f669..ada4a069 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ConstantImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ConstantImpl.java
@@ -79,6 +79,7 @@ public abstract class ConstantImpl extends SymbolicDeclarationImpl implements Co
79 * <!-- end-user-doc --> 79 * <!-- end-user-doc -->
80 * @generated 80 * @generated
81 */ 81 */
82 @Override
82 public TypeReference getType() { 83 public TypeReference getType() {
83 return type; 84 return type;
84 } 85 }
@@ -103,6 +104,7 @@ public abstract class ConstantImpl extends SymbolicDeclarationImpl implements Co
103 * <!-- end-user-doc --> 104 * <!-- end-user-doc -->
104 * @generated 105 * @generated
105 */ 106 */
107 @Override
106 public void setType(TypeReference newType) { 108 public void setType(TypeReference newType) {
107 if (newType != type) { 109 if (newType != type) {
108 NotificationChain msgs = null; 110 NotificationChain msgs = null;
@@ -122,6 +124,7 @@ public abstract class ConstantImpl extends SymbolicDeclarationImpl implements Co
122 * <!-- end-user-doc --> 124 * <!-- end-user-doc -->
123 * @generated 125 * @generated
124 */ 126 */
127 @Override
125 public EList<ConstantAnnotation> getAnnotations() { 128 public EList<ConstantAnnotation> getAnnotations() {
126 if (annotations == null) { 129 if (annotations == null) {
127 annotations = new EObjectWithInverseResolvingEList<ConstantAnnotation>(ConstantAnnotation.class, this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET); 130 annotations = new EObjectWithInverseResolvingEList<ConstantAnnotation>(ConstantAnnotation.class, this, LogiclanguagePackage.CONSTANT__ANNOTATIONS, LogicproblemPackage.CONSTANT_ANNOTATION__TARGET);