Project

General

Profile

Revision ef34b4ae src/corelang.mli

View differences:

src/corelang.mli
24 24
val mkexpr: Location.t ->  expr_desc -> expr
25 25
val mkeq: Location.t -> ident list * expr -> eq
26 26
val mkassert: Location.t -> expr -> assert_t
27
val mktop_decl: Location.t -> top_decl_desc -> top_decl
27
val mktop_decl: Location.t -> ident -> bool -> top_decl_desc -> top_decl
28 28
val mkpredef_call: Location.t -> ident -> expr list -> expr
29 29
val mk_new_name: var_decl list -> ident -> ident
30 30

  
31 31

  
32 32
val node_table : (ident, top_decl) Hashtbl.t
33
val print_node_table:  Format.formatter -> unit -> unit
33 34
val node_name: top_decl -> ident
34 35
val node_inputs: top_decl -> var_decl list
35 36
val node_from_name: ident -> top_decl
36 37
val is_generic_node: top_decl -> bool
37 38
val is_imported_node: top_decl -> bool
38 39

  
39
val consts_table: (ident, const_desc) Hashtbl.t
40
val type_table: (type_dec_desc, type_dec_desc) Hashtbl.t
40
val consts_table: (ident, top_decl) Hashtbl.t
41
val print_consts_table:  Format.formatter -> unit -> unit
42
val type_table: (type_dec_desc, top_decl) Hashtbl.t
43
val print_type_table:  Format.formatter -> unit -> unit
41 44
val get_repr_type: type_dec_desc -> type_dec_desc
42 45
val is_user_type: type_dec_desc -> bool
43 46
val coretype_equal: type_dec_desc -> type_dec_desc -> bool
44 47
val tag_true: label
45 48
val tag_false: label
46
val tag_table: (label, type_dec_desc) Hashtbl.t
47
val field_table: (label, type_dec_desc) Hashtbl.t
49
val tag_table: (label, top_decl) Hashtbl.t
50
val field_table: (label, top_decl) Hashtbl.t
48 51

  
49 52
val get_enum_type_tags: type_dec_desc -> label list
50 53

  
51 54
val get_struct_type_fields: type_dec_desc -> (label * type_dec_desc) list
52 55

  
56
val consts_of_enum_type: top_decl -> top_decl list
57

  
53 58
val const_of_bool: bool -> constant
54 59
val const_is_bool: constant -> bool
55 60
val const_negation: constant -> constant
......
90 95

  
91 96
val pp_prog_clock : Format.formatter -> program -> unit
92 97

  
93
val get_nodes : program -> node_desc list
94
 val get_consts : program -> const_desc list 
98
val const_of_top: top_decl -> const_desc
99
val node_of_top: top_decl -> node_desc
100
val imported_node_of_top: top_decl -> imported_node_desc
101
val typedef_of_top: top_decl -> typedef_desc
102
val dependency_of_top: top_decl -> (bool * ident)
103

  
104
val get_nodes : program -> top_decl list
105
val get_imported_nodes : program -> top_decl list
106
val get_consts : program -> top_decl list
107
val get_typedefs: program -> top_decl list
108
val get_dependencies : program -> top_decl list
95 109
(* val prog_unfold_consts: program -> program *)
96 110

  
97 111
val expr_replace_var: (ident -> ident) -> expr -> expr

Also available in: Unified diff