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 445 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: