Errors/warning for editors that use the old constraint checking mechanism show up, but never disappear (only after hitting Analysis>Reset and reanalysis).
We should either fix this if we want to be backwards compatible or otherwise provide a generic error to tell the language developer that they should switch to task-based constraint checking.

The Entity language should also use the task-based things.

Submitted by Oskar van Rest on 23 July 2014 at 19:28

On 23 July 2014 at 19:35 Oskar van Rest commented:

Somehow the problem does not occur with the Entity lang. I don’t understand why though, because both languages use the default analysis rules.

On 23 July 2014 at 19:44 Gabriël Konat commented:

Try deleting the runtime libraries from your lib folder and rebuild.

On 23 July 2014 at 20:06 Oskar van Rest commented:

Nope, won’t help.

On 4 November 2014 at 15:37 Gabriël Konat commented:

Is this still a problem in the latest nightly? I fixed some other bugs that might have caused this.

On 4 November 2014 at 20:27 Oskar van Rest commented:

Yes, issue still persists. I have now been able to create a minimal example to reproduce the bug:

  1. Create a new Spoofax project and make sure to check Generate minimal project only
  2. Add this to the grammar:

    context-free syntax

    Start.Module = <

    <{Definition "\n\n"}*>


    Definition.Entity = <
    entity {
    <{Property “\n”}*>

    Property.Property = <<ID> : >

    Type.Type = «ID»

3: Add this to check.str:



    Entity(x, _) -> (x, $[Entity names must start with a capital])
      not(<string-starts-with-capital> x)

4: Create an example instance that trigger the warning. Now, try to get rid of the warning by changing e1 into E1

module m1

entity e1 {

I really don’t understand why the issue shows up when creating an Entity language by starting from a minimum Spoofax project, but not when simply generating the Entity language.

On 7 November 2014 at 15:41 Gabriël Konat tagged 1.3.1

On 7 November 2014 at 15:42 Gabriël Konat removed tag 1.3.1

Log in to post comments