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/TypeImpl.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/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.java | 8 |
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: "); |