MiniJava的语法

MiniJava语言参考。引用自Modern Compiler Implementation in Java, Second Edition，Appendix A, Page 484-486。

下面是MiniJava语法的EBNF。粗体蓝色的表示terminals，斜体的是non-terminals。星号（*）表示出现0或多次。

引用

Program → MainClass ClassDecl*
MainClass → class id { public static void main(String[ ] id) { Statement* } }
ClassDecl → class id { VarDecl* MethodDecl* }
_________ → class id extends id { VarDecl* MethodDecl* }
VarDecl → Type id ;
MethodDecl → public Type id ( FormalList ) { VarDecl* Statement* return Exp; }
FormalList → Type id FormalRest*
_________ →
FormalRest → , Type id
Type → int[]
____ → boolean
____ → int
____ → id
Statement → { Statement* }
_________ → if ( Exp ) Statement else Statement
_________ → while ( Exp ) Statement
_________ → System.out.println(Exp);
_________ → id = Exp;
_________ → id[Exp] = Exp;
Exp → Exp op Exp
___ → Exp [Exp]
___ → Exp .length
___ → Exp . id (ExpList)
___ → INTEGER_LITERAL
___ → true
___ → false
___ → id
___ → this
___ → new int[Exp]
___ → new id( )
___ → !Exp
___ → (Exp)
ExpList → Exp ExpRest*
_______ →
ExpRest → , Exp

（注释：op表示二元运算符，可以是： && < + - *的任意一个；
.length只能作用于int[]类型的变量上。）

本来是想找找比较简单的实例，看看别人是如何实现类（class）的作用域的。然而这MiniJava真作 弊，居然强制要求变量声明在方法声明之前，于是我遇到的问题在一定程度上给避开了。Hmm……我再想想看怎么办好……

评论

4 楼 RednaxelaFX 2008-04-28  

dohkoos 写道

class-scope和这个词法、语法分析没有什么关系吧！应该是句法阶段才处理的

嗯，scoping是语义分析的部分而不是词法或语法分析的部分。不过syntax-directed translation的方式会在grammar中嵌入语义相关的action，这里会使语法文件牵扯到一点语义的处理问题。

例如说

stmt : block
     | assignStmt
     ;

block : '{' 
        stmt*
        '}'
      ;

很可能会在看到'{'之后去嵌入{ $env = $env.push(new Environment($env)); }之类的，然后在看到'}'的时候pop掉那个scope。
或者即便是先生成AST，然后用tree walker去做语义分析，也可以在tree grammar里嵌入这些action。所以想看看别人是怎么做（嵌入的action）的。并不是跟语法有直接的关系咯。

我说MiniJava偷懒主要是限制了成员变量声明要在方法声明之前，而方法体里的语句也要在局部变量声明之后；这样使得对成员变量的访问问题比较容易解决，而方法对别的方法的引用则没有解决（仍然可以引用在自己之后出现的方法）。

3 楼 dohkoos 2008-04-27  

class-scope和这个词法、语法分析没有什么关系吧！应该是句法阶段才处理的

http://www.dohkoos.name

2 楼 RednaxelaFX 2008-04-23  

lwwin 写道

OP .... 就是说没有二元操作符优先顺序了……

不是，这个是可以设置的。看具体的解析器生成器的规格，或者自己手写解析器的话更容易控制。
yacc-like的解析器生成器都可以指定运算符的优先级……这个不是问题。

我遇到的问题是class-scope的问题。一般的scope都是declare before use，但class-scope却意味着class内的declaration在整个class-scope内都有效（即使在代码上声明在使用的后面也没关系），这问题挺麻烦的，我想看看别人是怎么实现的。不然按我偷懒的办法这效率就……T T

1 楼 lwwin 2008-04-23  

OP .... 就是说没有二元操作符优先顺序了……