aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-web/src
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-09-13 19:04:39 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2023-09-13 19:04:39 +0200
commit5999eb4433dc5a758674d9c941d97bbaf48d030d (patch)
tree8c5d0d41adcf3f7f7d2fdc4a0480271c9b81cfe1 /subprojects/language-web/src
parentfix: multiplicity error for non-existing objects (diff)
downloadrefinery-5999eb4433dc5a758674d9c941d97bbaf48d030d.tar.gz
refinery-5999eb4433dc5a758674d9c941d97bbaf48d030d.tar.zst
refinery-5999eb4433dc5a758674d9c941d97bbaf48d030d.zip
fix: hide new node names in generated models
Diffstat (limited to 'subprojects/language-web/src')
-rw-r--r--subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java3
1 files changed, 2 insertions, 1 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 1f430da6..e14982a7 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
@@ -197,7 +197,8 @@ public class ModelGenerationWorker implements Runnable {
197 model.restore(solutionStore.getSolutions().get(0).version()); 197 model.restore(solutionStore.getSolutions().get(0).version());
198 cancellationToken.checkCancelled(); 198 cancellationToken.checkCancelled();
199 metadataCreator.setInitializer(initializer); 199 metadataCreator.setInitializer(initializer);
200 var nodesMetadata = metadataCreator.getNodesMetadata(model.getAdapter(ReasoningAdapter.class).getNodeCount()); 200 var nodesMetadata = metadataCreator.getNodesMetadata(model.getAdapter(ReasoningAdapter.class).getNodeCount(),
201 false);
201 cancellationToken.checkCancelled(); 202 cancellationToken.checkCancelled();
202 var relationsMetadata = metadataCreator.getRelationsMetadata(); 203 var relationsMetadata = metadataCreator.getRelationsMetadata();
203 cancellationToken.checkCancelled(); 204 cancellationToken.checkCancelled();