aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-web/src
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/language-web/src')
-rw-r--r--subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java5
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 }