Implementation of Semantic analysis (Type checking)
Contents of type1.l file %{ #include<stdio.h> #include<string.h> #include"y.tab.h" %} %% [a-zA-Z]+[a-zA-Z0-9]*"(" {strcpy(yylval.DataType,yytext);return function;} int|float|char {strcpy(yylval.DataType,yytext); return Type;} [a-zA-Z]+[a-zA-Z0-9]*"," {strcpy(yylval.DataType,yytext);return parameter;} [a-zA-Z]+[a-zA-Z0-9]*"){}" {strcpy(yylval.DataType,yytext);return functionbody; } ");" {strcpy(yylval.DataType,yytext);return functioncall;} [a-zA-Z]+[a-zA-Z0-9]* {strcpy(yylval.ID,yytext); return Name;} [0-9]+ {strcpy(yylval.DataType,"int"); return Type;} [0-9]+.[0-9]+ {strcpy(yylval.DataType,"float"); return Type;} "'"[a-zA-Z]+"'" {strcpy(yylval.DataType,"char"); return Type;} ";" return SC; "=" return EQ; "," return C; "\n" {} %% Contents of type1.y file %{ #include<stdio.h> #include...