cprover
|
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 Attributes | |
cpp_token_buffert & | lex |
cpp_parsert & | parser |
new_scopet | root_scope |
new_scopet * | current_scope |
unsigned | number_of_errors |
irep_idt | current_function |
unsigned int | max_errors |
|
protected |
|
protected |
|
inlineexplicit |
Definition at line 202 of file parse.cpp.
References new_scopet::NAMESPACE.
|
protected |
Definition at line 419 of file parse.cpp.
References irept::get_sub().
|
protected |
Definition at line 432 of file parse.cpp.
References new_scopet::id, new_scopet::id_map, new_scopet::kind, and new_scopet::parent.
|
protected |
Definition at line 5773 of file parse.cpp.
References TOK_DELETE, TOK_NEW, and TOK_SCOPE.
|
protected |
Definition at line 1833 of file parse.cpp.
References TOK_CDECL, TOK_CLRCALL, TOK_FASTCALL, TOK_IDENTIFIER, and TOK_STDCALL.
|
protected |
Definition at line 1869 of file parse.cpp.
References TOK_IDENTIFIER, and TOK_SCOPE.
|
protected |
Definition at line 747 of file parse.cpp.
References TOK_BOOL, TOK_CHAR, TOK_CHAR16_T, TOK_CHAR32_T, TOK_CLASS, TOK_COMPLEX, TOK_CONST, TOK_CONSTEXPR, TOK_CPROVER_BOOL, TOK_DECLTYPE, TOK_DOUBLE, TOK_ENUM, TOK_FLOAT, TOK_GCC_FLOAT128, TOK_GCC_INT128, TOK_IDENTIFIER, TOK_INT, TOK_INT16, TOK_INT32, TOK_INT64, TOK_INT8, TOK_INTERFACE, TOK_LONG, TOK_PTR32, TOK_PTR64, TOK_RESTRICT, TOK_SCOPE, TOK_SHORT, TOK_SIGNED, TOK_STRUCT, TOK_TYPENAME, TOK_TYPEOF, TOK_UNDERLYING_TYPE, TOK_UNION, TOK_UNSIGNED, TOK_VOID, TOK_VOLATILE, and TOK_WCHAR_T.
|
protected |
|
protected |
Definition at line 398 of file parse.cpp.
References dstringt::empty(), irept::id(), irept::is_not_nil(), typet::subtype(), and typet::subtypes().
|
protected |
Definition at line 6814 of file parse.cpp.
References TOK_SCOPE, and TOK_SHIFTRIGHT.
|
protected |
Definition at line 463 of file parse.cpp.
References typet::copy_to_subtypes(), irept::id(), irept::is_nil(), and typet::move_to_subtypes().
|
protected |
Definition at line 6797 of file parse.cpp.
References TOK_IDENTIFIER, TOK_OPERATOR, TOK_SCOPE, and TOK_TEMPLATE.
bool Parser::operator() | ( | void | ) |
Definition at line 8134 of file parse.cpp.
References irept::clear().
|
protected |
Definition at line 2066 of file parse.cpp.
References pos(), and TOK_ALIGNAS.
|
protected |
Definition at line 2128 of file parse.cpp.
References cpp_tokent::kind, and TOK_NORETURN.
|
protected |
Definition at line 1992 of file parse.cpp.
References TOK_CONST, TOK_CONSTEXPR, TOK_GCC_ATTRIBUTE, TOK_PTR32, TOK_PTR64, TOK_RESTRICT, and TOK_VOLATILE.
|
protected |
Definition at line 2171 of file parse.cpp.
References irept::add(), dstringt::empty(), irept::make_nil(), pos(), irept::swap(), TOK_BOOL, TOK_CHAR, TOK_CHAR16_T, TOK_CHAR32_T, TOK_CLASS, TOK_COMPLEX, TOK_CPROVER_BOOL, TOK_DECLTYPE, TOK_DOUBLE, TOK_ENUM, TOK_FLOAT, TOK_GCC_FLOAT128, TOK_GCC_INT128, TOK_INT, TOK_INT16, TOK_INT32, TOK_INT64, TOK_INT8, TOK_INTERFACE, TOK_LONG, TOK_SHORT, TOK_SIGNED, TOK_STRUCT, TOK_TYPENAME, TOK_TYPEOF, TOK_UNDERLYING_TYPE, TOK_UNION, TOK_UNSIGNED, TOK_VOID, and TOK_WCHAR_T.
|
protected |
Definition at line 1926 of file parse.cpp.
References irept::clear(), cpp_member_spect::set_explicit(), cpp_member_spect::set_friend(), cpp_member_spect::set_inline(), cpp_member_spect::set_virtual(), TOK_EXPLICIT, TOK_FRIEND, TOK_INLINE, and TOK_VIRTUAL.
|
protected |
Definition at line 2997 of file parse.cpp.
References irept::is_not_nil(), irept::make_nil(), irept::set(), irept::swap(), and TOK_ANDAND.
|
protected |
Definition at line 1956 of file parse.cpp.
References cpp_storage_spect::set_asm(), cpp_storage_spect::set_auto(), cpp_storage_spect::set_extern(), cpp_storage_spect::set_mutable(), cpp_storage_spect::set_register(), cpp_storage_spect::set_static(), cpp_storage_spect::set_thread_local(), TOK_AUTO, TOK_EXTERN, TOK_GCC_ASM, TOK_MUTABLE, TOK_REGISTER, TOK_STATIC, and TOK_THREAD_LOCAL.
|
protected |
Definition at line 2510 of file parse.cpp.
References get_nil_irep(), TOK_ELLIPSIS, TOK_NOEXCEPT, and TOK_THROW.
|
protected |
Definition at line 5000 of file parse.cpp.
References exprt::move_to_operands(), and irept::swap().
|
protected |
Definition at line 5708 of file parse.cpp.
References irept::add(), irept::swap(), and TOK_ALIGNOF.
|
protected |
Definition at line 5786 of file parse.cpp.
References irept::add(), get_nil_irep(), exprt::move_to_operands(), exprt::operands(), irept::set(), irept::swap(), TOK_DELETE, TOK_NEW, TOK_SCOPE, and exprt::type().
|
protected |
Definition at line 6005 of file parse.cpp.
References irept::clear(), exprt::move_to_operands(), and TOK_ELLIPSIS.
Definition at line 5876 of file parse.cpp.
References irept::make_nil(), pos(), and irept::swap().
|
protected |
Definition at line 4829 of file parse.cpp.
References exprt::move_to_operands(), and irept::swap().
|
protected |
Definition at line 3862 of file parse.cpp.
References cpp_declarationt::declarators(), irept::make_nil(), TOK_REGISTER, and exprt::type().
|
protected |
Definition at line 3809 of file parse.cpp.
References irept::clear(), irept::get_sub(), irept::swap(), and TOK_ELLIPSIS.
|
protected |
|
protected |
Definition at line 2104 of file parse.cpp.
References cpp_tokent::kind, and TOK_IDENTIFIER.
|
protected |
Definition at line 4280 of file parse.cpp.
References irept::add(), irept::get_sub(), irept::set(), TOK_ELLIPSIS, TOK_PRIVATE, TOK_PROTECTED, TOK_PUBLIC, and TOK_VIRTUAL.
|
protected |
Definition at line 5144 of file parse.cpp.
References exprt::move_to_operands(), pos(), irept::swap(), TOK_INTEGER, and exprt::type().
|
protected |
Definition at line 3485 of file parse.cpp.
References irept::is_nil(), and irept::make_nil().
|
protected |
Definition at line 4351 of file parse.cpp.
References exprt::move_to_operands(), irept::pretty(), and irept::swap().
|
protected |
Definition at line 4411 of file parse.cpp.
References irept::id(), cpp_itemt::make_declaration(), cpp_itemt::make_static_assert(), cpp_itemt::make_using(), pos(), TOK_IDENTIFIER, TOK_PRIVATE, TOK_PROTECTED, TOK_PUBLIC, TOK_STATIC_ASSERT, TOK_TEMPLATE, TOK_TYPEDEF, and TOK_USING.
|
protected |
Definition at line 4174 of file parse.cpp.
References irept::add(), irept::find(), irept::set(), irept::swap(), new_scopet::TAG, TOK_CLASS, TOK_INTERFACE, TOK_STRUCT, and TOK_UNION.
|
protected |
Definition at line 4500 of file parse.cpp.
References exprt::move_to_operands(), and irept::swap().
|
protected |
Definition at line 6963 of file parse.cpp.
References exprt::move_to_operands().
|
protected |
Definition at line 7913 of file parse.cpp.
References exprt::move_to_operands(), and pos().
|
protected |
Definition at line 4624 of file parse.cpp.
References exprt::move_to_operands(), and irept::swap().
|
protected |
|
protected |
Definition at line 2392 of file parse.cpp.
References irept::add(), irept::make_nil(), cpp_declaratort::member_initializers(), cpp_declaratort::name(), typet::subtype(), irept::swap(), cpp_declaratort::throw_decl(), TOK_ARROW, TOK_DEFAULT, TOK_DELETE, TOK_INTEGER, exprt::type(), and cpp_declaratort::value().
|
protected |
Definition at line 1365 of file parse.cpp.
References cpp_storage_spect::is_auto(), cpp_member_spect::is_empty(), irept::is_not_nil(), irept::make_nil(), and TOK_IDENTIFIER.
|
protected |
Definition at line 7952 of file parse.cpp.
References cpp_storage_spect::is_auto(), irept::is_not_nil(), irept::make_nil(), exprt::op0(), exprt::operands(), and TOK_IDENTIFIER.
|
protected |
Definition at line 2753 of file parse.cpp.
References irept::add(), irept::clear(), get_nil_irep(), cpp_declaratort::init_args(), irept::is_nil(), irept::is_not_nil(), irept::make_nil(), cpp_declaratort::method_qualifier(), cpp_declaratort::name(), typet::subtype(), irept::swap(), TOK_ARROW, TOK_IDENTIFIER, TOK_SCOPE, and exprt::type().
|
protected |
Definition at line 2720 of file parse.cpp.
References TOK_CDECL, TOK_CLRCALL, TOK_FASTCALL, and TOK_STDCALL.
|
protected |
|
protected |
Definition at line 2607 of file parse.cpp.
References irept::id(), irept::make_nil(), irept::set(), typet::subtype(), irept::swap(), TOK_DEFAULT, TOK_DELETE, TOK_GCC_ASM, exprt::type(), and cpp_declaratort::value().
|
protected |
Definition at line 547 of file parse.cpp.
References cpp_itemt::make_declaration(), cpp_itemt::make_linkage_spec(), cpp_itemt::make_namespace_spec(), cpp_itemt::make_static_assert(), cpp_itemt::make_using(), TOK_EXTERN, TOK_IDENTIFIER, TOK_INLINE, TOK_NAMESPACE, TOK_STATIC_ASSERT, TOK_STRING, TOK_TEMPLATE, TOK_TYPEDEF, and TOK_USING.
|
protected |
Definition at line 7402 of file parse.cpp.
References exprt::move_to_operands(), TOK_DO, and TOK_WHILE.
|
protected |
Definition at line 4118 of file parse.cpp.
References irept::add(), irept::clear(), cpp_tokent::data, irept::get(), irept::get_sub(), irept::make_nil(), irept::set(), irept::swap(), and TOK_IDENTIFIER.
|
protected |
Definition at line 4034 of file parse.cpp.
References irept::add(), irept::make_nil(), typet::subtype(), irept::swap(), TOK_CLASS, and TOK_ENUM.
|
protected |
Definition at line 4868 of file parse.cpp.
References cpp_tokent::kind, exprt::move_to_operands(), irept::swap(), TOK_EQ, and TOK_NE.
|
protected |
Definition at line 4790 of file parse.cpp.
References exprt::move_to_operands(), and irept::swap().
|
protected |
Definition at line 4543 of file parse.cpp.
References exprt::move_to_operands(), irept::set(), irept::swap(), TOK_ANDASSIGN, TOK_DIVASSIGN, TOK_MINUSASSIGN, TOK_MODASSIGN, TOK_MULTASSIGN, TOK_ORASSIGN, TOK_PLUSASSIGN, TOK_SHLASSIGN, TOK_SHRASSIGN, and TOK_XORASSIGN.
|
protected |
Definition at line 7840 of file parse.cpp.
References exprt::add_source_location(), exprt::move_to_operands(), pos(), irept::pretty(), and exprt::source_location().
|
protected |
Definition at line 1316 of file parse.cpp.
References TOK_EXTERN, and TOK_TEMPLATE.
|
protected |
Definition at line 7442 of file parse.cpp.
References irept::make_nil(), exprt::move_to_operands(), exprt::reserve_operands(), and TOK_FOR.
|
protected |
Definition at line 3994 of file parse.cpp.
References exprt::move_to_operands(), and TOK_ELLIPSIS.
|
protected |
Definition at line 6915 of file parse.cpp.
References irept::clear(), cpp_namet::get_base_name(), cpp_declaratort::name(), TOK_ASM_STRING, and cpp_declaratort::value().
|
protected |
Definition at line 7663 of file parse.cpp.
References cpp_tokent::data, exprt::op0(), exprt::operands(), irept::set(), TOK_GCC_ASM, TOK_STRING, and TOK_VOLATILE.
|
protected |
Definition at line 7288 of file parse.cpp.
References irept::make_nil(), exprt::op0(), exprt::op1(), exprt::op2(), exprt::operands(), irept::swap(), TOK_ELSE, and TOK_IF.
|
protected |
Definition at line 4751 of file parse.cpp.
References exprt::move_to_operands(), and irept::swap().
|
protected |
Definition at line 3905 of file parse.cpp.
References irept::id(), exprt::move_to_operands(), TOK_MSC_IF_EXISTS, and TOK_MSC_IF_NOT_EXISTS.
|
protected |
Definition at line 1511 of file parse.cpp.
References cpp_declarationt::declarators(), cpp_declarationt::member_spec(), irept::pretty(), cpp_declarationt::storage_spec(), irept::swap(), and exprt::type().
|
protected |
Definition at line 8020 of file parse.cpp.
References cpp_declarationt::declarators(), exprt::move_to_operands(), cpp_declarationt::storage_spec(), irept::swap(), and exprt::type().
|
protected |
Definition at line 932 of file parse.cpp.
References cpp_tokent::clear().
|
protected |
Definition at line 779 of file parse.cpp.
References cpp_tokent::data, cpp_linkage_spect::items(), cpp_linkage_spect::linkage(), irept::swap(), and TOK_EXTERN.
|
protected |
Definition at line 4712 of file parse.cpp.
References exprt::move_to_operands(), irept::swap(), and TOK_ANDAND.
|
protected |
Definition at line 4673 of file parse.cpp.
References exprt::move_to_operands(), irept::swap(), and TOK_OROR.
|
protected |
Definition at line 3155 of file parse.cpp.
References irept::add(), cpp_tokent::kind, exprt::operands(), irept::swap(), and TOK_ELLIPSIS.
|
protected |
Definition at line 3122 of file parse.cpp.
References irept::move_to_sub().
|
protected |
Definition at line 6252 of file parse.cpp.
References cpp_tokent::kind, exprt::move_to_operands(), TOK_MSC_IF_EXISTS, and TOK_MSC_IF_NOT_EXISTS.
|
protected |
Definition at line 6297 of file parse.cpp.
References cpp_tokent::kind, exprt::move_to_operands(), TOK_MSC_IF_EXISTS, and TOK_MSC_IF_NOT_EXISTS.
|
protected |
Definition at line 7647 of file parse.cpp.
References TOK_MSC_LEAVE.
|
protected |
Definition at line 7592 of file parse.cpp.
References exprt::move_to_operands(), codet::set_statement(), TOK_MSC_EXCEPT, TOK_MSC_FINALLY, and TOK_MSC_TRY.
|
protected |
Definition at line 7764 of file parse.cpp.
References cpp_tokent::data, exprt::move_to_operands(), irept::set(), TOK_ASM_STRING, and TOK_MSC_ASM.
|
protected |
Definition at line 6203 of file parse.cpp.
References irept::add(), exprt::move_to_operands(), pos(), irept::swap(), and TOK_MSC_UUIDOF.
|
protected |
Definition at line 5047 of file parse.cpp.
References exprt::move_to_operands(), and irept::swap().
|
protected |
Definition at line 3237 of file parse.cpp.
References irept::add(), cpp_tokent::data, irept::get(), irept::get_sub(), irept::set(), irept::swap(), TOK_IDENTIFIER, TOK_OPERATOR, TOK_SCOPE, TOK_TEMPLATE, and TOK_TYPENAME.
|
protected |
Definition at line 819 of file parse.cpp.
References cpp_namespace_spect::alias(), cpp_tokent::data, irept::get(), cpp_namespace_spect::items(), cpp_namespace_spect::set_is_inline(), cpp_namespace_spect::set_namespace(), TOK_IDENTIFIER, TOK_INLINE, and TOK_NAMESPACE.
|
protected |
Definition at line 5972 of file parse.cpp.
References array_typet::size(), typet::subtype(), and irept::swap().
|
protected |
Definition at line 5736 of file parse.cpp.
References exprt::move_to_operands(), and TOK_NOEXCEPT.
|
protected |
|
protected |
Definition at line 3381 of file parse.cpp.
References dstringt::empty(), TOK_ANDAND, TOK_ANDASSIGN, TOK_ARROW, TOK_ARROWPM, TOK_DECR, TOK_DELETE, TOK_DIVASSIGN, TOK_DOTPM, TOK_EQ, TOK_GE, TOK_INCR, TOK_LE, TOK_MINUSASSIGN, TOK_MODASSIGN, TOK_MULTASSIGN, TOK_NE, TOK_NEW, TOK_ORASSIGN, TOK_OROR, TOK_PLUSASSIGN, TOK_SHIFTLEFT, TOK_SHIFTRIGHT, TOK_SHLASSIGN, TOK_SHRASSIGN, and TOK_XORASSIGN.
|
protected |
Definition at line 1649 of file parse.cpp.
References cpp_declarationt::declarators(), forall_irep, irept::get_sub(), cpp_storage_spect::is_auto(), cpp_member_spect::is_empty(), cpp_storage_spect::is_empty(), irept::is_nil(), cpp_declarationt::member_spec(), cpp_declarationt::storage_spec(), irept::swap(), and exprt::type().
|
protected |
Definition at line 8065 of file parse.cpp.
References cpp_declarationt::declarators(), exprt::move_to_operands(), cpp_declarationt::storage_spec(), irept::swap(), and exprt::type().
|
protected |
Definition at line 5100 of file parse.cpp.
References exprt::move_to_operands(), irept::swap(), TOK_ARROWPM, and TOK_DOTPM.
|
protected |
Definition at line 6062 of file parse.cpp.
References irept::add(), side_effect_expr_function_callt::arguments(), Forall_operands, side_effect_expr_function_callt::function(), exprt::move_to_operands(), exprt::operands(), irept::set(), irept::swap(), TOK_ARROW, TOK_DECR, and TOK_INCR.
|
protected |
Definition at line 6418 of file parse.cpp.
References cpp_tokent::data, irept::is_not_nil(), exprt::move_to_operands(), exprt::operands(), irept::set(), irept::swap(), cpp_tokent::text, TOK_BINARY_TYPE_PREDICATE, TOK_CHARACTER, TOK_FALSE, TOK_FLOATING, TOK_INTEGER, TOK_MSC_IF_EXISTS, TOK_MSC_IF_NOT_EXISTS, TOK_MSC_UUIDOF, TOK_NULLPTR, TOK_SCOPE, TOK_STRING, TOK_THIS, TOK_TRUE, TOK_TYPEID, TOK_UNARY_TYPE_PREDICATE, and exprt::type().
|
protected |
Definition at line 3525 of file parse.cpp.
References irept::add(), cpp_tokent::data, irept::get(), irept::get_sub(), irept::swap(), TOK_IDENTIFIER, TOK_SCOPE, and TOK_TEMPLATE.
|
protected |
Definition at line 4908 of file parse.cpp.
References exprt::move_to_operands(), irept::swap(), TOK_GE, and TOK_LE.
|
protected |
Definition at line 4960 of file parse.cpp.
References cpp_tokent::kind, exprt::move_to_operands(), irept::swap(), TOK_SHIFTLEFT, and TOK_SHIFTRIGHT.
|
protected |
Definition at line 1453 of file parse.cpp.
References cpp_declarationt::declarators(), irept::is_nil(), irept::is_not_nil(), irept::make_nil(), irept::swap(), exprt::type(), and cpp_declaratort::value().
|
protected |
Definition at line 5636 of file parse.cpp.
References irept::add(), exprt::move_to_operands(), pos(), irept::swap(), TOK_ELLIPSIS, and TOK_SIZEOF.
|
protected |
Definition at line 7026 of file parse.cpp.
References exprt::add_source_location(), cpp_tokent::data, irept::get(), exprt::move_to_operands(), exprt::op0(), exprt::op1(), exprt::op2(), exprt::operands(), irept::set(), codet::set_statement(), exprt::source_location(), irept::swap(), TOK_BREAK, TOK_CASE, TOK_CONTINUE, TOK_DEFAULT, TOK_DO, TOK_ELLIPSIS, TOK_FOR, TOK_GCC_ASM, TOK_GOTO, TOK_IDENTIFIER, TOK_IF, TOK_MSC_ASM, TOK_MSC_IF_EXISTS, TOK_MSC_IF_NOT_EXISTS, TOK_MSC_LEAVE, TOK_MSC_TRY, TOK_RETURN, TOK_STATIC_ASSERT, TOK_SWITCH, TOK_TRY, TOK_TYPEDEF, TOK_USING, and TOK_WHILE.
|
protected |
Definition at line 896 of file parse.cpp.
References cpp_static_assertt::cond(), cpp_static_assertt::description(), and TOK_STATIC_ASSERT.
|
protected |
Definition at line 455 of file parse.cpp.
References TOK_STRING.
|
protected |
Definition at line 7336 of file parse.cpp.
References exprt::move_to_operands(), and TOK_SWITCH.
|
protected |
Definition at line 1128 of file parse.cpp.
References cpp_tokent::data, cpp_declarationt::declarators(), irept::get(), irept::get_sub(), irept::make_nil(), cpp_declaratort::name(), new_scopet::NON_TYPE_TEMPLATE_PARAMETER, pos(), irept::set(), irept::swap(), TOK_CLASS, TOK_ELLIPSIS, TOK_IDENTIFIER, TOK_TEMPLATE, TOK_TYPENAME, exprt::type(), new_scopet::TYPE_TEMPLATE_PARAMETER, and cpp_declaratort::value().
|
protected |
Definition at line 1094 of file parse.cpp.
References get_nil_irep(), and irept::get_sub().
|
protected |
Definition at line 3624 of file parse.cpp.
References exprt::add_source_location(), irept::get_sub(), irept::id(), cpp_tokent::kind, pos(), typet::source_location(), irept::swap(), cpp_tokent::text, TOK_ELLIPSIS, TOK_SHIFTRIGHT, and exprt::type().
|
protected |
Definition at line 980 of file parse.cpp.
References irept::add(), irept::pretty(), irept::set(), irept::swap(), new_scopet::TEMPLATE, and TOK_USING.
|
protected |
Definition at line 1035 of file parse.cpp.
References irept::add(), irept::get_sub(), and TOK_TEMPLATE.
|
protected |
Definition at line 5531 of file parse.cpp.
References exprt::move_to_operands(), and TOK_THROW.
|
protected |
Definition at line 7505 of file parse.cpp.
References cpp_declarationt::declarators(), codet::get_statement(), exprt::move_to_operands(), exprt::operands(), irept::set(), codet::set_statement(), TOK_CATCH, TOK_ELLIPSIS, and TOK_TRY.
|
protected |
Definition at line 599 of file parse.cpp.
References cpp_declarationt::declarators(), cpp_declarationt::set_is_typedef(), TOK_TYPEDEF, and exprt::type().
|
protected |
Definition at line 676 of file parse.cpp.
References exprt::op0(), and exprt::operands().
|
protected |
Definition at line 627 of file parse.cpp.
References cpp_tokent::data, cpp_declarationt::declarators(), irept::get(), irept::make_nil(), cpp_declaratort::name(), TOK_IDENTIFIER, TOK_USING, and exprt::type().
|
protected |
Definition at line 5570 of file parse.cpp.
References pos(), and TOK_TYPEID.
|
protected |
Definition at line 5204 of file parse.cpp.
References irept::swap(), and exprt::type().
|
protected |
Definition at line 5242 of file parse.cpp.
References cpp_tokent::data, irept::get(), code_typet::make_ellipsis(), code_typet::parameters(), pos(), code_typet::return_type(), irept::set(), irept::swap(), TOK_ELLIPSIS, TOK_IDENTIFIER, and TOK_SCOPE.
|
protected |
Definition at line 6356 of file parse.cpp.
References irept::add(), irept::id(), cpp_tokent::kind, irept::swap(), cpp_tokent::text, TOK_BINARY_TYPE_PREDICATE, and TOK_UNARY_TYPE_PREDICATE.
|
protected |
Definition at line 687 of file parse.cpp.
References irept::is_nil(), and irept::make_nil().
|
protected |
Definition at line 5424 of file parse.cpp.
References exprt::move_to_operands(), irept::set(), TOK_ALIGNOF, TOK_DECR, TOK_IMAG, TOK_INCR, TOK_NOEXCEPT, TOK_REAL, TOK_SIZEOF, and TOK_THROW.
|
protected |
Definition at line 868 of file parse.cpp.
References cpp_usingt::name(), cpp_usingt::set_namespace(), TOK_NAMESPACE, and TOK_USING.
|
protected |
Definition at line 6664 of file parse.cpp.
References irept::add(), cpp_tokent::data, irept::get(), irept::get_sub(), pos(), irept::set(), irept::swap(), TOK_IDENTIFIER, TOK_OPERATOR, TOK_SCOPE, TOK_TEMPLATE, and TOK_TYPENAME.
|
protected |
Definition at line 7369 of file parse.cpp.
References exprt::move_to_operands(), and TOK_WHILE.
|
inlineprotected |
Definition at line 388 of file parse.cpp.
References irept::add(), dstringt::empty(), cpp_tokent::filename, cpp_tokent::line_no, source_locationt::set_file(), source_locationt::set_function(), and source_locationt::set_line().
|
protected |
Definition at line 483 of file parse.cpp.
References messaget::eom(), ERROR_TOKENS, source_locationt::set_file(), source_locationt::set_line(), and cpp_tokent::text.
|
protected |
|
protected |
|
protected |
|
protected |