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/TransitiveClosureImpl.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/TransitiveClosureImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java | 6 |
1 files changed, 6 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/TransitiveClosureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java index ecd0eeaf..b7ad1f50 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java | |||
@@ -85,6 +85,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure | |||
85 | * <!-- end-user-doc --> | 85 | * <!-- end-user-doc --> |
86 | * @generated | 86 | * @generated |
87 | */ | 87 | */ |
88 | @Override | ||
88 | public Term getLeftOperand() { | 89 | public Term getLeftOperand() { |
89 | return leftOperand; | 90 | return leftOperand; |
90 | } | 91 | } |
@@ -109,6 +110,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure | |||
109 | * <!-- end-user-doc --> | 110 | * <!-- end-user-doc --> |
110 | * @generated | 111 | * @generated |
111 | */ | 112 | */ |
113 | @Override | ||
112 | public void setLeftOperand(Term newLeftOperand) { | 114 | public void setLeftOperand(Term newLeftOperand) { |
113 | if (newLeftOperand != leftOperand) { | 115 | if (newLeftOperand != leftOperand) { |
114 | NotificationChain msgs = null; | 116 | NotificationChain msgs = null; |
@@ -128,6 +130,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure | |||
128 | * <!-- end-user-doc --> | 130 | * <!-- end-user-doc --> |
129 | * @generated | 131 | * @generated |
130 | */ | 132 | */ |
133 | @Override | ||
131 | public Term getRightOperand() { | 134 | public Term getRightOperand() { |
132 | return rightOperand; | 135 | return rightOperand; |
133 | } | 136 | } |
@@ -152,6 +155,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure | |||
152 | * <!-- end-user-doc --> | 155 | * <!-- end-user-doc --> |
153 | * @generated | 156 | * @generated |
154 | */ | 157 | */ |
158 | @Override | ||
155 | public void setRightOperand(Term newRightOperand) { | 159 | public void setRightOperand(Term newRightOperand) { |
156 | if (newRightOperand != rightOperand) { | 160 | if (newRightOperand != rightOperand) { |
157 | NotificationChain msgs = null; | 161 | NotificationChain msgs = null; |
@@ -171,6 +175,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure | |||
171 | * <!-- end-user-doc --> | 175 | * <!-- end-user-doc --> |
172 | * @generated | 176 | * @generated |
173 | */ | 177 | */ |
178 | @Override | ||
174 | public Relation getRelation() { | 179 | public Relation getRelation() { |
175 | if (relation != null && relation.eIsProxy()) { | 180 | if (relation != null && relation.eIsProxy()) { |
176 | InternalEObject oldRelation = (InternalEObject)relation; | 181 | InternalEObject oldRelation = (InternalEObject)relation; |
@@ -197,6 +202,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure | |||
197 | * <!-- end-user-doc --> | 202 | * <!-- end-user-doc --> |
198 | * @generated | 203 | * @generated |
199 | */ | 204 | */ |
205 | @Override | ||
200 | public void setRelation(Relation newRelation) { | 206 | public void setRelation(Relation newRelation) { |
201 | Relation oldRelation = relation; | 207 | Relation oldRelation = relation; |
202 | relation = newRelation; | 208 | relation = newRelation; |