Circular inherited attributes

Create issue
Issue #243 invalid
Jesper Öqvist created an issue

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();

Comments (2)

  1. Log in to comment