ANTLR笔记3 - ANTLRWorks

安装配置
需要JRE或者JDK
下载ANTLRWorks: http://www.antlr.org/works/index.html
查看DFA需要使用Graphviz，下载安装: http://www.graphviz.org/
运行antlrworks-1.1.7.jar，在菜单File -> Preferences中设置DOT path为Graphviz安装路径"bin"dot.exe。这里还可以设置ANTLR的临时工作目录、global options，Java的CLASSPATH、javac路径等。

编辑
打开文章后面给出的Expr.g语法文件。
1. Syntax Diagram。选择一个语法规则，在Syntax Diagram窗口可以看到语法图，例如stat:
   
这样可以了解ANTLR是如何解析语法描述的，例如ANTLR笔记2中提到的expr: PLUS expr | INT;，语法图如下，这样就不会理解为expr: PLUS (expr | INT);这种效果。
   
勾选Syntax Diagram右下角的NFA可以查看NFA，例如stat:

2. DFA。菜单Grammar -> Show Tokens DFA可以查看语法的DFA，例如官方网站的截图:
   
3. 一些不错的编辑操作。
a.) 查看语法规则的使用状况。选择某个语法规则，Alt+F7。
b.) 快速定位语法规则。Ctrl+Shift+B。

解释
在Interpreter窗口输入2+3*4，并加上一个回车，选择prog语法规则，点击运行按钮，分析结果语法树如下:
   

调试
Ctrl+D调出调试窗口，文本输入2+3*4，并加上一个回车，Start Rule选择prog，确定。然后就可以单步调试ANTLR语法解析过程，可以看到每个步骤当前执行的一些信息，例如输入字符、分析结果语法树、堆栈情况等。
ANTLR只能调试Java的，C#的调试参考http://www.antlr.org/wiki/display/ANTLR3/Antlr+3+CSharp+Target，我试了一下没有成功。

附示例语法文件Expr.g

grammar Expr;

@header {
package test;
import java.util.HashMap;
}

@lexer::header {package test;}

@members {
/** Map variable name to Integer object holding value */
HashMap memory = new HashMap();
}

prog:   stat+ ;
                
stat:   expr NEWLINE {System.out.println($expr.value);}
    |   ID '=' expr NEWLINE
        {memory.put($ID.text, new Integer($expr.value));}
    |   NEWLINE
    ;

expr returns [int value]
    :   e=multExpr {$value = $e.value;}
        (   '+' e=multExpr {$value += $e.value;}
        |   '-' e=multExpr {$value -= $e.value;}
        )*
    ;
    
multExpr returns [int value]
    :   e=atom {$value = $e.value;} ('*' e=atom {$value *= $e.value;})*
    ;

atom returns [int value]
    :   INT {$value = Integer.parseInt($INT.text);}
    |   ID
        {
        Integer v = (Integer)memory.get($ID.text);
        if ( v!=null ) $value = v.intValue();
        else System.err.println("#ff0000 variable "+$ID.text);
        }
    |   '(' e=expr ')' {$value = $e.value;}
    ;

ID :   ('a'..'z'|'A'..'Z')+ ;
INT :   '0'..'9'+ ;
NEWLINE:'"r'? '"n' ;
WS  :   (' '|'"t')+ {skip();} ;