实验二 语法分析
一、实验目的：
设计MiniC的上下文无关文法，利用JavaCC生成调试递归下降分析程序，以
便对任意输入的符号串进行分析。本次实验的目的主要是加深对递归下降分析法的理解。
二、语法分析器:
按照MiniC语言的语法规则检查词法分析输出的记号流是否符合这些规则，并根据这些规则所体现出的语言中的各种语法结构的层次性。把规则写入到JavaCC的 .jjt文件中，可以生成树状的层次结构。
三、JavaCC:
在JavaCC的文法规范文件中，不仅可以描述语言的语法规范，而且可以描述词法规范，本次实习中，利用JavaCC以MiniC语言构造一个不含语义分析的编译器前端，包括词法分析、语法分析，并要考虑语法分析中的错误恢复问题。通过使用JavaCC, 可以体会LL(k)文法的编写特点，掌握编写JavaCC文法规范文件的方法。
内容：利用JavaCC生成一个MiniC的语法分析器； 要求：
1. 用流的形式读入要分析的C语言程序，或者通过命令行输入源程序。 2. 具有错误检查的能力，如果有能力可以输出错误所在的行号，并简单提示 3. 如果输入的源程序符合MiniC的语法规范，输出该程序的层次结构的语法树
本次实习仅完成以下语法范畴的语法分析：
1. 写出一个源程序中仅包含if…else, else语句的语法分析。 要求能分析其自身嵌套. 其他语句可简化处理
2. 写出一个源程序中仅包含for语句的语法分析。 要求能分析其自身嵌套，其他语句可简化处理
3. 写出一个源程序中仅包含while语句的语法分析。 要求能分析其自身嵌套。其他语句可简化处理
4. 写出一个源程序中包含上面的12或者13或者23或者123语句的语法分析。
要求能分析除其自身嵌套外，还包括相互嵌套。其他语句可简化处理
具体实施步骤如下：
1.把MiniC转换为文法如下
<程序〉→ main()〈语句块〉 〈语句块〉→{〈语句串〉}
〈语句串〉→〈语句〉；〈语句串〉|〈语句〉；
〈语句〉→〈赋值语句〉|〈条件语句〉|〈循环语句〉 〈赋值语句〉→ ID =〈表达式〉;
〈条件语句〉→ if〈条件〉〈语句块〉 〈循环语句〉→ while〈条件〉〈语句块〉
〈条件〉→（〈表达式〉〈关系符〉〈表达式〉）
〈表达式〉→〈表达式〉〈运算符〉〈表达式〉|（〈表达式〉）|ID|NUM 〈运算符〉→+|-|*|/
〈关系符〉→＜|＜＝|＞|＞＝|＝|！＞
2．在eclipse环境下完成JavaCC的插件安装后，写一个JavaCC文法规范文件(扩展名为jj) 3.完成的功能包括词法分析，语法分析(输出语法树),能够读文件，也能够把输出的结果保存文件中，可以把树的层次结果输出到文件中。 测试文件test.c void main() {
while(3>4){
if(4<=5) {X=4}
else{X=5} } } 运行结果
Reading from standard input...
Enter c programe only main() with only while();\mian(){while(3<5)};\ Call: Procedure
Consumed token: <\ Consumed token: <\ Consumed token: <\ Consumed token: <\ Consumed token: <\ Call: WhileStatement
Consumed token: <\ Consumed token: <\ Call: Condition Call: expression Call: term Call: unary
Consumed token: <
Return: unary Return: term Return: expression
Consumed token: <\ Call: expression Call: term Call: unary
Consumed token: <
Consumed token: <\ Consumed token: <\ Call: ifStatement
Consumed token: <\ Consumed token: <\ Call: Condition Call: expression Call: term Call: unary
Consumed token: <
Consumed token: <\ Call: expression Call: term Call: unary
Consumed token: <
Consumed token: <\ Consumed token: <\ Call: assign
Consumed token: <
Consumed token: <
Consumed token: <\ Consumed token: <\ Consumed token: <\
Call: assign
Consumed token: <
Consumed token: <
Consumed token: <\ Return: ifStatement
Consumed token: <\ Return: WhileStatement
Consumed token: <\ Return: Procedure
Consumed token: <
* JavaCC file */
options {
JDK_VERSION = \; DEBUG_PARSER = true;// }
PARSER_BEGIN(whileParse)
import java.io.FileInputStream; import java.io.FileNotFoundException; public class whileParse {
public static void main(String args[]) throws ParseException { // whileParse parser = new whileParse(System.in);
FileInputStream fileStream;
try {
fileStream = new FileInputStream(\); whileParse parser = new whileParse(fileStream); System.out.println(\);
System.out.print(\while();\\\);
System.out.print(\); try {
switch (parser.start()) {
case 0:
System.out.println(\); break; case 1:
System.out.println(\); break; default: break; }
} catch (Exception e) { System.out.println(\);
System.out.println(e.getMessage()); parser.ReInit(System.in); } catch (Error e) {
System.out.println(\);
System.out.println(e.getMessage()); }
} catch (FileNotFoundException e1) { }
// TODO Auto-generated catch block e1.printStackTrace();
} }
PARSER_END(whileParse) SKIP : {
\ | \ | \ | \ }
TOKEN : /* OPERATORS */ {
< PLUS: \ > | < MINUS: \ > | < MULTIPLY: \ > | < DIVIDE: \ >