Machine-translated by Google. Questions are authored in English.
Top

Discussion

In the declaration grammar D goes to T L, passing the type from T to L uses

  • A.no attribute at all
  • B.an inherited attribute on L set from the synthesised type of T
  • C.a synthesised attribute on L read by the rule for D
  • D.a synthesised attribute on T computed from those of L

Answer: B

Correct answer: an inherited attribute on L set from the synthesised type of T

The type is determined by T and needed by every name in L, so it must travel downward - an inherited attribute. Note that both directions appear in one rule: the type is first synthesised up from T, then inherited down into L. This is the standard example of an L-attributed definition.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.