Project

General

Profile

« Previous | Next » 

Revision d5767b5a

Added by Xavier Thirioux almost 8 years ago

- code complete for automata
- debugging in progress, not usable yet

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@334 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/parser_lustre.mly
259 259
| automaton stmt_list {let eql, assertl, annotl = $2 in ((Aut $1)::eql), assertl, annotl}
260 260

  
261 261
automaton:
262
 AUTOMATON type_ident handler_list { (Automata.mkautomata (get_loc ()) $2 $3); failwith "not implemented" }
262
 AUTOMATON type_ident handler_list { Automata.mkautomata (get_loc ()) $2 $3 }
263 263

  
264 264
handler_list:
265 265
     { [] }

Also available in: Unified diff