Project

General

Profile

« Previous | Next » 

Revision 3ca27bc7

Added by Pierre-Loïc Garoche almost 7 years ago

- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata.
- Improved EMF backend with META information

View differences:

src/corelang.mli
31 31
val mk_new_node_name: node_desc -> ident -> ident
32 32
val mktop: top_decl_desc -> top_decl
33 33

  
34

  
34
(* constructor for machine types *)
35
val mkinstr: (* TODO ?lustre_expr:expr -> ?lustre_eq: eq option -> *) instr_t_desc -> instr_t
36
val get_instr_desc: instr_t -> instr_t_desc
37
val update_instr_desc: instr_t -> instr_t_desc -> instr_t
38
  
35 39
val node_table : (ident, top_decl) Hashtbl.t
36 40
val print_node_table:  Format.formatter -> unit -> unit
37 41
val node_name: top_decl -> ident

Also available in: Unified diff