ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
annotation_utils.cpp File Reference
#include <python-frontend/python_annotation/annotation_utils.h>
#include <algorithm>
#include <sstream>
#include <vector>
Include dependency graph for annotation_utils.cpp:

Namespaces

namespace  python_annotation_utils

Functions

std::string python_annotation_utils::get_type_from_json (const nlohmann::json &value)
bool python_annotation_utils::has_annotation (const nlohmann::json &node)
bool python_annotation_utils::has_return_none (const nlohmann::json &body)
std::string python_annotation_utils::get_base_var_name (const nlohmann::json &node)
std::string python_annotation_utils::invert_substrings (const std::string &input)
std::string python_annotation_utils::infer_type_from_default_arg_shape (const nlohmann::json &args_node)