From cc1a98fa6de734a855069fa7766fce8618b652b0 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 19 Apr 2019 10:14:25 +0200 Subject: [PATCH] Report tracing event "trying" after all pattern match predicates. --- .../Core/src/jetbrains/mps/logic/reactor/core/Controller.kt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt index 4407ed20..33ef4df2 100644 --- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt +++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/Controller.kt @@ -158,13 +158,14 @@ class Controller( private fun processMatch(inState: ProcessingState, match: MatchRule) : ProcessingState { val context = Context(inState, match.logicalContext()) - trace.trying(match) // invoke matched pattern predicates for (prd in match.patternPredicates()) { if (!tellPredicate(prd, context)) break } + trace.trying(match) + // check guard for (gprd in match.rule().guard()) { if (!askPredicate(gprd, context)) break