|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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] |
Structural type for resolver services used by parser CLI.
| 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 ) |
| bool parser.parser_cli.ImportResolverLike.is_imported_model | ( | self, | |
| str | module_name ) |
| None parser.parser_cli.ImportResolverLike.process_collected_imports | ( | self, | |
| str | output_dir, | ||
| object | callbacks ) |
| None parser.parser_cli.ImportResolverLike.process_imports | ( | self, | |
| ast.Import | ast.ImportFrom | node, | ||
| str | output_dir ) |
| None parser.parser_cli.ImportResolverLike.reset_state | ( | self | ) |
| None parser.parser_cli.ImportResolverLike.split_submodule_imports | ( | self, | |
| ast.AST | tree ) |
|
static |