Inherited equation for NTA child

[Jesper Öqvist]

Click here to view original trac ticket.

It is not possible to declare an equation for an inherited attribute on an NTA child if the NTA is declared as a pure attribute.

A;
B;

aspect Test {
  syn nta B A.b() = new B();
  inh int B.value();
  eq A.b().value() = -1;
}

JastAdd reports:

Error at Test.jrag:3: inherited attribute value defined on root node B

[Jesper Öqvist]

Copied old issue description from Trac

[Niklas Fors]

Is this an error?

"syn B A.b() = new B();" declares a reference attribute, not an NTA.

For this simple example, it would be possible to infer that b() should be an NTA, due to the new statement. But this is not possible in the general case.

[Jesper Öqvist]

Fixed error in description

[Jesper Öqvist]

Removed incorrect special case.

[Jesper Öqvist]

Allow inherited equations on NTA children

Allow inherited equations on children that only occur as pure attribute NTAs.

fixes #79 (bitbucket)

→ <<cset 493d35b771a0>>