Project

General

Profile

Revision d3e4c22f src/corelang.mli

View differences:

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