TINY扩充语言的语法分析.docVIP

需求分析

程序功能：

TINY扩充语言的语法分析

扩充的语法规那么：

实现while、dowhile、for语句和求余计算式子。

界面要求：

采用MFC界面实现。提供一个源程序的编辑界面，以让用户输入源程序〔可保存、翻开源程序〕，可由用户选择是否生成语法树，并可查看所生成的语法树。

概要设计

具体文法规那么设计：

(1)While-stmt--whileexpdostmt-sequenceendwhile

(2)Dowhile-stmt--dostmt-sequencewhileexp

(3)For-stmt--foridentifier:=simple-expto|downtosimple-expdostmt-sequenceenddo

to步长递增1,downto步长递减1

在课本附录B代码的根底上进行以上文法的扩充。

详细设计

扩充文法while、dowhile、for语句的语法图：

更改变量名

因为附录B代码中的变量TokenType和ERROR在MFC中已经预先被使用，所以将它们改名为TokenType2和ERROR2.

修改typedefenum{}TokenType2

增加保存字： WHILE、DO、TO、DOWNTO、FOR、ENDDO、ENDWHILE

增加求余运算符：MOD

修改typedefenum{}StmtKind

增加语句类型：WhileK、DoWhileK、ForK

修改staticstruct

{char*str;

TokenType2tok;

}reservedWords[MAXRESERVED]={}

增加保存字关联字符{{while,WHILE},{endwhile,ENDWHILE},

{do,DO},{to,TO},{downto,DOWNTO},{for,FOR},{enddo,ENDDO}};

修改TreeNode*stmt_sequence(void){}函数

增加stmt_sequence文法的follow集：

(token!=ENDWHILE)(token!=WHILE)(token!=ENDDO)

在parse.c文件中添加以下文法：

TreeNode*while_stmt(void)//扩充的while语句文法

{TreeNode*t=newStmtNode(WhileK);

match(WHILE);

if(t!=NULL)t-child[0]=exp();

match(DO);

if(t!=NULL)t-child[1]=stmt_sequence();

match(ENDWHILE);

returnt;

}

TreeNode*dowhile_stmt(void)//扩充的dowhile语句文法

{TreeNode*t=newStmtNode(DoWhileK);

match(DO);

if(t!=NULL)t-child[0]=stmt_sequence();

match(WHILE);

if(t!=NULL)t-child[1]=exp();

returnt;

}

TreeNode*for_stmt(void)//扩充的for语句文法

{TreeNode*t=newStmtNode(ForK);

match(FOR);

if((t!=NULL)(token==ID))

t-=copyString(tokenString);

match(ID);

match(ASSIGN);

if(t!=NULL)t-child[0]=simple_exp();

if(token==TO)//步长递增1

match(TO);

if(token==DOWNTO)//步长递减1

match(DOWNTO);

if(t!=NULL)

t-child[1]=simple_exp();

match(DO);

if(t!=NULL)

t-child[2]=stmt_sequence();

match(ENDDO);

returnt;

}

MFC实现细节：

本程序在建立MFC工程时选用单文档的应用程序类型，最后的基类选择CEditView。这样建立起来的工程文件就提供了一个可编辑的输入界面。

生成语法树和查看语法树在MFC中的实现：

voidCMainFrame::OnTree()//生成语法树按钮

{

TreeNode*syntaxTre