Revision d3e4c22f src/corelang.mli
src/corelang.mli | ||
---|---|---|
97 | 97 |
mutable node_checks: Dimension.dim_expr list; |
98 | 98 |
node_asserts: assert_t list; |
99 | 99 |
node_eqs: eq list; |
100 |
node_dec_stateless: bool; |
|
101 |
mutable node_stateless: bool option; |
|
100 | 102 |
node_spec: LustreSpec.node_annot option; |
101 | 103 |
node_annot: LustreSpec.expr_annot option;} |
102 | 104 |
|
... | ... | |
108 | 110 |
nodei_outputs: var_decl list; |
109 | 111 |
nodei_stateless: bool; |
110 | 112 |
nodei_spec: LustreSpec.node_annot option;} |
111 |
|
|
113 |
(* |
|
112 | 114 |
type imported_fun_desc = |
113 | 115 |
{fun_id: ident; |
114 | 116 |
mutable fun_type: Types.type_expr; |
115 | 117 |
fun_inputs: var_decl list; |
116 | 118 |
fun_outputs: var_decl list; |
117 | 119 |
fun_spec: LustreSpec.node_annot option;} |
118 |
|
|
120 |
*) |
|
119 | 121 |
type const_desc = |
120 | 122 |
{const_id: ident; |
121 | 123 |
const_loc: Location.t; |
... | ... | |
134 | 136 |
| Node of node_desc |
135 | 137 |
| Consts of const_desc list |
136 | 138 |
| ImportedNode of imported_node_desc |
137 |
| ImportedFun of imported_fun_desc
|
|
139 |
(* | ImportedFun of imported_fun_desc *)
|
|
138 | 140 |
(* | SensorDecl of sensor_desc *) |
139 | 141 |
(* | ActuatorDecl of actuator_desc *) |
140 | 142 |
| Open of string |
... | ... | |
151 | 153 |
| No_main_specified |
152 | 154 |
| Unbound_symbol of ident |
153 | 155 |
| Already_bound_symbol of ident |
156 |
| Stateful of ident |
|
154 | 157 |
|
155 |
exception Error of error * Location.t
|
|
158 |
exception Error of Location.t * error
|
|
156 | 159 |
|
157 | 160 |
val mktyp: Location.t -> type_dec_desc -> type_dec |
158 | 161 |
val mkclock: Location.t -> clock_dec_desc -> clock_dec |
... | ... | |
172 | 175 |
val node_inputs: top_decl -> var_decl list |
173 | 176 |
val node_from_name: ident -> top_decl |
174 | 177 |
val is_generic_node: top_decl -> bool |
178 |
val check_stateless_node: top_decl -> bool |
|
175 | 179 |
val is_imported_node: top_decl -> bool |
176 | 180 |
|
177 | 181 |
val consts_table: (ident, const_desc) Hashtbl.t |
... | ... | |
203 | 207 |
|
204 | 208 |
val sort_handlers : (label * 'a) list -> (label * 'a) list |
205 | 209 |
|
210 |
val is_stateless_expr: expr -> bool |
|
206 | 211 |
val is_eq_expr: expr -> expr -> bool |
207 | 212 |
|
208 | 213 |
val pp_error : Format.formatter -> error -> unit |
Also available in: Unified diff