CBMC
Loading...
Searching...
No Matches
Functions | Variables
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

AltStyle によって変換されたページ (->オリジナル) /