search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Declaration of attributes in a signature not linked if followed by , #108

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
If a signature declares several "fields", then the ones followed by a , are not 
linked to the signatures.

Check e.g:

abstract sig Personne {
    pere : lone Homme,
    mere : lone Femme,
    toto : Personne
}

then 

abstract sig Personne {
    pere : lone Homme,
    mere : lone Femme
}

then 

abstract sig Personne {
    pere : lone Homme
}

with

sig Homme extends Personne {
    femme : lone Femme
}

sig Femme extends Personne {
    mari : lone Homme
}

In the first case, neither Homme nor Femme are linked to their definition.
In the second one, it works for Femme, not for Homme. In the last one, it works 
for Homme.

This is an issue in the grammar.

Original issue reported on code.google.com by daniel.l...@gmail.com on 3 Jun 2011 at 11:00

GoogleCodeExporter commented 8 years ago 
That issue is still valid with the latest modifications of the grammar.

Original comment by daniel.l...@gmail.com on 17 Apr 2012 at 6:59

GoogleCodeExporter commented 8 years ago 
There was an error in the grammar. Fixed in r1098.

Original comment by daniel.l...@gmail.com on 19 Apr 2012 at 9:51

GoogleCodeExporter commented 8 years ago 
The issue is actually not fixed: the new grammar creates many errors. Need more 
attention.

Original comment by daniel.l...@gmail.com on 19 Apr 2012 at 4:41