编译原理实习_JavaCC

.jjt文件的方法声明（部分）
2

JavaCC所生成的类(jjt)
& SimpleNode.java:语法树节点的接口和实现
Node.java
/*AAA的start()会返回
语法树根节点的引用*/
SimpleNode n = AAA.Start();
/* SimpleNode的dump()可以输出语法树*/

注意：在1处添加的语义子程序往往用来实例化变量， 这些变量在语法分析过程中被使用；
String MultiplicativeExpression() : // 乘除表达式，注意返回值类型 { String first; String middle; String newTemp; Token op; } { first = UnaryExpression() // first是返回的字符串 { newTemp = first; } ( ( 对于之前的方法添加 op = "*" // op是Token对象 了语义子程序。 | op = "/" | op = "%" ) middle = UnaryExpression() // middle是返回的字符串 { newTemp = variableNameGenerator.genVariableName(); QTInfo qt = new QTInfo(op.image, first, middle, newTemp); qtTable.addQTInfo(qt); } )* { return newTemp; //返回临时变量字符串 “T1”，“T2”.. } }
1
JavaCC概述
JavaCC是一个词法分析器和语法分析器的生成器
MiniC词法规则+语法规则
JavaCC
MiniC源代码
词法分析 “int” “main” “(” “)” ” {“ “return” “0” “;” “}” 语法分析 函数
int main() { return 0 ; }
MiniC词法分析器 (TokenManager) MiniC语法分析器 (Parser) 类型
5

语法规则注意事项
语法部分决定了编译器的功能是否强大。

文法中的每个非终结符对应一个函数，函数调用表示非终结符之
间的组成关系。

JavaCC默认生成的“AAA.jjt”文件是一个简单的表达式分析器。

能够表达带括号的五则（+、-、*、/、%）混合运算； 优先级： （） > *、/、% > +、-
void main() { switch(ts) { case 0: a =23; break; case 1: switch(lts) {case 'a': a1 = 6; break; default: a2 = 9; } case 3: d = 34; default: e = 34; } }
例如：“a+b*3;”、“a*(b-d % 5);”是合法的句子。
5
语法规则注意事项
SimpleNode Start() : {} { Expression() ";" { return jjtThis; } } void UnaryExpression() : {} { "(" Expression() ")" | Identifier() | Integer() }
public AAATokenManager(SimpleCharStream stream) {}
/*浏览下一个单词*/ public static Token getNextToken(){}
实习要求1：可以通过上面几个类和对应的方法得到 MiniC程序的单词序列。
2

JavaCC所生成的类
AAA.java & ParseException:语法分析器 & 语法异常类
7

四元式示例
JavaCC能够根据jjt文件得到语法分析所用的类，但是为了编写 一个合格的编译器，开发者需要额外添加一些类，以完成四元式 的翻译、符号表的存储、差错处理等。 建议将jjt的类放置到一个包内，开发者新建的类放到另一个包 内。 parser包

GUI包 用户类包
7
四元式示例（switch-case）
2

JavaCC所生成的类
jj文件和jjt文件都可以被JavaCC编译，生成词法和语法分析器。 .jj文件的语法声明部分
JavaCC编译
AAA是将要生成的语法分析器类名， 可以由用户设定。
2

JavaCC所生成的类
jj文件和jjt文件都可以被JavaCC编译，生成词法和语法分析器。 .jjt文件的语法声明部分
1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12: 13: 14: 15: (case, ts, (J, _, (=, 23, (Jbr, _, (case, ts, (J, _, (case, lts, (J, _, (=, 6, (Jbr, _, (=, 9, (case, ts, (J, _, (=, 34, (=, 34, 0, _, _, _, 1, _, 'a', _, _, _, _, 3, _, _, _, 3 5 a 16 7 12 9 11 a1 12 a2 14 15 d e ) ) ) ) ) ) ) ) ) ) ) ) ) ) )
程序→ 函数→ …
（函数）+ 类型 函数名 （参数列表） 函数体 此处的简易文法仅作参考！ 部分产生式需要修改才能使 用。
表达式
„ 常量→
→ …
整型常量 | 字符常量 | … < IDENTIFIER > ([整型常量])* 标识符→ Nhomakorabea5

语法规则注意事项
在语法分析阶段，可能会遇到冲突：(代码左侧有黄色小三角) /*原因： 二义性或者文法非LL(1) */ if E if E if e S if E S E S e S E S
2

JavaCC所生成的类
AAA.java & ParseException:语法分析器 & 语法异常类
AAA.java的方法来自于：
/*第一部分*/ 写在AAA类声明部分的方法 /*第二部分*/ 写在AAA语法结构部分的方法 /*第三部分*/ JavaCC添加的方法(部分)： AAA (InputStream) AAA (Reader) AAA (AAATokenManager) Token getNextToken() Token jj_consume_token(int)
int main
函数名
(参数)?
函数体 return语句
return 0
;
1

JavaCC概述
JavaCC 本身并不是一个词法分析器或是语法分析器，而是一个分析程序生成
器。它可以根据输入的语言规范输出一个词法和语法分析器。

如果被分析的源程序中有不符合语言规范的地方，词法和语法分析器会将错 误输出在Eclipse控制台。
n.dump("");
实习要求2：可以修改dump( )方法将语法树输出到文本。
3
如何组织jjt文件
/*第一部分*/ 语法分析器的属性设置 /*第二部分*/ 语法分析器的类声明
/*第三部分*/
词法规则声明 /*第四部分*/ 语法规则实现
4
词法规则注意事项（举例）
<DIGITS> | "." <DIGITS> | <DIGITS> "." <DIGITS>


Type → + | - | ε Unary → ( Expression ) | Type ( id| integer)
可以识别“a+ -b;”、“-a - -5;”等。
但仍然不能识别自增自减运算。
5

语法规则注意事项
在语法分析阶段需要注意的主要问题是：

明确编译器的主要功能。 根据C语言的语法和实习要求提取MiniC的文法。
tokenImage[5]
2

JavaCC所生成的类
AAATokenManager.java:词法分析器
2

JavaCC所生成的类
AAATokenManager.java:词法分析器
重要的成员变量和方法：
/*词法分析器所使用的输入流*/
static protected SimpleCharStream input_stream; /*词法分析器的构造方法*/
JavaCC编译
AAA是将要生成的语法分析器类名， 可以由用户设定。
2

JavaCC所生成的类
Token.java & AAATokenMgrError:单词 & 词法错误
2

JavaCC所生成的类
Token.java & AAATokenMgrError:单词 & 词法错误
2

JavaCC所生成的类
TOKEN:{< NUMBER:
>} TOKEN:{<#DIGITS: (["0"-"9"])+>} 在词法声明部分，以#开头的token只是在词法分析时使用，不 能作为语法分析的输入，也就是说，它相对词法分析是局部的 JavaCC中的语法表示吸收了UNIX中正规文法的一些记号： l [] ： 其中的内容是可选的 2 + ：前面的内容出现一次或多次 3 * : 前面的内容出现0次或多次 4 ? ：前面的内容出现0次或一次 5 | ： 前面或后面 6 ()： 改变运算的优先级，把其中的内容作为一个整体