Fixed recovery checking

usethesource · Oct 3, 2024 · 3572860 · 3572860
1 parent 57862c6
commit 3572860
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/org/rascalmpl/parser/gtd/SGTDBF.java b/src/org/rascalmpl/parser/gtd/SGTDBF.java
@@ -136,6 +136,7 @@ public abstract class SGTDBF<P, T, S> implements IGTD<P, T, S> {
 
 	// Error reporting guards
 	private boolean parseErrorEncountered;
+	private boolean parseErrorRecovered;
 
 	// Error recovery
 	private IRecoverer<P> recoverer;
@@ -956,6 +957,7 @@ private boolean findFirstStacksToReduce() {
 					AbstractStackNode<P> recovered = recoveredNodes.getFirst(i);
 					queueMatchableNode(recovered, recovered.getLength(), recoveredNodes.getSecond(i));
 				}
+				parseErrorRecovered = true;
 				return findStacksToReduce();
 			}
 
@@ -1014,6 +1016,7 @@ private boolean findStacksToReduce() {
 					queueRecoveryNode(recovered, recovered.getStartLocation(), recovered.getLength(),
 						recoveredNodes.getSecond(i));
 				}
+				parseErrorRecovered = true;
 				return findStacksToReduce();
 			}
 
@@ -1595,7 +1598,7 @@ protected T buildResult(AbstractNode result, INodeFlattener<T, S> converter,
 				actionExecutor.completed(rootEnvironment, (parseResult == null));
 			}
 			if (parseResult != null) {
-				if (recoverer != null && parseErrorEncountered) {
+				if (recoverer != null && parseErrorRecovered) {
 					parseResult = introduceErrorNodes(parseResult, nodeConstructorFactory);
 				}
 				return parseResult; // Success.