CBMC
ctoken.h File Reference

ctoken More...

#include <iosfwd>
#include <string>
+ Include dependency graph for ctoken.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  ctokent
 

Functions

static bool is_identifier (const ctokent &t)
 
static bool is_separator (const ctokent &t)
 
static bool is_operator (const ctokent &t)
 
static bool is_ws (const ctokent &t)
 
static bool is_eof (const ctokent &t)
 
static bool is_comment (const ctokent &t)
 
static bool is_preprocessor_directive (const ctokent &t)
 
std::ostream & operator<< (std::ostream &, const ctokent &)
 

Detailed Description

ctoken

Definition in file ctoken.h.

Function Documentation

◆ is_comment()

static bool is_comment ( const ctokent t)
inlinestatic

Definition at line 93 of file ctoken.h.

◆ is_eof()

static bool is_eof ( const ctokent t)
inlinestatic

Definition at line 88 of file ctoken.h.

◆ is_identifier()

static bool is_identifier ( const ctokent t)
inlinestatic

Definition at line 68 of file ctoken.h.

◆ is_operator()

static bool is_operator ( const ctokent t)
inlinestatic

Definition at line 78 of file ctoken.h.

◆ is_preprocessor_directive()

static bool is_preprocessor_directive ( const ctokent t)
inlinestatic

Definition at line 98 of file ctoken.h.

◆ is_separator()

static bool is_separator ( const ctokent t)
inlinestatic

Definition at line 73 of file ctoken.h.

◆ is_ws()

static bool is_ws ( const ctokent t)
inlinestatic

Definition at line 83 of file ctoken.h.

◆ operator<<()

std::ostream& operator<< ( std::ostream &  out,
const ctokent t 
)

Definition at line 64 of file ctoken.cpp.