ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parser.bootstrap.ParserModuleDeps Class Reference
Static Protected Attributes
tuple
_PARSER_SUBMODULES
Detailed Description
Resolved parser submodules used by parser façade orchestration.
Member Data Documentation
◆
_PARSER_SUBMODULES
tuple parser.bootstrap.ParserModuleDeps._PARSER_SUBMODULES
static
protected
Initial value:
= (
"constant_annotations"
,
"json_emitter"
,
"parser_cli"
,
"range_alias_pipeline"
,
"import_resolver"
,
"rewrite_re"
,
"threading_lowering"
,
)
The documentation for this class was generated from the following file:
src/python-frontend/parser/
bootstrap.py
parser
bootstrap
ParserModuleDeps
Generated by
1.15.0