aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicDeclarationImpl.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/SymbolicDeclarationImpl.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/SymbolicDeclarationImpl.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicDeclarationImpl.java4
1 files changed, 3 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicDeclarationImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicDeclarationImpl.java
index 1f28cbd7..6a7110bb 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicDeclarationImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/SymbolicDeclarationImpl.java
@@ -67,6 +67,7 @@ public abstract class SymbolicDeclarationImpl extends MinimalEObjectImpl.Contain
67 * <!-- end-user-doc --> 67 * <!-- end-user-doc -->
68 * @generated 68 * @generated
69 */ 69 */
70 @Override
70 public String getName() { 71 public String getName() {
71 return name; 72 return name;
72 } 73 }
@@ -76,6 +77,7 @@ public abstract class SymbolicDeclarationImpl extends MinimalEObjectImpl.Contain
76 * <!-- end-user-doc --> 77 * <!-- end-user-doc -->
77 * @generated 78 * @generated
78 */ 79 */
80 @Override
79 public void setName(String newName) { 81 public void setName(String newName) {
80 String oldName = name; 82 String oldName = name;
81 name = newName; 83 name = newName;
@@ -151,7 +153,7 @@ public abstract class SymbolicDeclarationImpl extends MinimalEObjectImpl.Contain
151 public String toString() { 153 public String toString() {
152 if (eIsProxy()) return super.toString(); 154 if (eIsProxy()) return super.toString();
153 155
154 StringBuffer result = new StringBuffer(super.toString()); 156 StringBuilder result = new StringBuilder(super.toString());
155 result.append(" (name: "); 157 result.append(" (name: ");
156 result.append(name); 158 result.append(name);
157 result.append(')'); 159 result.append(')');