Project

General

Profile

Revision 0038002e src/corelang.mli

View differences:

src/corelang.mli
21 21
 *---------------------------------------------------------------------------- *)
22 22

  
23 23
open LustreSpec
24

  
24
(*
25 25
(** The core language and its ast. *)
26 26
type ident = Utils.ident
27 27
type label = Utils.ident
......
161 161
  | No_main_specified
162 162
  | Unbound_symbol of ident
163 163
  | Already_bound_symbol of ident
164

  
164
*)
165 165
exception Error of Location.t * error
166 166

  
167
val dummy_type_dec: type_dec
168
val dummy_clock_dec: clock_dec
169

  
167 170
val mktyp: Location.t -> type_dec_desc -> type_dec
168 171
val mkclock: Location.t -> clock_dec_desc -> clock_dec
169 172
val mkvar_decl: Location.t -> ident * type_dec * clock_dec * bool (* is const *) -> var_decl
......
204 207
val const_xor: constant -> constant -> constant
205 208
val const_impl: constant -> constant -> constant
206 209

  
207
val node_vars: node_desc -> var_decl list
208
val node_var: ident -> node_desc -> var_decl
209
val node_eq: ident -> node_desc -> eq
210
val get_node_vars: node_desc -> var_decl list
211
val get_node_var: ident -> node_desc -> var_decl
212
val get_node_eq: ident -> node_desc -> eq
210 213

  
211 214
(* val get_const: ident -> constant *)
212 215

  
......
248 251
val update_expr_annot: expr -> LustreSpec.expr_annot -> expr
249 252

  
250 253

  
254
(** Annotation expression related functions *)
255
val mkeexpr: Location.t ->  expr -> eexpr
256
val merge_node_annot: node_annot -> node_annot -> node_annot 
257
val extend_eexpr: (quantifier_type * var_decl list) list -> eexpr -> eexpr
258
val update_expr_annot: expr -> expr_annot -> expr
259
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
260

  
251 261
(* Local Variables: *)
252 262
(* compile-command:"make -C .." *)
253 263
(* End: *)

Also available in: Unified diff