Loading...

Searching...

No Matches

Parser Member List

This is the complete list of members for Parser, including all inherited members.

add_id(const irept &name, new_scopet::kindt) Parser protected

add_id(const irep_idt &, new_scopet::kindt) Parser protected

cpp11 Parser protected

current_function Parser protected

current_scope Parser protected

DeclKind enum name Parser protected

isAllocateExpr(int) Parser protected

isConstructorDecl() Parser protected

isPtrToMember(int) Parser protected

isTypeSpecifier() Parser protected

kArgDeclarator enum value Parser protected

kCastDeclarator enum value Parser protected

kDeclarator enum value Parser protected

lex Parser protected

make_sub_scope(const irept &name, new_scopet::kindt) Parser protected

make_sub_scope(const irep_idt &, new_scopet::kindt) Parser protected

make_subtype(const typet &src, typet &dest) Parser inlineprotected

max_errors Parser protected

maybeTemplateArgs() Parser protected

MaybeTypeNameOrClassTemplate(cpp_tokent &) Parser protected

merge_types(const typet &src, typet &dest) Parser protected

message_handler Parser protected

moreVarName() Parser protected

num_tdks enum value Parser protected

number_of_errors Parser protected

operator()() Parser

optAlignas(typet &) Parser protected

optAttribute(typet &) Parser protected

optCvQualify(typet &) Parser protected

optIntegralTypeOrClassSpec(typet &) Parser protected

optMemberSpec(cpp_member_spect &) Parser protected

optPtrOperator(typet &) Parser protected

optStorageSpec(cpp_storage_spect &) Parser protected

optThrowDecl(irept &) Parser protected

parse_tree Parser protected

Parser(cpp_parsert &_cpp_parser, message_handlert &message_handler) Parser inline

rAccessDecl(cpp_declarationt &) Parser protected

rAdditiveExpr(exprt &) Parser protected

rAlignofExpr(exprt &) Parser protected

rAllocateExpr(exprt &) Parser protected

rAllocateInitializer(exprt &) Parser protected

rAllocateType(exprt &, typet &, exprt &) Parser protected

rAndExpr(exprt &, bool) Parser protected

rArgDeclaration(cpp_declarationt &) Parser protected

rArgDeclList(irept &) Parser protected

rArgDeclListOrInit(exprt &, bool &, bool) Parser protected

rBaseSpecifiers(irept &) Parser protected

rCastExpr(exprt &) Parser protected

rCastOperatorName(irept &) Parser protected

rClassBody(exprt &) Parser protected

rClassMember(cpp_itemt &) Parser protected

rClassSpec(typet &) Parser protected

rCommaExpression(exprt &) Parser protected

rCompoundStatement() Parser protected

rCondition(exprt &) Parser protected

rConditionalExpr(exprt &, bool) Parser protected

rConstDeclaration(cpp_declarationt &) Parser protected

rConstructorDecl(cpp_declaratort &, typet &, typet &trailing_return_type) Parser protected

rDeclaration(cpp_declarationt &) Parser protected

rDeclarationStatement() Parser protected

rDeclarator(cpp_declaratort &, DeclKind, bool, bool) Parser protected

rDeclaratorQualifier() Parser protected

rDeclarators(cpp_declarationt::declaratorst &, bool, bool=false) Parser protected

rDeclaratorWithInit(cpp_declaratort &, bool, bool) Parser protected

rDefinition(cpp_itemt &) Parser protected

rDoStatement() Parser protected

rEnumBody(irept &) Parser protected

rEnumSpec(typet &) Parser protected

rEqualityExpr(exprt &, bool) Parser protected

rExclusiveOrExpr(exprt &, bool) Parser protected

rExpression(exprt &, bool) Parser protected

rExprStatement() Parser protected

rExternTemplateDecl(cpp_declarationt &) Parser protected

rForStatement() Parser protected

rFunctionArguments(exprt &) Parser protected

rFunctionBody(cpp_declaratort &) Parser protected

rGCCAsmStatement() Parser protected

rGCCAttribute(typet &) Parser protected

rIfStatement() Parser protected

rInclusiveOrExpr(exprt &, bool) Parser protected

rInitializeExpr(exprt &) Parser protected

rIntegralDeclaration(cpp_declarationt &, cpp_storage_spect &, cpp_member_spect &, typet &, typet &) Parser protected

rIntegralDeclStatement(cpp_storage_spect &, typet &, typet &) Parser protected

rLinkageBody(cpp_linkage_spect::itemst &) Parser protected

rLinkageSpec(cpp_linkage_spect &) Parser protected

rLogicalAndExpr(exprt &, bool) Parser protected

rLogicalOrExpr(exprt &, bool) Parser protected

rMemberInit(exprt &) Parser protected

rMemberInitializers(irept &) Parser protected

rMSC_if_existsExpr(exprt &) Parser protected

rMSC_if_existsStatement() Parser protected

rMSC_leaveStatement() Parser protected

rMSC_tryStatement() Parser protected

rMSCAsmStatement() Parser protected

rMSCuuidof(exprt &) Parser protected

rMultiplyExpr(exprt &) Parser protected

rName(irept &) Parser protected

rNamespaceSpec(cpp_namespace_spect &) Parser protected

rNewDeclarator(typet &) Parser protected

rNoexceptExpr(exprt &) Parser protected

rNullDeclaration(cpp_declarationt &) Parser protected

root_scope Parser protected

rOperatorName(irept &) Parser protected

rOtherDeclaration(cpp_declarationt &, cpp_storage_spect &, cpp_member_spect &, typet &) Parser protected

rOtherDeclStatement(cpp_storage_spect &, typet &) Parser protected

rPmExpr(exprt &) Parser protected

rPostfixExpr(exprt &) Parser protected

rPrimaryExpr(exprt &) Parser protected

rProgram(cpp_itemt &item) Parser protected

rPtrToMember(irept &) Parser protected

rRelationalExpr(exprt &, bool) Parser protected

rShiftExpr(exprt &, bool) Parser protected

rSimpleDeclaration(cpp_declarationt &) Parser protected

rSizeofExpr(exprt &) Parser protected

rStatement() Parser protected

rStaticAssert(cpp_static_assertt &) Parser protected

rString(cpp_tokent &tk) Parser protected

rSwitchStatement() Parser protected

rTempArgDeclaration(cpp_declarationt &) Parser protected

rTempArgList(irept &) Parser protected

rTemplateArgs(irept &) Parser protected

rTemplateDecl(cpp_declarationt &) Parser protected

rTemplateDecl2(typet &, TemplateDeclKind &kind) Parser protected

rThrowExpr(exprt &) Parser protected

rTryStatement() Parser protected

rTypedef(cpp_declarationt &) Parser protected

rTypedefStatement() Parser protected

rTypedefUsing(cpp_declarationt &) Parser protected

rTypeidExpr(exprt &) Parser protected

rTypeName(typet &) Parser protected

rTypeNameOrFunctionType(typet &) Parser protected

rTypePredicate(exprt &) Parser protected

rTypeSpecifier(typet &, bool) Parser protected

rUnaryExpr(exprt &) Parser protected

rUsing(cpp_usingt &) Parser protected

rUsingOrTypedef(cpp_itemt &) Parser protected

rVarName(exprt &) Parser protected

rVarNameCore(exprt &) Parser protected

rWhileStatement() Parser protected

set_location(irept &dest, const cpp_tokent &token) Parser inlineprotected

SkipTo(int token) Parser protected

SyntaxError() Parser protected

tdk_decl enum value Parser protected

tdk_instantiation enum value Parser protected

tdk_specialization enum value Parser protected

tdk_unknown enum value Parser protected

TemplateDeclKind enum name Parser protected

CBMC: Member List