From 263e7c025ab19573fba087f050b9dc1f1ade193f Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 17 Aug 2023 17:07:12 +0200 Subject: fix: containment link translation Improper equality implementation of representative election literals merged weak and strong connected components during query canonicalization. --- .../refinery/language/web/semantics/SemanticsService.java | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (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 483d24f6..eb7ab204 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 @@ -54,7 +54,10 @@ public class SemanticsService extends AbstractCachedService { @Override public SemanticsResult compute(IXtextWebDocument doc, CancelIndicator cancelIndicator) { - long start = System.currentTimeMillis(); + long start = 0; + if (LOG.isTraceEnabled()) { + start = System.currentTimeMillis(); + } Problem problem = getProblem(doc, cancelIndicator); if (problem == null) { return null; @@ -73,8 +76,11 @@ public class SemanticsService extends AbstractCachedService { var model = store.getAdapter(ReasoningStoreAdapter.class).createInitialModel(modelSeed); operationCanceledManager.checkCanceled(cancelIndicator); var partialInterpretation = getPartialInterpretation(initializer, model, cancelIndicator); - long end = System.currentTimeMillis(); - LOG.info("Computed semantics for {} ({}) in {}ms", doc.getResourceId(), doc.getStateId(), end - start); + if (LOG.isTraceEnabled()) { + long end = System.currentTimeMillis(); + LOG.trace("Computed semantics for {} ({}) in {}ms", doc.getResourceId(), doc.getStateId(), + end - start); + } return new SemanticsSuccessResult(nodeTrace, partialInterpretation); } catch (RuntimeException e) { LOG.error("Error while computing semantics", e); -- cgit v1.2.3-54-g00ecf