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

Static Public Attributes

Callable parse_file = None
Callable generate_ast_json_fn = None
ImportResolverLike import_resolver = None
Callable emit_file_as_json_fn = None

Detailed Description

Dependencies for file/module emission wrappers.

Member Data Documentation

◆ emit_file_as_json_fn

Callable parser.json_emitter.EmitPipelineDeps.emit_file_as_json_fn = None
static

◆ generate_ast_json_fn

Callable parser.json_emitter.EmitPipelineDeps.generate_ast_json_fn = None
static

◆ import_resolver

ImportResolverLike parser.json_emitter.EmitPipelineDeps.import_resolver = None
static

◆ parse_file

Callable parser.json_emitter.EmitPipelineDeps.parse_file = None
static

The documentation for this class was generated from the following file: