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

Classes

class  parser.json_emitter.ImportResolverLike
class  parser.json_emitter.JsonEmitterDeps
class  parser.json_emitter.EmitPipelineDeps

Namespaces

namespace  parser
namespace  parser.json_emitter

Functions

set[str] parser.json_emitter.get_referenced_names (ast.AST node)
Iterable[str] parser.json_emitter._assign_target_names (ast.expr target)
set[str] parser.json_emitter._node_bound_names (ast.stmt node)
list[ast.stmt] parser.json_emitter._filter_nodes_for_import (ast.Module tree, elements_to_import)
str parser.json_emitter._compute_output_json_path (str python_filename, str output_dir, str|None module_qualname)
None parser.json_emitter._reject_unencodable_string_constants (ast.AST tree, str source_filename)
 parser.json_emitter.generate_ast_json (ast.Module tree, str python_filename, elements_to_import, str output_dir, module_qualname=None, *, JsonEmitterDeps deps)
None parser.json_emitter.emit_file_as_json (str filename, str output_dir, str|None module_qualname=None, elements_to_import=None, *, EmitPipelineDeps deps)
None parser.json_emitter.emit_module_json (str module_qualname, str output_dir, elements_to_import=None, *, EmitPipelineDeps deps)