[ 
https://issues.apache.org/jira/browse/GROOVY-9192?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18097451#comment-18097451
 ] 

ASF GitHub Bot commented on GROOVY-9192:
----------------------------------------

sonarqubecloud[bot] commented on PR #2724:
URL: https://github.com/apache/groovy/pull/2724#issuecomment-5016855418

   ## [![Quality Gate 
Passed](https://sonarsource.github.io/sonarcloud-github-static-resources/v2/checks/QualityGateBadge/qg-passed-20px.png
 'Quality Gate 
Passed')](https://sonarcloud.io/dashboard?id=apache_groovy&pullRequest=2724) 
**Quality Gate passed**  
   Issues  
   
![](https://sonarsource.github.io/sonarcloud-github-static-resources/v2/common/passed-16px.png
 '') [7 New 
issues](https://sonarcloud.io/project/issues?id=apache_groovy&pullRequest=2724&issueStatuses=OPEN,CONFIRMED&sinceLeakPeriod=true)
  
   
![](https://sonarsource.github.io/sonarcloud-github-static-resources/v2/common/accepted-16px.png
 '') [0 Accepted 
issues](https://sonarcloud.io/project/issues?id=apache_groovy&pullRequest=2724&issueStatuses=ACCEPTED)
   
   Measures  
   
![](https://sonarsource.github.io/sonarcloud-github-static-resources/v2/common/passed-16px.png
 '') [0 Security 
Hotspots](https://sonarcloud.io/project/security_hotspots?id=apache_groovy&pullRequest=2724&issueStatuses=OPEN,CONFIRMED&sinceLeakPeriod=true)
  
   
![](https://sonarsource.github.io/sonarcloud-github-static-resources/v2/common/passed-16px.png
 '') [86.2% Coverage on New 
Code](https://sonarcloud.io/component_measures?id=apache_groovy&pullRequest=2724&metric=new_coverage&view=list)
  
   
![](https://sonarsource.github.io/sonarcloud-github-static-resources/v2/common/passed-16px.png
 '') [0.0% Duplication on New 
Code](https://sonarcloud.io/component_measures?id=apache_groovy&pullRequest=2724&metric=new_duplicated_lines_density&view=list)
  
     
   <!

> Implement optional parser error recovery for Parrot parser
> ----------------------------------------------------------
>
>                 Key: GROOVY-9192
>                 URL: https://issues.apache.org/jira/browse/GROOVY-9192
>             Project: Groovy
>          Issue Type: Improvement
>          Components: parser-antlr4
>            Reporter: Daniel Sun
>            Priority: Major
>          Time Spent: 1h
>  Remaining Estimate: 0h
>
> h2. Summary
> Add *optional* ANTLR error recovery to the Parrot (antlr4) parser so IDE 
> hosts can collect *multiple* syntax diagnostics in one pass. Default remains 
> fail-fast (current {{groovyc}} behaviour).
> h2. Motivation
> * Groovy Eclipse and similar tools reuse the Parrot parser while editing.
> * Recognition failures today fail-fast: the first syntax error stops parsing, 
> so the editor often shows only one diagnostic per rebuild.
> * Editors need resynchronization after a fault so further errors in the same 
> file can be reported without redesigning the grammar.
> h2. Goals
> # *Opt-in only* — recovery is *disabled by default*; production compilation 
> stays fail-fast.
> # *Configuration switch* — {{CompilerConfiguration.ERROR_RECOVERY}} 
> ({{errorRecovery}}) and optional system property 
> {{groovy.parser.error.recovery}}.
> # *Multi-error collection* — with recovery on, recognition errors accumulate 
> in {{ErrorCollector}} instead of aborting on the first fatal parse error.
> # *Friendly diagnostics preserved* — keep messages such as {{Missing ')'}} / 
> {{Missing ']'}} / {{Missing '}'}} via existing {{MissingDelimiterDiagnostic}}.
> # *Fail-fast path unchanged* — SLL→LL two-stage parse and bail-style cancel 
> remain the default cost model.
> # *No dual throwable hierarchy* — recovery is owned by the error strategy and 
> {{ErrorCollector}}, not a second exception type tree.
> h2. Design
> h3. Configuration
> * Constant: {{CompilerConfiguration.ERROR_RECOVERY}} = {{"errorRecovery"}}, 
> stored in {{getOptimizationOptions()}} (same map as other feature flags, e.g. 
> groovydoc).
> * Query: {{isErrorRecoveryEnabled()}} — true only when the option is 
> explicitly {{Boolean.TRUE}}.
> * Bootstrap: system property {{groovy.parser.error.recovery}}.
> {code:java}
> CompilerConfiguration config = new CompilerConfiguration();
> config.getOptimizationOptions().put(CompilerConfiguration.ERROR_RECOVERY, 
> Boolean.TRUE);
> // or: -Dgroovy.parser.error.recovery=true
> {code}
> h3. Error strategies
> * Shared reporting: package-private {{AbstractFriendlyErrorStrategy}} 
> ({{MissingDelimiterDiagnostic}} + NVAE/IME messaging).
> * Fail-fast (default): {{DescriptiveErrorStrategy}} — {{recover}} / 
> {{recoverInline}} cancel via {{ParseCancellationException}}; {{sync}} is a 
> no-op (SLL-friendly).
> * Recovery: {{RecoveringDescriptiveErrorStrategy}} — ANTLR default resync / 
> single-token repair.
> * Factory: {{DescriptiveErrorStrategy.create(CharStream, boolean)}}.
> h3. AstBuilder / pipeline
> * Select strategy from {{isErrorRecoveryEnabled()}}.
> * Recovery parse uses *LL only* with error listeners (skip the SLL probe so 
> recovery cannot "succeed" on a degraded tree without re-running LL).
> * {{collectSyntaxError}}: recovery → {{ErrorCollector.addErrorAndContinue}}; 
> fail-fast → {{addFatalError}}.
> * Under recovery, {{AstBuilder.buildAST}} returns a (possibly partial) 
> {{ModuleNode}} when diagnostics are already recorded; it does *not* require 
> {{SourceUnit}} to swallow {{CompilationFailedException}}.
> * Compile still fails: {{CompilationUnit}} / 
> {{ErrorCollector.failIfErrors()}} owns phase failure with the full diagnostic 
> list.
> h3. Host contract
> * *Source of truth for multi-error UI:* {{ErrorCollector}} (not the partial 
> AST).
> * Recovery may still yield an incomplete tree; later phases can add further 
> diagnostics. IDEs should display all collector errors.
> h2. Compatibility
> * Default off: existing scripts, CLI, and fail-fast tests keep current 
> behaviour and cost model.
> * Public additive API only: {{ERROR_RECOVERY}}, {{isErrorRecoveryEnabled()}} 
> (no removals).



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

Reply via email to