ag/parser.y

   1 %{
   2         #include <stdio.h>
   3         #include <stdlib.h>
   4         #include <string.h>
   5         #include "symtable.h"
   6 %}
   7
   8 %start Input
   9 %token STRUCT END METHOD VAR IF THEN ELSE WHILE DO RETURN NOT OR THIS
  10 %token IDENT NUM ASSIGN
  11
  12 @macro xxputsin(xx,)
  13         @i xx = @Statement.sin@;
  14 @end
  15
  16 @macro statinout()
  17         @i @Statement.sout@ = @Statement.sin@;
  18         /* das
  19          *> xxputsin(@Statement.sout@,)
  20          * geht nicht, weil verschachtelte macros deaktiviert sind */
  21 @end
  22
  23 @autoinh s
  24 /* f .. fields
  25  * s .. symbols  */
  26 @attributes { char *name; } IDENT
  27 @attributes { struct symbol *f; struct symbol *s; } Program
  28 @attributes { struct symbol *f; } Idents Structdef Parms
  29 @attributes { struct symbol *s; } Methoddef Statseq Lexpr Expr Minusterm Multerm Orterm
  30 Term Exprs Feld
  31 @attributes { struct symbol *sin; struct symbol *sout; } Statement
  32
  33 @traversal @postorder c
  34
  35 %%
  36 Input:
  37           Program
  38           @{
  39                 @i @Program.s@ = @Program.f@;
  40           @}
  41         ;
  42
  43 Program:
  44           Methoddef ';' Program
  45           @{
  46             @i @Program.0.f@ = @Program.1.f@;
  47           @}
  48
  49         | Structdef ';' Program
  50           @{
  51             @i @Program.0.f@ = tab_merge(@Structdef.f@, @Program.1.f@, 1);
  52           @}
  53
  54         |
  55           @{
  56                 @i @Program.0.f@ = new_tab();
  57           @}
  58         ;
  59
  60 Methoddef:
  61           METHOD IDENT '(' Parms ')' Statseq END
  62           @{
  63             @i @Statseq.s@ = tab_merge(@Methoddef.s@, @Parms.f@, 0);
  64           @}
  65         ;
  66
  67 Structdef:
  68           STRUCT Idents END
  69           @{
  70             @i @Structdef.f@ = @Idents.f@;
  71           @}
  72         ;
  73
  74 Parms:
  75           /* lokale Vars werden in Statement in die tabelle eingefuegt */
  76           IDENT Parms
  77           @{
  78             @i @Parms.0.f@ = tab_add_symbol(@Parms.1.f@, @IDENT.name@, S_VAR, 1);
  79           @}
  80
  81         |
  82           @{
  83             @i @Parms.f@ = new_tab();
  84           @}
  85         ;
  86
  87 Idents:
  88           IDENT Idents
  89           @{
  90             @i @Idents.0.f@ = tab_add_symbol(@Idents.1.f@, @IDENT.name@, S_FIELD, 1);
  91           @}
  92
  93         |
  94           @{
  95             @i @Idents.f@ = new_tab();
  96           @}
  97         ;
  98
  99 Statseq:
 100           Statement ';' Statseq
 101           @{
 102                 @i @Statement.sin@ = @Statseq.0.s@;
 103                 @i @Statseq.1.s@ = @Statement.sout@;
 104           @}
 105
 106         |
 107         ;
 108
 109 Statement:
 110           Lexpr ASSIGN Expr
 111           @{
 112                 statinout()
 113                 xxputsin(@Lexpr.s@,)
 114                 xxputsin(@Expr.s@,)
 115           @}
 116
 117         | VAR IDENT ASSIGN Expr
 118           @{
 119                 @i @Statement.sout@ = tab_add_symbol(clone_tab(@Statement.sin@), @IDENT.name@, S_VAR, 1);
 120                 xxputsin(@Expr.s@,)
 121           @}
 122
 123         | Expr
 124           @{
 125                 statinout()
 126                 xxputsin(@Expr.s@,)
 127           @}
 128
 129         | IF Expr THEN Statseq END
 130           @{
 131                 statinout()
 132                 xxputsin(@Expr.s@,)
 133                 xxputsin(@Statseq.s@,)
 134           @}
 135
 136         | IF Expr THEN Statseq ELSE Statseq END
 137           @{
 138                 statinout()
 139                 xxputsin(@Expr.s@,)
 140                 xxputsin(@Statseq.0.s@,)
 141                 xxputsin(@Statseq.1.s@,)
 142           @}
 143
 144         | WHILE Expr DO Statseq END
 145           @{
 146                 statinout()
 147                 xxputsin(@Expr.s@,)
 148                 xxputsin(@Statseq.s@,)
 149           @}
 150
 151         | RETURN Expr
 152           @{
 153                 statinout()
 154                 xxputsin(@Expr.s@,)
 155           @}
 156         ;
 157
 158 Lexpr:
 159           IDENT
 160           @{
 161                 @c check_variable(@Lexpr.s@, @IDENT.name@);
 162           @}
 163
 164         | Feld
 165         ;
 166
 167 Feld: Term '.' IDENT
 168           @{
 169                 @c check_field(@Feld.s@, @IDENT.name@);
 170           @}
 171         ;
 172
 173 Expr:
 174           Term
 175         | NOT Term
 176         | Term Minusterm
 177         | Term Multerm
 178         | Term Orterm
 179         | Term '<' Term
 180         | Term '=' Term
 181         ;
 182
 183 Minusterm:
 184           '-' Term Minusterm
 185         | '-' Term
 186         ;
 187
 188 Multerm:
 189           '*' Term Multerm
 190         | '*' Term
 191         ;
 192
 193 Orterm:
 194           OR Term Orterm
 195         | OR Term
 196         ;
 197
 198 Term:
 199           '(' Expr ')'
 200         | NUM
 201         | '-' NUM
 202         | THIS
 203         | IDENT
 204           @{
 205                 @c check_variable(@Term.s@, @IDENT.name@);
 206           @}
 207
 208         | Feld
 209         | IDENT '(' Exprs ')'
 210           @{
 211                 @c check_variable(@Term.s@, @IDENT.name@);
 212           @}
 213
 214         | Term '.' IDENT '(' Exprs ')'
 215           @{
 216                 @c check_variable(@Term.s@, @IDENT.name@);
 217           @}
 218         ;
 219
 220 /* beachte dass hier auch "nichts" vorkommen kann
 221  * sonst waer ein aufruf der art 'f()' nicht
 222  * moeglich (leere parameterliste) */
 223 Exprs:
 224         | Expr
 225         | Exprs ',' Expr
 226         ;
 227 %%
 228
 229 extern int yylex();
 230 extern int yylineno;
 231
 232 int yyerror(char *error_text)
 233 {
 234         fprintf(stderr,"Zeile %i: %s\n", yylineno, error_text);
 235         exit(2);
 236 }
 237
 238 int main(int argc, char **argv)
 239 {
 240         #if 0
 241         yydebug=1;
 242         #endif
 243         yyparse();
 244         return 0;
 245 }
 246