cprover
yy_buffer_state Struct Reference

Public Attributes

FILE * yy_input_file
 
char * yy_ch_buf
 
char * yy_buf_pos
 
int yy_buf_size
 
int yy_n_chars
 
int yy_is_our_buffer
 
int yy_is_interactive
 
int yy_at_bol
 
int yy_bs_lineno
 The line count. More...
 
int yy_bs_column
 The column count. More...
 
int yy_fill_buffer
 
int yy_buffer_status
 

Detailed Description

Definition at line 206 of file ansi_c_lex.yy.cpp.

Member Data Documentation

§ yy_at_bol

§ yy_bs_column

int yy_buffer_state::yy_bs_column

§ yy_bs_lineno

int yy_buffer_state::yy_bs_lineno

§ yy_buf_pos

§ yy_buf_size

§ yy_buffer_status

§ yy_ch_buf

§ yy_fill_buffer

§ yy_input_file

§ yy_is_interactive

§ yy_is_our_buffer

§ yy_n_chars


The documentation for this struct was generated from the following files: