Module IECCheckerCore.Dump

module S = Syntax
type dump_scheme = {
  1. version : string;
    (*

    Scheme version

    *)
  2. functions : S.function_decl list;
  3. function_blocks : S.fb_decl list;
  4. programs : S.program_decl list;
  5. configurations : S.configuration_decl list;
  6. types : S.derived_ty_decl list;
  7. environments : Env.t list;
  8. cfgs : Cfg.t list;
}

IEC program scheme used in yojson serialization.

val dump_scheme_to_yojson : dump_scheme -> Yojson.Safe.t
val create_dump : dst_file:string -> S.iec_library_element list -> Env.t list -> Cfg.t list -> unit

create_dump Save input AST in a JSON file.