| 2517 | #line 163 "./gecode/flatzinc/lexer.lxx" |
| 2518 | |
| 2519 | int yy_input_proc(char* buf, int size, yyscan_t yyscanner) { |
| 2520 | Gecode::FlatZinc::ParserState* parm = |
| 2521 | static_cast<Gecode::FlatZinc::ParserState*>(yyget_extra(yyscanner)); |
| 2522 | return parm->fillBuffer(buf, size); |
| 2523 | // work around warning that yyunput is unused |
| 2524 | yyunput (0,buf,yyscanner); |
| 2525 | } |
| 2526 |
nothing calls this directly
no test coverage detected