cmm编译器-cmm 语言语法分析-javacc实现

Cmm的文法:

//程序开始

programàstmt-sequence

stmt-sequenceà statement | statement; stmt-squence

//各种语句的文法

statementàif-stmt | while-stmt | read-stmt | write-stmt|assign-stmt| declare-stmt

//LL1

Sàstmt

Stmtàif-stmt morestmt|while-stmt morestmt |read-stmt morestmt |write-stmt morestmt |assign-stmt morestmt |declare-stmt morestmt

Morestmtà$ |stmt

T: ε

//变量数组声明语句文法

declare-stmtà(int | real |int[] |real[] ) indentifier |(int | real |int[] |real[] )  identifier indetifierMuti;

indetifierMutià,identifier| ,identifier idetifierMuti

//LL1

Declare-stmtàint more identifier more-declare| real more identifier more-declare 

more-->ε | []

More-declareà; | ,identifier more-declare

//if语句

if-stmtàif ( exp ) {stmt-sequence} ­

| if ( exp ) {stmt-sequence} elseifelse-stmt

elseifelse-stmtà else if ( exp ) {stmt-sequence} elseifelse-stmt | else  {stmt-sequence}

LL1

If-stmtàif ( exp ) { stmt } more-ifelse

more-ifelse àε | else else-stmt

else-stmtàif { stmt } |{ stmt }

//while语句

while-stmtàwhile (exp){stmt-sequence}

LL1

While-stmtàwhile(exp){stmt}

//read语句

read-stmtàread identifier

LL1

Read-stmtàread identifier ;

//write语句

write-stmtàwrite exp

LL1

Write-stmt àwrite exp ;

 

//赋值语句

assign-stmtàidentifier = exp|identifier[number]=exp

LL1

Assign-stmtàidentifier other-assign

Other-assignà=exp; | [number]=exp;

//表达式

expàsimple-exp comparison-op simple-exp | simple-exp

LL1

Expàsimple-exp more-exp

More-expàε|comparison-op simple-exp

 

//比较符

comparison-opà< | == | <>

LL1

comparison-opà< | == | <>

 

//加减操作表达式

simple-expàsimple-exp add-op term| term

LL1

Simple-expàterm more-term

More-termàε | add-op term more-term

//运算符

add-opà+|-

LL1

Add-opà+|-

//乘除操作表达式

termàterm mul-op factor | factor

LL1

Termàfactor more-factor

More-factoràε | mul-op factor more-factor

//乘除运算符

mul-opà*|/

LL1

mul-opà*|/

//因子

factorànumber|identifier|(exp)| identifier[number]

LL1

Factorànumber|identifier more-identifier|(exp)

more-identifieràε | [number]

 number → number-real | number-int

 

 

 

 

 

测试列表

注明:测试类对于正确语法的cmm源程序输出” cmm源码语法分析成功”，更不会有任何的异常抛出。但是对于错误语法的cmm源程序，这个界面程序将告诉你“cmm源码语法分析失败”。

 

测试1

测试cmm源码：

int i; i=1;if(i==1){ read i;}else{read i;}

测试的Testeg1.java程序部分如下：

String str ="int i; " +                                   

           "i=1;if(i==1)" +                                

           "{ read i;}" +                                  

           "else" +                                         

           "{read i;}";                                    

      eg1 parser = new eg1(new StringReader(str));      

   parser.program(); 

  

 

测试结果：通过，无任何异常抛出！

测试2：     

测试cmm源码：

/*测试数组和变量声明*/int i_3[],i;i=1;/**测试while*/while(i==2){i=2;}/*测试表达式*/i=2*(3+4);

测试的Testeg1.java部分代码如下

String str ="/**测试数组" +"*/"+

         "int i_3[],i;i=1;" +

         "/**测试while*/ " +

         "while(i==2){i=2;}" +

         "i=2*(3+4);"; 

     eg1 parser = new eg1(new StringReader(str));

     parser.program(); 

 

 

测试结果：通过，无任何异常抛出！

测试2：     

测试cmm源码：

//测试数组的赋值以及数组参与运算

i_3[2]=0;i=i_3[1]+2;

测试结果：通过，无任何异常抛出！

 

 Javacc 语法分析

遇到的问题：

问题1

第一次写的cmm语法含有左递归：而Javacc不支持左递归，于是把左递归换成右递归，比如：

stmt-sequenceà stmt-squence ; statement | statement

改成如下形式：

stmt-sequenceà statement | statement; stmt-squence 对应javacc中的写法如下：

void stmt_sequence() : {}

{

   statement()

   (

     < SEMICOLON > stmt_sequence()

)*

 

}

但是又出现了新的警告信息，如下描述：

Warning: Choice conflict in (...)* construct

原因不是很明白，但是通过交流只知道怎么解决这个问题，

在Javacc的options设置中添加如下语句：

LOOKAHEAD =2 ; 就解决了问题。

 

问题2：

测试如下cmm源码时

/**测试数组*/int i_3[],i;i=1;/**测试while*/while(i==2){i=2;}i=2*(3+4);

出现如下错误：

Exception in thread "main" exercise.grammer.ParseException: Encountered " ";" "; "" at line 1, column 21.

Was expecting:

"," ...

根据错误提示为：期望的是逗号。问题在声明语句；查看declare_stmt 的代码

void declare_stmt():{}

{

  < INT > < IDENTIFIER >

  (

    <LBRACKET ><RBRACKET >

  )?

  (

    idetifierMutil()

  )?<SEMICOLON >

 

|   < REAL >< IDENTIFIER >

(

  <LBRACKET ><RBRACKET >

)?

(

  idetifierMutil()

)?<SEMICOLON >

 

}

void idetifierMutil():{}

{

  < COMMA > <IDENTIFIER >

  (

    <LBRACKET ><RBRACKET >

  )?idetifierMutil()

}

将其更改为如下：

void declare_stmt():{}

{

 

  < INT > < IDENTIFIER >

  (

    <LBRACKET ><RBRACKET >

  )?

  (

    idetifierMutil()

  )*<SEMICOLON >

 

|   < REAL >< IDENTIFIER >

(

  <LBRACKET ><RBRACKET >

)?

(

  idetifierMutil()

)*<SEMICOLON >

 

}

void idetifierMutil():{}

{

  < COMMA > <IDENTIFIER >

  (

    <LBRACKET ><RBRACKET >

  )?

}

于是把声明变量和声明数组的问题解决！

 

问题3：

在测试数组过程中.

测试cmm代码: i_3[2]=0;i=i_3[1]+2;

抛出如下异常：

Exception in thread "main" exercise.grammer.ParseException: Encountered " "[" "[ "" at line 1, column 15.

Was expecting:

    ";" ...

在i_3[1]这个位置出错了。原因在数组参与运算

Cmm文法

factorànumber|identifier|(exp)| identifier[number]

对应的javacc代码修改为如下：

void factor():{}

{

  < INT_LITERAL >

| < REAL_LITERAL>

| < IDENTIFIER >

(

  < LBRACKET > < INT_LITERAL > < RBRACKET >

)?

| < LPAREN > exp() < RPAREN >

 

}

 

重新测试，通过.

 

加上javacc源码：

 

/**
 * JavaCC file
 */
 
options {
  JDK_VERSION = "1.5";
  LOOKAHEAD = 2 ;
  FORCE_LA_CHECK =false;
}
PARSER_BEGIN(eg1)
package exercise.grammer;

public class eg1 {
 public static void main(String args[]) throws ParseException {
    eg1 parser = new eg1(System.in);
     try {
        switch (eg1.program()) {
        case 0:
          System.out.println("OK.");
          break;
        default:
          System.out.println("Goodbye.");
          break;
    }
      } catch (Exception e) {
        System.out.println("NOK.");
        System.out.println(e.getMessage());
        eg1.ReInit(System.in);
      } catch (Error e) {
        System.out.println("Oops.");
        System.out.println(e.getMessage());
       
      }
  
  }
}
PARSER_END(eg1)
SKIP :
{
 
  " "
| "\t"
| "\n"
| "\r"
| "\f"

}
/* COMMENT */
MORE :
{
  "//" : IN_SINGLE_LINE_COMMENT
|
  <"/**" ~["/"]> { input_stream.backup(1); } : IN_FORMAL_COMMENT
|
  "/*" : IN_MULTI_LINE_COMMENT
}

<IN_SINGLE_LINE_COMMENT>
SPECIAL_TOKEN :
{
  <SINGLE_LINE_COMMENT: "\n" | "\r" | "\r\n" > : DEFAULT
}

<IN_FORMAL_COMMENT>
SPECIAL_TOKEN :
{
  <FORMAL_COMMENT: "*/" > : DEFAULT
}

<IN_MULTI_LINE_COMMENT>
SPEC