Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
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
reformatting