CBMC
cpp_token_buffer.cpp File Reference

C++ Parser: Token Buffer. More...

#include "cpp_token_buffer.h"
+ Include dependency graph for cpp_token_buffer.cpp:

Go to the source code of this file.

Functions

int yyansi_clex ()
 

Variables

char * yyansi_ctext
 

Detailed Description

C++ Parser: Token Buffer.

Definition in file cpp_token_buffer.cpp.

Function Documentation

◆ yyansi_clex()

int yyansi_clex ( )

Variable Documentation

◆ yyansi_ctext

char* yyansi_ctext
extern