#include "python_list_internal.h"

Include dependency graph for list_type_inference.cpp:

Namespaces
namespace	python_list_detail

Functions
bool	python_list_detail::is_excluded_struct_tag_for_object_ref (const struct_typet &st)
bool	python_list_detail::is_empty_user_class_object_type (const typet &type, const namespacet &ns)
int	python_list_detail::get_list_compare_depth ()
const nlohmann::json &	python_list_detail::unwrap_optional_annotation (const nlohmann::json &ann)
static std::string	python_list_detail::container_spelling (const nlohmann::json &slice)
	The name a nested container element resolves by: its base, or the whole "Optional[T]", whose Optional<T> struct a bare "Optional" does not name (#8016).
typet	python_list_detail::get_elem_type_from_annotation (const nlohmann::json &node, const type_handler &type_handler_)
typet	python_list_detail::get_elem_type_from_return_annotation (const nlohmann::json &function_node, const type_handler &type_handler_)
typet	python_list_detail::infer_elem_type_from_call_return (const nlohmann::json &call_node, python_converter &converter)
static typet	function_element_type (const python_converter &converter, const nlohmann::json &elem, const typet &fallback)
	The type a list stores the module function `elem` names as: its address, as python_list::get stores it.
static typet	literal_element_type (const type_handler &th, const nlohmann::json &elem, bool &unresolved_call)
static void	reject_mixed_unresolved_call (bool unresolved_call, const typet &first)

Variables
static const int	DEFAULT_LIST_COMPARE_DEPTH = 4

Function Documentation

◆ function_element_type()

static

The type a list stores the module function elem names as: its address, as python_list::get stores it.

fallback when elem names none.

static

void reject_mixed_unresolved_call	(	bool	unresolved_call,
		const typet &	first )

static

const int DEFAULT_LIST_COMPARE_DEPTH = 4

static