【Antlr】Antlr 验证程序中符号的使用

1.概述

上一篇文章：【Antlr】Antlr 生成调用图

本文出自：antlr权威指南 并且进行补充。

在为类似Cymbol的编程语言编写解释器、编译器或者翻译器之前，我们需要确保Cymbol程序中使用的符号 （标识符） 用法正确。

在本节中，我们计划编写一个能做出以下校验的Cymbol验证器：

• 引用的变量必须有可见的（在作用域中）定义
• 引用的函数必须有定义（函数可以以任何 顺序出现，即函数定义提升）
• 变量不可用作函数
• 函数不可用作变量

要满足以上全部条件，我们需要做一点工作，因此理解本例可能会花费比其他例子更多的时间。不过，我们的收获将为编写真实的语言处理工具奠定坚实基础。

让我们首先来看一些包含不同标识符引用的样例代码，其中一些一些标识符是无效的。