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

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

Parent Directory | Revision Log | View Patch Patch

-revision 2889 by schoenebeck,
Mon Apr 25 17:28:23 2016 UTC
+revision 3729 by schoenebeck,
Fri Jan 31 10:57:53 2020 UTC
 Line 1
  /*
-  * Copyright (c) 2014-2016 Christian Schoenebeck and Andreas Persson
+  * Copyright (c) 2014-2017 Christian Schoenebeck and Andreas Persson
   *
   * http://www.linuxsampler.org
   *
 Line 18
      void InstrScript_error(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* err);
      void InstrScript_warning(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* txt);
+     int InstrScript_tnamerr(char* yyres, const char* yystr);
      int InstrScript_lex(YYSTYPE* lvalp, YYLTYPE* llocp, void* scanner);
      #define scanner context->scanner
      #define PARSE_ERR(loc,txt)  yyerror(&loc, context, txt)
      #define PARSE_WRN(loc,txt)  InstrScript_warning(&loc, context, txt)
+     #define PARSE_DROP(loc) \
+         context->addPreprocessorComment( \
+             loc.first_line, loc.last_line, loc.first_column+1, \
+             loc.last_column+1, loc.first_byte, loc.length_bytes \
+         );
+     #define yytnamerr(res,str)  InstrScript_tnamerr(res, str)
  %}
  // generate reentrant safe parser
-Line 29
+Line 36
  %parse-param { LinuxSampler::ParserContext* context }
  %lex-param { void* scanner }
  // avoid symbol collision with other (i.e. future) auto generated (f)lex scanners
- %name-prefix "InstrScript_"
+ // (NOTE: "=" is deprecated here with Bison 3.x, however removing it would cause an error with Bison 2.x)
+ %name-prefix="InstrScript_"
  %locations
  %defines
  %error-verbose
- %token <iValue> INTEGER
+ %token <iValue> INTEGER "integer literal"
- %token <sValue> STRING
+ %token <fValue> REAL "real number literal"
- %token <sValue> IDENTIFIER
+ %token <iUnitValue> INTEGER_UNIT "integer literal with unit"
- %token <sValue> VARIABLE
+ %token <fUnitValue> REAL_UNIT "real number literal with unit"
- %token ON END INIT NOTE DECLARE ASSIGNMENT WHILE IF OR RELEASE AND ELSE
+ %token <sValue> STRING "string literal"
- %token CONTROLLER SELECT CASE TO NOT CONST_ POLYPHONIC MOD
+ %token <sValue> IDENTIFIER "function name"
- %token LE GE
+ %token <sValue> VARIABLE "variable name"
+ %token ON "keyword 'on'"
- %type <nEventHandlers> script eventhandlers
+ %token END "keyword 'end'"
- %type <nEventHandler> eventhandler
+ %token INIT "keyword 'init'"
- %type <nStatements> statements
+ %token NOTE "keyword 'note'"
+ %token RELEASE "keyword 'release'"
+ %token CONTROLLER "keyword 'controller'"
+ %token RPN "keyword 'rpn'"
+ %token NRPN "keyword 'nrpn'"
+ %token DECLARE "keyword 'declare'"
+ %token ASSIGNMENT "operator ':='"
+ %token CONST_ "keyword 'const'"
+ %token POLYPHONIC "keyword 'polyphonic'"
+ %token WHILE "keyword 'while'"
+ %token SYNCHRONIZED "keyword 'synchronized'"
+ %token IF "keyword 'if'"
+ %token ELSE "keyword 'else'"
+ %token SELECT "keyword 'select'"
+ %token CASE "keyword 'case'"
+ %token TO "keyword 'to'"
+ %token OR "operator 'or'"
+ %token AND "operator 'and'"
+ %token NOT "operator 'not'"
+ %token BITWISE_OR "bitwise operator '.or.'"
+ %token BITWISE_AND "bitwise operator '.and.'"
+ %token BITWISE_NOT "bitwise operator '.not.'"
+ %token FUNCTION "keyword 'function'"
+ %token CALL "keyword 'call'"
+ %token MOD "operator 'mod'"
+ %token LE "operator '<='"
+ %token GE "operator '>='"
+ %token END_OF_FILE 0 "end of file"
+ %token UNKNOWN_CHAR "unknown character"
+ %type <nEventHandlers> script sections
+ %type <nEventHandler> section eventhandler
+ %type <nStatements> statements opt_statements userfunctioncall
  %type <nStatement> statement assignment
  %type <nFunctionCall> functioncall
- %type <nArgs> args
+ %type <nArgs> args opt_arr_assignment
- %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 opt_assignment
  %type <nCaseBranch> caseclause
  %type <nCaseBranches> caseclauses
+ %type <varQualifier> opt_qualifiers qualifiers qualifier
  %start script
  %%
  script:
-     eventhandlers  {
+     sections  {
          $$ = context->handlers = $1;
      }
- eventhandlers:
+ sections:
-     eventhandler  {
+     section  {
          $$ = new EventHandlers();
-         $$->add($1);
+         if ($1) $$->add($1);
+     }
+     | sections section  {
+         $$ = $1;
+         if ($2) $$->add($2);
      }
-     | eventhandlers eventhandler  {
+ section:
+     function_declaration  {
+         $$ = EventHandlerRef();
+     }
+     | eventhandler  {
          $$ = $1;
-         $$->add($2);
      }
  eventhandler:
-     ON NOTE statements END ON  {
+     ON NOTE opt_statements END ON  {
          if (context->onNote)
              PARSE_ERR(@2, "Redeclaration of 'note' event handler.");
          context->onNote = new OnNote($3);
          $$ = context->onNote;
      }
-     | ON INIT statements END ON  {
+     | ON INIT opt_statements END ON  {
          if (context->onInit)
              PARSE_ERR(@2, "Redeclaration of 'init' event handler.");
          context->onInit = new OnInit($3);
          $$ = context->onInit;
      }
-     | ON RELEASE statements END ON  {
+     | ON RELEASE opt_statements END ON  {
          if (context->onRelease)
              PARSE_ERR(@2, "Redeclaration of 'release' event handler.");
          context->onRelease = new OnRelease($3);
          $$ = context->onRelease;
      }
-     | ON CONTROLLER statements END ON  {
+     | ON CONTROLLER opt_statements END ON  {
          if (context->onController)
              PARSE_ERR(@2, "Redeclaration of 'controller' event handler.");
          context->onController = new OnController($3);
          $$ = context->onController;
      }
+     | ON RPN opt_statements END ON  {
+         if (context->onRpn)
+             PARSE_ERR(@2, "Redeclaration of 'rpn' event handler.");
+         context->onRpn = new OnRpn($3);
+         $$ = context->onRpn;
+     }
+     | ON NRPN opt_statements END ON  {
+         if (context->onNrpn)
+             PARSE_ERR(@2, "Redeclaration of 'nrpn' event handler.");
+         context->onNrpn = new OnNrpn($3);
+         $$ = context->onNrpn;
+     }
+ function_declaration:
+     FUNCTION IDENTIFIER opt_statements END FUNCTION  {
+         const char* name = $2;
+         if (context->functionProvider->functionByName(name)) {
+             PARSE_ERR(@2, (String("There is already a built-in function with name '") + name + "'.").c_str());
+         } else if (context->userFunctionByName(name)) {
+             PARSE_ERR(@2, (String("There is already a user defined function with name '") + name + "'.").c_str());
+         } else {
+             context->userFnTable[name] = $3;
+         }
+     }
+ opt_statements:
+     /* epsilon (empty argument) */  {
+         $$ = new Statements();
+     }
+     | statements  {
+         $$ = $1;
+     }
  statements:
      statement  {
-Line 117 
 statement:
+Line 198 
 statement:
      functioncall  {
          $$ = $1;
      }
-     | DECLARE VARIABLE  {
+     | userfunctioncall  {
-         const char* name = $2;
+         $$ = $1;
-         //printf("declared var '%s'\n", name);
-         if (context->variableByName(name))
-             PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
-         if (name[0] == '@') {
-             context->vartable[name] = new StringVariable(context);
-             $$ = new NoOperation;
-         } else {
-             context->vartable[name] = new IntVariable(context);
-             $$ = new NoOperation;
-         }
      }
-     | DECLARE POLYPHONIC VARIABLE  {
+     | DECLARE opt_qualifiers VARIABLE opt_assignment  {
+         $$ = new NoOperation; // just as default result value
+         const bool qConst      = $2 & QUALIFIER_CONST;
+         const bool qPolyphonic = $2 & QUALIFIER_POLYPHONIC;
          const char* name = $3;
-         //printf("declared polyphonic var '%s'\n", name);
+         ExpressionRef expr = $4;
-         if (context->variableByName(name))
+         //printf("declared var '%s'\n", name);
+         const ExprType_t declType = exprTypeOfVarName(name);
+         if (context->variableByName(name)) {
              PARSE_ERR(@3, (String("Redeclaration of variable '") + name + "'.").c_str());
-         if (name[0] != '$') {
+         } else if (qConst && !expr) {
-             PARSE_ERR(@3, "Polyphonic variables may only be declared as integers.");
+             PARSE_ERR(@2, (String("Variable '") + name + "' declared const without value assignment.").c_str());
-             $$ = new FunctionCall("nothing", new Args, NULL); // whatever
+         } else if (qConst && qPolyphonic) {
-         } else {
+             PARSE_ERR(@2, (String("Variable '") + name + "' must not be declared both const and polyphonic.").c_str());
-             context->vartable[name] = new PolyphonicIntVariable(context);
+         } else {
-             $$ = new NoOperation;
+             if (!expr) {
-         }
+                 if (qPolyphonic) {
-     }
+                     if (name[0] != '$' && name[0] != '~') {
-     | DECLARE VARIABLE ASSIGNMENT expr  {
+                         PARSE_ERR(@3, "Polyphonic variables must only be declared either as integer or real number type.");
-         const char* name = $2;
+                     } else if (name[0] == '~') {
-         //printf("declared assign var '%s'\n", name);
+                         context->vartable[name] = new PolyphonicRealVariable({
-         if (context->variableByName(name))
+                             .ctx = context
-             PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
+                         });
-         if ($4->exprType() == STRING_EXPR) {
+                     } else {
-             if (name[0] == '$')
+                         context->vartable[name] = new PolyphonicIntVariable({
-                 PARSE_WRN(@2, (String("Variable '") + name + "' declared as integer, string expression assigned though.").c_str());
+                             .ctx = context
-             StringExprRef expr = $4;
+                         });
-             if (expr->isConstExpr()) {
+                     }
-                 const String s = expr->evalStr();
+                 } else {
-                 StringVariableRef var = new StringVariable(context);
+                     if (name[0] == '@') {
-                 context->vartable[name] = var;
+                         context->vartable[name] = new StringVariable(context);
-                 $$ = new Assignment(var, new StringLiteral(s));
+                     } else if (name[0] == '~') {
-             } else {
+                         context->vartable[name] = new RealVariable({
-                 StringVariableRef var = new StringVariable(context);
+                             .ctx = context
-                 context->vartable[name] = var;
+                         });
-                 $$ = new Assignment(var, expr);
+                     } else if (name[0] == '$') {
-             }
+                         context->vartable[name] = new IntVariable({
-         } else {
+                             .ctx = context
-             if (name[0] == '@')
+                         });
-                 PARSE_WRN(@2, (String("Variable '") + name + "' declared as string, integer expression assigned though.").c_str());
+                     } else if (name[0] == '?') {
-             IntExprRef expr = $4;
+                         PARSE_ERR(@3, (String("Real number array variable '") + name + "' declaration requires array size.").c_str());
-             if (expr->isConstExpr()) {
+                     } else if (name[0] == '%') {
-                 const int i = expr->evalInt();
+                         PARSE_ERR(@3, (String("Integer array variable '") + name + "' declaration requires array size.").c_str());
-                 IntVariableRef var = new IntVariable(context);
+                     } else {
-                 context->vartable[name] = var;
+                         PARSE_ERR(@3, (String("Variable '") + name + "' declared with unknown type.").c_str());
-                 $$ = new Assignment(var, new IntLiteral(i));
+                     }
-             } else {
+                 }
-                 IntVariableRef var = new IntVariable(context);
-                 context->vartable[name] = var;
-                 $$ = new Assignment(var, expr);
-             }
-         }
-     }
-     | DECLARE VARIABLE '[' expr ']'  {
-         //printf("declare array without args\n");
-         const char* name = $2;
-         if (!$4->isConstExpr()) {
-             PARSE_ERR(@4, (String("Array variable '") + name + "' must be declared with constant array size.").c_str());
-             $$ = new FunctionCall("nothing", new Args, NULL); // whatever
-         } else if ($4->exprType() != INT_EXPR) {
-             PARSE_ERR(@4, (String("Size of array variable '") + name + "' declared with non integer expression.").c_str());
-             $$ = new FunctionCall("nothing", new Args, NULL); // whatever
-         } else if (context->variableByName(name)) {
-             PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
-             $$ = new FunctionCall("nothing", new Args, NULL); // whatever
-         } else {
-             IntExprRef expr = $4;
-             int size = expr->evalInt();
-             if (size <= 0) {
-                 PARSE_ERR(@4, (String("Array variable '") + name + "' declared with array size " + ToString(size) + ".").c_str());
-                 $$ = new FunctionCall("nothing", new Args, NULL); // whatever
              } else {
-                 context->vartable[name] = new IntArrayVariable(context, size);
+                 if (qPolyphonic && !isNumber(expr->exprType())) {
-                 $$ = new NoOperation;
+                     PARSE_ERR(@3, "Polyphonic variables must only be declared either as integer or real number type.");
+                 } else if (expr->exprType() == STRING_EXPR) {
+                     if (name[0] != '@')
+                         PARSE_WRN(@3, (String("Variable '") + name + "' declared as " + typeStr(declType) + ", string expression assigned though.").c_str());
+                     StringExprRef strExpr = expr;
+                     String s;
+                     if (qConst) {
+                         if (strExpr->isConstExpr())
+                             s = strExpr->evalStr();
+                         else
+                             PARSE_ERR(@4, (String("Assignment to const string variable '") + name + "' requires const expression.").c_str());
+                         ConstStringVariableRef var = new ConstStringVariable(context, s);
+                         context->vartable[name] = var;
+                     } else {
+                         if (strExpr->isConstExpr()) {
+                             s = strExpr->evalStr();
+                             StringVariableRef var = new StringVariable(context);
+                             context->vartable[name] = var;
+                             $$ = new Assignment(var, new StringLiteral(s));
+                         } else {
+                             StringVariableRef var = new StringVariable(context);
+                             context->vartable[name] = var;
+                             $$ = new Assignment(var, strExpr);
+                         }
+                     }
+                 } else if (expr->exprType() == REAL_EXPR) {
+                     if (name[0] != '~')
+                         PARSE_WRN(@3, (String("Variable '") + name + "' declared as " + typeStr(declType) + ", real number expression assigned though.").c_str());
+                     RealExprRef realExpr = expr;
+                     if (qConst) {
+                         if (!realExpr->isConstExpr()) {
+                             PARSE_ERR(@4, (String("Assignment to const real number variable '") + name + "' requires const expression.").c_str());
+                         }
+                         ConstRealVariableRef var = new ConstRealVariable(
+                             #if defined(__GNUC__) && !defined(__clang__)
+                             (const RealVarDef&) // GCC 8.x requires this cast here (looks like a GCC bug to me); cast would cause an error with clang though
+                             #endif
+                         {
+                             .value = (realExpr->isConstExpr()) ? realExpr->evalReal() : vmfloat(0),
+                             .unitFactor = (realExpr->isConstExpr()) ? realExpr->unitFactor() : VM_NO_FACTOR,
+                             .unitType = realExpr->unitType(),
+                             .isFinal = realExpr->isFinal()
+                         });
+                         context->vartable[name] = var;
+                     } else {
+                         RealVariableRef var = new RealVariable({
+                             .ctx = context,
+                             .unitType = realExpr->unitType(),
+                             .isFinal = realExpr->isFinal()
+                         });
+                         if (realExpr->isConstExpr()) {
+                             $$ = new Assignment(var, new RealLiteral({
+                                 .value = realExpr->evalReal(),
+                                 .unitFactor = realExpr->unitFactor(),
+                                 .unitType = realExpr->unitType(),
+                                 .isFinal = realExpr->isFinal()
+                             }));
+                         } else {
+                             $$ = new Assignment(var, realExpr);
+                         }
+                         context->vartable[name] = var;
+                     }
+                 } else if (expr->exprType() == INT_EXPR) {
+                     if (name[0] != '$')
+                         PARSE_WRN(@3, (String("Variable '") + name + "' declared as " + typeStr(declType) + ", integer expression assigned though.").c_str());
+                     IntExprRef intExpr = expr;
+                     if (qConst) {
+                         if (!intExpr->isConstExpr()) {
+                             PARSE_ERR(@4, (String("Assignment to const integer variable '") + name + "' requires const expression.").c_str());
+                         }
+                         ConstIntVariableRef var = new ConstIntVariable(
+                             #if defined(__GNUC__) && !defined(__clang__)
+                             (const IntVarDef&) // GCC 8.x requires this cast here (looks like a GCC bug to me); cast would cause an error with clang though
+                             #endif
+                         {
+                             .value = (intExpr->isConstExpr()) ? intExpr->evalInt() : 0,
+                             .unitFactor = (intExpr->isConstExpr()) ? intExpr->unitFactor() : VM_NO_FACTOR,
+                             .unitType = intExpr->unitType(),
+                             .isFinal = intExpr->isFinal()
+                         });
+                         context->vartable[name] = var;
+                     } else {
+                         IntVariableRef var = new IntVariable({
+                             .ctx = context,
+                             .unitType = intExpr->unitType(),
+                             .isFinal = intExpr->isFinal()
+                         });
+                         if (intExpr->isConstExpr()) {
+                             $$ = new Assignment(var, new IntLiteral({
+                                 .value = intExpr->evalInt(),
+                                 .unitFactor = intExpr->unitFactor(),
+                                 .unitType = intExpr->unitType(),
+                                 .isFinal = intExpr->isFinal()
+                             }));
+                         } else {
+                             $$ = new Assignment(var, intExpr);
+                         }
+                         context->vartable[name] = var;
+                     }
+                 } else if (expr->exprType() == EMPTY_EXPR) {
+                     PARSE_ERR(@4, "Expression does not result in a value.");
+                     $$ = new NoOperation;
+                 } else if (isArray(expr->exprType())) {
+                     PARSE_ERR(@3, (String("Variable '") + name + "' declared as scalar type, array expression assigned though.").c_str());
+                     $$ = new NoOperation;
+                 }
              }
          }
      }
-     | DECLARE VARIABLE '[' expr ']' ASSIGNMENT '(' args ')'  {
+     | DECLARE opt_qualifiers VARIABLE '[' expr ']' opt_arr_assignment  {
-         const char* name = $2;
+         $$ = new NoOperation; // just as default result value
-         if (!$4->isConstExpr()) {
+         const bool qConst      = $2 & QUALIFIER_CONST;
-             PARSE_ERR(@4, (String("Array variable '") + name + "' must be declared with constant array size.").c_str());
+         const bool qPolyphonic = $2 & QUALIFIER_POLYPHONIC;
-             $$ = new FunctionCall("nothing", new Args, NULL); // whatever
+         const char* name = $3;
-         } else if ($4->exprType() != INT_EXPR) {
+         if (!$5->isConstExpr()) {
-             PARSE_ERR(@4, (String("Size of array variable '") + name + "' declared with non integer expression.").c_str());
+             PARSE_ERR(@5, (String("Array variable '") + name + "' must be declared with constant array size.").c_str());
-             $$ = new FunctionCall("nothing", new Args, NULL); // whatever
+         } else if ($5->exprType() != INT_EXPR) {
+             PARSE_ERR(@5, (String("Size of array variable '") + name + "' declared with non integer expression.").c_str());
          } else if (context->variableByName(name)) {
-             PARSE_ERR(@2, (String("Redeclaration of variable '") + name + "'.").c_str());
+             PARSE_ERR(@3, (String("Redeclaration of variable '") + name + "'.").c_str());
-             $$ = new FunctionCall("nothing", new Args, NULL); // whatever
+         } else if (qConst && !$7) {
-         } else {
+             PARSE_ERR(@2, (String("Array variable '") + name + "' declared const without value assignment.").c_str());
-             IntExprRef sizeExpr = $4;
+         } else if (qPolyphonic) {
-             ArgsRef args = $8;
+             PARSE_ERR(@2, (String("Array variable '") + name + "' must not be declared polyphonic.").c_str());
-             int size = sizeExpr->evalInt();
+         } else {
+             IntExprRef sizeExpr = $5;
+             ArgsRef args = $7;
+             vmint size = sizeExpr->evalInt();
              if (size <= 0) {
-                 PARSE_ERR(@4, (String("Array variable '") + name + "' must be declared with positive array size.").c_str());
+                 PARSE_ERR(@5, (String("Array variable '") + name + "' must be declared with positive array size.").c_str());
-                 $$ = new FunctionCall("nothing", new Args, NULL); // whatever
+             } else if (sizeExpr->unitType() || sizeExpr->hasUnitFactorNow()) {
-             } else if (args->argsCount() > size) {
+                 PARSE_ERR(@5, "Units are not allowed as array size.");
-                 PARSE_ERR(@8, (String("Variable '") + name +
-                           "' was declared with size " + ToString(size) +
-                           " but " + ToString(args->argsCount()) +
-                           " values were assigned." ).c_str());
-                 $$ = new FunctionCall("nothing", new Args, NULL); // whatever
              } else {
-                 bool argsOK = true;
+                 if (sizeExpr->isFinal())
-                 for (int i = 0; i < args->argsCount(); ++i) {
+                     PARSE_WRN(@5, "Final operator '!' is meaningless here.");
-                     if (args->arg(i)->exprType() != INT_EXPR) {
+                 if (!args) {
-                         PARSE_ERR(
+                     if (name[0] == '?') {
-                             @8,
+                         context->vartable[name] = new RealArrayVariable(context, size);
-                             (String("Array variable '") + name +
+                     } else if (name[0] == '%') {
-                             "' declared with invalid assignment values. Assigned element " +
+                         context->vartable[name] = new IntArrayVariable(context, size);
-                             ToString(i+1) + " is not an integer expression.").c_str()
+                     } else {
-                         );
+                         PARSE_ERR(@3, (String("Variable '") + name + "' declared as unknown array type: use either '%' or '?' instead of '" + String(name).substr(0,1) + "'.").c_str());
-                         argsOK = false;
+                     }
-                         break;
+                 } else {
+                     if (size <= 0) {
+                         PARSE_ERR(@5, (String("Array variable '") + name + "' must be declared with positive array size.").c_str());
+                     } else if (args->argsCount() > size) {
+                         PARSE_ERR(@7, (String("Array variable '") + name +
+                                   "' was declared with size " + ToString(size) +
+                                   " but " + ToString(args->argsCount()) +
+                                   " values were assigned." ).c_str());
+                     } else {
+                         ExprType_t declType = EMPTY_EXPR;
+                         if (name[0] == '%') {
+                             declType = INT_EXPR;
+                         } else if (name[0] == '?') {
+                             declType = REAL_EXPR;
+                         } else if (name[0] == '$') {
+                             PARSE_ERR(@3, (String("Variable '") + name + "' declaration ambiguous: Use '%' as name prefix for integer arrays instead of '$'.").c_str());
+                         } else if (name[0] == '~') {
+                             PARSE_ERR(@3, (String("Variable '") + name + "' declaration ambiguous: Use '?' as name prefix for real number arrays instead of '~'.").c_str());
+                         } else {
+                             PARSE_ERR(@3, (String("Variable '") + name + "' declared as unknown array type: use either '%' or '?' instead of '" + String(name).substr(0,1) + "'.").c_str());
+                         }
+                         bool argsOK = true;
+                         if (declType == EMPTY_EXPR) {
+                             argsOK = false;
+                         } else {
+                             for (vmint i = 0; i < args->argsCount(); ++i) {
+                                 if (args->arg(i)->exprType() != declType) {
+                                     PARSE_ERR(
+                                         @7,
+                                         (String("Array variable '") + name +
+                                         "' declared with invalid assignment values. Assigned element " +
+                                         ToString(i+1) + " is not an " + typeStr(declType) + " expression.").c_str()
+                                     );
+                                     argsOK = false;
+                                     break;
+                                 } else if (qConst && !args->arg(i)->isConstExpr()) {
+                                     PARSE_ERR(
+                                         @7,
+                                         (String("const array variable '") + name +
+                                         "' must be defined with const values. Assigned element " +
+                                         ToString(i+1) + " is not a const expression though.").c_str()
+                                     );
+                                     argsOK = false;
+                                     break;
+                                 } else if (args->arg(i)->asNumber()->unitType()) {
+                                     PARSE_ERR(
+                                         @7,
+                                         (String("Array variable '") + name +
+                                         "' declared with invalid assignment values. Assigned element " +
+                                         ToString(i+1) + " contains a unit type, only metric prefixes are allowed for arrays.").c_str()
+                                     );
+                                     argsOK = false;
+                                     break;
+                                 } else if (args->arg(i)->asNumber()->isFinal()) {
+                                     PARSE_ERR(
+                                         @7,
+                                         (String("Array variable '") + name +
+                                         "' declared with invalid assignment values. Assigned element " +
+                                         ToString(i+1) + " declared as 'final' value.").c_str()
+                                     );
+                                     argsOK = false;
+                                     break;
+                                 }
+                             }
+                         }
+                         if (argsOK) {
+                             if (declType == REAL_EXPR)
+                                 context->vartable[name] = new RealArrayVariable(context, size, args, qConst);
+                             else
+                                 context->vartable[name] = new IntArrayVariable(context, size, args, qConst);
+                         }
                      }
                  }
-                 if (argsOK)
-                     $$ = context->vartable[name] = new IntArrayVariable(context, size, args);
-                 else
-                     $$ = new FunctionCall("nothing", new Args, NULL); // whatever
              }
          }
      }
-     | DECLARE CONST_ VARIABLE ASSIGNMENT expr  {
-         const char* name = $3;
-         if ($5->exprType() == STRING_EXPR) {
-             if (name[0] == '$')
-                 PARSE_WRN(@5, "Variable declared as integer, string expression assigned though.");
-             String s;
-             StringExprRef expr = $5;
-             if (expr->isConstExpr())
-                 s = expr->evalStr();
-             else
-                 PARSE_ERR(@5, (String("Assignment to const string variable '") + name + "' requires const expression.").c_str());
-             ConstStringVariableRef var = new ConstStringVariable(context, s);
-             context->vartable[name] = var;
-             //$$ = new Assignment(var, new StringLiteral(s));
-             $$ = new NoOperation();
-         } else {
-             if (name[0] == '@')
-                 PARSE_WRN(@5, "Variable declared as string, integer expression assigned though.");
-             int i = 0;
-             IntExprRef expr = $5;
-             if (expr->isConstExpr())
-                 i = expr->evalInt();
-             else
-                 PARSE_ERR(@5, (String("Assignment to const integer variable '") + name + "' requires const expression.").c_str());
-             ConstIntVariableRef var = new ConstIntVariable(i);
-             context->vartable[name] = var;
-             //$$ = new Assignment(var, new IntLiteral(i));
-             $$ = new NoOperation();
-         }
-     }
      | assignment  {
          $$ = $1;
      }
-     | WHILE '(' expr ')' statements END WHILE  {
+     | WHILE '(' expr ')' opt_statements END WHILE  {
          if ($3->exprType() == INT_EXPR) {
-             $$ = new While($3, $5);
+             IntExprRef expr = $3;
+             if (expr->asNumber()->unitType() ||
+                 expr->asNumber()->hasUnitFactorEver())
+                 PARSE_WRN(@3, "Condition for 'while' loops contains a unit.");
+             else if (expr->isFinal() && expr->isConstExpr())
+                 PARSE_WRN(@3, "Final operator '!' is meaningless here.");
+             $$ = new While(expr, $5);
          } else {
              PARSE_ERR(@3, "Condition for 'while' loops must be integer expression.");
-             $$ = new While(new IntLiteral(0), $5);
+             $$ = new While(new IntLiteral({ .value = 0 }), $5);
          }
      }
-     | IF '(' expr ')' statements ELSE statements END IF  {
+     | SYNCHRONIZED opt_statements END SYNCHRONIZED  {
-         $$ = new If($3, $5, $7);
+         $$ = new SyncBlock($2);
+     }
+     | IF '(' expr ')' opt_statements ELSE opt_statements END IF  {
+         if ($3->exprType() == INT_EXPR) {
+             IntExprRef expr = $3;
+             if (expr->asNumber()->unitType() ||
+                 expr->asNumber()->hasUnitFactorEver())
+                 PARSE_WRN(@3, "Condition for 'if' contains a unit.");
+             else if (expr->isFinal() && expr->isConstExpr())
+                 PARSE_WRN(@3, "Final operator '!' is meaningless here.");
+             $$ = new If($3, $5, $7);
+         } else {
+             PARSE_ERR(@3, "Condition for 'if' must be integer expression.");
+             $$ = new If(new IntLiteral({ .value = 0 }), $5, $7);
+         }
      }
-     | IF '(' expr ')' statements END IF  {
+     | IF '(' expr ')' opt_statements END IF  {
-         $$ = new If($3, $5);
+         if ($3->exprType() == INT_EXPR) {
+             IntExprRef expr = $3;
+             if (expr->asNumber()->unitType() ||
+                 expr->asNumber()->hasUnitFactorEver())
+                 PARSE_WRN(@3, "Condition for 'if' contains a unit.");
+             else if (expr->isFinal() && expr->isConstExpr())
+                 PARSE_WRN(@3, "Final operator '!' is meaningless here.");
+             $$ = new If($3, $5);
+         } else {
+             PARSE_ERR(@3, "Condition for 'if' must be integer expression.");
+             $$ = new If(new IntLiteral({ .value = 0 }), $5);
+         }
      }
      | SELECT expr caseclauses END SELECT  {
          if ($2->exprType() == INT_EXPR) {
-             $$ = new SelectCase($2, $3);
+             IntExprRef expr = $2;
+             if (expr->unitType() || expr->hasUnitFactorEver()) {
+                 PARSE_ERR(@2, "Units are not allowed here.");
+                 $$ = new SelectCase(new IntLiteral({ .value = 0 }), $3);
+             } else {
+                 if (expr->isFinal() && expr->isConstExpr())
+                     PARSE_WRN(@2, "Final operator '!' is meaningless here.");
+                 $$ = new SelectCase(expr, $3);
+             }
          } else {
              PARSE_ERR(@2, "Statement 'select' can only by applied to integer expressions.");
-             $$ = new SelectCase(new IntLiteral(0), $3);
+             $$ = new SelectCase(new IntLiteral({ .value = 0 }), $3);
          }
      }
-Line 314 
 caseclauses:
+Line 545 
 caseclauses:
      }
  caseclause:
-     CASE INTEGER statements  {
+     CASE INTEGER opt_statements  {
          $$ = CaseBranch();
-         $$.from = new IntLiteral($2);
+         $$.from = new IntLiteral({ .value = $2 });
          $$.statements = $3;
      }
-     | CASE INTEGER TO INTEGER statements  {
+     | CASE INTEGER TO INTEGER opt_statements  {
          $$ = CaseBranch();
-         $$.from = new IntLiteral($2);
+         $$.from = new IntLiteral({ .value = $2 });
-         $$.to   = new IntLiteral($4);
+         $$.to   = new IntLiteral({ .value = $4 });
          $$.statements = $5;
      }
+ userfunctioncall:
+     CALL IDENTIFIER  {
+         const char* name = $2;
+         StatementsRef fn = context->userFunctionByName(name);
+         if (context->functionProvider->functionByName(name)) {
+             PARSE_ERR(@1, (String("Keyword 'call' must only be used for user defined functions, not for any built-in function like '") + name + "'.").c_str());
+             $$ = StatementsRef();
+         } else if (!fn) {
+             PARSE_ERR(@2, (String("No user defined function with name '") + name + "'.").c_str());
+             $$ = StatementsRef();
+         } else {
+             $$ = fn;
+         }
+     }
  functioncall:
      IDENTIFIER '(' args ')'  {
          const char* name = $1;
          //printf("function call of '%s' with args\n", name);
          ArgsRef args = $3;
          VMFunction* fn = context->functionProvider->functionByName(name);
-         if (!fn) {
+         if (context->userFunctionByName(name)) {
+             PARSE_ERR(@1, (String("Missing 'call' keyword before user defined function name '") + name + "'.").c_str());
+             $$ = new FunctionCall(name, args, NULL);
+         } else if (!fn) {
              PARSE_ERR(@1, (String("No built-in function with name '") + name + "'.").c_str());
              $$ = new FunctionCall(name, args, NULL);
+         } else if (context->functionProvider->isFunctionDisabled(fn,context)) {
+             PARSE_DROP(@$);
+             $$ = new NoFunctionCall;
          } else if (args->argsCount() < fn->minRequiredArgs()) {
              PARSE_ERR(@3, (String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());
              $$ = new FunctionCall(name, args, NULL);
-Line 343 
 functioncall:
+Line 595 
 functioncall:
              $$ = new FunctionCall(name, args, NULL);
          } else {
              bool argsOK = true;
-             for (int i = 0; i < args->argsCount(); ++i) {
+             for (vmint i = 0; i < args->argsCount(); ++i) {
-                 if (args->arg(i)->exprType() != fn->argType(i) && !fn->acceptsArgType(i, args->arg(i)->exprType())) {
+                 if (!fn->acceptsArgType(i, args->arg(i)->exprType())) {
-                     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());
+                     PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' expects " + acceptedArgTypesStr(fn, i) + " type, but type " + typeStr(args->arg(i)->exprType()) + " was given instead.").c_str());
+                     argsOK = false;
+                     break;
+                 } else if (fn->modifiesArg(i) && !args->arg(i)->isModifyable()) {
+                     PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' expects an assignable variable.").c_str());
+                     argsOK = false;
+                     break;
+                 } else if (isNumber(args->arg(i)->exprType()) && !fn->acceptsArgUnitType(i, args->arg(i)->asNumber()->unitType())) {
+                     if (args->arg(i)->asNumber()->unitType())
+                         PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' does not expect unit " + unitTypeStr(args->arg(i)->asNumber()->unitType()) +  ".").c_str());
+                     else
+                         PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' expects a unit.").c_str());
+                     argsOK = false;
+                     break;
+                 } else if (isNumber(args->arg(i)->exprType()) && args->arg(i)->asNumber()->hasUnitFactorEver() && !fn->acceptsArgUnitPrefix(i, args->arg(i)->asNumber()->unitType())) {
+                     if (args->arg(i)->asNumber()->unitType())
+                         PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' does not expect a unit prefix for unit" + unitTypeStr(args->arg(i)->asNumber()->unitType()) + ".").c_str());
+                     else
+                         PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' does not expect a unit prefix.").c_str());
+                     argsOK = false;
+                     break;
+                 } else if (!fn->acceptsArgFinal(i) && isNumber(args->arg(i)->exprType()) && args->arg(i)->asNumber()->isFinal()) {
+                     PARSE_ERR(@3, (String("Argument ") + ToString(i+1) + " of built-in function '" + name + "' does not expect a \"final\" value.").c_str());
                      argsOK = false;
                      break;
                  }
              }
+             if (argsOK) {
+                 // perform built-in function's own, custom arguments checks (if any)
+                 fn->checkArgs(&*args, [&](String err) {
+                     PARSE_ERR(@3, (String("Built-in function '") + name + "()': " + err).c_str());
+                     argsOK = false;
+                 }, [&](String wrn) {
+                     PARSE_WRN(@3, (String("Built-in function '") + name + "()': " + wrn).c_str());
+                 });
+             }
              $$ = new FunctionCall(name, args, argsOK ? fn : NULL);
          }
      }
-Line 358 
 functioncall:
+Line 641 
 functioncall:
          //printf("function call of '%s' (with empty args)\n", name);
          ArgsRef args = new Args;
          VMFunction* fn = context->functionProvider->functionByName(name);
-         if (!fn) {
+         if (context->userFunctionByName(name)) {
+             PARSE_ERR(@1, (String("Missing 'call' keyword before user defined function name '") + name + "'.").c_str());
+             $$ = new FunctionCall(name, args, NULL);
+         } else if (!fn) {
              PARSE_ERR(@1, (String("No built-in function with name '") + name + "'.").c_str());
              $$ = new FunctionCall(name, args, NULL);
+         } else if (context->functionProvider->isFunctionDisabled(fn,context)) {
+             PARSE_DROP(@$);
+             $$ = new NoFunctionCall;
          } else if (fn->minRequiredArgs() > 0) {
              PARSE_ERR(@3, (String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());
              $$ = new FunctionCall(name, args, NULL);
-Line 373 
 functioncall:
+Line 662 
 functioncall:
          //printf("function call of '%s' (without args)\n", name);
          ArgsRef args = new Args;
          VMFunction* fn = context->functionProvider->functionByName(name);
-         if (!fn) {
+         if (context->userFunctionByName(name)) {
+             PARSE_ERR(@1, (String("Missing 'call' keyword before user defined function name '") + name + "'.").c_str());
+             $$ = new FunctionCall(name, args, NULL);
+         } else if (!fn) {
              PARSE_ERR(@1, (String("No built-in function with name '") + name + "'.").c_str());
              $$ = new FunctionCall(name, args, NULL);
+         } else if (context->functionProvider->isFunctionDisabled(fn,context)) {
+             PARSE_DROP(@$);
+             $$ = new NoFunctionCall;
          } else if (fn->minRequiredArgs() > 0) {
              PARSE_ERR(@1, (String("Built-in function '") + name + "' requires at least " + ToString(fn->minRequiredArgs()) + " arguments.").c_str());
              $$ = new FunctionCall(name, args, NULL);
-Line 397 
 args:
+Line 692 
 args:
  arg:
      expr
+ opt_qualifiers:
+     /* epsilon (empty argument) */  {
+         $$ = QUALIFIER_NONE;
+     }
+     | qualifiers  {
+         $$ = $1;
+     }
+ qualifiers:
+     qualifier  {
+         $$ = $1;
+     }
+     | qualifiers qualifier  {
+         if ($1 & $2)
+             PARSE_ERR(@2, ("Qualifier '" + qualifierStr($2) + "' must only be listed once.").c_str());
+         $$ = (Qualifier_t) ($1 | $2);
+     }
+ qualifier:
+     CONST_  {
+         $$ = QUALIFIER_CONST;
+     }
+     | POLYPHONIC  {
+         $$ = QUALIFIER_POLYPHONIC;
+     }
+ opt_assignment:
+     /* epsilon (empty argument) */  {
+         $$ = ExpressionRef();
+     }
+     | ASSIGNMENT expr  {
+         $$ = $2;
+     }
+ opt_arr_assignment:
+     /* epsilon (empty argument) */  {
+         $$ = ArgsRef();
+     }
+     | ASSIGNMENT '(' args ')'  {
+         $$ = $3;
+     }
  assignment:
      VARIABLE ASSIGNMENT expr  {
          //printf("variable lookup with name '%s' as assignment expr\n", $1);
-Line 406 
 assignment:
+Line 743 
 assignment:
              PARSE_ERR(@1, (String("Variable assignment: No variable declared with name '") + name + "'.").c_str());
          else if (var->isConstExpr())
              PARSE_ERR(@2, (String("Variable assignment: Cannot modify const variable '") + name + "'.").c_str());
+         else if (!var->isAssignable())
+             PARSE_ERR(@2, (String("Variable assignment: Variable '") + name + "' is not assignable.").c_str());
          else if (var->exprType() != $3->exprType())
              PARSE_ERR(@3, (String("Variable assignment: Variable '") + name + "' is of type " + typeStr(var->exprType()) + ", assignment is of type " + typeStr($3->exprType()) + " though.").c_str());
+         else if (isNumber(var->exprType())) {
+             NumberVariableRef numberVar = var;
+             NumberExprRef expr = $3;
+             if (numberVar->unitType() != expr->unitType())
+                 PARSE_ERR(@3, (String("Variable assignment: Variable '") + name + "' has unit type " + unitTypeStr(numberVar->unitType()) + ", assignment has unit type " + unitTypeStr(expr->unitType()) + " though.").c_str());
+             else if (numberVar->isFinal() != expr->isFinal())
+                 PARSE_ERR(@3, (String("Variable assignment: Variable '") + name + "' was declared as " + String(numberVar->isFinal() ? "final" : "not final") + ", assignment is " + String(expr->isFinal() ? "final" : "not final") + " though.").c_str());
+         }
          $$ = new Assignment(var, $3);
      }
      | VARIABLE '[' expr ']' ASSIGNMENT expr  {
-Line 415 
 assignment:
+Line 762 
 assignment:
          VariableRef var = context->variableByName(name);
          if (!var)
              PARSE_ERR(@1, (String("No variable declared with name '") + name + "'.").c_str());
-         else if (var->exprType() != INT_ARR_EXPR)
+         else if (!isArray(var->exprType()))
              PARSE_ERR(@2, (String("Variable '") + name + "' is not an array variable.").c_str());
+         else if (var->isConstExpr())
+             PARSE_ERR(@5, (String("Variable assignment: Cannot modify const array variable '") + name + "'.").c_str());
+         else if (!var->isAssignable())
+             PARSE_ERR(@5, (String("Variable assignment: Array variable '") + name + "' is not assignable.").c_str());
          else if ($3->exprType() != INT_EXPR)
              PARSE_ERR(@3, (String("Array variable '") + name + "' accessed with non integer expression.").c_str());
-         else if ($6->exprType() != INT_EXPR)
+         else if ($3->asInt()->unitType())
-             PARSE_ERR(@5, (String("Value assigned to array variable '") + name + "' must be an integer expression.").c_str());
+             PARSE_ERR(@3, "Unit types are not allowed as array index.");
-         IntArrayElementRef element = new IntArrayElement(var, $3);
+         else if ($6->exprType() != scalarTypeOfArray(var->exprType()))
-         $$ = new Assignment(element, $6);
+             PARSE_ERR(@5, (String("Variable '") + name + "' was declared as " + typeStr(var->exprType()) + ", assigned expression is " + typeStr($6->exprType()) + " though.").c_str());
+         else if ($6->asNumber()->unitType())
+             PARSE_ERR(@6, "Unit types are not allowed for array variables.");
+         else if ($6->asNumber()->isFinal())
+             PARSE_ERR(@6, "Final operator '!' not allowed for array variables.");
+         else if ($3->isConstExpr() && $3->asInt()->evalInt() >= ((ArrayExprRef)var)->arraySize())
+             PARSE_WRN(@3, (String("Index ") + ToString($3->asInt()->evalInt()) +
+                           " exceeds size of array variable '" + name +
+                           "' which was declared with size " +
+                           ToString(((ArrayExprRef)var)->arraySize()) + ".").c_str());
+         else if ($3->asInt()->isFinal())
+             PARSE_WRN(@3, "Final operator '!' is meaningless here.");
+         if (var->exprType() == INT_ARR_EXPR) {
+             IntArrayElementRef element = new IntArrayElement(var, $3);
+             $$ = new Assignment(element, $6);
+         } else if (var->exprType() == REAL_ARR_EXPR) {
+             RealArrayElementRef element = new RealArrayElement(var, $3);
+             $$ = new Assignment(element, $6);
+         } else {
+             $$ = new NoOperation; // actually not possible to ever get here
+         }
      }
  unary_expr:
      INTEGER  {
-         $$ = new IntLiteral($1);
+         $$ = new IntLiteral({ .value = $1 });
+     }
+     | REAL  {
+         $$ = new RealLiteral({ .value = $1 });
+     }
+     | INTEGER_UNIT  {
+         IntLiteralRef literal = new IntLiteral({
+             .value = $1.iValue,
+             .unitFactor = VMUnit::unitFactor($1.prefix),
+             .unitType = $1.unit
+         });
+         $$ = literal;
+     }
+     | REAL_UNIT  {
+         RealLiteralRef literal = new RealLiteral({
+             .value = $1.fValue,
+             .unitFactor = VMUnit::unitFactor($1.prefix),
+             .unitType = $1.unit
+         });
+         $$ = literal;
      }
      | STRING    {
          $$ = new StringLiteral($1);
-Line 439 
 unary_expr:
+Line 829 
 unary_expr:
              $$ = var;
          else {
              PARSE_ERR(@1, (String("No variable declared with name '") + $1 + "'.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
          }
      }
      | VARIABLE '[' expr ']'  {
-Line 447 
 unary_expr:
+Line 837 
 unary_expr:
          VariableRef var = context->variableByName(name);
          if (!var) {
              PARSE_ERR(@1, (String("No variable declared with name '") + name + "'.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (var->exprType() != INT_ARR_EXPR) {
+         } else if (!isArray(var->exprType())) {
              PARSE_ERR(@2, (String("Variable '") + name + "' is not an array variable.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
          } else if ($3->exprType() != INT_EXPR) {
              PARSE_ERR(@3, (String("Array variable '") + name + "' accessed with non integer expression.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if ($3->asInt()->unitType() || $3->asInt()->hasUnitFactorEver()) {
-             $$ = new IntArrayElement(var, $3);
+             PARSE_ERR(@3, "Units are not allowed as array index.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if ($3->isConstExpr() && $3->asInt()->evalInt() >= ((ArrayExprRef)var)->arraySize())
+                 PARSE_WRN(@3, (String("Index ") + ToString($3->asInt()->evalInt()) +
+                                " exceeds size of array variable '" + name +
+                                "' which was declared with size " +
+                                ToString(((ArrayExprRef)var)->arraySize()) + ".").c_str());
+             else if ($3->asInt()->isFinal())
+                 PARSE_WRN(@3, "Final operator '!' is meaningless here.");
+             if (var->exprType() == REAL_ARR_EXPR) {
+                 $$ = new RealArrayElement(var, $3);
+             } else {
+                 $$ = new IntArrayElement(var, $3);
+             }
          }
      }
      | '(' expr ')'  {
-Line 464 
 unary_expr:
+Line 868 
 unary_expr:
      | functioncall  {
          $$ = $1;
      }
+     | '+' unary_expr  {
+         $$ = $2;
+     }
      | '-' unary_expr  {
          $$ = new Neg($2);
      }
+     | BITWISE_NOT unary_expr  {
+         if ($2->exprType() != INT_EXPR) {
+             PARSE_ERR(@2, (String("Right operand of bitwise operator '.not.' must be an integer expression, is ") + typeStr($2->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if ($2->asInt()->unitType() || $2->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@2, "Units are not allowed for operands of bitwise operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             $$ = new BitwiseNot($2);
+         }
+     }
      | NOT unary_expr  {
          if ($2->exprType() != INT_EXPR) {
              PARSE_ERR(@2, (String("Right operand of operator 'not' must be an integer expression, is ") + typeStr($2->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
+         } else if ($2->asInt()->unitType() || $2->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@2, "Units are not allowed for operands of logical operations.");
+             $$ = new IntLiteral({ .value = 0 });
          } else {
              $$ = new Not($2);
          }
      }
+     | '!' unary_expr  {
+         if (!isNumber($2->exprType())) {
+             PARSE_ERR(@2, (String("Right operand of \"final\" operator '!' must be a scalar number expression, is ") + typeStr($2->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             $$ = new Final($2);
+         }
+     }
  expr:
      concat_expr
  concat_expr:
-     or_expr
+     logical_or_expr
-     | concat_expr '&' or_expr  {
+     | concat_expr '&' logical_or_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
          if (lhs->isConstExpr() && rhs->isConstExpr()) {
-Line 493 
 concat_expr:
+Line 922 
 concat_expr:
          }
      }
- or_expr:
+ logical_or_expr:
-     and_expr
+     logical_and_expr
-     | or_expr OR and_expr  {
+     | logical_or_expr OR logical_and_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
          if (lhs->exprType() != INT_EXPR) {
              PARSE_ERR(@1, (String("Left operand of operator 'or' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
          } else if (rhs->exprType() != INT_EXPR) {
              PARSE_ERR(@3, (String("Right operand of operator 'or' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asInt()->unitType() || lhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@1, "Units are not allowed for operands of logical operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (rhs->asInt()->unitType() || rhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@3, "Units are not allowed for operands of logical operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asInt()->isFinal() && !rhs->asInt()->isFinal())
+                 PARSE_WRN(@3, "Right operand of 'or' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asInt()->isFinal() && rhs->asInt()->isFinal())
+                 PARSE_WRN(@1, "Left operand of 'or' operation is not 'final', result will be 'final' though since right operand is 'final'.");
              $$ = new Or(lhs, rhs);
          }
      }
- and_expr:
+ logical_and_expr:
-     rel_expr  {
+     bitwise_or_expr  {
          $$ = $1;
      }
-     | and_expr AND rel_expr  {
+     | logical_and_expr AND bitwise_or_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
          if (lhs->exprType() != INT_EXPR) {
              PARSE_ERR(@1, (String("Left operand of operator 'and' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
          } else if (rhs->exprType() != INT_EXPR) {
              PARSE_ERR(@3, (String("Right operand of operator 'and' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asInt()->unitType() || lhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@1, "Units are not allowed for operands of logical operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (rhs->asInt()->unitType() || rhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@3, "Units are not allowed for operands of logical operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asInt()->isFinal() && !rhs->asInt()->isFinal())
+                 PARSE_WRN(@3, "Right operand of 'and' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asInt()->isFinal() && rhs->asInt()->isFinal())
+                 PARSE_WRN(@1, "Left operand of 'and' operation is not 'final', result will be 'final' though since right operand is 'final'.");
              $$ = new And(lhs, rhs);
          }
      }
+ bitwise_or_expr:
+     bitwise_and_expr
+     | bitwise_or_expr BITWISE_OR bitwise_and_expr  {
+         ExpressionRef lhs = $1;
+         ExpressionRef rhs = $3;
+         if (lhs->exprType() != INT_EXPR) {
+             PARSE_ERR(@1, (String("Left operand of bitwise operator '.or.' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (rhs->exprType() != INT_EXPR) {
+             PARSE_ERR(@3, (String("Right operand of bitwise operator '.or.' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->asInt()->unitType() || lhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@1, "Units are not allowed for operands of bitwise operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (rhs->asInt()->unitType() || rhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@3, "Units are not allowed for operands of bitwise operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asInt()->isFinal() && !rhs->asInt()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '.or.' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asInt()->isFinal() && rhs->asInt()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '.or.' operation is not 'final', result will be 'final' though since right operand is 'final'.");
+             $$ = new BitwiseOr(lhs, rhs);
+         }
+     }
+ bitwise_and_expr:
+     rel_expr  {
+         $$ = $1;
+     }
+     | bitwise_and_expr BITWISE_AND rel_expr  {
+         ExpressionRef lhs = $1;
+         ExpressionRef rhs = $3;
+         if (lhs->exprType() != INT_EXPR) {
+             PARSE_ERR(@1, (String("Left operand of bitwise operator '.and.' must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (rhs->exprType() != INT_EXPR) {
+             PARSE_ERR(@3, (String("Right operand of bitwise operator '.and.' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->asInt()->unitType() || lhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@1, "Units are not allowed for operands of bitwise operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (rhs->asInt()->unitType() || rhs->asInt()->hasUnitFactorEver()) {
+             PARSE_ERR(@3, "Units are not allowed for operands of bitwise operations.");
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asInt()->isFinal() && !rhs->asInt()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '.and.' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asInt()->isFinal() && rhs->asInt()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '.and.' operation is not 'final', result will be 'final' though since right operand is 'final'.");
+             $$ = new BitwiseAnd(lhs, rhs);
+         }
+     }
  rel_expr:
        add_expr
      | rel_expr '<' add_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (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 a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of relative operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '<' comparison is not 'final', left operand is 'final' though.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '<' comparison is not 'final', right operand is 'final' though.");
              $$ = new Relation(lhs, Relation::LESS_THAN, rhs);
          }
      }
      | rel_expr '>' add_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (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 a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of relative operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '>' comparison is not 'final', left operand is 'final' though.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '>' comparison is not 'final', right operand is 'final' though.");
              $$ = new Relation(lhs, Relation::GREATER_THAN, rhs);
          }
      }
      | rel_expr LE add_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (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 a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of relative operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '<=' comparison is not 'final', left operand is 'final' though.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '<=' comparison is not 'final', right operand is 'final' though.");
              $$ = new Relation(lhs, Relation::LESS_OR_EQUAL, rhs);
          }
      }
      | rel_expr GE add_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (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 a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of relative operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '>=' comparison is not 'final', left operand is 'final' though.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '>=' comparison is not 'final', right operand is 'final' though.");
              $$ = new Relation(lhs, Relation::GREATER_OR_EQUAL, rhs);
          }
      }
      | rel_expr '=' add_expr  {
-         $$ = new Relation($1, Relation::EQUAL, $3);
+         ExpressionRef lhs = $1;
+         ExpressionRef rhs = $3;
+         if (!isNumber(lhs->exprType())) {
+             PARSE_ERR(@1, (String("Left operand of operator '=' must be a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (!isNumber(rhs->exprType())) {
+             PARSE_ERR(@3, (String("Right operand of operator '=' must be a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of relative operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '=' comparison is not 'final', left operand is 'final' though.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '=' comparison is not 'final', right operand is 'final' though.");
+             $$ = new Relation(lhs, Relation::EQUAL, rhs);
+         }
      }
      | rel_expr '#' add_expr  {
-         $$ = new Relation($1, Relation::NOT_EQUAL, $3);
+         ExpressionRef lhs = $1;
+         ExpressionRef rhs = $3;
+         if (!isNumber(lhs->exprType())) {
+             PARSE_ERR(@1, (String("Left operand of operator '#' must be a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (!isNumber(rhs->exprType())) {
+             PARSE_ERR(@3, (String("Right operand of operator '#' must be a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of relative operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '#' comparison is not 'final', left operand is 'final' though.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '#' comparison is not 'final', right operand is 'final' though.");
+             $$ = new Relation(lhs, Relation::NOT_EQUAL, rhs);
+         }
      }
  add_expr:
-Line 593 
 add_expr:
+Line 1170 
 add_expr:
      | add_expr '+' mul_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (String("Right operand of operator '+' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             PARSE_ERR(@1, (String("Right operand of operator '+' must be a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->exprType() != rhs->exprType()) {
+             PARSE_ERR(@2, (String("Operands of operator '+' must have same type; left operand is ") +
+                       typeStr(lhs->exprType()) + " and right operand is " + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of '+' operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '+' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '+' operation is not 'final', result will be 'final' though since right operand is 'final'.");
              $$ = new Add(lhs,rhs);
          }
      }
      | add_expr '-' mul_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (String("Right operand of operator '-' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             PARSE_ERR(@1, (String("Right operand of operator '-' must be a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->exprType() != rhs->exprType()) {
+             PARSE_ERR(@2, (String("Operands of operator '-' must have same type; left operand is ") +
+                       typeStr(lhs->exprType()) + " and right operand is " + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->asNumber()->unitType() != rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Operands of '-' operations must have same unit, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '-' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '-' operation is not 'final', result will be 'final' though since right operand is 'final'.");
              $$ = new Sub(lhs,rhs);
          }
      }
-Line 622 
 mul_expr:
+Line 1225 
 mul_expr:
      | mul_expr '*' unary_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (String("Right operand of operator '*' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             PARSE_ERR(@1, (String("Right operand of operator '*' must be a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asNumber()->unitType() && rhs->asNumber()->unitType()) {
+             PARSE_ERR(@2, (String("Only one operand of operator '*' may have a unit type, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->exprType() != rhs->exprType()) {
+             PARSE_ERR(@2, (String("Operands of operator '*' must have same type; left operand is ") +
+                       typeStr(lhs->exprType()) + " and right operand is " + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '*' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '*' operation is not 'final', result will be 'final' though since right operand is 'final'.");
              $$ = new Mul(lhs,rhs);
          }
      }
      | mul_expr '/' unary_expr  {
          ExpressionRef lhs = $1;
          ExpressionRef rhs = $3;
-         if (lhs->exprType() != INT_EXPR) {
+         if (!isNumber(lhs->exprType())) {
-             PARSE_ERR(@1, (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 a scalar number expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else if (rhs->exprType() != INT_EXPR) {
+         } else if (!isNumber(rhs->exprType())) {
-             PARSE_ERR(@3, (String("Right operand of operator '/' must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
+             PARSE_ERR(@1, (String("Right operand of operator '/' must be a scalar number expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
-         } else {
+         } else if (lhs->asNumber()->unitType() && rhs->asNumber()->unitType() &&
+                    lhs->asNumber()->unitType() != rhs->asNumber()->unitType())
+         {
+             PARSE_ERR(@2, (String("Operands of operator '/' with two different unit types, left operand is ") +
+                 unitTypeStr(lhs->asNumber()->unitType()) + " and right operand is " +
+                 unitTypeStr(rhs->asNumber()->unitType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (!lhs->asNumber()->unitType() && rhs->asNumber()->unitType()) {
+             PARSE_ERR(@3, ("Dividing left operand without any unit type by right operand with unit type (" +
+                 unitTypeStr(rhs->asNumber()->unitType()) + ") is not possible.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else if (lhs->exprType() != rhs->exprType()) {
+             PARSE_ERR(@2, (String("Operands of operator '/' must have same type; left operand is ") +
+                       typeStr(lhs->exprType()) + " and right operand is " + typeStr(rhs->exprType()) + " though.").c_str());
+             $$ = new IntLiteral({ .value = 0 });
+         } else {
+             if (lhs->asNumber()->isFinal() && !rhs->asNumber()->isFinal())
+                 PARSE_WRN(@3, "Right operand of '/' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asNumber()->isFinal() && rhs->asNumber()->isFinal())
+                 PARSE_WRN(@1, "Left operand of '/' operation is not 'final', result will be 'final' though since right operand is 'final'.");
              $$ = new Div(lhs,rhs);
          }
      }
-Line 650 
 mul_expr:
+Line 1285 
 mul_expr:
          ExpressionRef rhs = $3;
          if (lhs->exprType() != INT_EXPR) {
              PARSE_ERR(@1, (String("Left operand of modulo operator must be an integer expression, is ") + typeStr(lhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
          } else if (rhs->exprType() != INT_EXPR) {
              PARSE_ERR(@3, (String("Right operand of modulo operator must be an integer expression, is ") + typeStr(rhs->exprType()) + " though.").c_str());
-             $$ = new IntLiteral(0);
+             $$ = new IntLiteral({ .value = 0 });
          } else {
+             if (lhs->asInt()->unitType() || lhs->asInt()->hasUnitFactorEver())
+                 PARSE_ERR(@1, "Operands of modulo operator must not use any unit.");
+             if (rhs->asInt()->unitType() || rhs->asInt()->hasUnitFactorEver())
+                 PARSE_ERR(@3, "Operands of modulo operator must not use any unit.");
+             if (lhs->asInt()->isFinal() && !rhs->asInt()->isFinal())
+                 PARSE_WRN(@3, "Right operand of 'mod' operation is not 'final', result will be 'final' though since left operand is 'final'.");
+             else if (!lhs->asInt()->isFinal() && rhs->asInt()->isFinal())
+                 PARSE_WRN(@1, "Left operand of 'mod' operation is not 'final', result will be 'final' though since right operand is 'final'.");
              $$ = new Mod(lhs,rhs);
          }
      }
-Line 663 
 mul_expr:
+Line 1306 
 mul_expr:
  void InstrScript_error(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* err) {
      //fprintf(stderr, "%d: %s\n", locp->first_line, err);
-     context->addErr(locp->first_line, locp->last_line, locp->first_column+1, locp->last_column+1, err);
+     context->addErr(locp->first_line, locp->last_line, locp->first_column+1,
+                     locp->last_column+1, locp->first_byte, locp->length_bytes,
+                     err);
  }
  void InstrScript_warning(YYLTYPE* locp, LinuxSampler::ParserContext* context, const char* txt) {
      //fprintf(stderr, "WRN %d: %s\n", locp->first_line, txt);
-     context->addWrn(locp->first_line, locp->last_line, locp->first_column+1, locp->last_column+1, txt);
+     context->addWrn(locp->first_line, locp->last_line, locp->first_column+1,
+                     locp->last_column+1, locp->first_byte, locp->length_bytes,
+                     txt);
+ }
+ /// Custom implementation of yytnamerr() to ensure quotation is always stripped from token names before printing them to error messages.
+ int InstrScript_tnamerr(char* yyres, const char* yystr) {
+   if (*yystr == '"') {
+       int yyn = 0;
+       char const *yyp = yystr;
+       for (;;)
+         switch (*++yyp)
+           {
+ /*
+           case '\'':
+           case ',':
+             goto do_not_strip_quotes;
+           case '\\':
+             if (*++yyp != '\\')
+               goto do_not_strip_quotes;
+ */
+             /* Fall through.  */
+           default:
+             if (yyres)
+               yyres[yyn] = *yyp;
+             yyn++;
+             break;
+           case '"':
+             if (yyres)
+               yyres[yyn] = '\0';
+             return yyn;
+           }
+ /*
+     do_not_strip_quotes: ;
+ */
+     }
+   if (! yyres)
+     return (int) yystrlen (yystr);
+   return int( yystpcpy (yyres, yystr) - yyres );
  }

 Legend:



Removed from v.2889
 


changed lines


 
Added in v.3729
 Legend:



Removed from v.2889
 


changed lines


 
Added in v.3729
-Removed from v.2889
+Added in v.3729

	ViewVC Help
Powered by ViewVC