Report missing inherited equations for synthesized NTAs

[Jesper Öqvist]

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

[Jesper Mattsson]

See also #224

[Jesper Öqvist]

Fixed by commit 3dd5b3f

[Jesper Öqvist]

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>>

[Jesper Öqvist]

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>>

[Jesper Öqvist]

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>>

[Jesper Öqvist]

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>>