CristalCaveGem » LustreC

let resolve_contracts prog =

  (* Bind a fresh node with a new name according to existing nodes and freshly binded contract node. Clean the contract to remove the stmts  *)

  let process_contract new_contracts c =

    (* Resolve first the imports *)

    let stmts, locals, c =

      List.fold_left (

             Last the contracts elements are replaced with the renamed vars and merged with c contract.

           *)

          let name = import.import_nodeid in

          let loc = import.import_loc in

          try

            let imp_nd = get_node name new_contracts in (* Get the contract node in process contracts *)

      | ImportedNode ind -> ind.nodei_id, ind.nodei_spec, ind.nodei_inputs, ind.nodei_outputs

      | _ -> assert false

    in

    let stmts, locals, c =

      match spec with