Project

General

Profile

Revision 1eda3e78 src/lustreSpec.ml

View differences:

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