diff options
Diffstat (limited to 'subprojects/language-web')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java | 5 |
1 files changed, 3 insertions, 2 deletions
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 c828b3d5..2495430e 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 | |||
@@ -65,7 +65,8 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> { | |||
65 | var initializer = initializerProvider.get(); | 65 | var initializer = initializerProvider.get(); |
66 | var builder = ModelStore.builder() | 66 | var builder = ModelStore.builder() |
67 | .with(ViatraModelQueryAdapter.builder()) | 67 | .with(ViatraModelQueryAdapter.builder()) |
68 | .with(ReasoningAdapter.builder()); | 68 | .with(ReasoningAdapter.builder() |
69 | .requiredInterpretations(Concreteness.PARTIAL)); | ||
69 | operationCanceledManager.checkCanceled(cancelIndicator); | 70 | operationCanceledManager.checkCanceled(cancelIndicator); |
70 | try { | 71 | try { |
71 | var modelSeed = initializer.createModel(problem, builder); | 72 | var modelSeed = initializer.createModel(problem, builder); |
@@ -84,7 +85,7 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> { | |||
84 | } | 85 | } |
85 | return new SemanticsSuccessResult(nodeTrace, partialInterpretation); | 86 | return new SemanticsSuccessResult(nodeTrace, partialInterpretation); |
86 | } catch (RuntimeException e) { | 87 | } catch (RuntimeException e) { |
87 | LOG.error("Error while computing semantics", e); | 88 | LOG.debug("Error while computing semantics", e); |
88 | return new SemanticsErrorResult(e.getMessage()); | 89 | return new SemanticsErrorResult(e.getMessage()); |
89 | } | 90 | } |
90 | } | 91 | } |