XSD Regex의 문법을 ANTLR4로 구문 분석하는 방법은 무엇입니까?

Question

친애하는 Antlr4 커뮤니티,

최근 정규 표현식을 XSD/xml에서 cvc4로 변환하기 위해 ANTLR4를 사용하기 시작했습니다. w3c에 지정된 문법을 사용합니다 (http://www.w3.org/TR/xmlschema11-2/#regexs 참조). 에 (charClass을 제거하여)이 문법을 단순화 나는이 질문에 대한 :

input 12{3,4} 

:

input a(bd){6,7}c{14,15} 

는 그러나, 나는에 대한 오류 메시지가 :

grammar XSDRegExp; 

regExp   :  branch ('|' branch)* ; 
branch   :  piece* ; 
piece    :  atom quantifier? ; 
quantifier  :  Quantifiers | '{'quantity'}' ; 
quantity   :  quantRange | quantMin | QuantExact ; 
quantRange  :  QuantExact ',' QuantExact ; 
quantMin   :  QuantExact ',' ; 
atom    :  NormalChar | '(' regExp ')' ;  // excluded | charClass ; 

QuantExact  :  [0-9]+ ; 
NormalChar  :  ~[.\\?*+{}()|\[\]] ;   
Quantifiers  :  [?*+] ;  

구문 분석 잘 갈 것 같다

오류 :

라인 1 : 0 일치하지 않는 입력 '12'기대 {, '(', '|', NormalChar} 파서는 이후

내가 렉서는 첫 번째 심볼로 QuantExact를 볼 수 있다는 것을 이해하지만, NormalChar 찾고이 오류를 기대하지 않았다.

[1]과 QuantExact NormalChar 정의를 스와핑

저는 많은 변화를 시도했다. 그러나 스와핑 첫 번째 입력에 에러를 도입

line 1:6 no viable alternative at input '6' 

그런 경우 이후 '6'만 QuantExact 같은 NormalChar 같이 NOT 보인다.

[2] 렉서가이 제한된 컨텍스트에서 QuantExact 기호만을 제공하도록 QuantExact (수량의 중괄호)에 대한 컨텍스트를 만들어보십시오. 그러나 이것에 대한 ANTLR4 프리미티브를 찾지 못했습니다.

아무 것도 작동하지 않는 것 같습니다. 따라서 내 질문은 다음과 같습니다. 이 문법을 ANTLR4로 구문 분석 할 수 있습니까? 그렇다면 어떻게?

Answer 1

은 내가 렉서는 첫 번째 심볼로 QuantExact를 볼 수 있다는 것을 이해하지만, 파서 만 NormalChar을 찾고 있기 때문에이 오류를 기대하지 않았다.

렉서는 파서에 "듣지"하지 않습니다 상관없이 파서가 NormalChar 일치하려고하는 경우, 문자 12 항상 QuantExact으로 일치됩니다. 렉서는 가능한 한 많은 문자를 매치하려고하며, 동점 일 경우 먼저 정의 된 규칙을 선택합니다.

당신은 일치하는 normalChar 규칙을 소개 할 수 모두 NormalChar 및 QuantExact과에서 해당 규칙을 사용하여 atom :

atom    :  normalChar | '(' regExp ')' ; 
normalChar  :  NormalChar | QuantExact ; 

또 다른 옵션은 렉서는 단일 문자 토큰을 만들 수 있도록하고 파서하게하는 것 이들을 함께 붙이십시오 (많이 PEG처럼).이런 식으로 뭔가 :

regExp   :  branch ('|' branch)* ; 
branch   :  piece* ; 
piece    :  atom quantifier? ; 
quantifier  :  Quantifiers | '{'quantity'}' ; 
quantity   :  quantRange | quantMin | quantExact ; 
quantRange  :  quantExact ',' quantExact ; 
quantMin   :  quantExact ',' ; 
atom    :  normalChar | '(' regExp ')' ; 
normalChar  :  NormalChar | Digit ; 
quantExact  :  Digit+ ; 

Digit    :  [0-9] ; 
NormalChar  :  ~[.\\?*+{}()|\[\]] ; 
Quantifiers  :  [?*+] ;