TheavaCCTutorial附源程序(转).docVIP

JavaCC 简介 JavaCC 与解析器生成器 JavaCC是一个解析器生成器和词法分析生成器。解析器和词法分析器用于处理输入的字符串。编译器和解释器被用来和解析器/词法分析器一起处理文件中的程序。但是解析器/词法分析器在实际中有更加广泛的应用，正如我在本文中希望介绍的一样。 那么，什么是解析器/词法分析器？词法分析器可以吧一个字符串分离成若干叫做“Token”的子字串，并同时对这些Token进行分类。考虑下面的程序： int main(){? ? ? ? return 0;} 一个C语言的词法分析器将会把这段代码分离成下列子串： int \s main ( ) \s { \n \t return \s 0 \s ; \n } \n \s 同时，它会对这些子串分类，在本例中分类结果是： KWINT SPACE ID OPAR CPAR SPACE OBRACE SPACE SPACE KWRETURN SPACE OCTALCONST SPACE SEMCOLON SPACE CBRACE SPACE EOF EOF表示文件（输入）结束，这些Token串将会被送到解析器，在C语言中，解析器并不需要所有这些Token，本例中的分类为SPACE的token就被忽略了。解析器将会分析这些Token串来决定程序的结构。通常在编译器中，解析器输出的是程序的树状结构。这个树会被编译器中的代码生成模块处理。考虑程序中的一个语句： F=32.0+9.0*C/5.0 解析器将分析这个语句并根据规则生产下面的树： MISSING PIC 如果输入不符合目标词法和词法时，词法分析器和解析器同时也负责生产错误信息。 JavaCC本身并不是一个词法分析器或者解析器而是一个代码生成器，这意味着它可以根据输入的语言定义输出一个词法分析器和解析器。JavaCC输出的代码是合法的可编译Java代码。 解析器和词法分析器本身就是一个冗长而复杂的组件，手工编写一个这样的程序需要仔细考虑各条件的相互作用，例如分析C语言时，处理整数的代码不可能和处理浮点的代码相互独立，因为整数和浮点数的开头都是数字。而使用像JavaCC这样的分析器生成器时处理整数的规则和处理浮点数的规则是分开书写的，而两者之间的共享代码在代码生成是被自动添加了。这就增强了程序的模块性，同时也意味着定义文件较手工编写的Java代码来说更加易于编写，阅读和更改。通过JavaCC这样的解析器生成器，程序员们能节省更多时间，同时也能增加编写的软件的质量。 第一个例子——我们来做加法吧！ 作为第一个例子，我们将计算一连串整数的加法，请看下面的例子： 99+42+0+15 我们忽略所有数字和符号间的空格和换行符，除此之外，我们不接受除了10个数字和加号之外的其他字符。 这一节的剩下的部分中的代码都是文件adder.jj的一部分。这个文件包含了符合JavaCC词法的解析器/词法分析器的定义，并且将作为JavaCC程序的输入文件。 选项和类定义 这个文件的第一部分是： /*adder.jj 吧一堆数字相加*/options{? ? ? ? STATIC = false;}PARSER_BEGIN(Adder)public class Adder{? ? ? ? public static void main(String[] args) throws ParseException, TokenMgrError{//作者这里没有加public,这会在某些情况下产生错误（译注）? ? ? ? ? ? ? ? Adder parser = new Adder(System.in);? ? ? ? ? ? ? ? parser.Start();//方法名竟然是大写开头的，真不地道（翻译吐槽）? ? ? ? }}PARSER_END(Adder) 开头部分的options节说明了除了我们明确指定的STATIC选项，所有其他的JavaCC选项为都默认值。关于JavaCC选项的详细信息，请参考JavaCC文档。接下来我们定义了一个名为Adder的Java类，但是我们并没有写出这个类的全部代码，JavaCC会在处理时自动生成其他的代码。main方法声明抛出的ParserException和TokenMgrError有可能在执行这些代码时被抛出。 指定一个词法解析器吧！ 我们待会儿在看那个main函数，现在我们首先来定义一个词法分析器。在这个简单的例子中，词法分析器的定义只有下面4行： SKIP:{“ “}SKIP:{“\n”|”\r”|”\r\n”}TOKEN:{ PLUS : “+”}TOKEN:{ NUMBER : ([“0”-“9”])+ } 第一行说明了空格是一个token,但