Consider a program:

int main() {

int x ;

bool y ;

int z ;

z = x+y;

}

Using the CLite Grammar, but assuming bool is a java-like Boolean type.

Part I: Create a parse tree for the previous program

Part II: Annotate your parse tree with attributes ( as in an attribute grammar) that allows detection of the error in the assignment statement, which adds a bool and int value.