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

Classes

class  parser.parser_cli.ImportResolverLike
class  parser.parser_cli.ThreadingLoweringLike
class  parser.parser_cli.CliDeps
class  parser.parser_cli._ResolverCallbacksDeps

Namespaces

namespace  parser
namespace  parser.parser_cli

Functions

ast.Module parser.parser_cli._read_ast_from_file (str filename)
None parser.parser_cli.check_usage ()
None parser.parser_cli.check_dependencies ()
None parser.parser_cli.select_threading_model (str output_dir, bool deadlock_check)
None parser.parser_cli._emit_model_jsons (str output_dir, *, ImportResolverLike import_resolver, GenerateAstJsonFn generate_ast_json_fn)
int|None parser.parser_cli.main (*, CliDeps deps)

Variables

TypeAlias parser.parser_cli.RunMypyStrictFn = Callable[[str], tuple[int, str]]
TypeAlias parser.parser_cli.ParseFileCanonicalisedFn = Callable[[str], tuple[ast.AST, object]]
TypeAlias parser.parser_cli.GenerateAstJsonFn = Callable[[ast.AST, str, object, str], None]
TypeAlias parser.parser_cli.AnnotateConstantFn = Callable[[ast.AST], None]
TypeAlias parser.parser_cli.AddTypeAnnotationFn = Callable[[ast.Assign], None]
TypeAlias parser.parser_cli.SnapshotExportsFn = Callable[[object], tuple[set[str], dict[str, str], set[str] | None]]
TypeAlias parser.parser_cli.ComputeRangeSeedFn = Callable[[ast.Module, object], tuple[set[str], dict[str, str]]]
TypeAlias parser.parser_cli.PropagateRangeAliasesFn = Callable[[dict, object], None]
TypeAlias parser.parser_cli.RewriteReFn = Callable[[ast.Module], None]
tuple parser.parser_cli._FLAGS = ("--deadlock-check", "--typecheck")