"Oczekiwany token" za pomocą generatora analizatora cytryny

Question

Czy istnieje znany sposób generowania listy "Oczekiwany token" w przypadku wystąpienia błędu składni? Używam Lemon jako generatora parsera.

Answer 1

To wydaje się działać:

%syntax_error { 
     int n = sizeof(yyTokenName)/sizeof(yyTokenName[0]); 
     for (int i = 0; i < n; ++i) { 
       int a = yy_find_shift_action(yypParser, (YYCODETYPE)i); 
       if (a < YYNSTATE + YYNRULE) { 
         printf("possible token: %s\n", yyTokenName[i]); 
       } 
     } 
} 

Próbuje wszystkich możliwych znaków i wypisuje te, które są stosowane w obecnym stanie parsera.

Należy zauważyć, że gdy pojawi się niepoprawny token, parser nie od razu wywołuje funkcję syntax_error, ale próbuje zmniejszyć to, co na stosie, mając nadzieję, że token zostanie później przesunięty. Dopiero gdy nic innego nie może zostać zredukowane, a bieżący token nie może zostać przesunięty, parser wywołuje funkcję syntax_error. Obniżki zmienią stan parsera, co oznacza, że ​​możesz zobaczyć mniej żetonów, niż byłoby to możliwe przed redukcją. Powinno to jednak wystarczyć do zgłaszania błędów.

Answer 2

Nie ma bezpośredniej metody generowania takiej listy w Lemon. Ale możesz spróbować zrobić to za pomocą wyjścia debugowania narzędzia Lemon i śledzenia debugowania wygenerowanego analizatora składni. Po wywołaniu funkcji ParseTrace wygenerowany parser wypisuje listę zmian i zmniejsza ją do strumienia wejściowego. Ostatni błąd przed błędem składni zawiera numer bieżącego stanu przed błędem. Znajdź ten stan w pliku * .out dla swojego analizatora składni i zobacz listę oczekiwanych tokenów dla niego.