Project

General

Profile

Revision 86ae18b7 src/parser_lustre.mly

View differences:

src/parser_lustre.mly
78 78
%token MINUS PLUS UMINUS
79 79
%token PRE ARROW
80 80
%token REQUIRES ENSURES OBSERVER
81
%token INVARIANT BEHAVIOR ASSUMES
81
%token INVARIANT BEHAVIOR ASSUMES CCODE MATLAB
82 82
%token EXISTS FORALL
83 83
%token PROTOTYPE LIB
84 84
%token EOF
......
638 638
| IDENT COL qexpr SCOL lustre_annot_list { ([$1],$3)::$5 }
639 639
| INVARIANT COL qexpr SCOL lustre_annot_list{ (["invariant"],$3)::$5 }
640 640
| OBSERVER COL qexpr SCOL lustre_annot_list { (["observer"],$3)::$5 }
641
| CCODE COL qexpr SCOL lustre_annot_list{ (["c_code"],$3)::$5 }
642
| MATLAB COL qexpr SCOL lustre_annot_list{ (["matlab"],$3)::$5 }
643

  
641 644

  
642 645
kwd:
643 646
DIV { [] }

Also available in: Unified diff