diff options
Diffstat (limited to 'subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java index a3b6ca82..7febce7d 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | 2 | * SPDX-FileCopyrightText: 2023-2024 The Refinery Authors <https://refinery.tools/> |
3 | * | 3 | * |
4 | * SPDX-License-Identifier: EPL-2.0 | 4 | * SPDX-License-Identifier: EPL-2.0 |
5 | */ | 5 | */ |
@@ -17,6 +17,7 @@ import tools.refinery.generator.ValidationErrorsException; | |||
17 | import tools.refinery.language.web.semantics.PartialInterpretation2Json; | 17 | import tools.refinery.language.web.semantics.PartialInterpretation2Json; |
18 | import tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider; | 18 | import tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider; |
19 | import tools.refinery.language.web.xtext.server.push.PushWebDocument; | 19 | import tools.refinery.language.web.xtext.server.push.PushWebDocument; |
20 | import tools.refinery.store.reasoning.literal.Concreteness; | ||
20 | import tools.refinery.store.util.CancellationToken; | 21 | import tools.refinery.store.util.CancellationToken; |
21 | 22 | ||
22 | import java.io.IOException; | 23 | import java.io.IOException; |
@@ -142,7 +143,7 @@ public class ModelGenerationWorker implements Runnable { | |||
142 | } catch (ValidationErrorsException e) { | 143 | } catch (ValidationErrorsException e) { |
143 | var errors = e.getErrors(); | 144 | var errors = e.getErrors(); |
144 | if (errors != null && !errors.isEmpty()) { | 145 | if (errors != null && !errors.isEmpty()) { |
145 | return new ModelGenerationErrorResult(uuid, "Validation error: " + errors.get(0).getMessage()); | 146 | return new ModelGenerationErrorResult(uuid, "Validation error: " + errors.getFirst().getMessage()); |
146 | } | 147 | } |
147 | throw e; | 148 | throw e; |
148 | } | 149 | } |
@@ -154,7 +155,7 @@ public class ModelGenerationWorker implements Runnable { | |||
154 | notifyResult(new ModelGenerationStatusResult(uuid, "Saving generated model")); | 155 | notifyResult(new ModelGenerationStatusResult(uuid, "Saving generated model")); |
155 | cancellationToken.checkCancelled(); | 156 | cancellationToken.checkCancelled(); |
156 | metadataCreator.setProblemTrace(generator.getProblemTrace()); | 157 | metadataCreator.setProblemTrace(generator.getProblemTrace()); |
157 | var nodesMetadata = metadataCreator.getNodesMetadata(generator.getModel(), false); | 158 | var nodesMetadata = metadataCreator.getNodesMetadata(generator.getModel(), Concreteness.CANDIDATE); |
158 | cancellationToken.checkCancelled(); | 159 | cancellationToken.checkCancelled(); |
159 | var relationsMetadata = metadataCreator.getRelationsMetadata(); | 160 | var relationsMetadata = metadataCreator.getRelationsMetadata(); |
160 | cancellationToken.checkCancelled(); | 161 | cancellationToken.checkCancelled(); |