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/AssertionImpl.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/AssertionImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AssertionImpl.java | 7 |
1 files changed, 6 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/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 | |||
102 | * <!-- end-user-doc --> | 102 | * <!-- end-user-doc --> |
103 | * @generated | 103 | * @generated |
104 | */ | 104 | */ |
105 | @Override | ||
105 | public Term getValue() { | 106 | public Term getValue() { |
106 | return value; | 107 | return value; |
107 | } | 108 | } |
@@ -126,6 +127,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
126 | * <!-- end-user-doc --> | 127 | * <!-- end-user-doc --> |
127 | * @generated | 128 | * @generated |
128 | */ | 129 | */ |
130 | @Override | ||
129 | public void setValue(Term newValue) { | 131 | public void setValue(Term newValue) { |
130 | if (newValue != value) { | 132 | if (newValue != value) { |
131 | NotificationChain msgs = null; | 133 | NotificationChain msgs = null; |
@@ -145,6 +147,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
145 | * <!-- end-user-doc --> | 147 | * <!-- end-user-doc --> |
146 | * @generated | 148 | * @generated |
147 | */ | 149 | */ |
150 | @Override | ||
148 | public String getName() { | 151 | public String getName() { |
149 | return name; | 152 | return name; |
150 | } | 153 | } |
@@ -154,6 +157,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
154 | * <!-- end-user-doc --> | 157 | * <!-- end-user-doc --> |
155 | * @generated | 158 | * @generated |
156 | */ | 159 | */ |
160 | @Override | ||
157 | public void setName(String newName) { | 161 | public void setName(String newName) { |
158 | String oldName = name; | 162 | String oldName = name; |
159 | name = newName; | 163 | name = newName; |
@@ -166,6 +170,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
166 | * <!-- end-user-doc --> | 170 | * <!-- end-user-doc --> |
167 | * @generated | 171 | * @generated |
168 | */ | 172 | */ |
173 | @Override | ||
169 | public EList<AssertionAnnotation> getAnnotations() { | 174 | public EList<AssertionAnnotation> getAnnotations() { |
170 | if (annotations == null) { | 175 | if (annotations == null) { |
171 | annotations = new EObjectWithInverseResolvingEList<AssertionAnnotation>(AssertionAnnotation.class, this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET); | 176 | annotations = new EObjectWithInverseResolvingEList<AssertionAnnotation>(AssertionAnnotation.class, this, LogiclanguagePackage.ASSERTION__ANNOTATIONS, LogicproblemPackage.ASSERTION_ANNOTATION__TARGET); |
@@ -293,7 +298,7 @@ public class AssertionImpl extends MinimalEObjectImpl.Container implements Asser | |||
293 | public String toString() { | 298 | public String toString() { |
294 | if (eIsProxy()) return super.toString(); | 299 | if (eIsProxy()) return super.toString(); |
295 | 300 | ||
296 | StringBuffer result = new StringBuffer(super.toString()); | 301 | StringBuilder result = new StringBuilder(super.toString()); |
297 | result.append(" (name: "); | 302 | result.append(" (name: "); |
298 | result.append(name); | 303 | result.append(name); |
299 | result.append(')'); | 304 | result.append(')'); |