ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_param_annotations::module_ast Struct Reference

One module's AST. More...

#include <param_annotations.h>

Public Attributes

const nlohmann::json * read
nlohmann::json * write
std::string name

Detailed Description

One module's AST.

write is null for modules that may be read (to find call sites) but not rewritten. name is the module's import name, empty for the entry-point module.

Member Data Documentation

◆ name

std::string python_param_annotations::module_ast::name

◆ read

const nlohmann::json* python_param_annotations::module_ast::read

◆ write

nlohmann::json* python_param_annotations::module_ast::write

The documentation for this struct was generated from the following file: