CBMC
Public Member Functions | Public Attributes | List of all members
cpp_tokent Class Reference

#include <cpp_token.h>

+ Collaboration diagram for cpp_tokent:

Public Member Functions

void clear ()
 
void swap (cpp_tokent &token)
 

Public Attributes

int kind
 
exprt data
 
std::string text
 
unsigned line_no
 
irep_idt filename
 

Detailed Description

Definition at line 19 of file cpp_token.h.

Member Function Documentation

◆ clear()

void cpp_tokent::clear ( void  )
inline

Definition at line 28 of file cpp_token.h.

◆ swap()

void cpp_tokent::swap ( cpp_tokent &  token)
inline

Definition at line 37 of file cpp_token.h.

Member Data Documentation

◆ data

exprt cpp_tokent::data

Definition at line 23 of file cpp_token.h.

◆ filename

irep_idt cpp_tokent::filename

Definition at line 26 of file cpp_token.h.

◆ kind

int cpp_tokent::kind

Definition at line 22 of file cpp_token.h.

◆ line_no

unsigned cpp_tokent::line_no

Definition at line 25 of file cpp_token.h.

◆ text

std::string cpp_tokent::text

Definition at line 24 of file cpp_token.h.

The documentation for this class was generated from the following file: