cprover
|
#include <cpp_typecheck_fargs.h>
Public Member Functions | |
cpp_typecheck_fargst () | |
bool | has_class_type () const |
void | build (const side_effect_expr_function_callt &function_call) |
cpp_typecheck_fargst (const side_effect_expr_function_callt &function_call) | |
bool | match (const code_typet &code_type, unsigned &distance, cpp_typecheckt &cpp_typecheck) const |
void | add_object (const exprt &expr) |
void | remove_object () |
Public Attributes | |
bool | in_use |
bool | has_object |
exprt::operandst | operands |
Definition at line 20 of file cpp_typecheck_fargs.h.
|
inline |
Definition at line 30 of file cpp_typecheck_fargs.h.
References build(), and has_class_type().
|
inlineexplicit |
Definition at line 37 of file cpp_typecheck_fargs.h.
References build(), cpp_typecheck(), and match().
|
inline |
Definition at line 49 of file cpp_typecheck_fargs.h.
Referenced by cpp_typecheck_resolvet::disambiguate_functions(), cpp_typecheckt::typecheck_expr_member(), and cpp_typecheckt::typecheck_member_initializer().
void cpp_typecheck_fargst::build | ( | const side_effect_expr_function_callt & | function_call | ) |
Definition at line 35 of file cpp_typecheck_fargs.cpp.
References in_use, exprt::op1(), operands, and exprt::operands().
Referenced by cpp_typecheck_fargst().
bool cpp_typecheck_fargst::has_class_type | ( | ) | const |
Definition at line 22 of file cpp_typecheck_fargs.cpp.
References operands.
Referenced by cpp_typecheck_fargst().
bool cpp_typecheck_fargst::match | ( | const code_typet & | code_type, |
unsigned & | distance, | ||
cpp_typecheckt & | cpp_typecheck | ||
) | const |
Definition at line 47 of file cpp_typecheck_fargs.cpp.
References code_typet::has_ellipsis(), cpp_typecheckt::implicit_conversion_sequence(), irept::is_nil(), is_reference(), operands, code_typet::parameters(), irept::pretty(), irept::set(), and cpp_typecheckt::to_string().
Referenced by cpp_typecheck_fargst(), and cpp_typecheck_resolvet::disambiguate_functions().
|
inline |
Definition at line 56 of file cpp_typecheck_fargs.h.
Referenced by cpp_typecheck_resolvet::disambiguate_functions().
bool cpp_typecheck_fargst::has_object |
Definition at line 23 of file cpp_typecheck_fargs.h.
Referenced by cpp_typecheck_resolvet::apply_template_args(), cpp_typecheck_resolvet::convert_identifier(), cpp_typecheckt::convert_initializer(), cpp_typecheck_resolvet::disambiguate_functions(), cpp_typecheckt::operator_is_overloaded(), and cpp_typecheck_resolvet::resolve().
bool cpp_typecheck_fargst::in_use |
Definition at line 23 of file cpp_typecheck_fargs.h.
Referenced by build(), cpp_typecheckt::convert_initializer(), cpp_typecheck_resolvet::disambiguate_functions(), cpp_typecheck_resolvet::exact_match_functions(), cpp_typecheckt::operator_is_overloaded(), cpp_typecheck_resolvet::resolve(), and cpp_typecheckt::typecheck_member_initializer().
exprt::operandst cpp_typecheck_fargst::operands |
Definition at line 24 of file cpp_typecheck_fargs.h.
Referenced by cpp_typecheck_resolvet::apply_template_args(), build(), cpp_typecheck_resolvet::convert_identifier(), cpp_typecheckt::convert_initializer(), cpp_typecheck_resolvet::disambiguate_functions(), cpp_typecheck_resolvet::guess_function_template_args(), has_class_type(), match(), cpp_typecheckt::operator_is_overloaded(), cpp_typecheck_resolvet::resolve(), cpp_typecheck_resolvet::resolve_with_arguments(), cpp_typecheckt::typecheck_expr_cpp_name(), and cpp_typecheckt::typecheck_member_initializer().