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/logiclanguage/impl/SymbolicDeclarationImpl.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/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.java | 4 |
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(')'); |