CristalCaveGem » LustreC

open Format

open Machine_code_types

open Lustre_types

open Corelang

open Machine_code_common

(*TODO: Copied from ./ada_backend_ads.ml *)

let pp_package_name fmt machine =

  fprintf fmt "%s" machine.mname.node_id

let pp_begin_package fmt machine =

  fprintf fmt "package body %a is" pp_package_name machine

let pp_end_package fmt machine =

  fprintf fmt "end %a;" pp_package_name machine

let pp_machine_instr machine fmt instr =

    fprintf fmt "instruction"

let print fmt machine =

  let pp_instr = pp_machine_instr machine in

  fprintf fmt "@[<v 2>%a@,%a@]@,%a@."

    pp_begin_package machine

    (Utils.fprintf_list ~sep:"@," pp_instr) machine.mstep.step_instrs

    pp_end_package machine