CristalCaveGem » LustreC

let check_sfunction mannot =

 (*Check if its an sfunction*)

  match mannot with

    [] -> false

  | [x] -> match x.annots with

             [] -> false

            |[(key,va)] -> match key with

                             [] -> false

                           | ["c_code"] -> true

                           | ["matlab"] -> true

                           | _ -> false

  | _  -> false

  print_dep fmt prog; (*print static library e.g. math*)

  (*List.iter (print_machine machines fmt) (List.rev machines);*)

  List.iter(fun m ->

      let is_sfunction = check_sfunction m.mannot in

      if is_sfunction then(

        Log.report ~level:1 (fun fmt -> fprintf fmt ".. detected sfunction: %s@," m.mname.node_id);

        print_sfunction machines fmt m

      ) else (

         print_machine machines fmt m)

         )

           (List.rev machines);