Revision b08ffca7 src/lustreSpec.ml
src/lustreSpec.ml | ||
---|---|---|
135 | 135 |
{ |
136 | 136 |
assert_expr: expr; |
137 | 137 |
assert_loc: Location.t; |
138 |
} |
|
138 |
} |
|
139 |
|
|
140 |
type statement = |
|
141 |
| Eq of eq |
|
142 |
| Aut of automata_desc |
|
139 | 143 |
|
140 |
type automata_desc =
|
|
144 |
and automata_desc =
|
|
141 | 145 |
{aut_id : ident; |
142 | 146 |
aut_handlers: handler_desc list; |
143 | 147 |
aut_loc: Location.t} |
... | ... | |
147 | 151 |
hand_unless: (Location.t * expr * bool * ident) list; |
148 | 152 |
hand_until: (Location.t * expr * bool * ident) list; |
149 | 153 |
hand_locals: var_decl list; |
150 |
hand_eqs: eq list;
|
|
154 |
hand_stmts: statement list;
|
|
151 | 155 |
hand_asserts: assert_t list; |
152 | 156 |
hand_annots: expr_annot list; |
153 | 157 |
hand_loc: Location.t} |
154 | 158 |
|
155 |
type statement = |
|
156 |
| Eq of eq |
|
157 |
| Aut of automata_desc |
|
158 |
|
|
159 | 159 |
type node_desc = |
160 | 160 |
{node_id: ident; |
161 | 161 |
mutable node_type: Types.type_expr; |
... | ... | |
166 | 166 |
mutable node_gencalls: expr list; |
167 | 167 |
mutable node_checks: Dimension.dim_expr list; |
168 | 168 |
node_asserts: assert_t list; |
169 |
node_eqs: eq list;
|
|
169 |
node_stmts: statement list;
|
|
170 | 170 |
mutable node_dec_stateless: bool; |
171 | 171 |
mutable node_stateless: bool option; |
172 | 172 |
node_spec: node_annot option; |
Also available in: Unified diff