scripts/genksyms/lex.c_shipped

185 /* Size of default input buffer. */
190 /* The state buf must be large enough to hold one state per character in the main buffer.
247 	char *yy_ch_buf;		/* input buffer */
248 	char *yy_buf_pos;		/* current position in input buffer */
250 	/* Size of input buffer in bytes, not including room for EOB
260 	/* Whether we "own" the buffer - i.e., we know we created it,
282 	/* Whether to try to fill the input buffer when we reach the
292 	 * then we mark the buffer as YY_EOF_PENDING, to indicate that we
320 /* We provide macros for accessing buffer states in case in the
321  * future we want to put the buffer states in a more general
330 /* Same as previous macro, but useful when we know that the buffer stack is not
345 /* Points to current character in buffer. */
350 /* Flag which is used to allow yywrap()'s to do buffer switches
1017 				fprintf( stderr, "--(end of buffer or a NUL)\n" );
1138 		 * of the first EOB in the buffer, since yy_c_buf_p will
1141 		 * end-of-buffer state).  Contrast this with the test
1250 /* yy_get_next_buffer - try to read in a new buffer
1270 		"fatal flex scanner internal error--end of buffer missed" );
1273 		{ /* Don't try to fill the buffer, so this is an EOF. */
1293 	/* First move last chars to start of buffer. */
1311 			{ /* Not enough room in the buffer - grow it. */
1313 			/* just a shorter name for the current buffer */
1338 				"fatal error - scanner input buffer overflow" );
1531 		 * valid NUL; if not, then we've hit the end of the buffer.
1555 					/* Reset buffer status. */
1616 /** Switch to a different input buffer.
1617  * @param new_buffer The new input buffer.
1638 		/* Flush out information for old buffer. */
1667 /** Allocate and initialize an input buffer state.
1669  * @param size The character buffer size in bytes. When in doubt, use @c YY_BUF_SIZE.
1671  * @return the allocated buffer state.
1688 	 * we need to put in 2 end-of-buffer characters.
1701 /** Destroy the buffer.
1702  * @param b a buffer created with yy_create_buffer()
1735 /* Initializes or reinitializes a buffer.
1736  * This function is sometimes called more than once on the same buffer,
1753     /* If b is the current buffer, then yy_init_buffer was _probably_
1773  * @param b the buffer state to be flushed, usually @c YY_CURRENT_BUFFER.
1787 	/* We always need two end-of-buffer characters.  The first causes
1788 	 * a transition to the end-of-buffer state.  The second causes
1824 		/* Flush out information for old buffer. */
1901 		/* Increase the buffer to prepare for a possible push. */
1920 /** Setup the input buffer state to scan directly from a user-specified character buffer.
1921  * @param base the character buffer
1922  * @param size the size in bytes of the character buffer
1924  * @return the newly allocated buffer state object.
1957 /** Setup the input buffer state to scan a string. The next call to yylex() will
1961  * @return the newly allocated buffer state object.
1973 /** Setup the input buffer state to scan the given bytes. The next call to yylex() will
1975  * @param bytes the byte buffer to scan
1976  * @param len the number of bytes in the buffer pointed to by @a bytes.
1978  * @return the newly allocated buffer state object.
1987 	/* Get memory for full buffer, including space for trailing EOB's. */
2000 		YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
2002 	/* It's okay to grow etc. this buffer, and we should throw it
2104  * input buffer.
2171     /* Pop the buffer stack, destroying each element. */