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

Classes

class  parser.import_resolver.ModuleImportInfo
class  parser.import_resolver.ResolverCallbacks
class  parser.import_resolver._SubmoduleImportSplitter

Namespaces

namespace  parser
namespace  parser.import_resolver

Functions

None parser.import_resolver.reset_state ()
None parser.import_resolver._resolver_error (str detail)
None parser.import_resolver._resolver_warning (str detail)
str parser.import_resolver._node_location (ast.AST node)
None parser.import_resolver._mark_import_resolution (ast.AST node, bool ok, str|None full_path=None, str|None reason=None)
bool parser.import_resolver._has_model_file (str module_name, str output_dir)
None parser.import_resolver._warn_unmodelled_module (str module_name)
None parser.import_resolver._warn_module_file_not_found (str module_name)
None parser.import_resolver._warn_resolution_failure (str module_name, ast.AST node, str reason)
bool parser.import_resolver._is_imported_model (str module_name)
bool parser.import_resolver.is_imported_model (str module_name)
bool parser.import_resolver._is_unsupported_module (str module_name)
bool parser.import_resolver._is_testing_framework (str module_name)
str parser.import_resolver._base_module_name (str module_name)
bool parser.import_resolver._is_standard_library_file (str filename)
str|None parser.import_resolver._normalize_existing_path (str|None path)
str|None parser.import_resolver._module_filename (ModuleType|str|None module)
ModuleType|str|None parser.import_resolver.import_module_by_name (str module_name, str output_dir)
tuple[list[str], list[ast.alias]|None] parser.import_resolver._collect_import_targets (ast.Import|ast.ImportFrom node)
None parser.import_resolver.process_imports (ast.Import|ast.ImportFrom node, str output_dir)
list[str] parser.import_resolver._bound_names (ast.AST node)
dict[str, object] parser.import_resolver._unmodelled_import_bindings (list[ast.stmt] stmts)
None parser.import_resolver._mark_unmodelled_classes (ast.Module tree)
list[tuple[ast.expr, ast.expr]] parser.import_resolver._param_annotations (list[ast.stmt] stmts)
bool parser.import_resolver._has_star_import (list[ast.stmt] stmts)
bool parser.import_resolver._can_create_class (str name, list bases)
bool parser.import_resolver._is_submodule_import (str package_name, str name)
tuple[str, str]|None parser.import_resolver._reexport_origin (str module_name, str name)
dict[ast.alias, ast.stmt] parser.import_resolver._reexport_imports (ast.ImportFrom node)
None parser.import_resolver.split_submodule_imports (ast.AST tree)
str|None parser.import_resolver.resolve_module_file (str module_qualname, str output_dir)
list[str] parser.import_resolver._extract_module_names (ast.Import|ast.ImportFrom node)
tuple[str,...]|None parser.import_resolver._find_cycle_from (dict[str, set[str]] graph, str start)
None parser.import_resolver._warn_if_cycle (dict[str, set[str]] import_graph, str module_name)
ast.AST parser.import_resolver.filter_imports (ast.AST tree)
None parser.import_resolver.ensure_default_helper_imports (ast.AST tree)
None parser.import_resolver.process_collected_imports (str output_dir, ResolverCallbacks callbacks, ast.Module|None entry_tree=None)
None parser.import_resolver._request_vararg_specializations (ast.Module entry_tree, ParsedTreeState parsed_trees)
tuple[set, set, set] parser.import_resolver._imports_of (ast.AST tree, str module_name)
str|None parser.import_resolver._called_name (ast.AST node, set module_names, set from_names)
tuple[dict, set] parser.import_resolver._references_into (ast.AST tree, str module_name)
None parser.import_resolver._request_type_specializations (ast.Module entry_tree, ParsedTreeState parsed_trees)
None parser.import_resolver._adopt_type_specializations (ast.Module entry_tree, ParsedTreeState parsed_trees)
None parser.import_resolver._finalize_parsed_trees (ParsedTreeState parsed_trees, ast.Module|None entry_tree)
None parser.import_resolver._finalize_after_imports (str module_name, ParsedTreeState parsed_trees, set[str] started, set[str] done)
None parser.import_resolver._qualify_imported_nested_classes (ParsedTreeState parsed_trees, ast.Module|None entry_tree)
None parser.import_resolver._separate_colliding_classes (ast.Module entry_tree, ParsedTreeState parsed_trees)
None parser.import_resolver._emit_collected_import_json (ParsedTreeState parsed_trees, str output_dir, ResolverCallbacks callbacks)
None parser.import_resolver.rewrite_relative_import (ast.ImportFrom node, str|None parent_module)
None parser.import_resolver._emit_submodule_asts (str module_dir, str base_module, str output_dir, GenerateAstJsonFn generate_ast_json_fn)
None parser.import_resolver.detect_and_process_submodules (ast.AST node, set[str] processed_submodules, str output_dir, GenerateAstJsonFn generate_ast_json_fn)
None parser.import_resolver.emit_module_json (str module_qualname, str output_dir, GenerateAstJsonFn generate_ast_json_fn, ParseFileCanonicalisedFn parse_file_canonicalised_fn)

Variables

list parser.import_resolver.imported_signature_sources = []
dict parser.import_resolver.default_helper_exports = {}