diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java index 7e72525a..d7099377 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; | 4 | package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl; |
5 | 5 | ||
@@ -65,6 +65,7 @@ public class StringEnumerationImpl extends NumberSpecificationImpl implements St | |||
65 | * <!-- end-user-doc --> | 65 | * <!-- end-user-doc --> |
66 | * @generated | 66 | * @generated |
67 | */ | 67 | */ |
68 | @Override | ||
68 | public EList<String> getEntry() | 69 | public EList<String> getEntry() |
69 | { | 70 | { |
70 | if (entry == null) | 71 | if (entry == null) |
@@ -152,7 +153,7 @@ public class StringEnumerationImpl extends NumberSpecificationImpl implements St | |||
152 | { | 153 | { |
153 | if (eIsProxy()) return super.toString(); | 154 | if (eIsProxy()) return super.toString(); |
154 | 155 | ||
155 | StringBuffer result = new StringBuffer(super.toString()); | 156 | StringBuilder result = new StringBuilder(super.toString()); |
156 | result.append(" (entry: "); | 157 | result.append(" (entry: "); |
157 | result.append(entry); | 158 | result.append(entry); |
158 | result.append(')'); | 159 | result.append(')'); |