Error recovery

[PieterOlivier]

This is a feature-tracking PR, will remain draft while we are working on the error recovery feature. Other smaller PRs will target this branch, and when ready we can merge this one. Where possible we try to do most of the reviewing in the open PRs that target the error-recovery branch, but sometimes stuff is missed there, and then it's better to comment on changes in this global-tracking-PR.

History:

• in 2012 @jurgenvinju wrote an initial implementation of parser recovery that was based on user supplied recovery hints.
• in 2022 @jurgenvinju resurrected that recovery attempt and got into a decent shape, now without user supplied recovery hints, but lacked bandwidth to finish it.
• in 2024 @PieterOlivier picked this backup as part of swat.engineering's effort to invest in some larger scale rascal infrastructure improvements.
• Implement basic error recovery #2020 the first PR that was reviewed and merged into this feature branch.
• Test support for error recovery #2034 testing of error recovery in examples in multiple languages and intensive testing of Rascal sources files
• Reimplemented error tree disambiguation in Java #2035
• TODO: more PRs to follow

For CI reasons, this PR was moved to #2038, work continues there.

[codecov]

Codecov Report

Attention: Patch coverage is 41.74917% with 1059 lines in your changes missing coverage. Please review.

Project coverage is 49%. Comparing base (fc72dc7) to head (3572860).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...rg/rascalmpl/parser/util/ParseStateVisualizer.java	4%	326 Missing and 1 partial ⚠️
src/org/rascalmpl/parser/gtd/SGTDBF.java	71%	82 Missing and 43 partials ⚠️
src/org/rascalmpl/util/visualize/dot/DotGraph.java	0%	56 Missing ⚠️
src/org/rascalmpl/util/visualize/dot/NodeId.java	11%	52 Missing ⚠️
...org/rascalmpl/util/visualize/dot/DotAttribute.java	0%	51 Missing ⚠️
src/org/rascalmpl/util/visualize/dot/DotNode.java	0%	32 Missing ⚠️
...c/org/rascalmpl/parser/uptr/debug/DebugLogger.java	0%	30 Missing ⚠️
.../rascalmpl/parser/gtd/stack/AbstractStackNode.java	12%	29 Missing ⚠️
src/org/rascalmpl/util/visualize/dot/DotEdge.java	0%	29 Missing ⚠️
...almpl/parser/gtd/result/AbstractContainerNode.java	0%	22 Missing ⚠️
... and 51 more

Additional details and impacted files

@@            Coverage Diff            @@
##              main   #2033     +/-   ##
=========================================
- Coverage       49%     49%     -1%     
- Complexity    6306    6555    +249     
=========================================
  Files          664     684     +20     
  Lines        59635   60998   +1363     
  Branches      8647    8808    +161     
=========================================
+ Hits         29471   30143    +672     
- Misses       27946   28649    +703     
+ Partials      2218    2206     -12     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[DavyLandman]

For CI reasons, this PR was moved to #2038 as apparantly github doesn't allow to change the source branch of a PR.