ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_annotation< Json > Member List

This is the complete list of members for python_annotation< Json >, including all inherited members.

add_extra_subscript_inference_source(const Json &ast)python_annotation< Json >
add_type_annotation()python_annotation< Json >
add_type_annotation(const std::string &func_name)python_annotation< Json >
annotate_from_call_sites(Json &root, Json &param, const std::pair< std::string, size_t > &key, std::set< std::string > types, const std::set< std::string > &top_level_funcs)python_annotation< Json >
class_method(const std::string &cls, const Json &method)python_annotation< Json >
collect_function_call_arg_types(Json &node, std::map< std::pair< std::string, size_t >, std::set< std::string > > &param_types, const std::set< std::string > &top_level_funcs, std::set< std::pair< std::string, size_t > > &dynamically_typed_params)python_annotation< Json >
is_instance_call(const Json &func) constpython_annotation< Json >
preprocess_constructor_calls(Json &node)python_annotation< Json >
preprocess_function_calls(Json &root)python_annotation< Json >
preprocess_method_calls(const Json &node)python_annotation< Json >
preprocess_receiver_method_calls()python_annotation< Json >
promote_to_float_operand(const Json &stmt, const std::string &type)python_annotation< Json >
python_annotation(Json &ast, global_scope &gs)python_annotation< Json >inline
unresolved_arg_type()python_annotation< Json >inlinestatic