CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
cpp_tokent Class Reference

#include <cpp_token.h>

+ Collaboration diagram for cpp_tokent:
[フレーム]
[legend]

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 ( )
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:

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