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
staticprotected
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: