JavaCC使用小结

jopen 12年前

JavaCC是一个很不错的词法、语法解析器的生成器,只需要编写规则就可以生成Java语言的词法、语法解析器(新版本的JavaCC还支持C/C++作为目标语言)。JavaCC相当与Yacc/Bison+Lex/Flex很类似。


JavaCC首页:

http://javacc.java.net/

在首页上下载的JavaCC是最新版的,使用方法和Bison一样,在命令提示符或者终端中执行、获得生成的结果。

也可已用javacc eclipse插件:

http://sourceforge.net/projects/eclipse-javacc/files/

下载插件、解压之后,把plugins和features目录下的文件分别拷贝到eclipse的相应目录中即可。

不论哪种方式,所需编写的规则都是一样的。

通过JavaCC自带的example和文档其实就可以上手了,下面就简单小结一下:

词法和语法规则都写在一个.jj的文件中。这个文件应该这样写:

1、开头:

options  {    JDK_VERSION = "1.5";    STATIC = false;  }

这个放在.jj文件的开头,JDK_VERSION是所生成代码适用的Jdk版本,1.5、1.6、1.7都可以,STATIC指示是否生成静态的解析器类,还有其他选项,参考文档。

2、主类

PARSER_BEGIN(Sparql)  package cn.edu.ruc.iir.sparql;  import cn.edu.ruc.iir.query.*;  import cn.edu.ruc.iir.query.model.*;  import cn.edu.ruc.iir.query.util.*;  import java.text.*;    public class Sparql  {    public static void main(String args []) throws ParseException    {      Sparql parser = new Sparql(System.in);      int res = 0;      while (true)      {        System.out.print("MyRDF >");        try        {          res = parser.one_query();          if (res == 0)          {}          else if (res == 1)          {            break;          }          else          {            System.out.println("Please correct your query.");          }        }        catch (Exception e)        {          System.out.println("NOK.");          System.out.println(e.getMessage());          parser.ReInit(System.in);        }        catch (Error e)        {          System.out.println("Oops.");          System.out.println(e.getMessage());          break;        }      }    }  }    PARSER_END(Sparql)

在PARSER_BEGIN和PARSER_END之间定义语法解析器的主类,这是整个解析程序的入口,里面主要有一些引用的包和类以及一个main方法(其他的方法由JavaCC生成)。由于上面把STATIC设为false了,所这这里需要创建一个parser对象,调用一次parser.one_query()就进行一条语句的解析并获得解析的结果。

3、定义词法规则

SKIP :  {    " "  | "\t"  | "\r"  | "\n"  }    TOKEN : /* OPERATORS */  {    < SELECT :      "select"    | "SELECT" >  | < WHERE :      "where"    | "WHERE" >  | < OBRACE : "{" >  | < CBARCE : "}" >  }    TOKEN :  {    < UNKNOWN : "?" < KNOWN > >  | < KNOWN : ([ "<", ">", "a"-"z", "A"-"Z", "0"-"9", ":", "/", "_", "-", "\"", "'", "~", "#" ])+ >  | < MISSEDP : "[" "]" >  | < EXIT :      "exit"    | "EXIT" >  }

这部分定义词法解析器的规则,SKIP定义要忽略的字符串,TOKEN定义要识别的字符串。注意,不是说先将输入中符合SKIP规则的都去掉再进行解析,那样的话是不科学的,正常的词法解析都不会那么干,实际是顺序处理输入串的过程中,通过“大嘴法”识别尽可能长的子串。如果词法规则有二义性,JavaCC会给出警告,一定不要忽略这些警告。

4、定义语法规则

JavaCC的语法单元形如这样:

Token subject() :  {    Token token = null;  }  {    token = < UNKNOWN >    {      return token;    }  | token = < KNOWN >    {      Token token1 = token;    }    (    "." token = < KNOWN >    {      token1.image += "."+ token.image;     }    )*    {      return token1;    }  }
开头是一个声明,包括返回值类型、规则名和一个冒号。对于这样一条语法规则,JavaCC就会在语法分析器类中生成一个同名的方法。紧接着的一对花括号中写一些变量声明。下一对花括号中写该规则的具体内容。

一个语法单元中有多个规则时,用|分开。每个规则都有一系列词法或语法单元组成,每个词法或者语法单元之后跟着一对花括号,里面写处理的代码

基本上就是这样了。

[引用请注明出处:http://blog.csdn.net/bhq2010/article/details/8763920]