YellowGrass

Parsing whitespace-regions with "Permissive-Insert-Open" fails in AtermWriter

Permissive-Insert-Open grammar unexpectedly cause problems for region recovery.
example file: Input/Dryad/test-java-traits.2.break20

  • region recovery fails with “permissive-insert-open” grammar
  • region recovery succeeds with “permissive-closings-only” grammar.
  • removing the erroneous region leads to a valid parse with both grammars.
  • whitespacing (replace all non-ws characters by spaces) the erroneous region leads to a valid parse, only for “permissive-closings-only”,although it’s a correct file now.

reported error for “permissive-insert-open”:
Stackoverflow in ATermWriter

Submitted on 17 May 2010 at 16:44

Issue Log

On 20 May 2010 at 19:55 Lennart Kats commented:

Do you have a stack trace for this? Using the -XX:MaxJavaStackTraceDepth=128000 option you should be able to get a complete trace. I’m not sure why ATermWriter is called here, but it might have something to do with a big parse tree that is somehow produced from the file.

On 8 June 2010 at 13:37 Maartje closed this issue.
On 8 June 2010 at 13:37 Maartje commented:

related to issue 156? (asfix trees for skipped regions are very big)

On 8 June 2010 at 13:38 Maartje reopened this issue.

Log in to post comments