Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/annotations.ml
11 11

  
12 12
open Lustre_types
13 13

  
14

  
15 14
(* Associate to each annotation key the pair (node, expr tag) *)
16
let expr_annotations : (string list, ident * tag) Hashtbl.t=  Hashtbl.create 13
17
let node_annotations : (string list, ident) Hashtbl.t=  Hashtbl.create 13
15
let expr_annotations : (string list, ident * tag) Hashtbl.t = Hashtbl.create 13
16

  
17
let node_annotations : (string list, ident) Hashtbl.t = Hashtbl.create 13
18

  
19
let add_expr_ann node_id expr_tag key =
20
  Hashtbl.add expr_annotations key (node_id, expr_tag)
18 21

  
19
let add_expr_ann node_id expr_tag key = Hashtbl.add expr_annotations key (node_id, expr_tag)
20 22
let add_node_ann node_id key = Hashtbl.add node_annotations key node_id
21 23

  
22 24
let get_expr_annotations key = Hashtbl.find_all expr_annotations key

Also available in: Unified diff