- changed component to attribute checking
- edited description
Inherited equation for NTA child
Issue #79
resolved
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
Comments (5)
-
reporter -
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.
-
reporter - edited description
Fixed error in description
-
reporter - edited description
Removed incorrect special case.
-
reporter - changed status to resolved
Allow inherited equations on NTA children
Allow inherited equations on children that only occur as pure attribute NTAs.
fixes
#79(bitbucket)→ <<cset 493d35b771a0>>
- Log in to comment
Copied old issue description from Trac