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

Classes

class  _Rename

Functions

 _dotted (node)
 _binds_otherwise (module, root)
 alias_dotted_imports (module)

Detailed Description

Gives `import pkg.sub` an alias the converter resolves (#8975).

Function Documentation

◆ _binds_otherwise()

preprocessor.dotted_imports._binds_otherwise ( module,
root )
protected
Whether anything but an import binds `root`, or a star import may.

◆ _dotted()

preprocessor.dotted_imports._dotted ( node)
protected
`a.b.c` for a chain of attribute reads ending in a name, else None.

◆ alias_dotted_imports()

preprocessor.dotted_imports.alias_dotted_imports ( module)
Rewrite a top-level `import pkg.sub` as `import pkg` and
`import pkg.sub as ESBMC_import_pkg_sub`, reading `pkg.sub` through the
alias. Python binds `pkg` there too, so the package stays bound.