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