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

Functions

nlohmann::json find_lambda_in_body (const std::string &func_name, const nlohmann::json &body)
nlohmann::json find_function_recursive (const std::string &func_name, const nlohmann::json &body)
nlohmann::json find_self_attr_init_rhs (const std::string &cls, const std::string &attr, const nlohmann::json &ast_body)

Function Documentation

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

◆ find_self_attr_init_rhs()

nlohmann::json python_annotation_parser::find_self_attr_init_rhs ( const std::string & cls,
const std::string & attr,
const nlohmann::json & ast_body )