ANTLR4 왼쪽 재귀 문제

Question

일부 왼쪽 재귀 구문 분석 규칙을 사용하는 C# 대상 ANTLR v4에 대한 문법을 ​​작성한 및 이러한 규칙을 사용해야하는 일부 샘플 코드를 구문 분석 할 때마다 구문 분석 엔진은 잘못된 규칙.

구문 분석 규칙 :

expr 
    : expr COR term 
    | expr CAND term 
    | term 
    ; 

코드는 내가 구문 분석하려고 해요 :

... 
print("Testing Program p00csx\n"); 
... 

구문 분석 엔진에서 정보를 사용하여 방문자이에서

public override Int32 VisitExpr(CSXParser.ExprContext context) 
    { 
     if (context == null) return 0; 
     switch (context.altNum) 
     { 
      case 1: //expr COR term 
       VisitExpr(context.expr()); 
       Console.Write(context.COR()); 
       VisitTerm(context.term()); 
       break; 
      case 2: //expr CAND term 
       VisitExpr(context.expr()); 
       Console.Write(context.CAND()); 
       VisitTerm(context.term()); 
       break; 
      case 3: //term 
       VisitTerm(context.term()); 
       break; 
     } 
     return 0; 
    } 

을 예를 들어, print() 호출의 문자열 리터럴은 '용어'등으로 해석되는 'expr'을 해결해야합니다. c, 'stringLit'이 생길 때까지. 위의 예에서 사례 3입니다. 그러나 대신 파서가 사례 1을 선택하고 심지어 프로그램 텍스트에 COR ('||')이 없다고 생각합니다.

ANTLR 사이트에서는 v4가 이러한 왼쪽 반복 표현을 처리 할 수 ​​있다고 말합니다. 이로 인해 내가 뭔가 잘못하고 있다고 생각하게됩니다. 나는 ANTLR을 처음 접했고, 아마도 문제는 내가 간과 한 단순한 것이었다. 어떤 도움이라도 대단히 감사 할 것입니다. 필자는 문서를 읽고 며칠 동안 디버거를 실행하고 있었고이를 파악하려고 노력했습니다.

감사합니다.

expr 
scope 
{ 
    LogicOperator op; 
} 
     : expr ((COR {expr.op = LogicOperator.Or;} | CAND {expr.op = LogicOperator.And;}) exp)* 
     | term 
     ; 

추신 :

Answer 1

다음과 같은 이유로 ParserRuleContext.altNum 필드를 사용하지 마십시오.

• 왼쪽 재귀 규칙에는 초기화되지 않으므로 신뢰할 수 없습니다.
• 엄청난 메모리 낭비이고 그것을 제거하기를 바라고 있습니다.
• 다른 어떤 시나리오에서도 정확성이나 유용성을 확인하기 위해 테스트를 수행하지 않았습니다.

대신, 다음 중 하나를 수행하십시오 대안에 대한

1. 테스트를 처음 context.expr() 경우는 null를 돌려줍니다 확인하여. 그렇다면 term이 있습니다. expr()이 null이 아닌 경우, context.COR() 또는 context.CAND() 중 null이 아닌 것을 리턴하여 사용 된 실제 운영자를 판별 할 수 있습니다. 이

   expr 
       : expr COR term # orExpr 
       | expr CAND term # andExpr 
       | term   # termExpr 
       ; 
   

Answer 2

나는 전혀 왼쪽 재귀를 제거 제안 논리 연산자와 우선 순위가있는 ANTLR3 grammar