Revision 01c7d5e1 src/corelang.mli
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