ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
nested_class_imports.py File Reference

Classes

class  parser.nested_class_imports._QualifyImportedNestedClasses

Namespaces

namespace  parser
namespace  parser.nested_class_imports

Functions

list[ast.AST] parser.nested_class_imports._binders (ast.AST tree, str name)
bool parser.nested_class_imports._imports_module (ast.AST binder, set[int] imports, str root, str module_name)
set[str] parser.nested_class_imports._module_paths (ast.Module tree, str module_name)
dict[str, tuple[str, ast.ImportFrom]] parser.nested_class_imports._from_imported (ast.Module tree, str module_name, set[str] outers)
bool parser.nested_class_imports._has_star_import (ast.AST tree)
set[str] parser.nested_class_imports._identifiers (ast.AST tree)
set[str]|None parser.nested_class_imports._stored_attributes (list[tuple[str|None, ast.Module]] importers)
dict[str, dict] parser.nested_class_imports._safe_renames (dict[str, dict] hoisted, list[tuple[str|None, ast.Module]] importers)
dict parser.nested_class_imports.qualify_imported_nested_classes (dict[str, dict] hoisted, Iterable[tuple[str|None, ast.Module]] importers)