/[svn]/linuxsampler/trunk/src/scriptvm/parser.y
ViewVC logotype

Diff of /linuxsampler/trunk/src/scriptvm/parser.y

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2585 by schoenebeck, Sat May 31 21:09:25 2014 UTC revision 3311 by schoenebeck, Sat Jul 15 16:24:59 2017 UTC
# Line 1  Line 1 
1  /*  /*
2   * Copyright (c) 2014 Christian Schoenebeck and Andreas Persson   * Copyright (c) 2014-2017 Christian Schoenebeck and Andreas Persson
3   *   *
4   * http://www.linuxsampler.org   * http://www.linuxsampler.org
5   *   *
6   * This file is part of LinuxSampler and released under the same terms.   * This file is part of LinuxSampler and released under the same terms.
7   * See README file for details.   * See README file for details.
8   */   */
9    
10    /* Parser for NKSP real-time instrument script language. */
11    
12  %{  %{
13      #define YYERROR_VERBOSE 1      #define YYERROR_VERBOSE 1
# Line 16  Line 18 
18    
19      void InstrScript_error(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* err);      void InstrScript_error(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* err);
20      void InstrScript_warning(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* txt);      void InstrScript_warning(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* txt);
21        int InstrScript_tnamerr(char* yyres, const char* yystr);
22      int InstrScript_lex(YYSTYPE* lvalp, YYLTYPE* llocp, void* scanner);      int InstrScript_lex(YYSTYPE* lvalp, YYLTYPE* llocp, void* scanner);
23      #define scanner context->scanner      #define scanner context->scanner
24      #define PARSE_ERR(txt)  yyerror(&yylloc, context, txt)      #define PARSE_ERR(loc,txt)  yyerror(&loc, context, txt)
25      #define PARSE_WRN(txt)  InstrScript_warning(&yylloc, context, txt)      #define PARSE_WRN(loc,txt)  InstrScript_warning(&loc, context, txt)
26        #define PARSE_DROP(loc)     context->addPreprocessorComment(loc.first_line, loc.last_line, loc.first_column+1, loc.last_column+1);
27        #define yytnamerr(res,str)  InstrScript_tnamerr(res, str)
28  %}  %}
29    
30  // generate reentrant safe parser  // generate reentrant safe parser
# Line 27  Line 32 
32  %parse-param { LinuxSampler::ParserContext* context }  %parse-param { LinuxSampler::ParserContext* context }
33  %lex-param { void* scanner }  %lex-param { void* scanner }
34  // avoid symbol collision with other (i.e. future) auto generated (f)lex scanners  // avoid symbol collision with other (i.e. future) auto generated (f)lex scanners
35  %name-prefix "InstrScript_"  // (NOTE: "=" is deprecated here with Bison 3.x, however removing it would cause an error with Bison 2.x)
36    %name-prefix="InstrScript_"
37  %locations  %locations
38  %defines  %defines
39  %error-verbose  %error-verbose
40    
41  %token <iValue> INTEGER  %token <iValue> INTEGER "integer literal"
42  %token <sValue> STRING  %token <sValue> STRING "string literal"
43  %token <sValue> IDENTIFIER  %token <sValue> IDENTIFIER "function name"
44  %token <sValue> VARIABLE  %token <sValue> VARIABLE "variable name"
45  %token ON END INIT NOTE DECLARE ASSIGNMENT WHILE IF OR RELEASE AND ELSE  %token ON "keyword 'on'"
46  %token CONTROLLER SELECT CASE TO NOT CONST_ POLYPHONIC MOD  %token END "keyword 'end'"
47  %token LE GE  %token INIT "keyword 'init'"
48    %token NOTE "keyword 'note'"
49  %type <nEventHandlers> script eventhandlers  %token RELEASE "keyword 'release'"
50  %type <nEventHandler> eventhandler  %token CONTROLLER "keyword 'controller'"
51  %type <nStatements> statements  %token DECLARE "keyword 'declare'"
52    %token ASSIGNMENT "operator ':='"
53    %token CONST_ "keyword 'const'"
54    %token POLYPHONIC "keyword 'polyphonic'"
55    %token WHILE "keyword 'while'"
56    %token SYNCHRONIZED "keyword 'synchronized'"
57    %token IF "keyword 'if'"
58    %token ELSE "keyword 'else'"
59    %token SELECT "keyword 'select'"
60    %token CASE "keyword 'case'"
61    %token TO "keyword 'to'"
62    %token OR "operator 'or'"
63    %token AND "operator 'and'"
64    %token NOT "operator 'not'"
65    %token BITWISE_OR "bitwise operator '.or.'"
66    %token BITWISE_AND "bitwise operator '.and.'"
67    %token BITWISE_NOT "bitwise operator '.not.'"
68    %token FUNCTION "keyword 'function'"
69    %token CALL "keyword 'call'"
70    %token MOD "operator 'mod'"
71    %token LE "operator '<='"
72    %token GE "operator '>='"
73    %token END_OF_FILE 0 "end of file"
74    %token UNKNOWN_CHAR "unknown character"
75    
76    %type <nEventHandlers> script sections
77    %type <nEventHandler> section eventhandler
78    %type <nStatements> statements opt_statements userfunctioncall
79  %type <nStatement> statement assignment  %type <nStatement> statement assignment
80  %type <nFunctionCall> functioncall  %type <nFunctionCall> functioncall
81  %type <nArgs> args  %type <nArgs> args
82  %type <nExpression> arg expr or_expr and_expr rel_expr add_expr mul_expr unary_expr concat_expr  %type <nExpression> arg expr logical_or_expr logical_and_expr bitwise_or_expr bitwise_and_expr rel_expr add_expr mul_expr unary_expr concat_expr
83  %type <nCaseBranch> caseclause  %type <nCaseBranch> caseclause
84  %type <nCaseBranches> caseclauses  %type <nCaseBranches> caseclauses
85    
# Line 55  Line 88 
88  %%  %%
89    
90  script:  script:
91      eventhandlers  {      sections  {
92          $$ = context->handlers = $1;          $$ = context->handlers = $1;
93      }      }
94    
95  eventhandlers:  sections:
96      eventhandler  {      section  {
97          $$ = new EventHandlers();          $$ = new EventHandlers();
98          $$->add($1);          if ($1) $$->add($1);
99      }      }
100      | eventhandlers eventhandler  {      | sections section  {
101            $$ = $1;
102            if ($2) $$->add($2);
103        }
104    
105    section:
106        function_declaration  {
107            $$ = EventHandlerRef();
108        }
109        | eventhandler  {
110          $$ = $1;          $$ = $1;
         $$->add($2);  
111      }      }
112    
113  eventhandler:  eventhandler:
114      ON NOTE statements END ON  {      ON NOTE opt_statements END ON  {
115          if (context->onNote)          if (context->onNote)
116              PARSE_ERR("Redeclaration of 'note' event handler.");              PARSE_ERR(@2, "Redeclaration of 'note' event handler.");
117          context->onNote = new OnNote($3);          context->onNote = new OnNote($3);
118          $$ = context->onNote;          $$ = context->onNote;
119      }      }
120      | ON INIT statements END ON  {      | ON INIT opt_statements END ON  {
121          if (context->onInit)          if (context->onInit)
122              PARSE_ERR("Redeclaration of 'init' event handler.");              PARSE_ERR(@2, "Redeclaration of 'init' event handler.");
123          context->onInit = new OnInit($3);          context->onInit = new OnInit($3);
124          $$ = context->onInit;          $$ = context->onInit;
125      }      }
126      | ON RELEASE statements END ON  {      | ON RELEASE opt_statements END ON  {
127          if (context->onRelease)          if (context->onRelease)
128              PARSE_ERR("Redeclaration of 'release' event handler.");              PARSE_ERR(@2, "Redeclaration of 'release' event handler.");
129          context->onRelease = new OnRelease($3);          context->onRelease = new OnRelease($3);
130          $$ = context->onRelease;          $$ = context->onRelease;
131      }      }
132      | ON CONTROLLER statements END ON  {      | ON CONTROLLER opt_statements END ON  {
133          if (context->onController)          if (context->onController)
134              PARSE_ERR("Redeclaration of 'controller' event handler.");              PARSE_ERR(@2, "Redeclaration of 'controller' event handler.");
135          context->onController = new OnController($3);          context->onController = new OnController($3);
136          $$ = context->onController;          $$ = context->onController;
137      }      }
138    
139    function_declaration:
140        FUNCTION IDENTIFIER opt_statements END FUNCTION  {
141            const char* name = $2;
142            if (context->functionProvider->functionByName(name)) {
143                PARSE_ERR(@2, (String("There is already a built-in function with name '") + name + "'.").c_str());
144            } else if (context->userFunctionByName(name)) {
145                PARSE_ERR(@2, (String("There is already a user defined function with name '") + name + "'.").c_str());
146            } else {
147                context->userFnTable[name] = $3;
148            }
149        }
150    
151    opt_statements:
152        /* epsilon (empty argument) */  {
153            $$ = new Statements();
154        }
155        | statements  {
156            $$ = $1;
157        }
158    
159  statements:  statements:
160      statement  {      statement  {
161          $$ = new Statements();          $$ = new Statements();
162          if ($1) {          if ($1) {
163              if (!isNoOperation($1)) $$->add($1); // filter out NoOperation statements              if (!isNoOperation($1)) $$->add($1); // filter out NoOperation statements
164          } else          } else
165              PARSE_WRN("Not a statement.");              PARSE_WRN(@1, "Not a statement.");
166      }      }
167      | statements statement  {      | statements statement  {
168          $$ = $1;          $$ = $1;
169          if ($2) {          if ($2) {
170              if (!isNoOperation($2)) $$->add($2); // filter out NoOperation statements              if (!isNoOperation($2)) $$->add($2); // filter out NoOperation statements
171          } else          } else
172              PARSE_WRN("Not a statement.");              PARSE_WRN(@2, "Not a statement.");
173      }      }
174    
175  statement:  statement:
176      functioncall  {      functioncall  {
177          $$ = $1;          $$ = $1;
178      }      }
179        | userfunctioncall  {
180            $$ = $1;
181        }
182      | DECLARE VARIABLE  {      | DECLARE VARIABLE  {
183          const char* name = $2;          const char* name = $2;
184          //printf("declared var '%s'\n", name);          //printf("declared var '%s'\n", name);
185          if (context->variableByName(name))          if (context->variableByName(name))
186              PARSE_ERR((String("Redeclaration of variable '") + name + "'.").c_str());              PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
187          if (name[0] == '@') {          if (name[0] == '@') {
188              context->vartable[name] = new StringVariable(context);              context->vartable[name] = new StringVariable(context);
189              $$ = new NoOperation;              $$ = new NoOperation;
# Line 132  statement: Line 196  statement:
196          const char* name = $3;          const char* name = $3;
197          //printf("declared polyphonic var '%s'\n", name);          //printf("declared polyphonic var '%s'\n", name);
198          if (context->variableByName(name))          if (context->variableByName(name))
199              PARSE_ERR((String("Redeclaration of variable '") + name + "'.").c_str());              PARSE_ERR(@3, (String("Redeclaration of variable '") + name + "'.").c_str());
200          if (name[0] != '$') {          if (name[0] != '$') {
201              PARSE_ERR("Polyphonic variables may only be declared as integers.");              PARSE_ERR(@3, "Polyphonic variables may only be declared as integers.");
202              $$ = new FunctionCall("nothing", new Args, NULL); // whatever              $$ = new FunctionCall("nothing", new Args, NULL); // whatever
203          } else {          } else {
204              context->vartable[name] = new PolyphonicIntVariable(context);              context->vartable[name] = new PolyphonicIntVariable(context);
# Line 145  statement: Line 209  statement:
209          const char* name = $2;          const char* name = $2;
210          //printf("declared assign var '%s'\n", name);          //printf("declared assign var '%s'\n", name);
211          if (context->variableByName(name))          if (context->variableByName(name))
212              PARSE_ERR((String("Redeclaration of variable '") + name + "'.").c_str());              PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
213          if ($4->exprType() == STRING_EXPR) {          if ($4->exprType() == STRING_EXPR) {
214              if (name[0] == '$')              if (name[0] == '$')
215                  PARSE_WRN((String("Variable '") + name + "' declared as integer, string expression assigned though.").c_str());                  PARSE_WRN(@2, (String("Variable '") + name + "' declared as integer, string expression assigned though.").c_str());
216              StringExprRef expr = $4;              StringExprRef expr = $4;
217              if (expr->isConstExpr()) {              if (expr->isConstExpr()) {
218                  const String s = expr->evalStr();                  const String s = expr->evalStr();
# Line 162  statement: Line 226  statement:
226              }              }
227          } else {          } else {
228              if (name[0] == '@')              if (name[0] == '@')
229                  PARSE_WRN((String("Variable '") + name + "' declared as string, integer expression assigned though.").c_str());                  PARSE_WRN(@2, (String("Variable '") + name + "' declared as string, integer expression assigned though.").c_str());
230              IntExprRef expr = $4;              IntExprRef expr = $4;
231              if (expr->isConstExpr()) {              if (expr->isConstExpr()) {
232                  const int i = expr->evalInt();                  const int i = expr->evalInt();
# Line 180  statement: Line 244  statement:
244          //printf("declare array without args\n");          //printf("declare array without args\n");
245          const char* name = $2;          const char* name = $2;
246          if (!$4->isConstExpr()) {          if (!$4->isConstExpr()) {
247              PARSE_ERR((String("Array variable '") + name + "' must be declared with constant array size.").c_str());              PARSE_ERR(@4, (String("Array variable '") + name + "' must be declared with constant array size.").c_str());
248              $$ = new FunctionCall("nothing", new Args, NULL); // whatever              $$ = new FunctionCall("nothing", new Args, NULL); // whatever
249          } else if ($4->exprType() != INT_EXPR) {          } else if ($4->exprType() != INT_EXPR) {
250              PARSE_ERR((String("Size of array variable '") + name + "' declared with non integer expression.").c_str());              PARSE_ERR(@4, (String("Size of array variable '") + name + "' declared with non integer expression.").c_str());
251              $$ = new FunctionCall("nothing", new Args, NULL); // whatever              $$ = new FunctionCall("nothing", new Args, NULL); // whatever
252          } else if (context->variableByName(name)) {          } else if (context->variableByName(name)) {
253              PARSE_ERR((String("Redeclaration of variable '") + name + "'.").c_str());              PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
254              $$ = new FunctionCall("nothing", new Args, NULL); // whatever              $$ = new FunctionCall("nothing", new Args, NULL); // whatever
255          } else {          } else {
256              IntExprRef expr = $4;              IntExprRef expr = $4;
257              int size = expr->evalInt();              int size = expr->evalInt();
258              if (size <= 0) {              if (size <= 0) {
259                  PARSE_ERR((String("Array variable '") + name + "' declared with array size " + ToString(size) + ".").c_str());                  PARSE_ERR(@4, (String("Array variable '") + name + "' declared with array size " + ToString(size) + ".").c_str());
260                  $$ = new FunctionCall("nothing", new Args, NULL); // whatever                  $$ = new FunctionCall("nothing", new Args, NULL); // whatever
261              } else {              } else {
262                  context->vartable[name] = new IntArrayVariable(context, size);                  context->vartable[name] = new IntArrayVariable(context, size);
# Line 203  statement: Line 267  statement:
267      | DECLARE VARIABLE '[' expr ']' ASSIGNMENT '(' args ')'  {      | DECLARE VARIABLE '[' expr ']' ASSIGNMENT '(' args ')'  {
268          const char* name = $2;          const char* name = $2;
269          if (!$4->isConstExpr()) {          if (!$4->isConstExpr()) {
270              PARSE_ERR((String("Array variable '") + name + "' must be declared with constant array size.").c_str());              PARSE_ERR(@4, (String("Array variable '") + name + "' must be declared with constant array size.").c_str());
271              $$ = new FunctionCall("nothing", new Args, NULL); // whatever              $$ = new FunctionCall("nothing", new Args, NULL); // whatever
272          } else if ($4->exprType() != INT_EXPR) {          } else if ($4->exprType() != INT_EXPR) {
273              PARSE_ERR((String("Size of array variable '") + name + "' declared with non integer expression.").c_str());              PARSE_ERR(@4, (String("Size of array variable '") + name + "' declared with non integer expression.").c_str());
274              $$ = new FunctionCall("nothing", new Args, NULL); // whatever              $$ = new FunctionCall("nothing", new Args, NULL); // whatever
275          } else if (context->variableByName(name)) {          } else if (context->variableByName(name)) {
276              PARSE_ERR((String("Redeclaration of variable '") + name + "'.").c_str());              PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
277              $$ = new FunctionCall("nothing", new Args, NULL); // whatever              $$ = new FunctionCall("nothing", new Args, NULL); // whatever
278          } else {          } else {
279              IntExprRef sizeExpr = $4;              IntExprRef sizeExpr = $4;
280              ArgsRef args = $8;              ArgsRef args = $8;
281              int size = sizeExpr->evalInt();              int size = sizeExpr->evalInt();
282              if (size <= 0) {              if (size <= 0) {
283                  PARSE_ERR((String("Array variable '") + name + "' must be declared with positive array size.").c_str());                  PARSE_ERR(@4, (String("Array variable '") + name + "' must be declared with positive array size.").c_str());
284                  $$ = new FunctionCall("nothing", new Args, NULL); // whatever                  $$ = new FunctionCall("nothing", new Args, NULL); // whatever
285              } else if (args->argsCount() > size) {              } else if (args->argsCount() > size) {
286                  PARSE_ERR((String("Variable '") + name +                  PARSE_ERR(@8, (String("Array variable '") + name +
287                            "' was declared with size " + ToString(size) +                            "' was declared with size " + ToString(size) +
288                            " but " + ToString(args->argsCount()) +                            " but " + ToString(args->argsCount()) +
289                            " values were assigned." ).c_str());                            " values were assigned." ).c_str());
# Line 229  statement: Line 293  statement:
293                  for (int i = 0; i < args->argsCount(); ++i) {                  for (int i = 0; i < args->argsCount(); ++i) {
294                      if (args->arg(i)->exprType() != INT_EXPR) {                      if (args->arg(i)->exprType() != INT_EXPR) {
295                          PARSE_ERR(                          PARSE_ERR(
296                                @8,
297                              (String("Array variable '") + name +                              (String("Array variable '") + name +
298                              "' declared with invalid assignment values. Assigned element " +                              "' declared with invalid assignment values. Assigned element " +
299                              ToString(i+1) + " is not an integer expression.").c_str()                              ToString(i+1) + " is not an integer expression.").c_str()
# Line 237  statement: Line 302  statement:
302                          break;                          break;
303                      }                      }
304                  }                  }
305                  if (argsOK)                  if (argsOK) {
306                      $$ = context->vartable[name] = new IntArrayVariable(context, size, args);                      context->vartable[name] = new IntArrayVariable(context, size, args);
307                  else                      $$ = new NoOperation;
308                    } else
309                        $$ = new FunctionCall("nothing", new Args, NULL); // whatever
310                }
311            }
312        }
313        | DECLARE CONST_ VARIABLE '[' expr ']' ASSIGNMENT '(' args ')'  {
314            const char* name = $3;
315            if (!$5->isConstExpr()) {
316                PARSE_ERR(@5, (String("Array variable '") + name + "' must be declared with constant array size.").c_str());
317                $$ = new FunctionCall("nothing", new Args, NULL); // whatever
318            } else if ($5->exprType() != INT_EXPR) {
319                PARSE_ERR(@5, (String("Size of array variable '") + name + "' declared with non integer expression.").c_str());
320                $$ = new FunctionCall("nothing", new Args, NULL); // whatever
321            } else if (context->variableByName(name)) {
322                PARSE_ERR(@3, (String("Redeclaration of variable '") + name + "'.").c_str());
323                $$ = new FunctionCall("nothing", new Args, NULL); // whatever
324            } else {
325                IntExprRef sizeExpr = $5;
326                ArgsRef args = $9;
327                int size = sizeExpr->evalInt();
328                if (size <= 0) {
329                    PARSE_ERR(@5, (String("Array variable '") + name + "' must be declared with positive array size.").c_str());
330                    $$ = new FunctionCall("nothing", new Args, NULL); // whatever
331                } else if (args->argsCount() > size) {
332                    PARSE_ERR(@9, (String("Array variable '") + name +
333                              "' was declared with size " + ToString(size) +
334                              " but " + ToString(args->argsCount()) +
335                              " values were assigned." ).c_str());
336                    $$ = new FunctionCall("nothing", new Args, NULL); // whatever          
337                } else {
338                    bool argsOK = true;
339                    for (int i = 0; i < args->argsCount(); ++i) {
340                        if (args->arg(i)->exprType() != INT_EXPR) {
341                            PARSE_ERR(
342                                @9,
343                                (String("Array variable '") + name +
344                                "' declared with invalid assignment values. Assigned element " +
345                                ToString(i+1) + " is not an integer expression.").c_str()
346                            );
347                            argsOK = false;
348                            break;
349                        }
350                        if (!args->arg(i)->isConstExpr()) {
351                            PARSE_ERR(
352                                @9,
353                                (String("const array variable '") + name +
354                                "' must be defined with const values. Assigned element " +
355                                ToString(i+1) + " is not a const expression though.").c_str()
356                            );
357                            argsOK = false;
358                            break;
359                        }
360                    }
361                    if (argsOK) {
362                        context->vartable[name] = new IntArrayVariable(context, size, args, true);
363                        $$ = new NoOperation;
364                    } else
365                      $$ = new FunctionCall("nothing", new Args, NULL); // whatever                      $$ = new FunctionCall("nothing", new Args, NULL); // whatever
366              }              }
367          }          }
# Line 248  statement: Line 370  statement:
370          const char* name = $3;          const char* name = $3;
371          if ($5->exprType() == STRING_EXPR) {          if ($5->exprType() == STRING_EXPR) {
372              if (name[0] == '$')              if (name[0] == '$')
373                  PARSE_WRN("Variable declared as integer, string expression assigned though.");                  PARSE_WRN(@5, "Variable declared as integer, string expression assigned though.");
374              String s;              String s;
375              StringExprRef expr = $5;              StringExprRef expr = $5;
376              if (expr->isConstExpr())              if (expr->isConstExpr())
377                  s = expr->evalStr();                  s = expr->evalStr();
378              else              else
379                  PARSE_ERR((String("Assignment to const string variable '") + name + "' requires const expression.").c_str());                  PARSE_ERR(@5, (String("Assignment to const string variable '") + name + "' requires const expression.").c_str());
380              ConstStringVariableRef var = new ConstStringVariable(context, s);              ConstStringVariableRef var = new ConstStringVariable(context, s);
381              context->vartable[name] = var;              context->vartable[name] = var;
382              //$$ = new Assignment(var, new StringLiteral(s));              //$$ = new Assignment(var, new StringLiteral(s));
383              $$ = new NoOperation();              $$ = new NoOperation();
384          } else {          } else {
385              if (name[0] == '@')              if (name[0] == '@')
386                  PARSE_WRN("Variable declared as string, integer expression assigned though.");                  PARSE_WRN(@5, "Variable declared as string, integer expression assigned though.");
387              int i = 0;              int i = 0;
388              IntExprRef expr = $5;              IntExprRef expr = $5;
389              if (expr->isConstExpr())              if (expr->isConstExpr())
390                  i = expr->evalInt();                  i = expr->evalInt();
391              else              else
392                  PARSE_ERR((String("Assignment to const integer variable '") + name + "' requires const expression.").c_str());                  PARSE_ERR(@5, (String("Assignment to const integer variable '") + name + "' requires const expression.").c_str());
393              ConstIntVariableRef var = new ConstIntVariable(i);              ConstIntVariableRef var = new ConstIntVariable(i);
394              context->vartable[name] = var;              context->vartable[name] = var;
395              //$$ = new Assignment(var, new IntLiteral(i));              //$$ = new Assignment(var, new IntLiteral(i));
# Line 277  statement: Line 399  statement:
399      | assignment  {      | assignment  {
400          $$ = $1;          $$ = $1;
401      }      }
402      | WHILE '(' expr ')' statements END WHILE  {      | WHILE '(' expr ')' opt_statements END WHILE  {
403          if ($3->exprType() == INT_EXPR) {          if ($3->exprType() == INT_EXPR) {
404              $$ = new While($3, $5);              $$ = new While($3, $5);
405          } else {          } else {
406              PARSE_ERR("Condition for 'while' loops must be integer expression.");              PARSE_ERR(@3, "Condition for 'while' loops must be integer expression.");
407              $$ = new While(new IntLiteral(0), $5);              $$ = new While(new IntLiteral(0), $5);
408          }          }
409      }      }
410      | IF '(' expr ')' statements ELSE statements END IF  {      | SYNCHRONIZED opt_statements END SYNCHRONIZED  {
411            $$ = new SyncBlock($2);
412        }
413        | IF '(' expr ')' opt_statements ELSE opt_statements END IF  {
414          $$ = new If($3, $5, $7);          $$ = new If($3, $5, $7);
415      }      }
416      | IF '(' expr ')' statements END IF  {      | IF '(' expr ')' opt_statements END IF  {
417          $$ = new If($3, $5);          $$ = new If($3, $5);
418      }      }
419      | SELECT expr caseclauses END SELECT  {      | SELECT expr caseclauses END SELECT  {
420          if ($2->exprType() == INT_EXPR) {          if ($2->exprType() == INT_EXPR) {
421              $$ = new SelectCase($2, $3);              $$ = new SelectCase($2, $3);
422          } else {          } else {
423              PARSE_ERR("Statement 'select' can only by applied to integer expressions.");              PARSE_ERR(@2, "Statement 'select' can only by applied to integer expressions.");
424              $$ = new SelectCase(new IntLiteral(0), $3);              $$ = new SelectCase(new IntLiteral(0), $3);
425          }          }
426      }      }
# Line 311  caseclauses: Line 436  caseclauses:
436      }      }
437    
438  caseclause:  caseclause:
439      CASE INTEGER statements  {      CASE INTEGER opt_statements  {
440          $$ = CaseBranch();          $$ = CaseBranch();
441          $$.from = new IntLiteral($2);          $$.from = new IntLiteral($2);
442          $$.statements = $3;          $$.statements = $3;
443      }      }
444      | CASE INTEGER TO INTEGER statements  {      | CASE INTEGER TO INTEGER opt_statements  {
445          $$ = CaseBranch();          $$ = CaseBranch();
446          $$.from = new IntLiteral($2);          $$.from = new IntLiteral($2);
447          $$.to   = new IntLiteral($4);          $$.to   = new IntLiteral($4);
448          $$.statements = $5;          $$.statements = $5;
449      }      }
450    
451    userfunctioncall:
452        CALL IDENTIFIER  {
453            const char* name = $2;
454            StatementsRef fn = context->userFunctionByName(name);
455            if (context->functionProvider->functionByName(name)) {
456                PARSE_ERR(@1, (String("Keyword 'call' must only be used for user defined functions, not for any built-in function like '") + name + "'.").c_str());
457                $$ = StatementsRef();
458            } else if (!fn) {
459                PARSE_ERR(@2, (String("No user defined function with name '") + name + "'.").c_str());
460                $$ = StatementsRef();
461            } else {
462                $$ = fn;
463            }
464        }
465    
466  functioncall:  functioncall:
467      IDENTIFIER '(' args ')'  {      IDENTIFIER '(' args ')'  {
468          const char* name = $1;          const char* name = $1;
469          //printf("function call of '%s' with args\n", name);          //printf("function call of '%s' with args\n", name);
470          ArgsRef args = $3;          ArgsRef args = $3;
471          VMFunction* fn = context->functionProvider->functionByName(name);          VMFunction* fn = context->functionProvider->functionByName(name);
472          if (!fn) {          if (context->userFunctionByName(name)) {
473              PARSE_ERR((String("No built-in function with name '") + name + "'.").c_str());              PARSE_ERR(@1, (String("Missing 'call' keyword before user defined function name '") + name + "'.").c_str());
474                $$ = new FunctionCall(name, args, NULL);
475            } else if (!fn) {
476                PARSE_ERR(@1, (String("No built-in function with name '") + name + "'.").c_str());
477              $$ = new FunctionCall(name, args, NULL);              $$ = new FunctionCall(name, args, NULL);
478            } else if (context->functionProvider->isFunctionDisabled(fn,context)) {
479                PARSE_DROP(@$);
480                $$ = new NoFunctionCall;
481          } else if (args->argsCount() < fn->minRequiredArgs()) {          } else if (args->argsCount() < fn->minRequiredArgs()) {
482              PARSE_ERR((String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());              PARSE_ERR(@3, (String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());
483              $$ = new FunctionCall(name, args, NULL);              $$ = new FunctionCall(name, args, NULL);
484          } else if (args->argsCount() > fn->maxAllowedArgs()) {          } else if (args->argsCount() > fn->maxAllowedArgs()) {
485              PARSE_ERR((String("Built-in function '") + name + "' accepts max. " + ToString(fn->maxAllowedArgs()) + " arguments.").c_str());              PARSE_ERR(@3, (String("Built-in function '") + name + "' accepts max. " + ToString(fn->maxAllowedArgs()) + " arguments.").c_str());
486              $$ = new FunctionCall(name, args, NULL);              $$ = new FunctionCall(name, args, NULL);
487          } else {          } else {
488              bool argsOK = true;              bool argsOK = true;
489              for (int i = 0; i < args->argsCount(); ++i) {              for (int i = 0; i < args->argsCount(); ++i) {
490                  if (args->arg(i)->exprType() != fn->argType(i) && !fn->acceptsArgType(i, args->arg(i)->exprType())) {                  if (args->arg(i)->exprType() != fn->argType(i) && !fn->acceptsArgType(i, args->arg(i)->exprType())) {
491                      PARSE_ERR((String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' expects " + typeStr(fn->argType(i)) + " type, but type " + typeStr(args->arg(i)->exprType()) + " was given instead.").c_str());                      PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' expects " + typeStr(fn->argType(i)) + " type, but type " + typeStr(args->arg(i)->exprType()) + " was given instead.").c_str());
492                        argsOK = false;
493                        break;
494                    } else if (fn->modifiesArg(i) && !args->arg(i)->isModifyable()) {
495                        PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' expects an assignable variable.").c_str());
496                      argsOK = false;                      argsOK = false;
497                      break;                      break;
498                  }                  }
# Line 355  functioncall: Line 505  functioncall:
505          //printf("function call of '%s' (with empty args)\n", name);          //printf("function call of '%s' (with empty args)\n", name);
506          ArgsRef args = new Args;          ArgsRef args = new Args;
507          VMFunction* fn = context->functionProvider->functionByName(name);          VMFunction* fn = context->functionProvider->functionByName(name);
508          if (!fn) {          if (context->userFunctionByName(name)) {
509              PARSE_ERR((String("No built-in function with name '") + name + "'.").c_str());              PARSE_ERR(@1, (String("Missing 'call' keyword before user defined function name '") + name + "'.").c_str());
510                $$ = new FunctionCall(name, args, NULL);
511            } else if (!fn) {
512                PARSE_ERR(@1, (String("No built-in function with name '") + name + "'.").c_str());
513              $$ = new FunctionCall(name, args, NULL);              $$ = new FunctionCall(name, args, NULL);
514            } else if (context->functionProvider->isFunctionDisabled(fn,context)) {
515                PARSE_DROP(@$);
516                $$ = new NoFunctionCall;
517          } else if (fn->minRequiredArgs() > 0) {          } else if (fn->minRequiredArgs() > 0) {
518              PARSE_ERR((String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());              PARSE_ERR(@3, (String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());
519              $$ = new FunctionCall(name, args, NULL);              $$ = new FunctionCall(name, args, NULL);
520          } else {          } else {
521              $$ = new FunctionCall(name, args, fn);              $$ = new FunctionCall(name, args, fn);
# Line 370  functioncall: Line 526  functioncall:
526          //printf("function call of '%s' (without args)\n", name);          //printf("function call of '%s' (without args)\n", name);
527          ArgsRef args = new Args;          ArgsRef args = new Args;
528          VMFunction* fn = context->functionProvider->functionByName(name);          VMFunction* fn = context->functionProvider->functionByName(name);
529          if (!fn) {          if (context->userFunctionByName(name)) {
530              PARSE_ERR((String("No built-in function with name '") + name + "'.").c_str());              PARSE_ERR(@1, (String("Missing 'call' keyword before user defined function name '") + name + "'.").c_str());
531                $$ = new FunctionCall(name, args, NULL);
532            } else if (!fn) {
533                PARSE_ERR(@1, (String("No built-in function with name '") + name + "'.").c_str());
534              $$ = new FunctionCall(name, args, NULL);              $$ = new FunctionCall(name, args, NULL);
535            } else if (context->functionProvider->isFunctionDisabled(fn,context)) {
536                PARSE_DROP(@$);
537                $$ = new NoFunctionCall;
538          } else if (fn->minRequiredArgs() > 0) {          } else if (fn->minRequiredArgs() > 0) {
539              PARSE_ERR((String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());              PARSE_ERR(@1, (String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());
540              $$ = new FunctionCall(name, args, NULL);              $$ = new FunctionCall(name, args, NULL);
541          } else {          } else {
542              $$ = new FunctionCall(name, args, fn);              $$ = new FunctionCall(name, args, fn);
# Line 400  assignment: Line 562  assignment:
562          const char* name = $1;          const char* name = $1;
563          VariableRef var = context->variableByName(name);          VariableRef var = context->variableByName(name);
564          if (!var)          if (!var)
565              PARSE_ERR((String("Variable assignment: No variable declared with name '") + name + "'.").c_str());              PARSE_ERR(@1, (String("Variable assignment: No variable declared with name '") + name + "'.").c_str());
566          else if (var->isConstExpr())          else if (var->isConstExpr())
567              PARSE_ERR((String("Variable assignment: Cannot modify const variable '") + name + "'.").c_str());              PARSE_ERR(@2, (String("Variable assignment: Cannot modify const variable '") + name + "'.").c_str());
568            else if (!var->isAssignable())
569                PARSE_ERR(@2, (String("Variable assignment: Variable '") + name + "' is not assignable.").c_str());
570          else if (var->exprType() != $3->exprType())          else if (var->exprType() != $3->exprType())
571              PARSE_ERR((String("Variable assignment: Variable '") + name + "' is of type " + typeStr(var->exprType()) + ", assignment is of type " + typeStr($3->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Variable assignment: Variable '") + name + "' is of type " + typeStr(var->exprType()) + ", assignment is of type " + typeStr($3->exprType()) + " though.").c_str());
572          $$ = new Assignment(var, $3);          $$ = new Assignment(var, $3);
573      }      }
574      | VARIABLE '[' expr ']' ASSIGNMENT expr  {      | VARIABLE '[' expr ']' ASSIGNMENT expr  {
575          const char* name = $1;          const char* name = $1;
576          VariableRef var = context->variableByName(name);          VariableRef var = context->variableByName(name);
577          if (!var)          if (!var)
578              PARSE_ERR((String("No variable declared with name '") + name + "'.").c_str());              PARSE_ERR(@1, (String("No variable declared with name '") + name + "'.").c_str());
579          else if (var->exprType() != INT_ARR_EXPR)          else if (var->exprType() != INT_ARR_EXPR)
580              PARSE_ERR((String("Variable '") + name + "' is not an array variable.").c_str());              PARSE_ERR(@2, (String("Variable '") + name + "' is not an array variable.").c_str());
581            else if (var->isConstExpr())
582                PARSE_ERR(@5, (String("Variable assignment: Cannot modify const array variable '") + name + "'.").c_str());
583            else if (!var->isAssignable())
584                PARSE_ERR(@5, (String("Variable assignment: Array variable '") + name + "' is not assignable.").c_str());
585          else if ($3->exprType() != INT_EXPR)          else if ($3->exprType() != INT_EXPR)
586              PARSE_ERR((String("Array variable '") + name + "' accessed with non integer expression.").c_str());              PARSE_ERR(@3, (String("Array variable '") + name + "' accessed with non integer expression.").c_str());
587          else if ($6->exprType() != INT_EXPR)          else if ($6->exprType() != INT_EXPR)
588              PARSE_ERR((String("Value assigned to array variable '") + name + "' must be an integer expression.").c_str());              PARSE_ERR(@5, (String("Value assigned to array variable '") + name + "' must be an integer expression.").c_str());
589            else if ($3->isConstExpr() && $3->asInt()->evalInt() >= ((IntArrayVariableRef)var)->arraySize())
590                PARSE_WRN(@3, (String("Index ") + ToString($3->asInt()->evalInt()) +
591                              " exceeds size of array variable '" + name +
592                              "' which was declared with size " +
593                              ToString(((IntArrayVariableRef)var)->arraySize()) + ".").c_str());
594          IntArrayElementRef element = new IntArrayElement(var, $3);          IntArrayElementRef element = new IntArrayElement(var, $3);
595          $$ = new Assignment(element, $6);          $$ = new Assignment(element, $6);
596      }      }
# Line 435  unary_expr: Line 608  unary_expr:
608          if (var)          if (var)
609              $$ = var;              $$ = var;
610          else {          else {
611              PARSE_ERR((String("No variable declared with name '") + $1 + "'.").c_str());              PARSE_ERR(@1, (String("No variable declared with name '") + $1 + "'.").c_str());
612              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
613          }          }
614      }      }
# Line 443  unary_expr: Line 616  unary_expr:
616          const char* name = $1;          const char* name = $1;
617          VariableRef var = context->variableByName(name);          VariableRef var = context->variableByName(name);
618          if (!var) {          if (!var) {
619              PARSE_ERR((String("No variable declared with name '") + name + "'.").c_str());              PARSE_ERR(@1, (String("No variable declared with name '") + name + "'.").c_str());
620              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
621          } else if (var->exprType() != INT_ARR_EXPR) {          } else if (var->exprType() != INT_ARR_EXPR) {
622              PARSE_ERR((String("Variable '") + name + "' is not an array variable.").c_str());              PARSE_ERR(@2, (String("Variable '") + name + "' is not an array variable.").c_str());
623              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
624          } else if ($3->exprType() != INT_EXPR) {          } else if ($3->exprType() != INT_EXPR) {
625              PARSE_ERR((String("Array variable '") + name + "' accessed with non integer expression.").c_str());              PARSE_ERR(@3, (String("Array variable '") + name + "' accessed with non integer expression.").c_str());
626              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
627          } else {          } else {
628                if ($3->isConstExpr() && $3->asInt()->evalInt() >= ((IntArrayVariableRef)var)->arraySize())
629                    PARSE_WRN(@3, (String("Index ") + ToString($3->asInt()->evalInt()) +
630                                   " exceeds size of array variable '" + name +
631                                   "' which was declared with size " +
632                                   ToString(((IntArrayVariableRef)var)->arraySize()) + ".").c_str());
633              $$ = new IntArrayElement(var, $3);              $$ = new IntArrayElement(var, $3);
634          }          }
635      }      }
# Line 464  unary_expr: Line 642  unary_expr:
642      | '-' unary_expr  {      | '-' unary_expr  {
643          $$ = new Neg($2);          $$ = new Neg($2);
644      }      }
645        | BITWISE_NOT unary_expr  {
646            if ($2->exprType() != INT_EXPR) {
647                PARSE_ERR(@2, (String("Right operand of bitwise operator '.not.' must be an integer expression, is ") + typeStr($2->exprType()) + " though.").c_str());
648                $$ = new IntLiteral(0);
649            } else {
650                $$ = new BitwiseNot($2);
651            }
652        }
653      | NOT unary_expr  {      | NOT unary_expr  {
654          if ($2->exprType() != INT_EXPR) {          if ($2->exprType() != INT_EXPR) {
655              PARSE_ERR((String("Right operand of operator 'not' must be an integer expression, is ") + typeStr($2->exprType()) + " though.").c_str());              PARSE_ERR(@2, (String("Right operand of operator 'not' must be an integer expression, is ") + typeStr($2->exprType()) + " though.").c_str());
656              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
657          } else {          } else {
658              $$ = new Not($2);              $$ = new Not($2);
# Line 477  expr: Line 663  expr:
663      concat_expr      concat_expr
664    
665  concat_expr:  concat_expr:
666      or_expr      logical_or_expr
667      | concat_expr '&' or_expr  {      | concat_expr '&' logical_or_expr  {
668          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
669          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
670          if (lhs->isConstExpr() && rhs->isConstExpr()) {          if (lhs->isConstExpr() && rhs->isConstExpr()) {
# Line 490  concat_expr: Line 676  concat_expr:
676          }          }
677      }      }
678    
679  or_expr:  logical_or_expr:
680      and_expr      logical_and_expr
681      | or_expr OR and_expr  {      | logical_or_expr OR logical_and_expr  {
682          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
683          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
684          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
685              PARSE_ERR((String("Left operand of operator 'or' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator 'or' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
686              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
687          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
688              PARSE_ERR((String("Right operand of operator 'or' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator 'or' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
689              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
690          } else {          } else {
691              $$ = new Or(lhs, rhs);              $$ = new Or(lhs, rhs);
692          }          }
693      }      }
694    
695  and_expr:  logical_and_expr:
696      rel_expr  {      bitwise_or_expr  {
697          $$ = $1;          $$ = $1;
698      }      }
699      | and_expr AND rel_expr  {      | logical_and_expr AND bitwise_or_expr  {
700          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
701          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
702          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
703              PARSE_ERR((String("Left operand of operator 'and' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator 'and' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
704              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
705          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
706              PARSE_ERR((String("Right operand of operator 'and' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator 'and' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
707              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
708          } else {          } else {
709              $$ = new And(lhs, rhs);              $$ = new And(lhs, rhs);
710          }          }
711      }      }
712    
713    bitwise_or_expr:
714        bitwise_and_expr
715        | bitwise_or_expr BITWISE_OR bitwise_and_expr  {
716            ExpressionRef lhs = $1;
717            ExpressionRef rhs = $3;
718            if (lhs->exprType() != INT_EXPR) {
719                PARSE_ERR(@1, (String("Left operand of bitwise operator '.or.' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
720                $$ = new IntLiteral(0);
721            } else if (rhs->exprType() != INT_EXPR) {
722                PARSE_ERR(@3, (String("Right operand of bitwise operator '.or.' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
723                $$ = new IntLiteral(0);
724            } else {
725                $$ = new BitwiseOr(lhs, rhs);
726            }
727        }
728    
729    bitwise_and_expr:
730        rel_expr  {
731            $$ = $1;
732        }
733        | bitwise_and_expr BITWISE_AND rel_expr  {
734            ExpressionRef lhs = $1;
735            ExpressionRef rhs = $3;
736            if (lhs->exprType() != INT_EXPR) {
737                PARSE_ERR(@1, (String("Left operand of bitwise operator '.and.' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
738                $$ = new IntLiteral(0);
739            } else if (rhs->exprType() != INT_EXPR) {
740                PARSE_ERR(@3, (String("Right operand of bitwise operator '.and.' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
741                $$ = new IntLiteral(0);
742            } else {
743                $$ = new BitwiseAnd(lhs, rhs);
744            }
745        }
746    
747  rel_expr:  rel_expr:
748        add_expr        add_expr
749      | rel_expr '<' add_expr  {      | rel_expr '<' add_expr  {
750          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
751          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
752          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
753              PARSE_ERR((String("Left operand of operator '<' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '<' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
754              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
755          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
756              PARSE_ERR((String("Right operand of operator '<' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '<' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
757              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
758          } else {          } else {
759              $$ = new Relation(lhs, Relation::LESS_THAN, rhs);              $$ = new Relation(lhs, Relation::LESS_THAN, rhs);
# Line 543  rel_expr: Line 763  rel_expr:
763          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
764          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
765          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
766              PARSE_ERR((String("Left operand of operator '>' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '>' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
767              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
768          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
769              PARSE_ERR((String("Right operand of operator '>' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '>' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
770              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
771          } else {          } else {
772              $$ = new Relation(lhs, Relation::GREATER_THAN, rhs);              $$ = new Relation(lhs, Relation::GREATER_THAN, rhs);
# Line 556  rel_expr: Line 776  rel_expr:
776          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
777          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
778          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
779              PARSE_ERR((String("Left operand of operator '<=' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '<=' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
780              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
781          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
782              PARSE_ERR((String("Right operand of operator '<=' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '<=' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
783              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
784          } else {          } else {
785              $$ = new Relation(lhs, Relation::LESS_OR_EQUAL, rhs);              $$ = new Relation(lhs, Relation::LESS_OR_EQUAL, rhs);
# Line 569  rel_expr: Line 789  rel_expr:
789          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
790          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
791          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
792              PARSE_ERR((String("Left operand of operator '>=' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '>=' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
793              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
794          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
795              PARSE_ERR((String("Right operand of operator '>=' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '>=' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
796              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
797          } else {          } else {
798              $$ = new Relation(lhs, Relation::GREATER_OR_EQUAL, rhs);              $$ = new Relation(lhs, Relation::GREATER_OR_EQUAL, rhs);
# Line 591  add_expr: Line 811  add_expr:
811          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
812          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
813          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
814              PARSE_ERR((String("Left operand of operator '+' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '+' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
815              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
816          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
817              PARSE_ERR((String("Right operand of operator '+' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '+' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
818              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
819          } else {          } else {
820              $$ = new Add(lhs,rhs);              $$ = new Add(lhs,rhs);
# Line 604  add_expr: Line 824  add_expr:
824          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
825          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
826          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
827              PARSE_ERR((String("Left operand of operator '-' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '-' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
828              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
829          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
830              PARSE_ERR((String("Right operand of operator '-' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '-' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
831              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
832          } else {          } else {
833              $$ = new Sub(lhs,rhs);              $$ = new Sub(lhs,rhs);
# Line 620  mul_expr: Line 840  mul_expr:
840          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
841          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
842          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
843              PARSE_ERR((String("Left operand of operator '*' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '*' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
844              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
845          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
846              PARSE_ERR((String("Right operand of operator '*' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '*' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
847              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
848          } else {          } else {
849              $$ = new Mul(lhs,rhs);              $$ = new Mul(lhs,rhs);
# Line 633  mul_expr: Line 853  mul_expr:
853          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
854          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
855          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
856              PARSE_ERR((String("Left operand of operator '/' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of operator '/' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
857              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
858          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
859              PARSE_ERR((String("Right operand of operator '/' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of operator '/' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
860              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
861          } else {          } else {
862              $$ = new Div(lhs,rhs);              $$ = new Div(lhs,rhs);
# Line 646  mul_expr: Line 866  mul_expr:
866          ExpressionRef lhs = $1;          ExpressionRef lhs = $1;
867          ExpressionRef rhs = $3;          ExpressionRef rhs = $3;
868          if (lhs->exprType() != INT_EXPR) {          if (lhs->exprType() != INT_EXPR) {
869              PARSE_ERR((String("Left operand of modulo operator must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());              PARSE_ERR(@1, (String("Left operand of modulo operator must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
870              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
871          } else if (rhs->exprType() != INT_EXPR) {          } else if (rhs->exprType() != INT_EXPR) {
872              PARSE_ERR((String("Right operand of modulo operator must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());              PARSE_ERR(@3, (String("Right operand of modulo operator must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
873              $$ = new IntLiteral(0);              $$ = new IntLiteral(0);
874          } else {          } else {
875              $$ = new Mod(lhs,rhs);              $$ = new Mod(lhs,rhs);
# Line 660  mul_expr: Line 880  mul_expr:
880    
881  void InstrScript_error(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* err) {  void InstrScript_error(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* err) {
882      //fprintf(stderr, "%d: %s\n", locp->first_line, err);      //fprintf(stderr, "%d: %s\n", locp->first_line, err);
883      context->addErr(locp->first_line, err);      context->addErr(locp->first_line, locp->last_line, locp->first_column+1, locp->last_column+1, err);
884  }  }
885    
886  void InstrScript_warning(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* txt) {  void InstrScript_warning(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* txt) {
887      //fprintf(stderr, "WRN %d: %s\n", locp->first_line, txt);      //fprintf(stderr, "WRN %d: %s\n", locp->first_line, txt);
888      context->addWrn(locp->first_line, txt);      context->addWrn(locp->first_line, locp->last_line, locp->first_column+1, locp->last_column+1, txt);
889    }
890    
891    /// Custom implementation of yytnamerr() to ensure quotation is always stripped from token names before printing them to error messages.
892    int InstrScript_tnamerr(char* yyres, const char* yystr) {
893      if (*yystr == '"') {
894          int yyn = 0;
895          char const *yyp = yystr;
896          for (;;)
897            switch (*++yyp)
898              {
899    /*
900              case '\'':
901              case ',':
902                goto do_not_strip_quotes;
903    
904              case '\\':
905                if (*++yyp != '\\')
906                  goto do_not_strip_quotes;
907    */
908                /* Fall through.  */
909              default:
910                if (yyres)
911                  yyres[yyn] = *yyp;
912                yyn++;
913                break;
914    
915              case '"':
916                if (yyres)
917                  yyres[yyn] = '\0';
918                return yyn;
919              }
920    /*
921        do_not_strip_quotes: ;
922    */
923        }
924    
925      if (! yyres)
926        return (int) yystrlen (yystr);
927    
928      return int( yystpcpy (yyres, yystr) - yyres );
929  }  }
Legend:
Removed from v.2585  
changed lines
  Added in v.3311
  ViewVC Help
Powered by ViewVC