aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java
diff options
context:
space:
mode:
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.java7
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;
17import tools.refinery.language.web.semantics.PartialInterpretation2Json; 17import tools.refinery.language.web.semantics.PartialInterpretation2Json;
18import tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider; 18import tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider;
19import tools.refinery.language.web.xtext.server.push.PushWebDocument; 19import tools.refinery.language.web.xtext.server.push.PushWebDocument;
20import tools.refinery.store.reasoning.literal.Concreteness;
20import tools.refinery.store.util.CancellationToken; 21import tools.refinery.store.util.CancellationToken;
21 22
22import java.io.IOException; 23import 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();