ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
annotation_parser.h File Reference
#include <nlohmann/json.hpp>
#include <string>
Include dependency graph for annotation_parser.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  python_annotation_parser

Functions

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