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

Static Public Attributes

set specific_names [str]
TypeAlias ParseFileCanonicalisedFn = Callable[[str], tuple[ast.AST, object]]
TypeAlias RewriteRelativeImportFn = Callable[[ast.ImportFrom, str | None], None]
TypeAlias SnapshotExportsFn = Callable[[object], tuple[set[str], dict[str, str], set[str] | None]]
TypeAlias ParsedTreeState = dict[str, tuple[ast.AST, str, object]]
TypeAlias PropagateRangeAliasesFn = Callable[[ParsedTreeState], None]
TypeAlias GenerateAstJsonFn = Callable[[ast.AST, str, object, str, str | None], None]
dict import_aliases = {}
dict module_imports = {}
dict module_exports = {}

Static Protected Attributes

set _reported_cycles = set()
set _reported_resolution_failures = set()
set _reported_unmodelled = set()
dict _unmodelled_modules = {}

Detailed Description

Per-module import aggregation used for deferred JSON emission.

Member Data Documentation

◆ _reported_cycles

set parser.import_resolver.ModuleImportInfo._reported_cycles = set()
staticprotected

◆ _reported_resolution_failures

set parser.import_resolver.ModuleImportInfo._reported_resolution_failures = set()
staticprotected

◆ _reported_unmodelled

set parser.import_resolver.ModuleImportInfo._reported_unmodelled = set()
staticprotected

◆ _unmodelled_modules

dict parser.import_resolver.ModuleImportInfo._unmodelled_modules = {}
staticprotected

◆ GenerateAstJsonFn

TypeAlias parser.import_resolver.ModuleImportInfo.GenerateAstJsonFn = Callable[[ast.AST, str, object, str, str | None], None]
static

◆ import_aliases

dict parser.import_resolver.ModuleImportInfo.import_aliases = {}
static

◆ module_exports

dict parser.import_resolver.ModuleImportInfo.module_exports = {}
static

◆ module_imports

dict parser.import_resolver.ModuleImportInfo.module_imports = {}
static

◆ ParsedTreeState

TypeAlias parser.import_resolver.ModuleImportInfo.ParsedTreeState = dict[str, tuple[ast.AST, str, object]]
static

◆ ParseFileCanonicalisedFn

TypeAlias parser.import_resolver.ModuleImportInfo.ParseFileCanonicalisedFn = Callable[[str], tuple[ast.AST, object]]
static

◆ PropagateRangeAliasesFn

TypeAlias parser.import_resolver.ModuleImportInfo.PropagateRangeAliasesFn = Callable[[ParsedTreeState], None]
static

◆ RewriteRelativeImportFn

TypeAlias parser.import_resolver.ModuleImportInfo.RewriteRelativeImportFn = Callable[[ast.ImportFrom, str | None], None]
static

◆ SnapshotExportsFn

TypeAlias parser.import_resolver.ModuleImportInfo.SnapshotExportsFn = Callable[[object], tuple[set[str], dict[str, str], set[str] | None]]
static

◆ specific_names

set parser.import_resolver.ModuleImportInfo.specific_names [str]
static

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