CristalCaveGem » LustreC

(* We try to avoid opening modules here *)

module ST = Salsa.SalsaTypes

module SDT = SalsaDatatypes

    | LT.LocalVar v

    | LT.StateVar v -> 

      if not (Vars.mem v printed_vars) && 

	(Types.is_real_type e.LT.value_type ||  Types.is_real_type v.LT.var_type) 

      then

	opt_num_expr ranges formalEnv e 

  let pp fmt (f,r) = 

    match f, r with

    | ST.I(a,b), ST.J(c,d) ->

    | ST.I(a,b), ST.JInfty ->  Format.fprintf fmt "[%f, %f] + oo" a b 

    | ST.Empty, _ -> Format.fprintf fmt "???"

env

let rec salsa_expr2value_t vars_env cst_env e  = 

  let salsa_expr2value_t = salsa_expr2value_t vars_env cst_env in

  let binop op e1 e2 t = 

    let x = salsa_expr2value_t e1 in

	let s = 

	  if new_float = 0. then "0." else

	    (* We have to convert it into our format: int * int * real *)

	    let _ = Format.flush_str_formatter () in

	in

	Parser_lustre.signed_const Lexer_lustre.token (Lexing.from_string s) 

      in

  | _      -> raise (Salsa.Prelude.Error "Entschuldigung, salsaExpr2value_t case not yet implemented")

let rec get_salsa_free_vars vars_env constEnv absenv e =

  let f = get_salsa_free_vars vars_env constEnv absenv in

  match e with