Project 4 CMSC 430 源码

Project-4--CMSC-430编译器理论与设计 CMSC 430项目4 第四个项目涉及通过添加对语义错误的检查来修改附加编译器的语义分析器。该语言的静态语义规则如下:变量和参数名称具有局部范围。范围规则要求声明所有名称,并禁止同一范围内的重复名称。对应规则的类型如下: 布尔表达式不能与算术或关系运算符一起使用。 算术表达式不能与逻辑运算符一起使用。 约简只能包含数字类型。 只有整数操作数可以与其余运算符一起使用。 if语句中的两个语句必须在类型上匹配。不执行强制。 case语句中的所有语句必须在类型上匹配。不执行强制。 if表达式的类型必须为布尔值。 case表达式的类型必须为Integer 当将实数值强制为整数时,将发生变窄的变量初始化或函数返回。允许加宽。 在变量初始化或函数返回中,布尔类型不能与数字类型混合。 从整数到实数的类型强制在算术