aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TypeImpl.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/TypeImpl.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/TypeImpl.java')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TypeImpl.java8
1 files changed, 7 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/TypeImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TypeImpl.java
index f51d7ef5..3929baac 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TypeImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TypeImpl.java
@@ -119,6 +119,7 @@ public abstract class TypeImpl extends MinimalEObjectImpl.Container implements T
119 * <!-- end-user-doc --> 119 * <!-- end-user-doc -->
120 * @generated 120 * @generated
121 */ 121 */
122 @Override
122 public String getName() { 123 public String getName() {
123 return name; 124 return name;
124 } 125 }
@@ -128,6 +129,7 @@ public abstract class TypeImpl extends MinimalEObjectImpl.Container implements T
128 * <!-- end-user-doc --> 129 * <!-- end-user-doc -->
129 * @generated 130 * @generated
130 */ 131 */
132 @Override
131 public void setName(String newName) { 133 public void setName(String newName) {
132 String oldName = name; 134 String oldName = name;
133 name = newName; 135 name = newName;
@@ -140,6 +142,7 @@ public abstract class TypeImpl extends MinimalEObjectImpl.Container implements T
140 * <!-- end-user-doc --> 142 * <!-- end-user-doc -->
141 * @generated 143 * @generated
142 */ 144 */
145 @Override
143 public EList<Type> getSubtypes() { 146 public EList<Type> getSubtypes() {
144 if (subtypes == null) { 147 if (subtypes == null) {
145 subtypes = new EObjectWithInverseResolvingEList.ManyInverse<Type>(Type.class, this, LogiclanguagePackage.TYPE__SUBTYPES, LogiclanguagePackage.TYPE__SUPERTYPES); 148 subtypes = new EObjectWithInverseResolvingEList.ManyInverse<Type>(Type.class, this, LogiclanguagePackage.TYPE__SUBTYPES, LogiclanguagePackage.TYPE__SUPERTYPES);
@@ -152,6 +155,7 @@ public abstract class TypeImpl extends MinimalEObjectImpl.Container implements T
152 * <!-- end-user-doc --> 155 * <!-- end-user-doc -->
153 * @generated 156 * @generated
154 */ 157 */
158 @Override
155 public EList<Type> getSupertypes() { 159 public EList<Type> getSupertypes() {
156 if (supertypes == null) { 160 if (supertypes == null) {
157 supertypes = new EObjectWithInverseResolvingEList.ManyInverse<Type>(Type.class, this, LogiclanguagePackage.TYPE__SUPERTYPES, LogiclanguagePackage.TYPE__SUBTYPES); 161 supertypes = new EObjectWithInverseResolvingEList.ManyInverse<Type>(Type.class, this, LogiclanguagePackage.TYPE__SUPERTYPES, LogiclanguagePackage.TYPE__SUBTYPES);
@@ -164,6 +168,7 @@ public abstract class TypeImpl extends MinimalEObjectImpl.Container implements T
164 * <!-- end-user-doc --> 168 * <!-- end-user-doc -->
165 * @generated 169 * @generated
166 */ 170 */
171 @Override
167 public boolean isIsAbstract() { 172 public boolean isIsAbstract() {
168 return isAbstract; 173 return isAbstract;
169 } 174 }
@@ -173,6 +178,7 @@ public abstract class TypeImpl extends MinimalEObjectImpl.Container implements T
173 * <!-- end-user-doc --> 178 * <!-- end-user-doc -->
174 * @generated 179 * @generated
175 */ 180 */
181 @Override
176 public void setIsAbstract(boolean newIsAbstract) { 182 public void setIsAbstract(boolean newIsAbstract) {
177 boolean oldIsAbstract = isAbstract; 183 boolean oldIsAbstract = isAbstract;
178 isAbstract = newIsAbstract; 184 isAbstract = newIsAbstract;
@@ -313,7 +319,7 @@ public abstract class TypeImpl extends MinimalEObjectImpl.Container implements T
313 public String toString() { 319 public String toString() {
314 if (eIsProxy()) return super.toString(); 320 if (eIsProxy()) return super.toString();
315 321
316 StringBuffer result = new StringBuffer(super.toString()); 322 StringBuilder result = new StringBuilder(super.toString());
317 result.append(" (name: "); 323 result.append(" (name: ");
318 result.append(name); 324 result.append(name);
319 result.append(", isAbstract: "); 325 result.append(", isAbstract: ");