cprover
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 ( void  )
inline

Definition at line 28 of file cpp_token.h.

References irept::clear().

Referenced by Parser::rLinkageBody().

§ swap()

void cpp_tokent::swap ( cpp_tokent token)
inline

Definition at line 37 of file cpp_token.h.

References data, filename, kind, line_no, dstringt::swap(), irept::swap(), and text.

Member Data Documentation

§ data

§ filename

irep_idt cpp_tokent::filename

Definition at line 26 of file cpp_token.h.

Referenced by cpp_parsert::add_location(), Parser::set_location(), and swap().

§ kind

§ line_no

unsigned cpp_tokent::line_no

Definition at line 25 of file cpp_token.h.

Referenced by cpp_parsert::add_location(), Parser::set_location(), and swap().

§ text

std::string cpp_tokent::text

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