cond.y

   1 %{
   2
   3 #include <stdio.h>
   4 #include <string.h>
   5
   6 #include "umpf.h"
   7
   8 static struct tree* tree_malloc(int type);
   9
  10 %}
  11 %error-verbose
  12
  13 %union {
  14         int n;
  15         char* str;
  16         struct tree* tr;
  17 }
  18
  19 %token <str> CONST
  20 %token <n> NUM
  21 %token <str> VAR
  22 %token <str> KW_DISCARD
  23 %token <str> KW_PIPE KW_MAIL KW_COPY
  24 %token '(' ')' '{' '}' ';'
  25 %nonassoc KW_IF
  26 %nonassoc KW_ELSE
  27 %left ARROW
  28 %left <n> EQ NEQ GE LE '<' '>' RE NRE
  29 %left '='
  30 %left '.'
  31 %left '+' '-'
  32 %left '*' '/'
  33 %left <n> '|'
  34 %left <n> '^'
  35 %left <n> '&'
  36 %left <n> '!'
  37 %type <tr> input
  38 %type <tr> command
  39 %type <tr> next
  40 %type <tr> ass
  41 %type <tr> ass_right
  42 %type <tr> cif
  43 %type <tr> arrow
  44 %type <tr> cond
  45 %type <n> rop
  46 %type <str> left
  47 %type <str> right
  48 %type <tr> leaves
  49
  50 %%
  51 input:  /* empty */     { $$ = input_tree = tree_malloc(ST_EMPTY); }
  52         | command input {       $$ = tree_malloc(ST_BLOCK);
  53                                 $$->pt.block.head = $1;
  54                                 $$->pt.block.tail = $2;
  55
  56                                 input_tree = $$;
  57                         }
  58 ;
  59
  60 command:         ';' { $$ = tree_malloc(ST_EMPTY); }
  61                 | '{' command next '}'  {
  62                                                 $$ = tree_malloc(ST_BLOCK);
  63                                                 $$->pt.block.head = $2;
  64                                                 $$->pt.block.tail = $3;
  65                                         }
  66                 | '{' '}' { $$ = tree_malloc(ST_EMPTY); }
  67                 | cif
  68                 | ass ';' { $$ = $1; }
  69                 | arrow ';' { $$ = $1; }
  70
  71
  72 ;
  73
  74 next:   /* empty */ {$$ = tree_malloc(ST_EMPTY); }
  75         | command
  76
  77
  78 ;
  79
  80 cif:    KW_IF cond command KW_ELSE command      {
  81                                         $$ = tree_malloc(ST_IF);
  82                                         $$->pt.tif.c = $2;
  83                                         $$->pt.tif.i = $3;
  84                                         $$->pt.tif.e = $5;
  85                                 }
  86         | KW_IF cond command    {
  87                                         $$ = tree_malloc(ST_IF);
  88                                         $$->pt.tif.c = $2;
  89                                         $$->pt.tif.i = $3;
  90                                         $$->pt.tif.e = tree_malloc(ST_EMPTY);
  91                                 }
  92 ;
  93
  94 cond:   '!' cond {
  95                                 $$ = tree_malloc(ST_COND);
  96                                 $$->pt.cond.left = $2;
  97                                 $$->pt.cond.right = NULL;
  98                                 $$->pt.cond.op = $1;
  99                                 $$->pt.cond.type = OP_BOOL;
 100                 }
 101         | cond '|' cond {
 102                                 $$ = tree_malloc(ST_COND);
 103                                 $$->pt.cond.left = $1;
 104                                 $$->pt.cond.right = $3;
 105                                 $$->pt.cond.op = $2;
 106                                 $$->pt.cond.type = OP_BOOL;
 107                         }
 108         | cond '&' cond {
 109                                 $$ = tree_malloc(ST_COND);
 110                                 $$->pt.cond.left = $1;
 111                                 $$->pt.cond.right = $3;
 112                                 $$->pt.cond.op = $2;
 113                                 $$->pt.cond.type = OP_BOOL;
 114                         }
 115         | cond '^' cond {
 116                                 $$ = tree_malloc(ST_COND);
 117                                 $$->pt.cond.left = $1;
 118                                 $$->pt.cond.right = $3;
 119                                 $$->pt.cond.op = $2;
 120                                 $$->pt.cond.type = OP_BOOL;
 121
 122                         }
 123         | '(' cond ')' { $$ = $2; }
 124         | ass_right rop ass_right       {
 125                                                 $$ = tree_malloc(ST_COND);
 126                                                 $$->pt.cond.left = $1;
 127                                                 $$->pt.cond.right = $3;
 128                                                 $$->pt.cond.op = $2;
 129                                                 $$->pt.cond.type = OP_REL;
 130                                         }
 131 ;
 132
 133 rop:    '>'
 134         | '<'
 135         | EQ
 136         | NEQ
 137         | LE
 138         | GE
 139         | RE
 140         | NRE
 141 ;
 142
 143 ass:
 144         VAR '=' ass_right       {
 145                                         $$ = tree_malloc(ST_ASS);
 146
 147                                         $$->pt.ass.left = tree_malloc(ST_LEAF);
 148                                         $$->pt.ass.left->pt.leaf.type = L_VAR;
 149                                         $$->pt.ass.left->pt.leaf.value = $1;
 150
 151                                         $$->pt.ass.right = $3;
 152                                 }
 153 ;
 154
 155 leaves:         VAR     {
 156                                 $$ = tree_malloc(ST_LEAF);
 157                                 $$->pt.leaf.type = L_VAR;
 158                                 $$->pt.leaf.value = $1;
 159                         }
 160                 | CONST {
 161                                 $$ = tree_malloc(ST_LEAF);
 162                                 $$->pt.leaf.type = L_CONST;
 163                                 $$->pt.leaf.value = $1;
 164                         }
 165 ;
 166
 167 arrow:  left ARROW right ass_right  {
 168                                         $$ = tree_malloc(ST_ARROW);
 169                                         $$->pt.arrow.s = $4;
 170                                         $$->pt.arrow.kw_left = $1;
 171                                         $$->pt.arrow.kw_right = $3;
 172                                 }
 173         | left ARROW KW_DISCARD         { //FIXME: actually left does not make sense here
 174                                         $$ = tree_malloc(ST_ARROW);
 175                                         $$->pt.arrow.s = NULL;
 176                                         $$->pt.arrow.kw_left = NULL;
 177                                         $$->pt.arrow.kw_right = "discard";
 178                                 }
 179 ;
 180
 181 left:   /* empty */ { $$ = NULL;}
 182         | KW_COPY { $$ = "copy"; }
 183
 184 ;
 185
 186 right:  /* empty */ { $$ = NULL; }
 187         | KW_PIPE { $$ = "pipe"; }
 188         | KW_MAIL { $$ = "mail"; }
 189 ;
 190
 191 ass_right:      leaves
 192                 | ass_right '.' ass_right       {
 193                                         $$ = tree_malloc(ST_OP);
 194                                         $$->pt.op.op = '.';
 195                                         $$->pt.op.left = $1;
 196                                         $$->pt.op.right = $3;
 197                                 }
 198 ;
 199
 200 %%
 201
 202 struct tree*
 203 tree_malloc(int type)
 204 {
 205         struct tree* temp;
 206         temp = xmalloc(sizeof (struct tree));
 207         temp->st=type;
 208
 209         return temp;
 210 }
 211
 212 void
 213 yyerror (char const *s)
 214 {
 215         fprintf (stderr, "Line %d: %s\n", line, s);
 216 }