将括号解析为原子 ANTLR

Question

我正在尝试匹配平衡括号，这样，如果进行匹配，则会创建一个 PARAMS 树，否则 LPARAM 和 RPARAM 令牌将作为原子添加到树中...

tokens
{
    LIST;    
    PARAMS;
}

start   : list -> ^(LIST list);

list    : (expr|atom)+;

expr : LPARAM list? RPARAM -> ^(PARAMS list?);

atom :  INT | LPARAM | RPARAM;

INT :   '0'..'9'+;
LPARAM  :   '(';
RPARAM  :   ')';

目前，它永远不会创建 PARAMS 树，因为在规则 expr 中，它总是将结尾 RPARAM 视为原子，而不是该规则的结束标记。

因此，目前，1 2 3 (4) 5 之类的内容作为标记的平面列表添加到 LIST 树中，而不是所需的分组。

我之前处理过将标记作为原子添加到树中，但它们永远无法启动另一个规则，就像 LPARAM 在这里所做的那样。

我需要某种语法/语义谓词吗？

Answer 1

这是一个带有几个约束的简单方法。我认为这些符合您在 cmets 中提到的预期行为。

• 不匹配的LPARAM 永远不会出现在子列表中
• 不匹配的RPARAM 永远不会出现在子列表中

语法：

start   : root+ EOF -> ^(LIST root+ );

root    : expr
        | LPARAM
        | RPARAM
        ;
        
expr    : list
        | atom
        ;           
        
list    : LPARAM expr+ RPARAM -> ^(LIST expr+)
        ;

atom    : INT
        ;

规则 root 匹配不匹配的 LPARAMs 和 RPARAMs。规则list 和atom 只关心自己。

此解决方案相对脆弱，因为规则 root 要求将 expr 列在 LPARAM 和 RPARAM 之前。即便如此，也许这足以解决您的问题。

测试用例 1：没有列表

输入：1 2 3

输出：

测试用例 2：一个列表

输入：1 (2) 3

输出：

测试用例 3：两个列表

输入：(1) 2 (3)

输出：

测试用例 4：没有列表，左不匹配

输入：((1 2 3

输出：

测试用例 5：两个列表，左不匹配

输入：((1 (2) (3)

输出：

测试用例 6：没有列表，权限不匹配

输入：1 2 3))

输出：

测试用例 7：两个列表，权限不匹配

输入：(1) (2) 3))

输出：

测试用例 8：两个列表，混合不匹配的左侧

输入：((1 (2) ( (3)

输出：

测试用例 9：两个列表，混合不匹配的权限

输入：(1) ) (2) 3))

输出：

---

这里有一个稍微复杂一点的语法，适用于 [] 和 () 对。我认为当你添加对时，解决方案会变得更糟，但是，嘿，这很有趣！您可能还遇到了语法驱动的 AST 构建的限制。

start   : root+ EOF -> ^(LIST root+ )
        ;
        
root    : expr
        | LPARAM
        | RPARAM
        | LSQB
        | RSQB
        ;       
expr    : plist
        | slist
        | atom
        ;           
        
plist   : LPARAM pexpr* RPARAM -> ^(LIST pexpr*)
        ;
        
pexpr   : slist
        | atom
        | LSQB
        | RSQB
        ;       
        
slist   : LSQB sexpr* RSQB -> ^(LIST sexpr*)
        ;
        
sexpr   : plist
        | atom
        | LPARAM
        | RPARAM
        ;               
        
atom    : INT;

INT     : ('0'..'9')+;
LPARAM  : '(';
RPARAM  : ')';
LSQB    : '[';
RSQB    : ']';