Как реализовать отрицательную проверку LOOKAHEAD для токена в JavaCC?

Question

В настоящее время я использую парсер JavaScript/ECMAScript 5.1 с JavaCC. Я недавно learned около LOOKAHEAD s, которые здесь удобны, поскольку грамматика не полностью LL (1).

Одна из вещей, которые я вижу в грамматике ECMAScript «негативный контроль опережения», как в следующем ExpressionStatement производства:

ExpressionStatement : 
    [lookahead ∉ {{, function}] Expression ; 

Так что, наверное, нужно что-то вроде LOOKAHEAD(!("{" | "function")), но он не работает в этот синтаксис.

Вопрос в том, как я мог реализовать этот «отрицательный LOOKAHEAD» в JavaCC?

После прочтения LOOKAHEAD MiniTutorial я считаю, что выражение типа getToken(1).kind != FUNCTION может быть тем, что мне нужно, но я не совсем уверен в этом.

Answer 1

Для примера, который вы предоставляете, я бы предпочел использовать синтаксический взгляд вперед, который в определенном смысле обязательно «положительный».

Производство для ExpressionStatement не является местом для решения проблемы, поскольку выбора нет.

void ExpressionStatement() : {} { Expression() ";" } 

Проблема возникнет, когда есть выбор между утверждением выражения и блоком или между утверждением выражения и объявлением функции (или оба).

E.g. в Заявлении вы найдете

void Statement() :{} { 
    ... 
| 
    Block() 
| 
    ExpressionStatement() 
| ... 
} 

дает предупреждение, потому что оба варианта могут начинаться с символа "{". У вас есть два варианта. Один из них - игнорировать предупреждение. Первый выбор будет сделан, и все будет хорошо, пока Блок станет первым. Второй вариант - подавить предупреждение с помощью спецификации. как это:

void Statement() :{} { 
    ... 
| 
    LOOKAHEAD("{") Block() 
| 
    ExpressionStatement() 
| ... 
} 

синтаксический смотреть вперед, в некотором смысле положительный - «принять эту альтернативу, если X».

Если вы действительно хотите отрицательный --i.e., «Возьмите эту альтернативу, если не X» - смотрите вперед, она должна быть семантической.

В случае заявления вы могли бы написать

void Statement() :{} { 
    ... 
| 
    LOOKAHEAD({!(getToken(1)==LBRACE)}) ExpressionStatement() 
| 
    Block() 
} 

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

В целом, вам лучше использовать синтаксический просмотр, когда сможете. Это обычно более прямолинейно и сложнее испортить.