java_cup.runtime.Symbol "EOF" не был объявлен

Question

Я уже читал эту дискуссию, но она мне не помогла.

start with file;
file ::= primario SEP secondario SEP terziario EOF {:fm.scriviDebug();:};

куда fm.scriviDebug() мой пользовательский класс, который печатает на stdout то, что анализировал CUP.

Я понятия не имею, в чем проблема.

Немного информации:

---

Я использую JFLex для сканирования файла и передачи символов в CUP следующим образом:

...
{bo} {System.out.println("[BO] ["+yytext() +"]");return symbol(sym.BO);}
{bc} {System.out.println("[BC] ["+yytext() +"]");return symbol(sym.BC);}
{sc} {System.out.println("[SC] ["+yytext() +"]");return symbol(sym.SC);}
{eq} {System.out.println("[EQ] ["+yytext() +"]");return symbol(sym.EQ);}
...

---

Я получаю более одного предупреждения следующего типа:

Warning in file "Scanner.jflex" (line 115):
Expression matches the empty string, which may lead to non-termination.
   .*  {

---

Вот что я получаю при "компиляции" CUP:

Opening files...
Parsing specification from standard input...
Error at 63(73): java_cup.runtime.Symbol "EOF" has not been declared
Closing files...
------- CUP v0.10k Parser Generation Summary -------
1 error and 0 warnings
20 terminals, 14 non-terminals, and 18 productions declared,
producing 0 unique parse states.
0 terminals declared but not used.
0 non-terminals declared but not used.
0 productions never reduced.
0 conflicts detected (0 expected).
    No code produced.
---------------------------------------------------- (v0.10k)

---

Другая ошибка после компиляции CUP завершается неудачно:

 cannot find symbol
           { return new java_cup.runtime.Symbol(sym.EOF); }

---

Пожалуйста, скажите мне, если требуется дополнительная информация.