ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_annotation_utils Namespace Reference

Enumerations

enum class  InferResult { OK , UNKNOWN }

Functions

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 get_base_var_name (const nlohmann::json &node)
std::string invert_substrings (const std::string &input)
std::string infer_type_from_default_arg_shape (const nlohmann::json &args_node)

Enumeration Type Documentation

◆ InferResult

Enumerator
OK 
UNKNOWN 

Function Documentation

◆ get_base_var_name()

std::string python_annotation_utils::get_base_var_name ( const nlohmann::json & node)

◆ get_type_from_json()

std::string python_annotation_utils::get_type_from_json ( const nlohmann::json & value)

◆ has_annotation()

bool python_annotation_utils::has_annotation ( const nlohmann::json & node)

◆ has_return_none()

bool python_annotation_utils::has_return_none ( const nlohmann::json & body)

◆ infer_type_from_default_arg_shape()

std::string python_annotation_utils::infer_type_from_default_arg_shape ( const nlohmann::json & args_node)

◆ invert_substrings()

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