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

Public Member Functions

ast.Module filter_imports (self, ast.Module tree)
str|None resolve_module_file (self, str module_qualname, str output_dir)

Detailed Description

Structural type for resolver functions consumed by JSON emission.

Member Function Documentation

◆ filter_imports()

ast.Module parser.json_emitter.ImportResolverLike.filter_imports ( self,
ast.Module tree )

◆ resolve_module_file()

str | None parser.json_emitter.ImportResolverLike.resolve_module_file ( self,
str module_qualname,
str output_dir )

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