Report missing inherited equations for synthesized NTAs

Issue #217 resolved
Jesper Öqvist
created an issue

Currently the missing inherited equation analysis ignores synthesized NTAs (NTAs not declared in the grammar files). Reporting missing inherited equations for these types of NTAs would be useful.

Example:

syn nta B A.b() = new B();
inh X B.x();
// Warning: no equation for B as child b() of A

Comments (7)

  1. Jesper Öqvist reporter

    Improve synthesized NTA handling wrt inh attrs

    Pure synthesized NTAs are now treated more like child NTAs with respect to inherited attributes.

    A node type only used in synthesized NTA equations should no longer be treated as a root node, and warnings for missing inherited equations are reported for synthesized NTA children.

    fixes #224 (bitbucket) fixes #217 (bitbucket)

    → <<cset 219ce5df9e04>>

  2. Jesper Öqvist reporter

    Improve synthesized NTA handling wrt inh attrs

    Pure synthesized NTAs are now treated more like child NTAs with respect to inherited attributes.

    A node type only used in synthesized NTA equations should no longer be treated as a root node, and warnings for missing inherited equations are reported for synthesized NTA children.

    fixes #224 and #217 (bitbucket)

    → <<cset 4aec461916dd>>

  3. Jesper Öqvist reporter

    Improve synthesized NTA handling wrt inh attrs

    Pure synthesized NTAs are now treated more like child NTAs with respect to inherited attributes.

    A node type only used in synthesized NTA equations should no longer be treated as a root node, and warnings for missing inherited equations are reported for synthesized NTA children.

    fixes #224 fixes #217

    → <<cset f0af9897e5b2>>

  4. Jesper Öqvist reporter

    Improve synthesized NTA handling wrt inh attrs

    Pure synthesized NTAs are now treated more like child NTAs with respect to inherited attributes.

    A node type only used in synthesized NTA equations should no longer be treated as a root node, and warnings for missing inherited equations are reported for synthesized NTA children.

    fixes #224 (bitbucket) fixes #217 (bitbucket)

    → <<cset 3dd5b3f12489>>

  5. Log in to comment