diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-04 18:45:19 -0400 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-05-04 18:45:19 -0400 |
commit | b1723d079c16b836c9fd9e439d0e0141e701321f (patch) | |
tree | 2350a4fbbcfdd15e26c80075eaf5ae7dbcbce5b3 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java | |
parent | Metrics for satellite case study (diff) | |
parent | typo in launch config name (diff) | |
download | VIATRA-Generator-b1723d079c16b836c9fd9e439d0e0141e701321f.tar.gz VIATRA-Generator-b1723d079c16b836c9fd9e439d0e0141e701321f.tar.zst VIATRA-Generator-b1723d079c16b836c9fd9e439d0e0141e701321f.zip |
Merge remote-tracking branch 'origin/master' into kris
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: "); |