Project

General

Profile

« Previous | Next » 

Revision 1b57e111

Added by Teme Kahsai almost 8 years ago

adding sfunction support

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