diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-14 19:38:40 -0400 |
commit | 3997c2408f192e22f809cd96faa5bc552530289d (patch) | |
tree | 6d9134700977b29a5d67206c1e3f587d468e34fa /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java | |
parent | remove Alloy solver copy (diff) | |
download | VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.gz VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.tar.zst VIATRA-Generator-3997c2408f192e22f809cd96faa5bc552530289d.zip |
This branch is ready to be merged into masterVampire-New
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java index 3ea64130..79b25430 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.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 | ||
@@ -74,6 +74,7 @@ public class DocumentationEntryImpl extends ConfigEntryImpl implements Documenta | |||
74 | * <!-- end-user-doc --> | 74 | * <!-- end-user-doc --> |
75 | * @generated | 75 | * @generated |
76 | */ | 76 | */ |
77 | @Override | ||
77 | public DocumentLevelSpecification getLevel() | 78 | public DocumentLevelSpecification getLevel() |
78 | { | 79 | { |
79 | return level; | 80 | return level; |
@@ -84,6 +85,7 @@ public class DocumentationEntryImpl extends ConfigEntryImpl implements Documenta | |||
84 | * <!-- end-user-doc --> | 85 | * <!-- end-user-doc --> |
85 | * @generated | 86 | * @generated |
86 | */ | 87 | */ |
88 | @Override | ||
87 | public void setLevel(DocumentLevelSpecification newLevel) | 89 | public void setLevel(DocumentLevelSpecification newLevel) |
88 | { | 90 | { |
89 | DocumentLevelSpecification oldLevel = level; | 91 | DocumentLevelSpecification oldLevel = level; |
@@ -168,7 +170,7 @@ public class DocumentationEntryImpl extends ConfigEntryImpl implements Documenta | |||
168 | { | 170 | { |
169 | if (eIsProxy()) return super.toString(); | 171 | if (eIsProxy()) return super.toString(); |
170 | 172 | ||
171 | StringBuffer result = new StringBuffer(super.toString()); | 173 | StringBuilder result = new StringBuilder(super.toString()); |
172 | result.append(" (level: "); | 174 | result.append(" (level: "); |
173 | result.append(level); | 175 | result.append(level); |
174 | result.append(')'); | 176 | result.append(')'); |