ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_annotation.h File Reference
Include dependency graph for python_annotation.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  python_annotation< Json >

Enumerations

enum class  InferResult

Functions

const std::map< std::string, std::string > & builtin_functions ()
nlohmann::json find_function_recursive (const std::string &func_name, const nlohmann::json &body)
nlohmann::json find_lambda_in_body (const std::string &func_name, const nlohmann::json &body)
std::string get_base_var_name (const nlohmann::json &node)
std::string get_type_from_json (const nlohmann::json &value)
bool has_annotation (const nlohmann::json &node)
bool has_return_none (const nlohmann::json &body)
std::string infer_type_from_default_arg_shape (const nlohmann::json &args_node)
std::string invert_substrings (const std::string &input)

Enumeration Type Documentation

◆ InferResult

Function Documentation

◆ builtin_functions()

const std::map< std::string, std::string > & python_annotation_intrinsics::builtin_functions ( )

◆ find_function_recursive()

nlohmann::json python_annotation_parser::find_function_recursive ( const std::string & func_name,
const nlohmann::json & body )

◆ find_lambda_in_body()

nlohmann::json python_annotation_parser::find_lambda_in_body ( const std::string & func_name,
const nlohmann::json & body )

◆ get_base_var_name()

◆ get_type_from_json()

◆ has_annotation()

◆ has_return_none()

◆ infer_type_from_default_arg_shape()

◆ invert_substrings()

std::string python_annotation_utils::invert_substrings ( const std::string & input)