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