Collaboration diagram for Parser:

Public Member Functions
	Parser (cpp_parsert &_cpp_parser)

bool	operator() ()

Protected Types
enum	DeclKind { kDeclarator, kArgDeclarator, kCastDeclarator }

enum	TemplateDeclKind { tdk_unknown, tdk_decl, tdk_instantiation, tdk_specialization, num_tdks }

Protected Member Functions
new_scopet &	add_id (const irept &name, new_scopet::kindt)

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

void	make_sub_scope (const irept &name, new_scopet::kindt)

void	make_sub_scope (const irep_idt &, new_scopet::kindt)

bool	rProgram (cpp_itemt &item)

bool	SyntaxError ()

bool	rDefinition (cpp_itemt &)

bool	rNullDeclaration (cpp_declarationt &)

bool	rTypedef (cpp_declarationt &)

bool	rTypedefUsing (cpp_declarationt &)

optionalt< codet >	rTypedefStatement ()

bool	rTypeSpecifier (typet &, bool)

bool	isTypeSpecifier ()

bool	rLinkageSpec (cpp_linkage_spect &)

bool	rNamespaceSpec (cpp_namespace_spect &)

bool	rUsing (cpp_usingt &)

bool	rStaticAssert (cpp_static_assertt &)

bool	rLinkageBody (cpp_linkage_spect::itemst &)

bool	rTemplateDecl (cpp_declarationt &)

bool	rTemplateDecl2 (typet &, TemplateDeclKind &kind)

bool	rTempArgList (irept &)

bool	rTempArgDeclaration (cpp_declarationt &)

bool	rExternTemplateDecl (cpp_declarationt &)

bool	rDeclaration (cpp_declarationt &)

bool	rIntegralDeclaration (cpp_declarationt &, cpp_storage_spect &, cpp_member_spect &, typet &, typet &)

bool	rConstDeclaration (cpp_declarationt &)

bool	rOtherDeclaration (cpp_declarationt &, cpp_storage_spect &, cpp_member_spect &, typet &)

bool	rCondition (exprt &)

bool	rSimpleDeclaration (cpp_declarationt &)

bool	isConstructorDecl ()

bool	isPtrToMember (int)

bool	optMemberSpec (cpp_member_spect &)

bool	optStorageSpec (cpp_storage_spect &)

bool	optCvQualify (typet &)

bool	optAlignas (typet &)

bool	rAttribute (typet &)

bool	optAttribute (typet &)

bool	optIntegralTypeOrClassSpec (typet &)

bool	rConstructorDecl (cpp_declaratort &, typet &, typet &trailing_return_type)

bool	optThrowDecl (irept &)

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

bool	rDeclaratorWithInit (cpp_declaratort &, bool, bool)

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

bool	rDeclaratorQualifier ()

bool	optPtrOperator (typet &)

bool	rMemberInitializers (irept &)

bool	rMemberInit (exprt &)

bool	rName (irept &)

bool	rOperatorName (irept &)

bool	rCastOperatorName (irept &)

bool	rPtrToMember (irept &)

bool	rTemplateArgs (irept &)

bool	rArgDeclListOrInit (exprt &, bool &, bool)

bool	rArgDeclList (irept &)

bool	rArgDeclaration (cpp_declarationt &)

bool	rFunctionArguments (exprt &)

bool	rInitializeExpr (exprt &)

bool	rEnumSpec (typet &)

bool	rEnumBody (irept &)

bool	rClassSpec (typet &)

bool	rBaseSpecifiers (irept &)

bool	rClassBody (exprt &)

bool	rClassMember (cpp_itemt &)

bool	rAccessDecl (cpp_declarationt &)

bool	rCommaExpression (exprt &)

bool	rExpression (exprt &, bool)

bool	rConditionalExpr (exprt &, bool)

bool	rLogicalOrExpr (exprt &, bool)

bool	rLogicalAndExpr (exprt &, bool)

bool	rInclusiveOrExpr (exprt &, bool)

bool	rExclusiveOrExpr (exprt &, bool)

bool	rAndExpr (exprt &, bool)

bool	rEqualityExpr (exprt &, bool)

bool	rRelationalExpr (exprt &, bool)

bool	rShiftExpr (exprt &, bool)

bool	rAdditiveExpr (exprt &)

bool	rMultiplyExpr (exprt &)

bool	rPmExpr (exprt &)

bool	rCastExpr (exprt &)

bool	rTypeName (typet &)

bool	rTypeNameOrFunctionType (typet &)

bool	rUnaryExpr (exprt &)

bool	rThrowExpr (exprt &)

bool	rNoexceptExpr (exprt &)

bool	rSizeofExpr (exprt &)

bool	rTypeidExpr (exprt &)

bool	rAlignofExpr (exprt &)

bool	isAllocateExpr (int)

bool	rAllocateExpr (exprt &)

bool	rAllocateType (exprt &, typet &, exprt &)

bool	rNewDeclarator (typet &)

bool	rAllocateInitializer (exprt &)

bool	rPostfixExpr (exprt &)

bool	rPrimaryExpr (exprt &)

bool	rVarName (exprt &)

bool	rVarNameCore (exprt &)

bool	maybeTemplateArgs ()

bool	rFunctionBody (cpp_declaratort &)

optionalt< codet >	rCompoundStatement ()

optionalt< codet >	rStatement ()

optionalt< codet >	rIfStatement ()

optionalt< codet >	rSwitchStatement ()

optionalt< codet >	rWhileStatement ()

optionalt< codet >	rDoStatement ()

optionalt< codet >	rForStatement ()

optionalt< codet >	rTryStatement ()

optionalt< codet >	rExprStatement ()

optionalt< codet >	rDeclarationStatement ()

optionalt< codet >	rIntegralDeclStatement (cpp_storage_spect &, typet &, typet &)

optionalt< codet >	rOtherDeclStatement (cpp_storage_spect &, typet &)

bool	MaybeTypeNameOrClassTemplate (cpp_tokent &)

void	SkipTo (int token)

bool	moreVarName ()

bool	rString (cpp_tokent &tk)

optionalt< codet >	rGCCAsmStatement ()

optionalt< codet >	rMSC_tryStatement ()

optionalt< codet >	rMSC_leaveStatement ()

optionalt< codet >	rMSCAsmStatement ()

optionalt< codet >	rMSC_if_existsStatement ()

bool	rTypePredicate (exprt &)

bool	rMSCuuidof (exprt &)

bool	rMSC_if_existsExpr (exprt &)

void	merge_types (const typet &src, typet &dest)

void	set_location (irept &dest, const cpp_tokent &token)

void	make_subtype (const typet &src, typet &dest)

Protected Attributes
cpp_token_buffert &	lex

cpp_parsert &	parser

new_scopet	root_scope

new_scopet *	current_scope

std::size_t	number_of_errors

irep_idt	current_function

unsigned int	max_errors

Detailed Description

Definition at line 195 of file parse.cpp.

Member Enumeration Documentation

◆ DeclKind

enum Parser::DeclKind

protected

Enumerator
kDeclarator
kArgDeclarator
kCastDeclarator

Definition at line 221 of file parse.cpp.

◆ TemplateDeclKind

enum Parser::TemplateDeclKind

protected

Enumerator
tdk_unknown
tdk_decl
tdk_instantiation
tdk_specialization
num_tdks

Definition at line 222 of file parse.cpp.

Constructor & Destructor Documentation

◆ Parser()

Parser::Parser ( cpp_parsert & _cpp_parser )

inlineexplicit

Definition at line 198 of file parse.cpp.

Member Function Documentation

◆ add_id() [1/2]

new_scopet & Parser::add_id	(	const irep_idt &	id,
		new_scopet::kindt	kind
	)

protected

Definition at line 426 of file parse.cpp.

◆ add_id() [2/2]

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

protected

Definition at line 413 of file parse.cpp.

◆ isAllocateExpr()

bool Parser::isAllocateExpr ( int t )

protected

Definition at line 6049 of file parse.cpp.

◆ isConstructorDecl()

bool Parser::isConstructorDecl ( )

protected

Definition at line 1858 of file parse.cpp.

◆ isPtrToMember()

bool Parser::isPtrToMember ( int i )

protected

Definition at line 1894 of file parse.cpp.

◆ isTypeSpecifier()

bool Parser::isTypeSpecifier ( )

protected

Definition at line 750 of file parse.cpp.

◆ make_sub_scope() [1/2]

void Parser::make_sub_scope	(	const irep_idt &	id,
		new_scopet::kindt	kind
	)

protected

Definition at line 443 of file parse.cpp.

◆ make_sub_scope() [2/2]

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

protected

Definition at line 437 of file parse.cpp.

◆ make_subtype()

void Parser::make_subtype	(	const typet &	src,
		typet &	dest
	)

inlineprotected

Definition at line 392 of file parse.cpp.

◆ maybeTemplateArgs()

bool Parser::maybeTemplateArgs ( )

protected

Definition at line 7082 of file parse.cpp.

◆ MaybeTypeNameOrClassTemplate()

bool Parser::MaybeTypeNameOrClassTemplate ( cpp_tokent & )

protected

Definition at line 8344 of file parse.cpp.

◆ merge_types()

void Parser::merge_types	(	const typet &	src,
		typet &	dest
	)

protected

Definition at line 457 of file parse.cpp.

◆ moreVarName()

bool Parser::moreVarName ( )

protected

Definition at line 7065 of file parse.cpp.

◆ operator()()

bool Parser::operator() ( )

Definition at line 8363 of file parse.cpp.

◆ optAlignas()

bool Parser::optAlignas ( typet & cv )

protected

Definition at line 2108 of file parse.cpp.

◆ optAttribute()

bool Parser::optAttribute ( typet & t )

protected

Definition at line 2365 of file parse.cpp.

◆ optCvQualify()

bool Parser::optCvQualify ( typet & cv )

protected

Definition at line 2022 of file parse.cpp.

◆ optIntegralTypeOrClassSpec()

bool Parser::optIntegralTypeOrClassSpec ( typet & p )

protected

Definition at line 2410 of file parse.cpp.

◆ optMemberSpec()

bool Parser::optMemberSpec ( cpp_member_spect & member_spec )

protected

Definition at line 1951 of file parse.cpp.

◆ optPtrOperator()

bool Parser::optPtrOperator ( typet & ptrs )

protected

Definition at line 3261 of file parse.cpp.

◆ optStorageSpec()

bool Parser::optStorageSpec ( cpp_storage_spect & storage_spec )

protected

Definition at line 1986 of file parse.cpp.

◆ optThrowDecl()

bool Parser::optThrowDecl ( irept & throw_decl )

protected

Definition at line 2765 of file parse.cpp.

◆ rAccessDecl()

bool Parser::rAccessDecl ( cpp_declarationt & mem )

protected

Definition at line 4745 of file parse.cpp.

◆ rAdditiveExpr()

bool Parser::rAdditiveExpr ( exprt & exp )

protected

Definition at line 5270 of file parse.cpp.

◆ rAlignofExpr()

bool Parser::rAlignofExpr ( exprt & exp )

protected

Definition at line 5984 of file parse.cpp.

◆ rAllocateExpr()

bool Parser::rAllocateExpr ( exprt & exp )

protected

Definition at line 6062 of file parse.cpp.

◆ rAllocateInitializer()

bool Parser::rAllocateInitializer ( exprt & init )

protected

Definition at line 6279 of file parse.cpp.

◆ rAllocateType()

bool Parser::rAllocateType	(	exprt &	arguments,
		typet &	atype,
		exprt &	initializer
	)

protected

Definition at line 6152 of file parse.cpp.

◆ rAndExpr()

bool Parser::rAndExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 5099 of file parse.cpp.

◆ rArgDeclaration()

bool Parser::rArgDeclaration ( cpp_declarationt & declaration )

protected

Definition at line 4119 of file parse.cpp.

◆ rArgDeclList()

bool Parser::rArgDeclList ( irept & arglist )

protected

Definition at line 4066 of file parse.cpp.

◆ rArgDeclListOrInit()

bool Parser::rArgDeclListOrInit	(	exprt &	arglist,
		bool &	is_args,
		bool	maybe_init
	)

protected

Definition at line 4027 of file parse.cpp.

◆ rAttribute()

bool Parser::rAttribute ( typet & t )

protected

Definition at line 2164 of file parse.cpp.

◆ rBaseSpecifiers()

bool Parser::rBaseSpecifiers ( irept & bases )

protected

Definition at line 4546 of file parse.cpp.

◆ rCastExpr()

bool Parser::rCastExpr ( exprt & exp )

protected

Definition at line 5414 of file parse.cpp.

◆ rCastOperatorName()

bool Parser::rCastOperatorName ( irept & name )

protected

Definition at line 3742 of file parse.cpp.

◆ rClassBody()

bool Parser::rClassBody ( exprt & body )

protected

Definition at line 4617 of file parse.cpp.

◆ rClassMember()

bool Parser::rClassMember ( cpp_itemt & member )

protected

Definition at line 4677 of file parse.cpp.

◆ rClassSpec()

bool Parser::rClassSpec ( typet & spec )

protected

Definition at line 4431 of file parse.cpp.

◆ rCommaExpression()

bool Parser::rCommaExpression ( exprt & exp )

protected

Definition at line 4770 of file parse.cpp.

◆ rCompoundStatement()

optionalt< codet > Parser::rCompoundStatement ( )

protected

Definition at line 7230 of file parse.cpp.

◆ rCondition()

bool Parser::rCondition ( exprt & statement )

protected

Definition at line 8146 of file parse.cpp.

◆ rConditionalExpr()

bool Parser::rConditionalExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 4894 of file parse.cpp.

◆ rConstDeclaration()

bool Parser::rConstDeclaration ( cpp_declarationt & declaration )

protected

Definition at line 1653 of file parse.cpp.

◆ rConstructorDecl()

bool Parser::rConstructorDecl	(	cpp_declaratort &	constructor,
		typet &	type_name,
		typet &	trailing_return_type
	)

protected

Definition at line 2635 of file parse.cpp.

◆ rDeclaration()

bool Parser::rDeclaration ( cpp_declarationt & declaration )

protected

Definition at line 1382 of file parse.cpp.

◆ rDeclarationStatement()

optionalt< codet > Parser::rDeclarationStatement ( )

protected

Definition at line 8185 of file parse.cpp.

◆ rDeclarator()

bool Parser::rDeclarator	(	cpp_declaratort &	declarator,
		DeclKind	kind,
		bool	should_be_declarator,
		bool	is_statement
	)

protected

Definition at line 3004 of file parse.cpp.

◆ rDeclaratorQualifier()

bool Parser::rDeclaratorQualifier ( )

protected

Definition at line 2971 of file parse.cpp.

◆ rDeclarators()

bool Parser::rDeclarators	(	cpp_declarationt::declaratorst &	declarators,
		bool	should_be_declarator,
		bool	is_statement = `false`
	)

protected

Definition at line 2833 of file parse.cpp.

◆ rDeclaratorWithInit()

bool Parser::rDeclaratorWithInit	(	cpp_declaratort &	dw,
		bool	should_be_declarator,
		bool	is_statement
	)

protected

Definition at line 2862 of file parse.cpp.

◆ rDefinition()

bool Parser::rDefinition ( cpp_itemt & item )

protected

Definition at line 547 of file parse.cpp.

◆ rDoStatement()

optionalt< codet > Parser::rDoStatement ( )

protected

Definition at line 7652 of file parse.cpp.

◆ rEnumBody()

bool Parser::rEnumBody ( irept & body )

protected

Definition at line 4375 of file parse.cpp.

◆ rEnumSpec()

bool Parser::rEnumSpec ( typet & spec )

protected

Definition at line 4292 of file parse.cpp.

◆ rEqualityExpr()

bool Parser::rEqualityExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 5138 of file parse.cpp.

◆ rExclusiveOrExpr()

bool Parser::rExclusiveOrExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 5060 of file parse.cpp.

◆ rExpression()

bool Parser::rExpression	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 4813 of file parse.cpp.

◆ rExprStatement()

optionalt< codet > Parser::rExprStatement ( )

protected

Definition at line 8074 of file parse.cpp.

◆ rExternTemplateDecl()

bool Parser::rExternTemplateDecl ( cpp_declarationt & decl )

protected

Definition at line 1334 of file parse.cpp.

◆ rForStatement()

optionalt< codet > Parser::rForStatement ( )

protected

Definition at line 7689 of file parse.cpp.

◆ rFunctionArguments()

bool Parser::rFunctionArguments ( exprt & args )

protected

Definition at line 4252 of file parse.cpp.

◆ rFunctionBody()

bool Parser::rFunctionBody ( cpp_declaratort & declarator )

protected

Definition at line 7183 of file parse.cpp.

◆ rGCCAsmStatement()

optionalt< codet > Parser::rGCCAsmStatement ( )

protected

Definition at line 7899 of file parse.cpp.

◆ rIfStatement()

optionalt< codet > Parser::rIfStatement ( )

protected

Definition at line 7543 of file parse.cpp.

◆ rInclusiveOrExpr()

bool Parser::rInclusiveOrExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 5021 of file parse.cpp.

◆ rInitializeExpr()

bool Parser::rInitializeExpr ( exprt & expr )

protected

Definition at line 4164 of file parse.cpp.

◆ rIntegralDeclaration()

bool Parser::rIntegralDeclaration	(	cpp_declarationt &	declaration,
		cpp_storage_spect &	storage_spec,
		cpp_member_spect &	member_spec,
		typet &	integral,
		typet &	cv_q
	)

protected

Definition at line 1528 of file parse.cpp.

◆ rIntegralDeclStatement()

optionalt< codet > Parser::rIntegralDeclStatement	(	cpp_storage_spect &	storage_spec,
		typet &	integral,
		typet &	cv_q
	)

protected

Definition at line 8254 of file parse.cpp.

◆ rLinkageBody()

bool Parser::rLinkageBody ( cpp_linkage_spect::itemst & items )

protected

Definition at line 953 of file parse.cpp.

◆ rLinkageSpec()

bool Parser::rLinkageSpec ( cpp_linkage_spect & linkage_spec )

protected

Definition at line 782 of file parse.cpp.

◆ rLogicalAndExpr()

bool Parser::rLogicalAndExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 4982 of file parse.cpp.

◆ rLogicalOrExpr()

bool Parser::rLogicalOrExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 4943 of file parse.cpp.

◆ rMemberInit()

bool Parser::rMemberInit ( exprt & init )

protected

Definition at line 3413 of file parse.cpp.

◆ rMemberInitializers()

bool Parser::rMemberInitializers ( irept & init )

protected

Definition at line 3380 of file parse.cpp.

◆ rMSC_if_existsExpr()

bool Parser::rMSC_if_existsExpr ( exprt & expr )

protected

Definition at line 6524 of file parse.cpp.

◆ rMSC_if_existsStatement()

optionalt< codet > Parser::rMSC_if_existsStatement ( )

protected

Definition at line 6569 of file parse.cpp.

◆ rMSC_leaveStatement()

optionalt< codet > Parser::rMSC_leaveStatement ( )

protected

Definition at line 7883 of file parse.cpp.

◆ rMSC_tryStatement()

optionalt< codet > Parser::rMSC_tryStatement ( )

protected

Definition at line 7821 of file parse.cpp.

◆ rMSCAsmStatement()

optionalt< codet > Parser::rMSCAsmStatement ( )

protected

Definition at line 7998 of file parse.cpp.

◆ rMSCuuidof()

bool Parser::rMSCuuidof ( exprt & expr )

protected

Definition at line 6475 of file parse.cpp.

◆ rMultiplyExpr()

bool Parser::rMultiplyExpr ( exprt & exp )

protected

Definition at line 5317 of file parse.cpp.

◆ rName()

bool Parser::rName ( irept & name )

protected

Definition at line 3495 of file parse.cpp.

◆ rNamespaceSpec()

bool Parser::rNamespaceSpec ( cpp_namespace_spect & namespace_spec )

protected

Definition at line 822 of file parse.cpp.

◆ rNewDeclarator()

bool Parser::rNewDeclarator ( typet & decl )

protected

Definition at line 6248 of file parse.cpp.

◆ rNoexceptExpr()

bool Parser::rNoexceptExpr ( exprt & exp )

protected

Definition at line 6012 of file parse.cpp.

◆ rNullDeclaration()

bool Parser::rNullDeclaration ( cpp_declarationt & decl )

protected

Definition at line 583 of file parse.cpp.

◆ rOperatorName()

bool Parser::rOperatorName ( irept & name )

protected

Definition at line 3638 of file parse.cpp.

◆ rOtherDeclaration()

bool Parser::rOtherDeclaration	(	cpp_declarationt &	declaration,
		cpp_storage_spect &	storage_spec,
		cpp_member_spect &	member_spec,
		typet &	cv_q
	)

protected

Definition at line 1672 of file parse.cpp.

◆ rOtherDeclStatement()

optionalt< codet > Parser::rOtherDeclStatement	(	cpp_storage_spect &	storage_spec,
		typet &	cv_q
	)

protected

Definition at line 8298 of file parse.cpp.

◆ rPmExpr()

bool Parser::rPmExpr ( exprt & exp )

protected

Definition at line 5370 of file parse.cpp.

◆ rPostfixExpr()

bool Parser::rPostfixExpr ( exprt & exp )

protected

Definition at line 6336 of file parse.cpp.

◆ rPrimaryExpr()

bool Parser::rPrimaryExpr ( exprt & exp )

protected

Definition at line 6686 of file parse.cpp.

◆ rProgram()

bool Parser::rProgram ( cpp_itemt & item )

protected

Definition at line 517 of file parse.cpp.

◆ rPtrToMember()

bool Parser::rPtrToMember ( irept & ptr_to_mem )

protected

Definition at line 3782 of file parse.cpp.

◆ rRelationalExpr()

bool Parser::rRelationalExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 5178 of file parse.cpp.

◆ rShiftExpr()

bool Parser::rShiftExpr	(	exprt &	exp,
		bool	template_args
	)

protected

Definition at line 5230 of file parse.cpp.

◆ rSimpleDeclaration()

bool Parser::rSimpleDeclaration ( cpp_declarationt & declaration )

protected

Definition at line 1470 of file parse.cpp.

◆ rSizeofExpr()

bool Parser::rSizeofExpr ( exprt & exp )

protected

Definition at line 5912 of file parse.cpp.

◆ rStatement()

optionalt< codet > Parser::rStatement ( )

protected

Definition at line 7291 of file parse.cpp.

◆ rStaticAssert()

bool Parser::rStaticAssert ( cpp_static_assertt & cpp_static_assert )

protected

Definition at line 912 of file parse.cpp.

◆ rString()

bool Parser::rString ( cpp_tokent & tk )

protected

Definition at line 449 of file parse.cpp.

◆ rSwitchStatement()

optionalt< codet > Parser::rSwitchStatement ( )

protected

Definition at line 7590 of file parse.cpp.

◆ rTempArgDeclaration()

bool Parser::rTempArgDeclaration ( cpp_declarationt & declaration )

protected

Definition at line 1150 of file parse.cpp.

◆ rTempArgList()

bool Parser::rTempArgList ( irept & args )

protected

Definition at line 1116 of file parse.cpp.

◆ rTemplateArgs()

bool Parser::rTemplateArgs ( irept & template_args )

protected

Definition at line 3879 of file parse.cpp.

◆ rTemplateDecl()

bool Parser::rTemplateDecl ( cpp_declarationt & decl )

protected

Definition at line 1001 of file parse.cpp.

◆ rTemplateDecl2()

bool Parser::rTemplateDecl2	(	typet &	decl,
		TemplateDeclKind &	kind
	)

protected

Definition at line 1057 of file parse.cpp.

◆ rThrowExpr()

bool Parser::rThrowExpr ( exprt & exp )

protected

Definition at line 5807 of file parse.cpp.

◆ rTryStatement()

optionalt< codet > Parser::rTryStatement ( )

protected

Definition at line 7746 of file parse.cpp.

◆ rTypedef()

bool Parser::rTypedef ( cpp_declarationt & declaration )

protected

Definition at line 599 of file parse.cpp.

◆ rTypedefStatement()

optionalt< codet > Parser::rTypedefStatement ( )

protected

Definition at line 676 of file parse.cpp.

◆ rTypedefUsing()

bool Parser::rTypedefUsing ( cpp_declarationt & declaration )

protected

Definition at line 627 of file parse.cpp.

◆ rTypeidExpr()

bool Parser::rTypeidExpr ( exprt & exp )

protected

Definition at line 5846 of file parse.cpp.

◆ rTypeName()

bool Parser::rTypeName ( typet & tname )

protected

Definition at line 5474 of file parse.cpp.

◆ rTypeNameOrFunctionType()

bool Parser::rTypeNameOrFunctionType ( typet & tname )

protected

Definition at line 5518 of file parse.cpp.

◆ rTypePredicate()

bool Parser::rTypePredicate ( exprt & expr )

protected

Definition at line 6624 of file parse.cpp.

◆ rTypeSpecifier()

bool Parser::rTypeSpecifier	(	typet &	tspec,
		bool	check
	)

protected

Definition at line 690 of file parse.cpp.

◆ rUnaryExpr()

bool Parser::rUnaryExpr ( exprt & exp )

protected

Definition at line 5700 of file parse.cpp.

◆ rUsing()

bool Parser::rUsing ( cpp_usingt & cpp_using )

protected

Definition at line 884 of file parse.cpp.

◆ rVarName()

bool Parser::rVarName ( exprt & name )

protected

Definition at line 6920 of file parse.cpp.

◆ rVarNameCore()

bool Parser::rVarNameCore ( exprt & name )

protected

Definition at line 6933 of file parse.cpp.

◆ rWhileStatement()

optionalt< codet > Parser::rWhileStatement ( )

protected

Definition at line 7621 of file parse.cpp.

◆ set_location()

void Parser::set_location	(	irept &	dest,
		const cpp_tokent &	token
	)

inlineprotected

Definition at line 382 of file parse.cpp.

◆ SkipTo()

void Parser::SkipTo ( int token )

protected

Definition at line 8349 of file parse.cpp.

◆ SyntaxError()

bool Parser::SyntaxError ( )

protected

Definition at line 483 of file parse.cpp.

Member Data Documentation

◆ current_function

irep_idt Parser::current_function

protected

Definition at line 378 of file parse.cpp.

◆ current_scope

new_scopet* Parser::current_scope

protected

Definition at line 215 of file parse.cpp.

◆ lex

cpp_token_buffert& Parser::lex

protected

Definition at line 210 of file parse.cpp.

◆ max_errors

unsigned int Parser::max_errors

protected

Definition at line 410 of file parse.cpp.

◆ number_of_errors

std::size_t Parser::number_of_errors

protected

Definition at line 377 of file parse.cpp.

◆ parser

cpp_parsert& Parser::parser

protected

Definition at line 211 of file parse.cpp.

◆ root_scope

new_scopet Parser::root_scope

protected

Definition at line 214 of file parse.cpp.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/cpp/parse.cpp

Public Member Functions

Protected Types

Protected Member Functions

Protected Attributes

Detailed Description

Member Enumeration Documentation

◆ DeclKind

◆ TemplateDeclKind

Constructor & Destructor Documentation

◆ Parser()

Member Function Documentation

◆ add_id() [1/2]

◆ add_id() [2/2]

◆ isAllocateExpr()

◆ isConstructorDecl()

◆ isPtrToMember()

◆ isTypeSpecifier()

◆ make_sub_scope() [1/2]

◆ make_sub_scope() [2/2]

◆ make_subtype()

◆ maybeTemplateArgs()

◆ MaybeTypeNameOrClassTemplate()

◆ merge_types()

◆ moreVarName()

◆ operator()()

◆ optAlignas()

◆ optAttribute()

◆ optCvQualify()

◆ optIntegralTypeOrClassSpec()

◆ optMemberSpec()

◆ optPtrOperator()

◆ optStorageSpec()

◆ optThrowDecl()

◆ rAccessDecl()

◆ rAdditiveExpr()

◆ rAlignofExpr()

◆ rAllocateExpr()

◆ rAllocateInitializer()

◆ rAllocateType()

◆ rAndExpr()

◆ rArgDeclaration()

◆ rArgDeclList()

◆ rArgDeclListOrInit()

◆ rAttribute()

◆ rBaseSpecifiers()

◆ rCastExpr()

◆ rCastOperatorName()

◆ rClassBody()

◆ rClassMember()

◆ rClassSpec()

◆ rCommaExpression()

◆ rCompoundStatement()

◆ rCondition()

◆ rConditionalExpr()

◆ rConstDeclaration()

◆ rConstructorDecl()

◆ rDeclaration()

◆ rDeclarationStatement()

◆ rDeclarator()

◆ rDeclaratorQualifier()

◆ rDeclarators()

◆ rDeclaratorWithInit()

◆ rDefinition()

◆ rDoStatement()

◆ rEnumBody()

◆ rEnumSpec()

◆ rEqualityExpr()

◆ rExclusiveOrExpr()

◆ rExpression()

◆ rExprStatement()

◆ rExternTemplateDecl()

◆ rForStatement()

◆ rFunctionArguments()

◆ rFunctionBody()

◆ rGCCAsmStatement()

◆ rIfStatement()

◆ rInclusiveOrExpr()

◆ rInitializeExpr()

◆ rIntegralDeclaration()

◆ rIntegralDeclStatement()