From 8b4b16665868aee08ac5a90398104a1c07ae0365 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 17 Aug 2023 20:21:03 +0200 Subject: fix: more precise new object types A new object should not be an instance of any subclasses. Also, it should be possible cleare a node without any other type. --- .../java/tools/refinery/language/web/semantics/SemanticsService.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'subprojects/language-web/src') diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java index 79ca32ff..c828b3d5 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java @@ -64,7 +64,8 @@ public class SemanticsService extends AbstractCachedService { } var initializer = initializerProvider.get(); var builder = ModelStore.builder() - .with(ViatraModelQueryAdapter.builder()); + .with(ViatraModelQueryAdapter.builder()) + .with(ReasoningAdapter.builder()); operationCanceledManager.checkCanceled(cancelIndicator); try { var modelSeed = initializer.createModel(problem, builder); -- cgit v1.2.3-54-g00ecf