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

Go to the source code of this file.

Namespaces

namespace  python_annotation_utils

Enumerations

enum class  python_annotation_utils::InferResult { python_annotation_utils::OK , python_annotation_utils::UNKNOWN }

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)