ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parser.bootstrap Namespace Reference

Classes

class  ParserModuleDeps

Functions

None ensure_python3 ()
None ensure_python_frontend_on_path (str file_path)
ModuleType _import_with_fallback (str|None package, str module_name)
ParserModuleDeps load_parser_module_deps (str|None package)

Detailed Description

Bootstrap helpers for parser package/script execution.

Function Documentation

◆ _import_with_fallback()

ModuleType parser.bootstrap._import_with_fallback ( str | None package,
str module_name )
protected
Import ``module_name`` from package when present, else absolute fallback.

◆ ensure_python3()

None parser.bootstrap.ensure_python3 ( )
Exit with a clear message when running under Python 2.

◆ ensure_python_frontend_on_path()

None parser.bootstrap.ensure_python_frontend_on_path ( str file_path)
Ensure python-frontend dir is importable for direct script execution.

◆ load_parser_module_deps()

ParserModuleDeps parser.bootstrap.load_parser_module_deps ( str | None package)
Resolve parser submodules for package and script execution modes.