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

Namespaces

namespace  __main__
namespace  bootstrap
namespace  class_collision
namespace  constant_annotations
namespace  import_resolver
namespace  json_emitter
namespace  nested_class_imports
namespace  parser
namespace  parser_cli
namespace  range_alias_pipeline
namespace  rewrite_re
namespace  threading_lowering
namespace  typecheck

Functions

 _impl ()
 main (*Any args, **Any kwargs)
 parse_file (*Any args, **Any kwargs)
 parse_file_canonicalised (*Any args, **Any kwargs)
 generate_ast_json (*Any args, **Any kwargs)

Detailed Description

Parser package facade for the Python frontend.

Keep this module lightweight: import heavy parser code lazily so importing
`parser` as a package does not execute parser-side setup eagerly.

Function Documentation

◆ _impl()

parser._impl ( )
protected

◆ generate_ast_json()

parser.generate_ast_json ( *Any args,
**Any kwargs )

◆ main()

parser.main ( *Any args,
**Any kwargs )

◆ parse_file()

parser.parse_file ( *Any args,
**Any kwargs )

◆ parse_file_canonicalised()

parser.parse_file_canonicalised ( *Any args,
**Any kwargs )