CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Parser Member List

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

add_id(const irept &name, new_scopet::kindt)Parserprotected
add_id(const irep_idt &, new_scopet::kindt)Parserprotected
cpp11Parserprotected
current_functionParserprotected
current_scopeParserprotected
DeclKind enum nameParserprotected
isAllocateExpr(int)Parserprotected
isConstructorDecl()Parserprotected
isPtrToMember(int)Parserprotected
isTypeSpecifier()Parserprotected
kArgDeclarator enum valueParserprotected
kCastDeclarator enum valueParserprotected
kDeclarator enum valueParserprotected
lexParserprotected
make_sub_scope(const irept &name, new_scopet::kindt)Parserprotected
make_sub_scope(const irep_idt &, new_scopet::kindt)Parserprotected
make_subtype(const typet &src, typet &dest)Parserinlineprotected
max_errorsParserprotected
maybeTemplateArgs()Parserprotected
MaybeTypeNameOrClassTemplate(cpp_tokent &)Parserprotected
merge_types(const typet &src, typet &dest)Parserprotected
message_handlerParserprotected
moreVarName()Parserprotected
num_tdks enum valueParserprotected
number_of_errorsParserprotected
operator()()Parser
optAlignas(typet &)Parserprotected
optAttribute(typet &)Parserprotected
optCvQualify(typet &)Parserprotected
optIntegralTypeOrClassSpec(typet &)Parserprotected
optMemberSpec(cpp_member_spect &)Parserprotected
optPtrOperator(typet &)Parserprotected
optStorageSpec(cpp_storage_spect &)Parserprotected
optThrowDecl(irept &)Parserprotected
parse_treeParserprotected
Parser(cpp_parsert &_cpp_parser, message_handlert &message_handler)Parserinline
rAccessDecl(cpp_declarationt &)Parserprotected
rAdditiveExpr(exprt &)Parserprotected
rAlignofExpr(exprt &)Parserprotected
rAllocateExpr(exprt &)Parserprotected
rAllocateInitializer(exprt &)Parserprotected
rAllocateType(exprt &, typet &, exprt &)Parserprotected
rAndExpr(exprt &, bool)Parserprotected
rArgDeclaration(cpp_declarationt &)Parserprotected
rArgDeclList(irept &)Parserprotected
rArgDeclListOrInit(exprt &, bool &, bool)Parserprotected
rBaseSpecifiers(irept &)Parserprotected
rCastExpr(exprt &)Parserprotected
rCastOperatorName(irept &)Parserprotected
rClassBody(exprt &)Parserprotected
rClassMember(cpp_itemt &)Parserprotected
rClassSpec(typet &)Parserprotected
rCommaExpression(exprt &)Parserprotected
rCompoundStatement()Parserprotected
rCondition(exprt &)Parserprotected
rConditionalExpr(exprt &, bool)Parserprotected
rConstDeclaration(cpp_declarationt &)Parserprotected
rConstructorDecl(cpp_declaratort &, typet &, typet &trailing_return_type)Parserprotected
rDeclaration(cpp_declarationt &)Parserprotected
rDeclarationStatement()Parserprotected
rDeclarator(cpp_declaratort &, DeclKind, bool, bool)Parserprotected
rDeclaratorQualifier()Parserprotected
rDeclarators(cpp_declarationt::declaratorst &, bool, bool=false)Parserprotected
rDeclaratorWithInit(cpp_declaratort &, bool, bool)Parserprotected
rDefinition(cpp_itemt &)Parserprotected
rDoStatement()Parserprotected
rEnumBody(irept &)Parserprotected
rEnumSpec(typet &)Parserprotected
rEqualityExpr(exprt &, bool)Parserprotected
rExclusiveOrExpr(exprt &, bool)Parserprotected
rExpression(exprt &, bool)Parserprotected
rExprStatement()Parserprotected
rExternTemplateDecl(cpp_declarationt &)Parserprotected
rForStatement()Parserprotected
rFunctionArguments(exprt &)Parserprotected
rFunctionBody(cpp_declaratort &)Parserprotected
rGCCAsmStatement()Parserprotected
rGCCAttribute(typet &)Parserprotected
rIfStatement()Parserprotected
rInclusiveOrExpr(exprt &, bool)Parserprotected
rInitializeExpr(exprt &)Parserprotected
rIntegralDeclaration(cpp_declarationt &, cpp_storage_spect &, cpp_member_spect &, typet &, typet &)Parserprotected
rIntegralDeclStatement(cpp_storage_spect &, typet &, typet &)Parserprotected
rLinkageBody(cpp_linkage_spect::itemst &)Parserprotected
rLinkageSpec(cpp_linkage_spect &)Parserprotected
rLogicalAndExpr(exprt &, bool)Parserprotected
rLogicalOrExpr(exprt &, bool)Parserprotected
rMemberInit(exprt &)Parserprotected
rMemberInitializers(irept &)Parserprotected
rMSC_if_existsExpr(exprt &)Parserprotected
rMSC_if_existsStatement()Parserprotected
rMSC_leaveStatement()Parserprotected
rMSC_tryStatement()Parserprotected
rMSCAsmStatement()Parserprotected
rMSCuuidof(exprt &)Parserprotected
rMultiplyExpr(exprt &)Parserprotected
rName(irept &)Parserprotected
rNamespaceSpec(cpp_namespace_spect &)Parserprotected
rNewDeclarator(typet &)Parserprotected
rNoexceptExpr(exprt &)Parserprotected
rNullDeclaration(cpp_declarationt &)Parserprotected
root_scopeParserprotected
rOperatorName(irept &)Parserprotected
rOtherDeclaration(cpp_declarationt &, cpp_storage_spect &, cpp_member_spect &, typet &)Parserprotected
rOtherDeclStatement(cpp_storage_spect &, typet &)Parserprotected
rPmExpr(exprt &)Parserprotected
rPostfixExpr(exprt &)Parserprotected
rPrimaryExpr(exprt &)Parserprotected
rProgram(cpp_itemt &item)Parserprotected
rPtrToMember(irept &)Parserprotected
rRelationalExpr(exprt &, bool)Parserprotected
rShiftExpr(exprt &, bool)Parserprotected
rSimpleDeclaration(cpp_declarationt &)Parserprotected
rSizeofExpr(exprt &)Parserprotected
rStatement()Parserprotected
rStaticAssert(cpp_static_assertt &)Parserprotected
rString(cpp_tokent &tk)Parserprotected
rSwitchStatement()Parserprotected
rTempArgDeclaration(cpp_declarationt &)Parserprotected
rTempArgList(irept &)Parserprotected
rTemplateArgs(irept &)Parserprotected
rTemplateDecl(cpp_declarationt &)Parserprotected
rTemplateDecl2(typet &, TemplateDeclKind &kind)Parserprotected
rThrowExpr(exprt &)Parserprotected
rTryStatement()Parserprotected
rTypedef(cpp_declarationt &)Parserprotected
rTypedefStatement()Parserprotected
rTypedefUsing(cpp_declarationt &)Parserprotected
rTypeidExpr(exprt &)Parserprotected
rTypeName(typet &)Parserprotected
rTypeNameOrFunctionType(typet &)Parserprotected
rTypePredicate(exprt &)Parserprotected
rTypeSpecifier(typet &, bool)Parserprotected
rUnaryExpr(exprt &)Parserprotected
rUsing(cpp_usingt &)Parserprotected
rUsingOrTypedef(cpp_itemt &)Parserprotected
rVarName(exprt &)Parserprotected
rVarNameCore(exprt &)Parserprotected
rWhileStatement()Parserprotected
set_location(irept &dest, const cpp_tokent &token)Parserinlineprotected
SkipTo(int token)Parserprotected
SyntaxError()Parserprotected
tdk_decl enum valueParserprotected
tdk_instantiation enum valueParserprotected
tdk_specialization enum valueParserprotected
tdk_unknown enum valueParserprotected
TemplateDeclKind enum nameParserprotected