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/logiclanguage/impl/RelationDefinitionImpl.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/logiclanguage/impl/RelationDefinitionImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RelationDefinitionImpl.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/logiclanguage/impl/RelationDefinitionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RelationDefinitionImpl.java index 017518eb..dc8c94b3 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RelationDefinitionImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RelationDefinitionImpl.java | |||
@@ -92,6 +92,7 @@ public class RelationDefinitionImpl extends RelationImpl implements RelationDefi | |||
92 | * <!-- end-user-doc --> | 92 | * <!-- end-user-doc --> |
93 | * @generated | 93 | * @generated |
94 | */ | 94 | */ |
95 | @Override | ||
95 | public EList<Variable> getVariables() { | 96 | public EList<Variable> getVariables() { |
96 | if (variables == null) { | 97 | if (variables == null) { |
97 | variables = new EObjectContainmentEList<Variable>(Variable.class, this, LogiclanguagePackage.RELATION_DEFINITION__VARIABLES); | 98 | variables = new EObjectContainmentEList<Variable>(Variable.class, this, LogiclanguagePackage.RELATION_DEFINITION__VARIABLES); |
@@ -104,6 +105,7 @@ public class RelationDefinitionImpl extends RelationImpl implements RelationDefi | |||
104 | * <!-- end-user-doc --> | 105 | * <!-- end-user-doc --> |
105 | * @generated | 106 | * @generated |
106 | */ | 107 | */ |
108 | @Override | ||
107 | public Term getValue() { | 109 | public Term getValue() { |
108 | return value; | 110 | return value; |
109 | } | 111 | } |
@@ -128,6 +130,7 @@ public class RelationDefinitionImpl extends RelationImpl implements RelationDefi | |||
128 | * <!-- end-user-doc --> | 130 | * <!-- end-user-doc --> |
129 | * @generated | 131 | * @generated |
130 | */ | 132 | */ |
133 | @Override | ||
131 | public void setValue(Term newValue) { | 134 | public void setValue(Term newValue) { |
132 | if (newValue != value) { | 135 | if (newValue != value) { |
133 | NotificationChain msgs = null; | 136 | NotificationChain msgs = null; |
@@ -147,6 +150,7 @@ public class RelationDefinitionImpl extends RelationImpl implements RelationDefi | |||
147 | * <!-- end-user-doc --> | 150 | * <!-- end-user-doc --> |
148 | * @generated | 151 | * @generated |
149 | */ | 152 | */ |
153 | @Override | ||
150 | public RelationDeclaration getDefines() { | 154 | public RelationDeclaration getDefines() { |
151 | if (defines != null && defines.eIsProxy()) { | 155 | if (defines != null && defines.eIsProxy()) { |
152 | InternalEObject oldDefines = (InternalEObject)defines; | 156 | InternalEObject oldDefines = (InternalEObject)defines; |
@@ -173,6 +177,7 @@ public class RelationDefinitionImpl extends RelationImpl implements RelationDefi | |||
173 | * <!-- end-user-doc --> | 177 | * <!-- end-user-doc --> |
174 | * @generated | 178 | * @generated |
175 | */ | 179 | */ |
180 | @Override | ||
176 | public void setDefines(RelationDeclaration newDefines) { | 181 | public void setDefines(RelationDeclaration newDefines) { |
177 | RelationDeclaration oldDefines = defines; | 182 | RelationDeclaration oldDefines = defines; |
178 | defines = newDefines; | 183 | defines = newDefines; |