ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parser.import_resolver._SubmoduleImportSplitter Class Reference
Inheritance diagram for parser.import_resolver._SubmoduleImportSplitter:
[legend]

Public Member Functions

ast.stmt|list[ast.stmt] visit_ImportFrom (self, ast.ImportFrom node)

Detailed Description

Rewrite `from pkg import mod` to `import pkg.mod as mod` for a submodule `mod`.

The converter binds a module only through an `import` alias, so the
`from` form leaves `mod` undefined (#8375). A name `pkg` re-exports is
likewise imported from the module that defines it (#8962).

Member Function Documentation

◆ visit_ImportFrom()

ast.stmt | list[ast.stmt] parser.import_resolver._SubmoduleImportSplitter.visit_ImportFrom ( self,
ast.ImportFrom node )

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