YellowGrass

constructors from the library are not taken into account in stratego analysis

The warnings on constructors without parentheses is not given for constructors that are defined in libraries.

Submitted by Eelco Visser on 30 October 2012 at 05:45

Issue Log

On 30 October 2012 at 09:22 Gabriël Konat commented:

Related: https://yellowgrass.org/issue/Spoofax/214

On 13 November 2012 at 13:07 Maartje tagged stratego
On 8 January 2013 at 13:59 Eelco Visser tagged major
On 10 March 2013 at 10:25 Guido Wachsmuth commented:

The reason for this are implicit imports. The build files include standard libraries which do not need to be mentioned by the user:

-la stratego-lib -la stratego-sglr -la stratego-gpp -la stratego-xtc -la stratego-aterm

But analysis in the editor takes only those imports into account, which are explicit. If you make implicit imports explicit in your file, errors will be reported correctly. This also indicates two ways to fix this:

  1. Do not implicitly import libraries. When the user needs them, he should import them explicitly.
  2. During analysis, make implicit imports explicit before running the actual analysis.

Log in to post comments