list_type_inference.h File Reference

#include <nlohmann/json.hpp>
#include <util/irep/type.h>

Include dependency graph for list_type_inference.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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)
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)