`
RednaxelaFX
  • 浏览: 3052797 次
  • 性别: Icon_minigender_1
  • 来自: 海外
社区版块
存档分类
最新评论

ANTLR里迭代子规则的一个注意点

正则表达式RubyD语言PerlF# 
阅读更多
这几天在休假在家，有空的时候在用ANTLR 3.2来写D 2.0的语法。每次用ANTLR写比较大的语言的语法时都会碰到不少问题，这次也不例外；其中有一处虽然很快就解决了，但还是值得一记。

话说用ANTLR写语法最经常碰到的问题就是很多语言规范都是用LR语法写的，但ANTLR是LL的，要自己做LR到LL的变换，然后经常为了迁就left-factoring最终写出来的语法跟原本规范里的语法看起来会比较不同；而D语言官网文档里的语法写得乱七八糟更使得这工作进行得不顺利。

这次要记的主要是给子规则做迭代匹配时设定额外配置项（options { greedy = false; }）的注意点。

---------------------------------------------------------------------------

先从正常的情况开始看。例如说我们要写一个匹配C风格的行注释的词法规则，可以这样写： 
Comment
    :   '//' ~( '\n' | '\r' )* EndOfLine
    ;

fragment
EndOfLine
    :   '\n'
    |   '\r'
    |   '\r\n'
    ;

对应的自动机图：


在ANTLR中，词法规则的名字的首字母必须是大写的。上面两条词法规则的意思是：一个Comment由以下几个元素构成：
1、1个行注释的起始标记，“//”
2、0或多个非'\n'或'\r'的字符（ANTLR语法中，~是“非”，“|”是或，“*”是0到多个，“+”是1到多个，“?”是0或1个，括号是分组用的）
3、1个换行符
其中换行符写成了一个子规则EndOfLine，又包含三种可能性。注意到EndOfLine被fragment关键字修饰，说明它只能被用作别的词法规则的子规则，而不能用于单独匹配出一个token。

在上面的词法规则中，*之所以能正确的迭代，是因为它迭代的内容与它后面的规则的起始字符没有交集——迭代的内容只能是除了'\n'或'\r'以外的内容，而EndOfLine只能以'\n'或'\r'开始，所以迭代总是会在最近的一个换行符出现的地方停止。

ANTLR的Java后端为上面的词法规则生成的lexer代码是（经过简单编辑/格式化，下同）： 
// $ANTLR start "Comment"
public final void mComment() throws RecognitionException {
    int _type = Comment;
    int _channel = DEFAULT_TOKEN_CHANNEL;
    // D:\\GrammarDemo\\T.g:4:5: ( '//' (~ ( '\\n' | '\\r' ) )* EndOfLine )
    // D:\\GrammarDemo\\T.g:4:9: '//' (~ ( '\\n' | '\\r' ) )* EndOfLine
    match("//"); 

    // D:\\GrammarDemo\\T.g:4:14: (~ ( '\\n' | '\\r' ) )*
    loop1:
    do {
        int alt1=2;
        int LA1_0 = input.LA(1);

        if ( (LA1_0 >= '\u0000' && LA1_0 <= '\t')
          || (LA1_0 >= '\u000B' && LA1_0 <= '\f')
          || (LA1_0 >= '\u000E' && LA1_0 <= '\uFFFF') ) {
            alt1=1;
        }

        switch (alt1) {
        case 1 :
            // D:\\GrammarDemo\\T.g:4:14: ~ ( '\\n' | '\\r' )
            if ( (input.LA(1) >= '\u0000' && input.LA(1) <= '\t')
              || (input.LA(1) >= '\u000B' && input.LA(1) <= '\f')
              || (input.LA(1) >= '\u000E' && input.LA(1) <= '\uFFFF') ) {
                input.consume();
            } else {
                MismatchedSetException mse = new MismatchedSetException(null, input);
                recover(mse);
                throw mse;
            }
            break;

        default :
            break loop1;
        }
    } while (true);

    mEndOfLine();

    state.type = _type;
    state.channel = _channel;
}
// $ANTLR end "Comment"

// $ANTLR start "EndOfLine"
public final void mEndOfLine() throws RecognitionException {
    // D:\\GrammarDemo\\T.g:10:5: ( '\\r' | '\\n' | '\\r\\n' )
    int alt2 = 3;
    int LA2_0 = input.LA(1);

    if ( (LA2_0 == '\r') ) {
        int LA2_1 = input.LA(2);

        if ( (LA2_1 == '\n') ) {
            alt2 = 3;
        } else {
            alt2 = 1;
        }
    } else if ( (LA2_0 == '\n') ) {
        alt2 = 2;
    } else {
        throw new NoViableAltException("", 2, 0, input);
    }
    switch (alt2) {
    case 1 :
        // D:\\GrammarDemo\\T.g:10:9: '\\r'
        match('\r');
        break;
    case 2 :
        // D:\\GrammarDemo\\T.g:11:9: '\\n'
        match('\n');
        break;
    case 3 :
        // D:\\GrammarDemo\\T.g:12:9: '\\r\\n'
        match("\r\n");
        break;
    }
}
// $ANTLR end "EndOfLine"

代码中input.LA(n)是向前看第n个位置上的字符的意思。input.LA(1)是接下来要马上匹配的字符，input.LA(2)是下一个，以此类推。
上面的代码中input.LA(n)的n最大值是2，也就是说为了匹配这条词法规则，最多只需要向前看两个字符。

如果用Ruby的正则表达式来表示上面的行注释词法规则，则是： 
%r{//[^\r\n]*(?:\r\n?|\n)}m

简单演示一下： 
irb(main):001:0> s = "abc //\ndef //ghi\r\njkl"
=> "abc //\ndef //ghi\r\njkl"
irb(main):002:0> r = %r{//[^\r\n]*(?:\r\n?|\n)}m
=> /\/\/[^\r\n]*(?:\r\n?|\n)/m
irb(main):003:0> s.scan(r)
=> ["//\n", "//ghi\r\n"]


---------------------------------------------------------------------------

如果要匹配的是C风格的块注释的话，可以把上面的词法规则变为： 
Comment
    :   '/*' ( options { greedy = false; } : . )* '*/'
    ;

对应的自动机图：


C风格的块注释以'/*'开始，以最近的一个'*/'结束，不能嵌套；在/*与*/之间可以是任意多个任意字符。也简单的写为： 
Comment
    :   '/*' .* '*/'
    ;


ANTLR的迭代运算符，“*”与“+”默认都是“贪婪的”，也就是会取最长匹配；这里我们要的是匹配“最近的一个'*/'”，要的是最短匹配，于是ANTLR默认的匹配方式就不满足需求了。为了解决这个问题，ANTLR提供了options { greedy = false; }语法来指定某个迭代子规则中使用最短匹配，同时也把“.*”与“.+”作为特例，在这两种情况下自动使用最短匹配，如果这两种情况下需要最长匹配需要显式指定options { greedy = true; }。

ANTLR的Java后端为使用了最短匹配版本的块注释词法规则生成的lexer代码如下： 
// $ANTLR start "Comment"
public final void mComment() throws RecognitionException {
    int _type = Comment;
    int _channel = DEFAULT_TOKEN_CHANNEL;
    // D:\\GrammarDemo\\T.g:4:5: ( '/*' ( options {greedy=false; } : . )* '*/' )
    // D:\\GrammarDemo\\T.g:4:9: '/*' ( options {greedy=false; } : . )* '*/'
    match("/*"); 

    // D:\\GrammarDemo\\T.g:4:14: ( options {greedy=false; } : . )*
    loop1:
    do {
        int alt1 = 2;
        int LA1_0 = input.LA(1);

        if ( (LA1_0 == '*') ) {
            int LA1_1 = input.LA(2);

            if ( (LA1_1 == '/') ) {
                alt1 = 2;
            } else if ( (LA1_1 >= '\u0000' && LA1_1 <= '.')
                     || (LA1_1 >= '0' && LA1_1 <= '\uFFFF') ) {
                alt1 = 1;
            }
        } else if ( (LA1_0 >= '\u0000' && LA1_0 <= ')')
                 || (LA1_0 >= '+' && LA1_0 <= '\uFFFF') ) {
            alt1 = 1;
        }

        switch (alt1) {
        case 1 :
            // D:\\GrammarDemo\\T.g:4:46: .
            matchAny();
            break;

        default :
            break loop1;
        }
    } while (true);

    match("*/");

    state.type = _type;
    state.channel = _channel;
}
// $ANTLR end "Comment"

留意到这段匹配代码在循环中一发现'*/'就会选择退出循环。
也留意到上面的代码中input.LA(n)的n最大值是2，也就是说为了匹配这条词法规则，最多只需要向前看两个字符。

而相应的，使用最长匹配的版本，生成的代码则是： 
// $ANTLR start "Comment"
public final void mComment() throws RecognitionException {
    int _type = Comment;
    int _channel = DEFAULT_TOKEN_CHANNEL;
    // D:\\GrammarDemo\\T.g:5:5: ( '/*' ( options {greedy=true; } : . )* '*/' )
    // D:\\GrammarDemo\\T.g:5:9: '/*' ( options {greedy=true; } : . )* '*/'
    match("/*"); 

    // D:\\GrammarDemo\\T.g:5:14: ( options {greedy=true; } : . )*
    loop1:
    do {
        int alt1 = 2;
        int LA1_0 = input.LA(1);

        if ( (LA1_0 == '*') ) {
            int LA1_1 = input.LA(2);

            if ( (LA1_1 == '/') ) {
                int LA1_3 = input.LA(3);

                if ( (LA1_3 >= '\u0000' && LA1_3 <= '\uFFFF') ) {
                    alt1 = 1;
                }
            } else if ( (LA1_1 >= '\u0000' && LA1_1 <= '.')
                     || (LA1_1 >= '0' && LA1_1 <= '\uFFFF') ) {
                alt1 = 1;
            }
        } else if ( (LA1_0 >= '\u0000' && LA1_0 <= ')')
                 || (LA1_0 >= '+' && LA1_0 <= '\uFFFF') ) {
            alt1 = 1;
        }

        switch (alt1) {
        case 1 :
            // D:\\GrammarDemo\\T.g:5:45: .
            matchAny();
            break;

        default :
            break loop1;
        }
    } while (true);

    match("*/");

    state.type = _type;
    state.channel = _channel;
}
// $ANTLR end "Comment"

与前一版不同，这个版本的代码中input.LA(n)的n最大值是3，也就是说为了匹配这条词法规则，最多需要向前看三个字符。不同之处在于：即便循环中已经发现了'*/'，如果进一步发现后面还没到输入字符流的末尾，则继续循环匹配下去，试图找到最长匹配。

如果用Ruby的正则表达式来表示上面的最短匹配版的块注释词法规则，则是： 
%r{/\*.*?\*/}m

留意到中间匹配任意个任意字符用的是 .*? 而不是 .* ，因为Ruby的正则表达式里 * 是用最长匹配而 *? 是用最短匹配。
简单演示一下： 
irb(main):001:0> s = "abc /* def */ ghi */"
=> "abc /* def */ ghi */"
irb(main):002:0> r = %r{/\*.*?\*/}m
=> /\/\*.*?\*\//m
irb(main):003:0> s.scan(r)
=> ["/* def */"]


---------------------------------------------------------------------------

好吧，前面码了那么多字其实还没进入正题，现在赶紧跳回来。
在D语言中，除了上述两种C风格的注释外，还支持一种“嵌套注释”，以配对的'/+'和'+/'来标记其起始与终结。例如说： 
a = /+ some comment /+ some nesting comment +/ ... +/ 1;

这个语句在经过解析、抛弃掉注释后，等同于： 
a = 1;


官网文档对此给出的词法规则是： 
NestingBlockComment:
    /+ NestingBlockCommentCharacters +/

NestingBlockCommentCharacters:
    NestingBlockCommentCharacter
    NestingBlockCommentCharacter NestingBlockCommentCharacters

NestingBlockCommentCharacter:
    Character
    NestingBlockComment

把这个LR规则简单转换为LL规则，用ANTLR的语法表示为： 
Comment
    :   NestingBlockComment
    ;

fragment
NestingBlockComment
    :   '/+' NestingBlockCommentCharacters '+/'
    ;

fragment
NestingBlockCommentCharacters
    :   NestingBlockCommentCharacter*
    ;

fragment
NestingBlockCommentCharacter
    :   NestingBlockComment
    |   .
    ;

（为方便起见，在ANTLR规则里添加了一个顶层词法规则Comment，而把原本的三条词法规则标记为fragment）

一眼看上去貌似没啥问题了，但实际用这样生成的lexer来匹配D语言源码时会发现无法正确匹配嵌套注释。
那么观察一下ANTLR的Java后端生成的lexer代码： 
// $ANTLR start "Comment"
public final void mComment() throws RecognitionException {
    int _type = Comment;
    int _channel = DEFAULT_TOKEN_CHANNEL;
    // D:\\GrammarDemo\\T.g:4:5: ( NestingBlockComment )
    // D:\\GrammarDemo\\T.g:4:9: NestingBlockComment
    mNestingBlockComment();

    state.type = _type;
    state.channel = _channel;
}
// $ANTLR end "Comment"

// $ANTLR start "NestingBlockComment"
public final void mNestingBlockComment() throws RecognitionException {
    // D:\\GrammarDemo\\T.g:9:5: ( '/+' NestingBlockCommentCharacters '+/' )
    // D:\\GrammarDemo\\T.g:9:9: '/+' NestingBlockCommentCharacters '+/'
    match("/+");
    mNestingBlockCommentCharacters(); 
    match("+/");
}
// $ANTLR end "NestingBlockComment"

// $ANTLR start "NestingBlockCommentCharacters"
public final void mNestingBlockCommentCharacters() throws RecognitionException {
    // D:\\GrammarDemo\\T.g:14:5: ( ( NestingBlockCommentCharacter )* )
    // D:\\GrammarDemo\\T.g:14:9: ( NestingBlockCommentCharacter )*
    loop1:
    do {
        int alt1 = 2;
        int LA1_0 = input.LA(1);

        if ( (LA1_0 >= '\u0000' && LA1_0 <= '\uFFFF') ) {
            alt1 = 1;
        }

        switch (alt1) {
        case 1 :
            // D:\\GrammarDemo\\T.g:14:9: NestingBlockCommentCharacter
            mNestingBlockCommentCharacter();
            break;

        default :
            break loop1;
        }
    } while (true);
}
// $ANTLR end "NestingBlockCommentCharacters"

// $ANTLR start "NestingBlockCommentCharacter"
public final void mNestingBlockCommentCharacter() throws RecognitionException {
    // D:\\GrammarDemo\\T.g:19:5: ( NestingBlockComment | . )
    int alt2 = 2;
    int LA2_0 = input.LA(1);

    if ( (LA2_0 == '/') ) {
        int LA2_1 = input.LA(2);

        if ( (LA2_1 == '+') ) {
            alt2 = 1;
        } else {
            alt2 = 2;
        }
    } else if ( (LA2_0 >= '\u0000' && LA2_0 <= '.')
             || (LA2_0 >= '0' && LA2_0 <= '\uFFFF') ) {
        alt2 = 2;
    } else {
        throw new NoViableAltException("", 2, 0, input);
    }
    switch (alt2) {
    case 1 :
        // D:\\GrammarDemo\\T.g:19:9: NestingBlockComment
        mNestingBlockComment();
        break;
    case 2 :
        // D:\\GrammarDemo\\T.g:20:7: .
        matchAny();
        break;
    }
}
// $ANTLR end "NestingBlockCommentCharacter"

可以看到 mNestingBlockCommentCharacters() 方法的循环是只要未遇到输入字符流的末尾就会继续循环匹配下去，跟前面讲解块注释的最长匹配版一样。但这里我们需要的是最短匹配。想起ANTLR提供了options { greedy = false; }，这里不是正好派上用场么？

把词法规则改为： 
Comment
    :   NestingBlockComment
    ;

fragment
NestingBlockComment
    :   '/+' NestingBlockCommentCharacters '+/'
    ;

fragment
NestingBlockCommentCharacters
    :   ( options { greedy = false; } : NestingBlockCommentCharacter )*
    ;

fragment
NestingBlockCommentCharacter
    :   NestingBlockComment
    |   .
    ;

这会儿可好，ANTLR直接不肯生成出lexer了，抱怨词法规则有错：


问题出在哪里呢？这就是这帖真正的主题了：ANTLR 3.2的options语法只能管其所在的子规则“字面上”出现的选择结构；指定用最短匹配后ANTLR不知道NestingBlockCommentCharacters能匹配什么了，也不知道最短匹配应该以什么来标志结束，直接报个错。

解决的办法也很简单，只要把选择结构以字面量形式写到迭代中，并且把最短匹配与它后面的内容写在同一条大规则里，就好了，如下： 
Comment
    :   NestingBlockComment
    ;

fragment
NestingBlockComment
    :   '/+' ( options { greedy = false; } : ( NestingBlockComment | . ) )* '+/'
    ;

对应生成的代码是： 
// $ANTLR start "Comment"
public final void mComment() throws RecognitionException {
    int _type = Comment;
    int _channel = DEFAULT_TOKEN_CHANNEL;
    // D:\\GrammarDemo\\T.g:4:5: ( NestingBlockComment )
    // D:\\GrammarDemo\\T.g:4:9: NestingBlockComment
    mNestingBlockComment();

    state.type = _type;
    state.channel = _channel;
}
// $ANTLR end "Comment"

// $ANTLR start "NestingBlockComment"
public final void mNestingBlockComment() throws RecognitionException {
    // D:\\GrammarDemo\\T.g:9:5: ( '/+' ( options {greedy=false; } : ( NestingBlockComment | . ) )* '+/' )
    // D:\\GrammarDemo\\T.g:9:9: '/+' ( options {greedy=false; } : ( NestingBlockComment | . ) )* '+/'
    match("/+"); 

    // D:\\GrammarDemo\\T.g:9:14: ( options {greedy=false; } : ( NestingBlockComment | . ) )*
    loop2:
    do {
        int alt2 = 2;
        int LA2_0 = input.LA(1);

        if ( (LA2_0 == '+') ) {
            int LA2_1 = input.LA(2);

            if ( (LA2_1 == '/') ) {
                alt2 = 2;
            } else if ( (LA2_1 >= '\u0000' && LA2_1 <= '.')
                     || (LA2_1 >= '0' && LA2_1 <= '\uFFFF') ) {
                alt2 = 1;
            }
        } else if ( (LA2_0 >= '\u0000' && LA2_0 <= '*')
               || (LA2_0 >= ',' && LA2_0 <= '\uFFFF') ) {
            alt2 = 1;
        }

        switch (alt2) {
        case 1 :
            // D:\\GrammarDemo\\T.g:9:46: ( NestingBlockComment | . )
            // D:\\GrammarDemo\\T.g:9:46: ( NestingBlockComment | . )
            {
                int alt1 = 2;
                int LA1_0 = input.LA(1);

                if ( (LA1_0 == '/') ) {
                    int LA1_1 = input.LA(2);

                    if ( (LA1_1 == '+') ) {
                        alt1 = 1;
                    }
                    else if ( (LA1_1 >= '\u0000' && LA1_1 <= '*')
                           || (LA1_1 >= ',' && LA1_1 <= '\uFFFF') ) {
                        alt1 = 2;
                    }
                    else {
                        throw new NoViableAltException("", 1, 1, input);
                    }
                } else if ( (LA1_0 >= '\u0000' && LA1_0 <= '.')
                         || (LA1_0 >= '0' && LA1_0 <= '\uFFFF') ) {
                    alt1 = 2;
                } else {
                    throw new NoViableAltException("", 1, 0, input);
                }
                switch (alt1) {
                case 1 :
                    // D:\\GrammarDemo\\T.g:9:48: NestingBlockComment
                    mNestingBlockComment();
                    break;
                case 2 :
                    // D:\\GrammarDemo\\T.g:9:70: .
                    matchAny();
                    break;
                }
            }
            break;

        default :
            break loop2;
        }
    } while (true);

    match("+/");
}
// $ANTLR end "NestingBlockComment"

看，这次循环里的匹配逻辑就变回我们所需要的了：一遇到'+/'就退出循环。

这种嵌套规则其实已经超出了正则语法及其对应的有限状态自动机的计算能力，需要使用上下文无关语法/下推式自动机（PDA）才可以处理。ANTLR生成的lexer与parser都是递归下降式的，lexer自身具有PDA级别的能力（加上断言就比PDA更强），所以可以正确处理嵌套规则。
所以这个例子就没办法用Ruby的正则表达式来对比了。好吧Ruby的正则表达式本身已经超出DFA的范围了，不过还没达到PDA的范围 
用Perl 6的rule倒是能表示出来，不过那个已经远远不是正则表达式了……这里不深入了。

---------------------------------------------------------------------------

于是ANTLR想告诉我们的是：别把规则分得太细了……
  • 大小: 37.2 KB
  • 大小: 2.2 KB
  • 大小: 47.2 KB
分享到：
| 今天采购的宅物
评论
5 楼 night_stalker 2010-09-27  
呃…… 是 include Rsec::Helpers
4 楼 night_stalker 2010-09-27  
Regexp combinator！
require 'rsec'
include Rsec::Helper
@nest_comment = [/\/\+.*?(?=\/\+|\+\/)/, lazy{@nest_comment} ** 0, /.*?\+\//].r
3 楼 lwwin 2010-09-27  
实在难得啊，你能够在家了^-^

2 楼 RednaxelaFX 2010-09-27  
dogstar 写道
顶你个肺,在家玩躲猫猫.

嗯顶你个肺不休假在公司做俯卧撑
1 楼 dogstar 2010-09-27  
顶你个肺,在家玩躲猫猫.
发表评论

您还没有登录,请您登录后再发表评论

相关推荐

    一个简单的语言的语法（二）：ANTLR的重写规则

    在本主题中，我们将深入探讨ANTLR中的重写规则，特别是在创建一个简单语言上下文中如何运用这些规则。 ANTLR允许开发者定义自己的语法规则，并自动生成解析器和词法分析器。在ANTLR中，重写规则是用来定制输出语法...

    基于ANTLR4的CMM语言编译器

    ANTLR4通过一个称为语法（.g4文件）的输入文件工作，这个文件定义了目标语言的语法规则。在这个项目中，.g4文件包含了CMM语言的文法描述，ANTLR4会根据这个文法生成解析器和词法分析器的源代码。这些生成的代码可以...

    ANTLR

    ANTLR（ANother Tool for Language Recognition）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。它广泛应用于构建语言、工具和框架，包括SQL解析器、XML处理器以及各类编程语言的...

    antlr-2.7.7.jar

    1. **语法定义**：用户使用ANTLR提供的语法描述语言（通常称为ANTLR语法规则）编写一个输入语言的语法规则文件（例如，ANTLR的.g文件）。 2. **生成解析器和词法分析器**：ANTLR读取这个语法规则文件，然后自动生成...

    Antlr入门介绍小demo

    ANTLR（ANother Tool for Language Recognition，另一个语言识别工具）是一种强大的解析器生成器，用于读取、处理、执行或翻译结构化的文本或二进制文件。ANTLR 广泛应用于 DSL（领域特定语言）、文本解析、数学计算...

    antlr-2.7.7.jar和antlr-2.7.6.jar

    ANTLR（ANother Tool for Language Recognition）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。ANTLR被广泛应用于各种编程语言的编译器和解释器的构建，它能生成Java、C#、Python...

    Antlr4 C++ 计算器

    ANTLR4 是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。它广泛应用于构建语言、工具和框架，包括SQL、Java、C#、JavaScript、Python等。在本项目中，"Antlr4 C++ 计算器"是一个基于...

    antlr入门 编译领域

    为了更好地理解ANTLR的工作原理和使用方式，下面通过一个简单的例子来介绍ANTLR的基本语法结构： ```antlr grammar MyGrammar; options { language = Java; } // 定义词法规则 tokens { ID; } // 字母数字串...

    antlr4-master 源码

    ANTLR4（ANTLR Version 4）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。它广泛应用于构建语言、工具和框架，包括SQL解析器、配置文件解析器、DSL（领域特定语言）以及各种编程...

    antlr-2.7.7.jar.zip

    ANTLR（ANother Tool for Language Recognition）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。ANTLR被广泛应用于各种编程语言的编译器和解释器的构建，它能生成Java、C#、Python...

    antlr实现的计算器

    在这个“ANTLR简易计算器”项目中，Expr可能是ANTLR语法文件中的一个主要规则，代表一个完整的表达式。在解析过程中，ANTLR会递归地处理这个规则，直到所有子表达式都被处理并构建出完整的AST。 ANTLR的灵活性使得...

    antlr中文济南

    ANTLR 是一个强大的、广泛使用的解析器生成器，用于构建语法解析器、词法分析器以及抽象语法树（AST）。由Terence Parr开发并维护，ANTLR支持多种编程语言，包括Java、C#、Python等。其主要功能是将形式语言的语法...

    java Antlr 4 语法文件合集

    Java Antlr 4 是一个强大的解析工具，用于生成解析器和词法分析器，它使得开发者可以轻松地处理各种语言的语法。Antlr 4 支持多种编程语言，包括 Java，C#，Python，JavaScript 等，而在这个“java Antlr 4 语法文件...

    antlr-2.7 (3个)

    ANTLR（ANother Tool for Language Recognition）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。ANTLR被广泛应用于各种编程语言的编译器和解释器的开发，它能生成Java、C#、Python...

    antlr权威指南

    AST 是一个树形结构，直观地表示了输入文本的结构，方便后续处理。 5. **操作 AST**：开发者可以对生成的 AST 进行遍历、修改、验证或转换，实现特定的解析任务，如代码生成、语法检查、翻译等。 ANTLR 4 的核心...

    开源项目-antlr-antlr4.zip

    ANTLR（ANother Tool for Language Recognition）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。ANTLR被广泛应用于构建语言、工具和框架，如SQL查询解析器、XML处理器、配置文件...

    antlr-python-runtime-3.1.3.zip

    ANTLR（ANother Tool for Language Recognition）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。ANTLR被广泛应用于构建语言、工具和框架，如SQL处理器、XML解析器、Java语法分析器...

    The Definitive ANTLR4Reference 学习笔记

    ANTLR（Another Tool for Language Recognition）是一个强大的解析器生成器，用于读取、处理、执行或翻译结构化文本或二进制文件。它被广泛应用于编程语言、协议、表达式、脚本和其他语言的定义。ANTLR 4是ANTLR系列...

    antlr-2.7.5H3.jar和antlr-2.7.6rc1.jar

    1. 定义语法规则：开发者编写一个扩展名为.g的ANTLR grammar文件，其中定义了要解析的语言的语法规则。 2. 生成解析器：ANTLR工具根据grammar文件生成解析器和词法分析器的Java源代码。 3. 编译和运行：将生成的Java...

Magicbox
Global site tag (gtag.js) - Google Analytics