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

Public Member Functions

None reset_state (self)
None process_imports (self, ast.Import|ast.ImportFrom node, str output_dir)
None process_collected_imports (self, str output_dir, object callbacks)
None split_submodule_imports (self, ast.AST tree)
None detect_and_process_submodules (self, ast.AST node, set[str] processed_submodules, str output_dir, GenerateAstJsonFn generate_ast_json_fn)
bool is_imported_model (self, str module_name)

Static Public Attributes

dict module_exports [str, tuple[set[str], dict[str, str], set[str] | None]]
Callable rewrite_relative_import [..., Any]

Detailed Description

Structural type for resolver services used by parser CLI.

Member Function Documentation

◆ detect_and_process_submodules()

None parser.parser_cli.ImportResolverLike.detect_and_process_submodules ( self,
ast.AST node,
set[str] processed_submodules,
str output_dir,
GenerateAstJsonFn generate_ast_json_fn )

◆ is_imported_model()

bool parser.parser_cli.ImportResolverLike.is_imported_model ( self,
str module_name )

◆ process_collected_imports()

None parser.parser_cli.ImportResolverLike.process_collected_imports ( self,
str output_dir,
object callbacks )

◆ process_imports()

None parser.parser_cli.ImportResolverLike.process_imports ( self,
ast.Import | ast.ImportFrom node,
str output_dir )

◆ reset_state()

None parser.parser_cli.ImportResolverLike.reset_state ( self)

◆ split_submodule_imports()

None parser.parser_cli.ImportResolverLike.split_submodule_imports ( self,
ast.AST tree )

Member Data Documentation

◆ module_exports

dict parser.parser_cli.ImportResolverLike.module_exports [str, tuple[set[str], dict[str, str], set[str] | None]]
static

◆ rewrite_relative_import

Callable parser.parser_cli.ImportResolverLike.rewrite_relative_import [..., Any]
static

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