CristalCaveGem » LustreC

let mkdim_appl f args = mkdim_appl (Location.symbol_rloc ()) f args

let mkdim_ite i t e = mkdim_ite (Location.symbol_rloc ()) i t e

let add_symbol msg hashtbl name value =

 if Hashtbl.mem hashtbl name

 then raise (Corelang.Error (Corelang.Already_bound_symbol msg, Location.symbol_rloc ()))

%start prog

%type <Corelang.top_decl list> prog

%start header

%%

 open_list typ_def_list top_decl_list EOF { $1 @ (List.rev $3) }

header:

open_list:

  { [] }

top_decl_header_list:

top_decl_header:

			     nodei_stateless = $12;

			     nodei_spec = None})

    in

| nodespec_list NODE IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR stateless_opt SCOL

    {let nd = mktop_decl (ImportedNode

			     nodei_stateless = $13;

			     nodei_spec = Some $1})

    in

| FUNCTION IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL

    {let nd = mktop_decl (ImportedNode

			     nodei_stateless = true;

			     nodei_spec = None})

     in

| nodespec_list FUNCTION IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL

    {let nd = mktop_decl (ImportedNode

			     nodei_stateless = true;

			     nodei_spec = Some $1})

     in

top_decl:

| CONST cdecl_list { mktop_decl (Consts (List.rev $2)) }

			     node_spec = None;

			     node_annot = match annots with [] -> None | _ -> Some annots})

    in

| nodespec_list NODE IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL_opt locals LET eq_list TEL 

    {let eqs, asserts, annots = $16 in

			     node_spec = Some $1;

			     node_annot = match annots with [] -> None | _ -> Some annots})

    in

nodespec_list:

NODESPEC { $1 }