Suppose you wanted to implement an attribute grammar to determine if all the types of an expression match. E.g., this is ok (1 + 2.0) but this is not (3 - "two"). What kind of attributes should be...

Detailed answer will be Upvoted

Extracted text: Suppose you wanted to implement an attribute grammar to determine if all the types of an expression match. E.g., this is ok (1 + 2.0) but this is not (3 - "two"). What kind of attributes should be used? Synthesized Impossible to do with either Both synthesized and inherited Inherited