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

Namespaces

namespace  parser
namespace  parser.parser

Functions

tuple[ast.AST, Preprocessor] parser.parser.parse_file (str filename)
None parser.parser.generate_ast_json (ast.AST tree, str python_filename, elements_to_import, str output_dir, str|None module_qualname=None)
None parser.parser.emit_file_as_json (str filename, str output_dir, str|None module_qualname=None, elements_to_import=None)
None parser.parser.emit_module_json (str module_qualname, str output_dir, elements_to_import=None)
str|None parser.parser._rejection_location (BaseException exc)
int|None parser.parser.main ()
int|None parser.parser._run_cli ()

Variables

 parser.parser.bootstrap = importlib.import_module(f"{__package__}.bootstrap")
 parser.parser.typecheck = importlib.import_module(f"{__package__}.typecheck")
 parser.parser.ensure_python3 = bootstrap.ensure_python3
 parser.parser.ensure_python_frontend_on_path = bootstrap.ensure_python_frontend_on_path
 parser.parser.load_parser_module_deps = bootstrap.load_parser_module_deps
 parser.parser.run_mypy_strict = typecheck.run_mypy_strict
 parser.parser._DEPS = load_parser_module_deps(__package__)
 parser.parser.add_type_annotation = _DEPS.constant_annotations.add_type_annotation
 parser.parser.annotate_constant_node = _DEPS.constant_annotations.annotate_constant_node
 parser.parser.tag_bignum_constants = _DEPS.constant_annotations.tag_bignum_constants
 parser.parser.tag_nonfinite_floats = _DEPS.constant_annotations.tag_nonfinite_floats
 parser.parser._emit_file_as_json = _DEPS.json_emitter.emit_file_as_json
 parser.parser._emit_module_json = _DEPS.json_emitter.emit_module_json
 parser.parser._generate_ast_json = _DEPS.json_emitter.generate_ast_json
 parser.parser.EmitPipelineDeps = _DEPS.json_emitter.EmitPipelineDeps
 parser.parser.JsonEmitterDeps = _DEPS.json_emitter.JsonEmitterDeps
 parser.parser.cli_main = _DEPS.parser_cli.main
 parser.parser.CliDeps = _DEPS.parser_cli.CliDeps
 parser.parser.compute_range_seed = _DEPS.range_alias_pipeline.compute_range_seed
 parser.parser.propagate_range_aliases = _DEPS.range_alias_pipeline.propagate_range_aliases_across_modules
 parser.parser.snapshot_exports = _DEPS.range_alias_pipeline.snapshot_exports
 parser.parser.parse_file_canonicalised = _DEPS.range_alias_pipeline.parse_file_canonicalised
 parser.parser.import_resolver = _DEPS.import_resolver
 parser.parser.rewrite_re_match_attribute_calls = _DEPS.rewrite_re.rewrite_re_match_attribute_calls
 parser.parser.threading_lowering = _DEPS.threading_lowering
int parser.parser._REJECTION_EXIT = 4