Circular inherited attributes

[Jesper Öqvist]

JastAdd 2.1.13

There is currently no support for inherited circular attributes. This is problematic because in some cases it is useful to have circular inherited attributes. In ExtendJ for example the assignedAfter attribute depends on an assignedBefore attribute. They are mutually circular but assignedBefore is inherited.

Example of a circular inherited attribute specification syntax:

inh int B.a() circular [0];
eq A.getB() = b();

syn int A.b() circular [1] = getB().a();

[Jesper Öqvist]

This should work. Niklas found a test in jastadd-test for this (circular/test06).