CristalCaveGem » LustreC

open Lustre_types 

open Corelang 

open Machine_code_types

(* (variable, node name, node instance) *)

type scope_t = (var_decl * string * string option) list * var_decl

      let instance = 

	List.find 

	  (fun i -> match get_instr_desc i with 

	  | _ -> false

	  ) 

	  e_machine.mstep.step_instrs 

      try

	let variable, instance_node, instance_id = 

	  match get_instr_desc instance with 

	    (* Format.eprintf "Looking for machine %s@.@?" o; *)

	    let o_fun, _ = List.assoc o e_machine.mcalls in

	    if node_name o_fun = nodename then

let update_machine machine =

  let stateassign vdecl =

    mkinstr 

  in

  let local_decls = machine.mstep.step_inputs

    (* @ machine.mstep.step_outputs   *)

    mstep = { 

      machine.mstep with 

        step_instrs = machine.mstep.step_instrs

    }

  }