784 |
void append_string(const char *str, int size) |
void append_string(const char *str, int size) |
785 |
{ |
{ |
786 |
int new_size = text_size + size + 1; |
int new_size = text_size + size + 1; |
787 |
|
if (size > 70) { |
788 |
|
fprintf (stderr, "%s:%d error: Overlong line\n", |
789 |
|
current_file->name, current_file->lineno); |
790 |
|
} |
791 |
|
|
792 |
if (new_size > text_asize) { |
if (new_size > text_asize) { |
793 |
new_size += START_STRSIZE - 1; |
new_size += START_STRSIZE - 1; |
794 |
new_size &= -START_STRSIZE; |
new_size &= -START_STRSIZE; |
847 |
static int yy_flex_strlen (yyconst char * ); |
static int yy_flex_strlen (yyconst char * ); |
848 |
#endif |
#endif |
849 |
|
|
850 |
|
//bbox: suppressing "defined but not used" warning |
851 |
|
#define YY_NO_INPUT 1 |
852 |
|
|
853 |
#ifndef YY_NO_INPUT |
#ifndef YY_NO_INPUT |
854 |
|
|
855 |
#ifdef __cplusplus |
#ifdef __cplusplus |