2

我可能会问一个愚蠢/基本的问题，但我对 ANTLR AST 的构建感到困惑。

我想要做的是一种布尔表达式解析器，这样在父节点上我有运算符及其操作数作为子节点。例如，一个句子

( ( ABC & D ) | ( E & ( F | G ) )

理想情况下应该代表

              |
             / \
            /   \
           /     \
          /       \
         &         &
        / \       / \
       /   \     /   \
      /     D   E     |
     /|\             / \
    A B C           /   \
                   F     G

从下面的语法。

grammar Test;

options
{
   language = 'Java';
   output=AST;
}


exp    :    word (expRest^)? | '('! exp ')'! (expRest^)?  ;

expRest :    (('&'|'|'|'!'|'&!'|'|!')^) exp | (('~'^) digit+ exp);
word    :   letter letter* -> ^(letter letter*);
letter  :        '0'|'1'|'2'|'3'|'4'|'5'|'6'|'7'|'8'|'9'|'a'|'b'|'c'|'d'|'e'|'f'|'g'|'h'|'i'|'j'|'k'|'l'|'m'|'n'|'o'|'p'|'q'|'r'|'s'|'t'|'u'|'v'|'w'|'x'|'y'|'z'|'A'|'B'|'C'|'D'|'E'|'F'|'G'|'H'|'I'|'J'|'K'|'L'|'M'|'N'|'O'|'P'|'Q'|'R'|'S'|'T'|'U'|'V'|'W'|'X'|'Y'|'Z';
digit   :    '0'|'1'|'2'|'3'|'4'|'5'|'6'|'7'|'8'|'9';

问题是，我将“AB C”作为节点列表（数组）作为“&”的子节点。

是否可以将其限制为单个字符串？？？即'AB C'或者换句话说，AST的根节点是否可以有多个字符？？？如果是，那么我该如何实现？

作为参考，我想制作一个“风险因素和当前经济状况”的语法树

PS我也试过：

word    :   (letter letter*)^ ;

仅供参考，我使用的是 .NET 环境。

4

2 回答 2

3

您可以在语法中插入虚构的标记，这些标记将成为单词“组”的根。我认为将A,B和粘C在一起不是一个好主意，因为您可能需要将它们分开，对吗？

我无法真正弄清楚您到底想做什么，所以这里有一个小演示，您可以（尝试）了解一下：

grammar BoolExp;

options { 
  output=AST; 
}

tokens {
  MultiWord;
}

parse
  :  booleanExp EOF!
  ;

booleanExp
  :  orExp
  ;

orExp
  :  andExp ('|'^ andExp)*
  ;

andExp
  :  notExp ('&'^ notExp)*
  ;

notExp
  :  '!'^ atom
  |  atom
  ;

atom
  :  '(' booleanExp ')' -> booleanExp
  |  WORD WORD+         -> ^(MultiWord WORD+)
  |  WORD
  ;

WORD
  :  ('a'..'z' | 'A'..'Z')+
  ;

SPACE
  :  (' ' | '\t' | '\r' | '\n'){skip();}
  ;

如果您从中生成解析器并使用输入进行测试：

( ( A B C & D ) | ( E & ( F | G ) ) )

您将获得以下 AST：

替代文字

我没有发布生成用于创建上面 AST 图像的 DOT 文件的 (Java) 测试类，因为您说您使用的是 .NET 目标。如果您确实想看它，请发表评论，我也会发布它。

于 2010-10-25T18:47:17.710 回答
0

如果您希望“AB C”作为单个节点，则定义字母以在字符之间包含“”，例如：

letter : character (space character)*;
character : '0'..'9'|'a'..'z'|'A'..'Z';
space : ' ';

其中将包含空格作为字母节点的子节点。

于 2010-10-25T14:18:22.397 回答