diff options
| author | John Millaway <john43@users.sourceforge.net> | 2002-07-09 16:37:04 +0000 |
|---|---|---|
| committer | John Millaway <john43@users.sourceforge.net> | 2002-07-09 16:37:04 +0000 |
| commit | 6822400f32e05ba0f5a00499ddb4e8ba0ebd9202 (patch) | |
| tree | 6f75207a3da33803233747b4f3e32e84522c14f3 /main.c | |
| parent | feebeead86c59ab3ee13f0bd0e7a9fd830701caa (diff) | |
Made yy_flex_debug non-global in reentrant scanner.
Created get/set functions for yy_flex_debug.
Defined prefixes for new yy_flex_debug symbols.
Added tests/ for yy_flex_debug.
Diffstat (limited to 'main.c')
| -rw-r--r-- | main.c | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -355,13 +355,13 @@ void check_options() GEN_PREFIX( "leng" ); GEN_PREFIX( "in" ); GEN_PREFIX( "out" ); + GEN_PREFIX( "_flex_debug" ); outn( "#endif" ); GEN_PREFIX( "_create_buffer" ); GEN_PREFIX( "_delete_buffer" ); GEN_PREFIX( "_scan_buffer" ); GEN_PREFIX( "_scan_string" ); GEN_PREFIX( "_scan_bytes" ); - GEN_PREFIX( "_flex_debug" ); GEN_PREFIX( "_init_buffer" ); GEN_PREFIX( "_flush_buffer" ); GEN_PREFIX( "_load_buffer_state" ); @@ -370,6 +370,8 @@ void check_options() GEN_PREFIX( "restart" ); GEN_PREFIX( "lex_init" ); GEN_PREFIX( "lex_destroy" ); + GEN_PREFIX( "get_debug" ); + GEN_PREFIX( "set_debug" ); GEN_PREFIX( "get_extra" ); GEN_PREFIX( "set_extra" ); GEN_PREFIX( "get_in" ); @@ -580,6 +582,7 @@ int exit_status; fprintf(header_out,"#undef YY_MORE_ADJ\n"); fprintf(header_out,"#undef YY_NEED_STRLEN\n"); fprintf(header_out,"#undef YY_NEW_FILE\n"); + fprintf(header_out,"#undef YY_NO_GET_DEBUG\n"); fprintf(header_out,"#undef YY_NO_GET_EXTRA\n"); fprintf(header_out,"#undef YY_NO_GET_IN\n"); fprintf(header_out,"#undef YY_NO_GET_LENG\n"); @@ -594,6 +597,7 @@ int exit_status; fprintf(header_out,"#undef YY_NO_SCAN_BUFFER\n"); fprintf(header_out,"#undef YY_NO_SCAN_BYTES\n"); fprintf(header_out,"#undef YY_NO_SCAN_STRING\n"); + fprintf(header_out,"#undef YY_NO_SET_DEBUG\n"); fprintf(header_out,"#undef YY_NO_SET_EXTRA\n"); fprintf(header_out,"#undef YY_NO_SET_IN\n"); fprintf(header_out,"#undef YY_NO_SET_LINENO\n"); |