YYSETSTATE, как узнать идентификатор YYFILL?

Question

Руководство четко говорит:

YYSETSTATE (s) 

[...] 
The parameter to YYSETSTATE is a signed integer that uniquely identifies 
the specific instance of YYFILL (n) that is about to be called. 
[...] 

Проблема заключается в том, я звоню YYSETSTATE определенный макрос из анализатора Bison. Как я могу начать состояние без знания интерфейса integer? Другими словами, как я могу получить идентификатор состояния, которое я хочу начать.

На лексере:

<MY_STATE>{NAME} { 
    return FN_NAME; 
} 

На парсер:

expr: { push_state(?) } /* what's the identifier of MY_STATE? */ 
    '(' FN_NAME VALUE VALUE ')' { compile_expr($2, $3, $4); } 
; 

Answer 1

Я не думаю, что вы когда-нибудь призываю макрос. Он используется как часть механизма управления инверсией re2c, который включен с флагом командной строки -f, который превращает сканер в «push» сканер. Это удобная функция, но она не имеет ничего общего с условиями запуска, и трудно представить себе обстоятельство, в котором вы могли бы прорваться через абстракцию, чтобы напрямую установить состояние.

re2c имеет функцию, похожую на начальные условия flex, которая включена с флагом командной строки -c. Чтобы установить текущее состояние, вы используете YYSETCONDITION, который принимает значение из перечисления условий запуска. Если вы также укажете флаг командной строки -t, re2c создаст файл заголовка с этим перечислением, чтобы вы могли выполнять YYSETCONDITION из других единиц перевода.