ANTLR4 DefaultErrorStrategy无法注入丢失的令牌

Question

我试图在TestRig中运行以下语法：

grammar COBOLfragment;

// hidden tokens
WS : [ ]+ -> channel(HIDDEN);
NL : '\n' -> channel(HIDDEN);

// keywords
PERIOD : '.';

DIVISION : 'DIVISION';
SECTION : 'SECTION';

DATA : 'DATA';
WORKING_STORAGE : 'WORKING-STORAGE';

FILE : 'FILE';

FD : 'FD';

EXTERNAL : 'EXTERNAL';
GLOBAL : 'GLOBAL';

BLOCK : 'BLOCK';
CONTAINS : 'CONTAINS';
CHARACTERS : 'CHARACTERS';

// data
INTEGER : [0-9]+;
ID : [A-Z][A-Z0-9]*;

dataDivision :
    DATA DIVISION PERIOD
    fileSection?
    workingStorageSection?
;

fileSection :
    FILE SECTION PERIOD
    fileDescription*
;

fileDescription :
    FD fileName=ID
//    (IS? GLOBAL)?          // 1. IS GLOBAL clause
//    (IS? EXTERNAL)?        // 2. IS EXTERNAL clause
    blockClause?
    PERIOD
;

blockClause :
    BLOCK CONTAINS? blockSize=INTEGER CHARACTERS
;

workingStorageSection :
    WORKING_STORAGE SECTION PERIOD
;

使用以下输入：

DATA DIVISION.
FILE SECTION.
FD FD01
WORKING-STORAGE SECTION.

显然，第三行输入（“fd fd01”）缺少在FileDescription规则中要求的结束符句点。

旁注1：如果我启用了IS EXTERNAL或IS GLOBAL子句，但不是两个子句都启用，那么DefaulTerrorStrategy可以很好地工作，并注入丢失的令牌。

附带说明2：为启用两个子句的语法生成的代码有以下额外代码（与只启用其中一个子句的语法相比）：

public final FileDescriptionContext fileDescription() ... {
    ...
    try {
        ...
        switch ( getInterpreter().adaptivePredict(_input,4,_ctx) ) {
        case 1:
            {
            setState(31);
            _la = _input.LA(1);
            if (_la==IS) {
                {
                setState(30); match(IS);
                }
            }

            setState(33); match(GLOBAL);
            }
            break;
        }
        ...
    }
    catch (RecognitionException re) {
        ...

而AdaptivePredict()调用是罪魁祸首，因为它在解析器有机会进行匹配(PERIOD)之前，在输入'working-storage'抛出没有可行的替代选项（在生成的代码中，此处没有粘贴）。




Answer 1

我已经设法解决了这个问题，为两个IS子句添加了一个新子句：

（这里只是片段改变了）

...
fileDescription :
    FD fileName=ID
    isClauses?
    blockClause?
    PERIOD
;

isClauses :
    IS? GLOBAL (IS? EXTERNAL)?
|   IS? EXTERNAL
;
...

现在，DefaulTerrorStrategy执行它的工作，并注入缺少的句点。