ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
module_manager Class Reference

#include <module_manager.h>

Public Member Functions

 ~module_manager ()
const ModulePtr get_module (const std::string &module_name)
 Look a module up by (possibly dotted) name, parsing its JSON AST if this is the first request for it.

Static Public Member Functions

static std::shared_ptr< module_manager > create (const std::string &module_search_path, const std::string &main_module_path)

Constructor & Destructor Documentation

◆ ~module_manager()

module_manager::~module_manager ( )

Member Function Documentation

◆ create()

std::shared_ptr< module_manager > module_manager::create ( const std::string & module_search_path,
const std::string & main_module_path )
static

◆ get_module()

const ModulePtr module_manager::get_module ( const std::string & module_name)

Look a module up by (possibly dotted) name, parsing its JSON AST if this is the first request for it.


The documentation for this class was generated from the following files: