antlr4 lexer/parser конфликтует из-за двусмысленности

Question

Я пытаюсь разобрать диалоги MS SQL. В соответствии со спецификацией «сверху» должны иметь скобки вокруг выражения

выберите верхние (@rows * 2) а, б, в ...

, но в качестве исключения они могут быть опущены, если значение без знака буквального целое, таким образом

выберите топ 75 а, б, в ...

Я пытался встроить это буквальное-целое специального случая в моем синтаксическом анализаторе (свободно):

top_clause: 'TOP' [0-9] + | 'TOP' '(' expression ')';

Итак, первая альтернатива - это правило чистого лексера, второе - правило синтаксического анализа. Поскольку целочисленная константа является допустимым выражением, она выбирает ее как выражение.

Вопрос в том, 1) могу ли я заставить его соответствовать правилам лексера без предикатов и 2) самое главное, должен ли я?

Я полагаю, что я не должен - это вопиющая двусмысленность (действительно, ошибка в моей грамматике), и я думаю, что я должен соответствовать ей как чистое правило парсера (просто выражение «TOP») и сортировать его вне после. Совет приветствовать.

изменить: изменен пункт Мэтта Тиммермана.

Answer 1

Ответ зависит от того, чего вы на самом деле хотите достичь, но я предполагаю, что вы хотите разрешить, например, пробелы между TOP и цифрами. Если вы определяете это как правило lexer, вам придется явно указывать там пробелы. С правилом анализатора это не обязательно, потому что (опять же я угадываю здесь) у вас есть правило lexer, которое пропускает whitspaces.

Что я рекомендую, так это то, что вы всегда определяете свои литералы как правила lexer (нет «TOP» в правиле парсера, без цифр) и сохраняете top_clause как есть, только с помощью ваших новых правил lexer (и небольшого рефакторинга) :

DIGITS: [0-9]+; 
TOP: 'TOP'; 
OPEN_PAR: '('; 
CLOSE_PAR: ')'; 

top_clause: TOP (DIGITS | OPEN_PAR expression CLOSE_PAR);