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 filename, kind, line_no, and text.

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(), 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(), clear(), 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(), clear(), Parser::set_location(), and swap().

◆ text

std::string cpp_tokent::text

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