Cách thích hợp để giải quyết sự không rõ ràng về quy tắc lexer ANTLR?

Question

Vui lòng xem mã nguồn có sẵn tại: https://gist.github.com/1684022.

tôi đã có hai thẻ định nghĩa:

ID : ('a'..'z' | 'A'..'Z') ('0'..'9' | 'a'..'z' | 'A'..'Z' | ' ')*; 

PITCH 
    : (('A'|'a') '#'?) 
    | (('B'|'b') '#'?) 
    | (('C'|'c') '#'?); 

Rõ ràng, chữ "A" sẽ là một sự mơ hồ.

Tôi cũng xác định:

note : PITCH; 
name : ID; 
main : name ':' note '\n'? 

Bây giờ, nếu tôi nhập "A: A" làm đầu vào cho phân tích cú pháp, tôi luôn nhận được một lỗi. Trình phân tích cú pháp mong đợi PITCH hoặc ID tùy thuộc vào việc ID hoặc PITCH được xác định trước hay không:

mismatched input 'A' expecting ID 

Cách thích hợp để giải quyết vấn đề này là gì?

---

Như được mô tả, mặc dù nó có ý nghĩa trực quan về cách phân tích cú pháp hoạt động, ANTLR không thực hiện "điều đúng". Đó là, mặc dù quy tắc main cho biết trước tiên, một lenner name/ID sẽ bị bỏ qua và xác định "A" là PITCH vì nó tuân thủ quy tắc "dài nhất"/"đến trước" thay vì quy tắc "quy tắc cho biết quy tắc" hợp lý hơn.

Giải pháp duy nhất để giả mạo/hack nó bằng cách kết hợp cả ID và PITCH, sau đó kết hợp lại chúng sau khi dasblinkenlight nói?

Answer 1

Sau đây là cách tôi sẽ tái yếu tố ngữ pháp này để làm cho nó hoạt động:

ID : (('a'..'z' | 'A'..'Z') ('0'..'9' | 'a'..'z' | 'A'..'Z' | ' ')+) 
    | ('d'..'z' | 'D'..'Z'); 

PITCH : 'a'..'c' | 'A'..'C'; 

SHARP : '#'; 

note : PITCH SHARP?; 

name : ID | PITCH; 

main : name ':' note '\n'? EOF 

này tách tên dài từ tên sân một ký tự, mà có được "đoàn tụ" trong phân tích cú pháp. Mã thông báo "sắc nét" cũng có tên riêng và được nhận dạng trong trình phân tích cú pháp dưới dạng mã thông báo tùy chọn.