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/ImplImpl.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/ImplImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ImplImpl.java | 4 |
1 files changed, 4 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/ImplImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ImplImpl.java index af915e5d..8a93fa37 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ImplImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/ImplImpl.java | |||
@@ -73,6 +73,7 @@ public class ImplImpl extends BoolOperationImpl implements Impl { | |||
73 | * <!-- end-user-doc --> | 73 | * <!-- end-user-doc --> |
74 | * @generated | 74 | * @generated |
75 | */ | 75 | */ |
76 | @Override | ||
76 | public Term getLeftOperand() { | 77 | public Term getLeftOperand() { |
77 | return leftOperand; | 78 | return leftOperand; |
78 | } | 79 | } |
@@ -97,6 +98,7 @@ public class ImplImpl extends BoolOperationImpl implements Impl { | |||
97 | * <!-- end-user-doc --> | 98 | * <!-- end-user-doc --> |
98 | * @generated | 99 | * @generated |
99 | */ | 100 | */ |
101 | @Override | ||
100 | public void setLeftOperand(Term newLeftOperand) { | 102 | public void setLeftOperand(Term newLeftOperand) { |
101 | if (newLeftOperand != leftOperand) { | 103 | if (newLeftOperand != leftOperand) { |
102 | NotificationChain msgs = null; | 104 | NotificationChain msgs = null; |
@@ -116,6 +118,7 @@ public class ImplImpl extends BoolOperationImpl implements Impl { | |||
116 | * <!-- end-user-doc --> | 118 | * <!-- end-user-doc --> |
117 | * @generated | 119 | * @generated |
118 | */ | 120 | */ |
121 | @Override | ||
119 | public Term getRightOperand() { | 122 | public Term getRightOperand() { |
120 | return rightOperand; | 123 | return rightOperand; |
121 | } | 124 | } |
@@ -140,6 +143,7 @@ public class ImplImpl extends BoolOperationImpl implements Impl { | |||
140 | * <!-- end-user-doc --> | 143 | * <!-- end-user-doc --> |
141 | * @generated | 144 | * @generated |
142 | */ | 145 | */ |
146 | @Override | ||
143 | public void setRightOperand(Term newRightOperand) { | 147 | public void setRightOperand(Term newRightOperand) { |
144 | if (newRightOperand != rightOperand) { | 148 | if (newRightOperand != rightOperand) { |
145 | NotificationChain msgs = null; | 149 | NotificationChain msgs = null; |