Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/EMF/EMF_common.mli | ||
---|---|---|
1 |
open Utils |
|
2 |
open Lustre_types |
|
3 |
open Machine_code_types |
|
4 |
open Format |
|
5 |
|
|
6 |
val pp_emf_cst_or_var_list: machine_t -> formatter -> value_t list -> unit |
|
7 |
val pp_emf_cst_or_var: machine_t -> formatter -> value_t -> unit |
|
8 |
val pp_var_name: formatter -> var_decl -> unit |
|
9 |
val print_protect: formatter -> (formatter -> unit) -> unit |
|
10 |
val pp_var_string: formatter -> ident -> unit |
|
11 |
val pp_emf_vars_decl: formatter -> var_decl list -> unit |
|
12 |
val pp_tag_id: formatter -> ident -> unit |
|
13 |
val pp_emf_expr: formatter -> expr -> unit |
|
14 |
val pp_emf_eexpr: formatter -> eexpr -> unit |
|
15 |
val pp_emf_eexprs: formatter -> eexpr list -> unit |
|
16 |
val pp_emf_list: ?eol:(unit, formatter, unit) Stdlib.format -> (formatter -> 'a -> unit) -> formatter -> 'a list -> unit |
|
17 |
val pp_emf_typedef: formatter -> Lustre_types.top_decl -> unit |
|
18 |
val pp_emf_top_const: formatter -> Lustre_types.top_decl -> unit |
|
19 |
|
|
20 |
val reset_name: ident -> ident |
|
21 |
|
|
22 |
val get_expr_vars: value_t -> Corelang.VSet.t |
|
23 |
|
|
24 |
val is_imported_node: ident -> machine_t -> bool |
Also available in: Unified diff
another step towards refactoring