CristalCaveGem » LustreC

(* ----------------------------------------------------------------------------

 * SchedMCore - A MultiCore Scheduling Framework

 * Copyright (C) 2009-2011, ONERA, Toulouse, FRANCE - LIFL, Lille, FRANCE

 *

 * This file is part of Prelude

 *

 * Prelude is free software; you can redistribute it and/or

 * modify it under the terms of the GNU Lesser General Public License

 * as published by the Free Software Foundation ; either version 2 of

 * the License, or (at your option) any later version.

 *

 * Prelude is distributed in the hope that it will be useful, but

 * WITHOUT ANY WARRANTY ; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU

 * Lesser General Public License for more details.

 *

 * You should have received a copy of the GNU Lesser General Public

 * License along with this program ; if not, write to the Free Software

 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307

 * USA

 *---------------------------------------------------------------------------- *)

(** Base types and predefined operator types. *)

open Init

let init_zero = new_univar ()

let init_un =

  let univ = new_univar () in

  new_init Isucc(univ)

let rec init_omega =

  { init_desc = Isucc init_omega ; iid = -1 }

let is_omega init =

  let rec search path init =

 match init.init_desc with

 | Isucc init' -> List.mem init path or search (init::path) init'

 | _           -> false

  in search [] init

let init_unary_poly_op =

  let univ = new_univar () in

  new_init (Iarrow (univ, univ))

let init_pre_op =

  let univ = new_univar () in

  new_init (Iarrow (univ, new_init (Isucc univ)))

let init_arrow_op =

  let univ = new_univar () in

  new_init (Iarrow (new_init (Ituple [univ; init_un]), univ))

let init_fby_op_1 =

  let univ = new_univar () in

  new_init (Iarrow (init_zero,init_zero))

let init_fby_op_2 =

  init_pre_op

let init_bin_poly_op =

  let univ = new_univar () in

  new_init (Iarrow (new_init (Ituple [univ;univ]), univ))

let init_ter_poly_op =

  let univ = new_univar () in

  new_init (Iarrow (new_init (Ituple [univ;univ;univ]), univ))

let env =

  let init_env = Env.initial in

  let env' = 

    List.fold_right (fun op env -> Env.add_value env op init_unary_poly_op)

      ["uminus"; "not"] init_env in

  let env' = 

    List.fold_right (fun op env -> Env.add_value env op init_binary_poly_op)

      ["+"; "-"; "*"; "/"; "mod"; "&&"; "||"; "xor"; "impl"; "<"; "<="; ">"; ">="; "!="; "="] env' in

  let env' = 

    List.fold_right (fun op env -> Env.add_value env op init_ternary_poly_op)

      ["ite"] init_env in

  env'

(* Local Variables: *)

(* compile-command:"make -C .." *)

(* End: *)