ANTLR4 술어 실패가 다음 대체 방법을 무시합니까?

Question

ANTLR 4의 의미 적 술어에 문제가 있습니다. 내 문법은 구문 적으로 모호하며 모호성을 해결하기 위해 하나의 토큰을 찾아야합니다.

예를 들어 "2012 년 1 월 19 일 오후 9 시까 지"를 "2012 년 1 월 19 일"으로 구문 분석하여 파서의 다음 토큰을 "until"으로 남겨 둡니다. 그리고 파서의 다음 토큰 "7"을 사용하여 "Jan 19, 7 pm 9시"를 "1 월 19 일"날짜로 구문 분석하려고합니다.

그래서 세 번째 토큰을 살펴보고 가져 가거나 두어야합니다.

내 문법 조각은 다음과 같습니다

date 
    : month d=INTEGER { isYear(getCurrentToken().getText())}? y=INTEGER 
            {//handle date, use $y for year} 
    | month d=INTEGER   {//handle date, use 2013 for year} 
    ;            

파서가 하나의 샘플 입력에서 실행, 나는이 메시지를 얻을 : 그것은, 두 번째 규칙 대안에 도달하지 않기 때문에 결코

line 1:9 rule date failed predicate: { isYear(getCurrentToken().getText())}? 

를 (I ' 추측) 그것은 이미 하나의 여분의 토큰을 읽었습니다.

누군가이 작업을 수행하는 방법을 보여 줄 수 있습니까?

Answer 1

구문 분석기 규칙에서 을 작성하면을 결정할 때 ANTLR 4는 왼쪽 가장자리에서만 술어를 사용합니다. 위에 표시된 것과 같은 인라인 술어는 만 유효성이 확인 된입니다.

다음 수정을하면 ANTLR이 의사 결정을 수행하는 동안 조건자를 평가하게되지만 분명히 getCurrentToken()을 호출하는 대신 올바른 미리보기 헤드 토큰을 사용하도록 수정해야합니다.

date 
    : {isYear(getCurrentToken().getText())}? month d=INTEGER y=INTEGER 
           {//handle date, use $y for year} 
    | month d=INTEGER    {//handle date, use 2013 for year} 
    ; 

PS : month 항상 정확히 하나 개의 토큰이 긴 경우, _input.LT(3) 원하는 토큰을 제공해야한다.