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

  try

    match (Hashtbl.find hashtbl name).top_decl_desc, value.top_decl_desc with

  with

 if Hashtbl.mem hashtbl name

 else Hashtbl.add hashtbl name value

 if not (Hashtbl.mem hashtbl name)

 else ()

%}

%token MULT DIV MOD

%token MINUS PLUS UMINUS

%token PRE ARROW

%token EOF

%nonassoc COMMA

| NODE { false }

top_decl_header:

| nodespec_list state_annot IDENT LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR  prototype_opt in_lib_opt SCOL

    {let nd = mktop_decl (ImportedNode

                            {nodei_id = $3;

			     nodei_prototype = $13;

			     nodei_in_lib = $14;})

    in

prototype_opt:

 { None }

in_lib_opt:

{ None }

top_decl:

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

			     node_stateless = None;

			     node_spec = $1;

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

nodespec_list:

 { None }

typ_def:

  TYPE IDENT EQ typeconst {

    try

    with Not_found-> assert false }

| TYPE IDENT EQ ENUM LCUR tag_list RCUR { Hashtbl.add type_table (Tydec_const $2) (Tydec_enum ($6 (Tydec_const $2))) }

| TYPE IDENT EQ STRUCT LCUR field_list RCUR { Hashtbl.add type_table (Tydec_const $2) (Tydec_struct ($6 (Tydec_const $2))) }

| TBOOL array_typ_decl { $2 Tydec_bool  }

| TREAL array_typ_decl { $2 Tydec_real  }

| TFLOAT array_typ_decl { $2 Tydec_float }

| TBOOL TCLOCK  { Tydec_clock Tydec_bool }

| IDENT TCLOCK  { Tydec_clock (Tydec_const $1) }

tag_list:

  IDENT

| tag_list COMMA IDENT

field_list:

  { (fun t -> []) }

| field_list IDENT COL typeconst SCOL

eq_list:

  { [], [], [] }

| eq eq_list {let eql, assertl, annotl = $2 in ($1::eql), assertl, annotl}