diff options
author | 2023-09-13 19:04:39 +0200 | |
---|---|---|
committer | 2023-09-13 19:04:39 +0200 | |
commit | 5999eb4433dc5a758674d9c941d97bbaf48d030d (patch) | |
tree | 8c5d0d41adcf3f7f7d2fdc4a0480271c9b81cfe1 /subprojects/language-web/src | |
parent | fix: multiplicity error for non-existing objects (diff) | |
download | refinery-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.java | 3 |
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(); |