aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/InstanceOfImpl.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/InstanceOfImpl.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/InstanceOfImpl.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/InstanceOfImpl.java4
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/InstanceOfImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/InstanceOfImpl.java
index 9d36b076..dec38397 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/InstanceOfImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/InstanceOfImpl.java
@@ -74,6 +74,7 @@ public class InstanceOfImpl extends TermImpl implements InstanceOf {
74 * <!-- end-user-doc --> 74 * <!-- end-user-doc -->
75 * @generated 75 * @generated
76 */ 76 */
77 @Override
77 public Term getValue() { 78 public Term getValue() {
78 return value; 79 return value;
79 } 80 }
@@ -98,6 +99,7 @@ public class InstanceOfImpl extends TermImpl implements InstanceOf {
98 * <!-- end-user-doc --> 99 * <!-- end-user-doc -->
99 * @generated 100 * @generated
100 */ 101 */
102 @Override
101 public void setValue(Term newValue) { 103 public void setValue(Term newValue) {
102 if (newValue != value) { 104 if (newValue != value) {
103 NotificationChain msgs = null; 105 NotificationChain msgs = null;
@@ -117,6 +119,7 @@ public class InstanceOfImpl extends TermImpl implements InstanceOf {
117 * <!-- end-user-doc --> 119 * <!-- end-user-doc -->
118 * @generated 120 * @generated
119 */ 121 */
122 @Override
120 public TypeReference getRange() { 123 public TypeReference getRange() {
121 return range; 124 return range;
122 } 125 }
@@ -141,6 +144,7 @@ public class InstanceOfImpl extends TermImpl implements InstanceOf {
141 * <!-- end-user-doc --> 144 * <!-- end-user-doc -->
142 * @generated 145 * @generated
143 */ 146 */
147 @Override
144 public void setRange(TypeReference newRange) { 148 public void setRange(TypeReference newRange) {
145 if (newRange != range) { 149 if (newRange != range) {
146 NotificationChain msgs = null; 150 NotificationChain msgs = null;