静态语义分析

• 静态类型检查
• 名字作用域分析
• 控制流检查
• 唯一性检查

借助翻译模式描述类型检查

声明

表达式

语句

break & continue