Flex/Bison: Quản lý mã thông báo không hợp lệ?

Question

Tôi gặp sự cố trong lexer và trong trình phân tích cú pháp của mình.

Thứ nhất, trong lexer của tôi, tôi đã là một dòng như thế:

"if" beginScope(stOTHER); return IF; 

Và trong phân tích cú pháp của tôi:

stmt: IF '(' exp ')' stmts 
... 
stmts: stmt 
     | '{' stmt_list '}' 
     | '{' '}' 

Trong một mã như thế:

if(sth) { 
    dosth; 
} 

if(other) { 
    doothersth; 
} 

beginScope sẽ được gọi hai lần, bởi vì (tôi nghĩ) Bison không biết đâu là kết thúc của tuyên bố if, vì vậy khi nó tìm thấy IF mã thông báo, ông mất rằng khi kết thúc báo cáo kết quả if, và đọc nó một lần thứ hai để bắt đầu báo cáo kết quả khác if ...

Xin hãy giúp tôi ...

Answer 1

Khi Zack đề cập trong các nhận xét, bạn nên gọi beginScope từ một hành động phân tích cú pháp:

stmt: IF { beginScope(stOTHER); } '(' exp ')' stmts