From 3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 4 May 2019 15:31:47 -0400 Subject: Added aggregate expressions to logic language on the model level --- .../dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logicresult/impl/ModelResultImpl.java') 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 { * * @generated */ + @Override public int getMaxInteger() { return maxInteger; } @@ -99,6 +100,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { * * @generated */ + @Override public void setMaxInteger(int newMaxInteger) { int oldMaxInteger = maxInteger; maxInteger = newMaxInteger; @@ -111,6 +113,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { * * @generated */ + @Override public int getMinInteger() { return minInteger; } @@ -120,6 +123,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { * * @generated */ + @Override public void setMinInteger(int newMinInteger) { int oldMinInteger = minInteger; minInteger = newMinInteger; @@ -204,7 +208,7 @@ public class ModelResultImpl extends LogicResultImpl implements ModelResult { public String toString() { if (eIsProxy()) return super.toString(); - StringBuffer result = new StringBuffer(super.toString()); + StringBuilder result = new StringBuilder(super.toString()); result.append(" (maxInteger: "); result.append(maxInteger); result.append(", minInteger: "); -- cgit v1.2.3-54-g00ecf