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/logiclanguage/impl/AssertionImpl.java | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AssertionImpl.java') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AssertionImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AssertionImpl.java index 254f5240..5242fcdb 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AssertionImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AssertionImpl.java @@ -102,6 +102,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser * * @generated */ + @Override public Term getValue() { return value; } @@ -126,6 +127,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser * * @generated */ + @Override public void setValue(Term newValue) { if (newValue != value) { NotificationChain msgs = null; @@ -145,6 +147,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser * * @generated */ + @Override public String getName() { return name; } @@ -154,6 +157,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser * * @generated */ + @Override public void setName(String newName) { String oldName = name; name = newName; @@ -166,6 +170,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser * * @generated */ + @Override public EList getAnnotations() { if (annotations == null) { annotations = new EObjectWithInverseResolvingEList(AssertionAnnotation.class, this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET); @@ -293,7 +298,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser public String toString() { if (eIsProxy()) return super.toString(); - StringBuffer result = new StringBuffer(super.toString()); + StringBuilder result = new StringBuilder(super.toString()); result.append(" (name: "); result.append(name); result.append(')'); -- cgit v1.2.3-54-g00ecf