cprover
|
#include <cpp_token.h>
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 |
Definition at line 19 of file cpp_token.h.
|
inline |
Definition at line 28 of file cpp_token.h.
References filename, kind, line_no, and text.
Referenced by Parser::rLinkageBody().
|
inline |
Definition at line 37 of file cpp_token.h.
References data, filename, kind, line_no, dstringt::swap(), and text.
exprt cpp_tokent::data |
Definition at line 23 of file cpp_token.h.
Referenced by Parser::rAttribute(), Parser::rEnumBody(), Parser::rGCCAsmStatement(), Parser::rLinkageSpec(), Parser::rMSCAsmStatement(), Parser::rName(), Parser::rNamespaceSpec(), Parser::rPrimaryExpr(), Parser::rPtrToMember(), Parser::rStatement(), Parser::rTempArgDeclaration(), Parser::rTypedefUsing(), Parser::rTypeNameOrFunctionType(), Parser::rVarNameCore(), and swap().
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().
int cpp_tokent::kind |
Definition at line 22 of file cpp_token.h.
Referenced by clear(), cpp_token_buffert::get_token(), cpp_token_buffert::LookAhead(), Parser::optAttribute(), Parser::rAttribute(), Parser::rEqualityExpr(), Parser::rMemberInit(), Parser::rMSC_if_existsExpr(), Parser::rMSC_if_existsStatement(), Parser::rShiftExpr(), Parser::rTemplateArgs(), Parser::rTypePredicate(), and swap().
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().
std::string cpp_tokent::text |
Definition at line 24 of file cpp_token.h.
Referenced by clear(), Parser::rPrimaryExpr(), Parser::rTemplateArgs(), Parser::rTypePredicate(), swap(), and Parser::SyntaxError().