ANTLR4에서 동일한 토큰 유형 일치

Question

현재 내 벡터의 문법은 숫자, 문자열, 벡터 및 식별자 모음과 같습니다. 이제

vector: 
    '[' elements+=vector_members? (vector_delimiters elements+=vector_members)* ']' 
; 

vector_delimiters 
: 
    ',' 
; 

vector_members: 
    NUMBER 
    | STRING 
    | vector 
    | ID 
; 

, 벡터는 숫자 나 문자열 등과 같은 특정 유형의 요소를 포함 할 수 있도록 문법을 통해 시행 할 수있는 방법이

Answer 1

물론,이 방법은 있지만, 아무튼 그게 좋은 생각이라는 뜻이야.

vector 
    : '[' ']' 
    | '[' elements+=NUMBER (vector_delimiters elements+=NUMBER)* ']' 
    | '[' elements+=STRING (vector_delimiters elements+=STRING)* ']' 
    | '[' elements+=ID  (vector_delimiters elements+=ID)*  ']' 
    | '[' elements+=vector (vector_delimiters elements+=vector)* ']' 
    ; 

보기에는 꽤 못생긴다.

이러한 유형의 유효성 검사는 문법의 일부가 아니어야합니다. 방문자를 구성하여 일관성 규칙을 확인하십시오. 이 코드는보다 간단하고 유지 보수가 용이하며 우려 원칙의 분리를 존중합니다. 파서가 구문 분석을하고 나중에 유효성 검사를 수행합니다. 보너스로 예상치 못한 토큰보다 나은 오류 메시지를 제공 할 수 있습니다.

부수적으로 초기 문법은 [ , 42 ]과 같은 구문을 허용합니다.

vector 
    : '[' ']' 
    | '[' elements+=vector_members (vector_delimiters elements+=vector_members)* ']' 
    ;