diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-04 15:31:47 -0400 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 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/logicresult/impl/ModelResultImpl.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/logicresult/impl/ModelResultImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java index 63a15a81..5a601ae8 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java | |||
@@ -90,6 +90,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
90 | * <!-- end-user-doc --> | 90 | * <!-- end-user-doc --> |
91 | * @generated | 91 | * @generated |
92 | */ | 92 | */ |
93 | @Override | ||
93 | public int getMaxInteger() { | 94 | public int getMaxInteger() { |
94 | return maxInteger; | 95 | return maxInteger; |
95 | } | 96 | } |
@@ -99,6 +100,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
99 | * <!-- end-user-doc --> | 100 | * <!-- end-user-doc --> |
100 | * @generated | 101 | * @generated |
101 | */ | 102 | */ |
103 | @Override | ||
102 | public void setMaxInteger(int newMaxInteger) { | 104 | public void setMaxInteger(int newMaxInteger) { |
103 | int oldMaxInteger = maxInteger; | 105 | int oldMaxInteger = maxInteger; |
104 | maxInteger = newMaxInteger; | 106 | maxInteger = newMaxInteger; |
@@ -111,6 +113,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
111 | * <!-- end-user-doc --> | 113 | * <!-- end-user-doc --> |
112 | * @generated | 114 | * @generated |
113 | */ | 115 | */ |
116 | @Override | ||
114 | public int getMinInteger() { | 117 | public int getMinInteger() { |
115 | return minInteger; | 118 | return minInteger; |
116 | } | 119 | } |
@@ -120,6 +123,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
120 | * <!-- end-user-doc --> | 123 | * <!-- end-user-doc --> |
121 | * @generated | 124 | * @generated |
122 | */ | 125 | */ |
126 | @Override | ||
123 | public void setMinInteger(int newMinInteger) { | 127 | public void setMinInteger(int newMinInteger) { |
124 | int oldMinInteger = minInteger; | 128 | int oldMinInteger = minInteger; |
125 | minInteger = newMinInteger; | 129 | minInteger = newMinInteger; |
@@ -204,7 +208,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { | |||
204 | public String toString() { | 208 | public String toString() { |
205 | if (eIsProxy()) return super.toString(); | 209 | if (eIsProxy()) return super.toString(); |
206 | 210 | ||
207 | StringBuffer result = new StringBuffer(super.toString()); | 211 | StringBuilder result = new StringBuilder(super.toString()); |
208 | result.append(" (maxInteger: "); | 212 | result.append(" (maxInteger: "); |
209 | result.append(maxInteger); | 213 | result.append(maxInteger); |
210 | result.append(", minInteger: "); | 214 | result.append(", minInteger: "); |