CristalCaveGem » LustreC

    end

let pp_const_initialize pp_var fmt const =

  let var = mk_val (LocalVar (Corelang.var_decl_of_const const)) const.const_type in

  let rec aux indices value fmt typ =

    if Types.is_array_type typ

      let indices = List.rev indices in

      let pp_var_suffix fmt var =

	fprintf fmt "%a%a" (pp_c_val "" pp_var) var pp_array_suffix indices in

      begin

	Mpfr.pp_inject_init pp_var_suffix fmt var;

	fprintf fmt "@,";

(* Print the instruction and update the set of reset instances *)

let rec pp_machine_instr machines reset_instances (m: machine_t) fmt instr : ident list =

  match instr with

  | MNoReset i -> (* we assign middle_mem with mem_m. And declare i as reset *)

    pp_no_reset machines m fmt i;

    i::reset_instances

  try

    let ann = LexerLustreSpec.annot s in

    ANNOT ann

let make_spec lexbuf s = 

  try

    let ns = LexerLustreSpec.spec s in

    NODESPEC ns

}

| "^" {POWER}

| '"' {QUOTE}

| eof { EOF }

and comment n = parse

| eof

| "(*"

    { comment (n+1) lexbuf }

| "*)"

  | _ as c { Buffer.add_char buf c; annot_singleline lexbuf }

and annot_multiline n = parse

  | "*)" as s { 

    if n > 0 then 

      (Buffer.add_string buf s; annot_multiline (n-1) lexbuf) 

  | _ as c { Buffer.add_char buf c; spec_singleline lexbuf }

and spec_multiline n = parse

  | "*)" as s { if n > 0 then 

      (Buffer.add_string buf s; spec_multiline (n-1) lexbuf) 

    else 

ident_list:

  vdecl_ident {[$1]}

SCOL_opt:

    SCOL {} | {}