/[svn]/linuxsampler/trunk/src/scriptvm/common.h
ViewVC logotype

Diff of /linuxsampler/trunk/src/scriptvm/common.h

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

revision 3277 by schoenebeck, Mon Jun 5 18:40:18 2017 UTC revision 3583 by schoenebeck, Fri Aug 30 12:39:18 2019 UTC
# Line 1  Line 1 
1  /*  /*
2   * Copyright (c) 2014-2017 Christian Schoenebeck   * Copyright (c) 2014-2019 Christian Schoenebeck
3   *   *
4   * http://www.linuxsampler.org   * http://www.linuxsampler.org
5   *   *
# Line 9  Line 9 
9    
10  // This header defines data types shared between the VM core implementation  // This header defines data types shared between the VM core implementation
11  // (inside the current source directory) and other parts of the sampler  // (inside the current source directory) and other parts of the sampler
12  // (located at other source directories).  // (located at other source directories). It also acts as public API of the
13    // Real-Time script engine for other applications.
14    
15  #ifndef LS_INSTR_SCRIPT_PARSER_COMMON_H  #ifndef LS_INSTR_SCRIPT_PARSER_COMMON_H
16  #define LS_INSTR_SCRIPT_PARSER_COMMON_H  #define LS_INSTR_SCRIPT_PARSER_COMMON_H
# Line 18  Line 19 
19  #include <vector>  #include <vector>
20  #include <map>  #include <map>
21  #include <stddef.h> // offsetof()  #include <stddef.h> // offsetof()
22    #include <functional> // std::function<>
23    
24  namespace LinuxSampler {  namespace LinuxSampler {
25    
26      /**      /**
27         * Native data type used by the script engine both internally, as well as
28         * for all integer data types used by scripts (i.e. for all $foo variables
29         * in NKSP scripts). Note that this is different from the original KSP which
30         * is limited to 32 bit for integer variables in KSP scripts.
31         */
32        typedef int64_t vmint;
33    
34        /**
35         * Native data type used internally by the script engine for all unsigned
36         * integer types. This type is currently not exposed to scripts.
37         */
38        typedef uint64_t vmuint;
39    
40        /**
41         * Native data type used by the script engine both internally for floating
42         * point data, as well as for all @c real data types used by scripts (i.e.
43         * for all ~foo variables in NKSP scripts).
44         */
45        typedef float vmfloat;
46    
47        /**
48       * Identifies the type of a noteworthy issue identified by the script       * Identifies the type of a noteworthy issue identified by the script
49       * parser. That's either a parser error or parser warning.       * parser. That's either a parser error or parser warning.
50       */       */
# Line 43  namespace LinuxSampler { Line 66  namespace LinuxSampler {
66          INT_ARR_EXPR, ///< integer array expression          INT_ARR_EXPR, ///< integer array expression
67          STRING_EXPR, ///< string expression          STRING_EXPR, ///< string expression
68          STRING_ARR_EXPR, ///< string array expression          STRING_ARR_EXPR, ///< string array expression
69            REAL_EXPR, ///< floating point (scalar) expression
70            REAL_ARR_EXPR, ///< floating point array expression
71      };      };
72    
73      /** @brief Result flags of a script statement or script function call.      /** @brief Result flags of a script statement or script function call.
# Line 80  namespace LinuxSampler { Line 105  namespace LinuxSampler {
105       *       *
106       * Identifies one of the possible event handler callback types defined by       * Identifies one of the possible event handler callback types defined by
107       * the NKSP script language.       * the NKSP script language.
108         *
109         * IMPORTANT: this type is forced to be emitted as int32_t type ATM, because
110         * that's the native size expected by the built-in instrument script
111         * variable bindings (see occurrences of VMInt32RelPtr and DECLARE_VMINT
112         * respectively. A native type mismatch between the two could lead to
113         * undefined behavior! Background: By definition the C/C++ compiler is free
114         * to choose a bit size for individual enums which it might find
115         * appropriate, which is usually decided by the compiler according to the
116         * biggest enum constant value defined (in practice it is usually 32 bit).
117       */       */
118      enum VMEventHandlerType_t {      enum VMEventHandlerType_t : int32_t {
119          VM_EVENT_HANDLER_INIT, ///< Initilization event handler, that is script's "on init ... end on" code block.          VM_EVENT_HANDLER_INIT, ///< Initilization event handler, that is script's "on init ... end on" code block.
120          VM_EVENT_HANDLER_NOTE, ///< Note event handler, that is script's "on note ... end on" code block.          VM_EVENT_HANDLER_NOTE, ///< Note event handler, that is script's "on note ... end on" code block.
121          VM_EVENT_HANDLER_RELEASE, ///< Release event handler, that is script's "on release ... end on" code block.          VM_EVENT_HANDLER_RELEASE, ///< Release event handler, that is script's "on release ... end on" code block.
122          VM_EVENT_HANDLER_CONTROLLER, ///< Controller event handler, that is script's "on controller ... end on" code block.          VM_EVENT_HANDLER_CONTROLLER, ///< Controller event handler, that is script's "on controller ... end on" code block.
123      };      };
124    
125        /**
126         * All metric unit prefixes (actually just scale factors) supported by this
127         * script engine.
128         */
129        enum MetricPrefix_t {
130            VM_NO_PREFIX = 0, ///< = 1
131            VM_KILO,          ///< = 10^3, short 'k'
132            VM_HECTO,         ///< = 10^2, short 'h'
133            VM_DECA,          ///< = 10, short 'da'
134            VM_DECI,          ///< = 10^-1, short 'd'
135            VM_CENTI,         ///< = 10^-2, short 'c' (this is also used for tuning "cents")
136            VM_MILLI,         ///< = 10^-3, short 'm'
137            VM_MICRO,         ///< = 10^-6, short 'u'
138        };
139    
140        /**
141         * This constant is used for comparison with Unit::unitFactor() to check
142         * whether a number does have any metric unit prefix at all.
143         *
144         * @see Unit::unitFactor()
145         */
146        static const vmfloat VM_NO_FACTOR = vmfloat(1);
147    
148        /**
149         * All measurement unit types supported by this script engine.
150         *
151         * @e Note: there is no standard unit "cents" here (for pitch/tuning), use
152         * @c VM_CENTI for the latter instad. That's because the commonly cited
153         * "cents" unit is actually no measurement unit type but rather a metric
154         * unit prefix.
155         *
156         * @see MetricPrefix_t
157         */
158        enum StdUnit_t {
159            VM_NO_UNIT = 0, ///< No unit used, the number is just an abstract number.
160            VM_SECOND,      ///< Measuring time.
161            VM_HERTZ,       ///< Measuring frequency.
162            VM_BEL,         ///< Measuring relation between two energy levels (in logarithmic scale). Since we are using it for accoustics, we are always referring to A-weighted Bels (i.e. dBA).
163        };
164    
165        //TODO: see Unit::hasUnitFactorEver()
166        enum EverTriState_t {
167            VM_NEVER = 0,
168            VM_MAYBE,
169            VM_ALWAYS,
170        };
171    
172      // just symbol prototyping      // just symbol prototyping
173      class VMIntExpr;      class VMIntExpr;
174        class VMRealExpr;
175      class VMStringExpr;      class VMStringExpr;
176        class VMNumberExpr;
177        class VMArrayExpr;
178      class VMIntArrayExpr;      class VMIntArrayExpr;
179        class VMRealArrayExpr;
180      class VMStringArrayExpr;      class VMStringArrayExpr;
181        class VMParserContext;
182    
183        /** @brief Virtual machine standard measuring unit.
184         *
185         * Abstract base class representing standard measurement units throughout
186         * the script engine. These might be e.g. "dB" (deci Bel) for loudness,
187         * "Hz" (Hertz) for frequencies or "s" for "seconds". These unit types can
188         * combined with metric prefixes, for instance "kHz" (kilo Hertz),
189         * "us" (micro second), etc.
190         *
191         * Originally the script engine only supported abstract integer values for
192         * controlling any synthesis parameter or built-in function argument or
193         * variable. Under certain situations it makes sense though for an
194         * instrument script author to provide values in real, standard measurement
195         * units to provide a more natural and intuitive approach for writing
196         * instrument scripts, for example by setting the frequency of some LFO
197         * directly to "20Hz" or reducing loudness by "-4.2dB". Hence support for
198         * standard units in scripts was added as an extension to the NKSP script
199         * engine.
200         *
201         * So a unit consists of 1) a sequence of metric prefixes as scale factor
202         * (e.g. "k" for kilo) and 2) the actual unit type (e.g. "Hz" for Hertz).
203         * The unit type is a constant feature of number literals and variables, so
204         * once a variable was declared with a unit type (or no unit type at all)
205         * then that unit type of that variable cannot be changed for the entire
206         * life time of the script. This is different from the unit's metric
207         * prefix(es) of variables which may freely be changed at runtime.
208         */
209        class VMUnit {
210        public:
211            /**
212             * Returns the metric prefix(es) of this unit as unit factor. A metric
213             * prefix essentially is just a mathematical scale factor that should be
214             * applied to the number associated with the measurement unit. Consider
215             * a string literal in an NKSP script like '3kHz' where 'k' (kilo) is
216             * the metric prefix, which essentically is a scale factor of 1000.
217             *
218             * Usually a unit either has exactly none or one metric prefix, but note
219             * that there might also be units with more than one prefix, for example
220             * @c mdB (milli deci Bel) is used sometimes which has two prefixes. The
221             * latter is an exception though and more than two prefixes is currently
222             * not supported by the script engine.
223             *
224             * The factor returned by this method is the final mathematical factor
225             * that should be multiplied against the number associated with this
226             * unit. This factor results from the sequence of metric prefixes of
227             * this unit.
228             *
229             * @see MetricPrefix_t, hasUnitFactorNow(), hasUnitFactorEver(),
230             *      VM_NO_FACTOR
231             * @returns current metric unit factor
232             */
233            virtual vmfloat unitFactor() const = 0;
234    
235            //TODO: this still needs to be implemented in tree.h/.pp, built-in functions and as 2nd pass of parser appropriately
236            /*virtual*/ EverTriState_t hasUnitFactorEver() const { return VM_NEVER; }
237    
238            /**
239             * Whether this unit currently does have any metric unit prefix.
240             *
241             * This is actually just a convenience method which returns @c true if
242             * unitFactor() is not @c 1.0.
243             *
244             * @see MetricPrefix_t, unitFactor(), hasUnitFactorEver(), VM_NO_FACTOR
245             * @returns @c true if this unit currently has any metric prefix
246             */
247            bool hasUnitFactorNow() const;
248    
249            /**
250             * This is the actual fundamental measuring unit base type of this unit,
251             * which might be either Hertz, second or Bel.
252             *
253             * Note that a number without a unit type may still have metric
254             * prefixes.
255             *
256             * @returns standard unit type identifier or VM_NO_UNIT if no unit type
257             *          is used for this object
258             */
259            virtual StdUnit_t unitType() const = 0;
260    
261            /**
262             * Returns the actual mathematical factor represented by the passed
263             * @a prefix argument.
264             */
265            static vmfloat unitFactor(MetricPrefix_t prefix);
266    
267            /**
268             * Returns the actual mathematical factor represented by the passed
269             * two @a prefix1 and @a prefix2 arguments.
270             *
271             * @returns scale factor of given metric unit prefixes
272             */
273            static vmfloat unitFactor(MetricPrefix_t prefix1, MetricPrefix_t prefix2);
274    
275            /**
276             * Returns the actual mathematical factor represented by the passed
277             * @a prefixes array. The passed array should always be terminated by a
278             * VM_NO_PREFIX value as last element.
279             *
280             * @param prefixes - sequence of metric prefixes
281             * @param size - max. amount of elements of array @a prefixes
282             * @returns scale factor of given metric unit prefixes
283             */
284            static vmfloat unitFactor(const MetricPrefix_t* prefixes, vmuint size = 2);
285        };
286    
287      /** @brief Virtual machine expression      /** @brief Virtual machine expression
288       *       *
# Line 125  namespace LinuxSampler { Line 315  namespace LinuxSampler {
315           * if this expression is i.e. actually a string expression like "12",           * if this expression is i.e. actually a string expression like "12",
316           * calling asInt() will @b not cast that numerical string expression to           * calling asInt() will @b not cast that numerical string expression to
317           * an integer expression 12 for you, instead this method will simply           * an integer expression 12 for you, instead this method will simply
318           * return NULL!           * return NULL! Same applies if this expression is actually a real
319             * number expression: asInt() would return NULL in that case as well.
320           *           *
321           * @see exprType()           * @see exprType(), asReal(), asNumber()
322           */           */
323          VMIntExpr* asInt() const;          VMIntExpr* asInt() const;
324    
325          /**          /**
326             * In case this expression is a real number (floating point) expression,
327             * then this method returns a casted pointer to that VMRealExpr object.
328             * It returns NULL if this expression is not a real number expression.
329             *
330             * @b Note: type casting performed by this method is strict! That means
331             * if this expression is i.e. actually a string expression like "12",
332             * calling asReal() will @b not cast that numerical string expression to
333             * a real number expression 12.0 for you, instead this method will
334             * simply return NULL! Same applies if this expression is actually an
335             * integer expression: asReal() would return NULL in that case as well.
336             *
337             * @see exprType(), asInt(), asNumber()
338             */
339            VMRealExpr* asReal() const;
340    
341            /**
342             * In case this expression is a scalar number expression, that is either
343             * an integer (scalar) expression or a real number (floating point
344             * scalar) expression, then this method returns a casted pointer to that
345             * VMNumberExpr base class object. It returns NULL if this
346             * expression is neither an integer (scalar), nor a real number (scalar)
347             * expression.
348             *
349             * Since the methods asInt() and asReal() are very strict, this method
350             * is provided as convenience access in case only very general
351             * information (e.g. which standard measurement unit is being used or
352             * whether final operator being effective to this expression) is
353             * intended to be retrieved of this scalar number expression independent
354             * from whether this expression is actually an integer or a real number
355             * expression.
356             *
357             * @see exprType(), asInt(), asReal()
358             */
359            VMNumberExpr* asNumber() const;
360    
361            /**
362           * In case this expression is a string expression, then this method           * In case this expression is a string expression, then this method
363           * returns a casted pointer to that VMStringExpr object. It returns NULL           * returns a casted pointer to that VMStringExpr object. It returns NULL
364           * if this expression is not a string expression.           * if this expression is not a string expression.
# Line 152  namespace LinuxSampler { Line 379  namespace LinuxSampler {
379           * returns NULL if this expression is not an integer array expression.           * returns NULL if this expression is not an integer array expression.
380           *           *
381           * @b Note: type casting performed by this method is strict! That means           * @b Note: type casting performed by this method is strict! That means
382           * if this expression is i.e. an integer expression or a string           * if this expression is i.e. an integer scalar expression, a real
383           * expression, calling asIntArray() will @b not cast those scalar           * number expression or a string expression, calling asIntArray() will
384           * expressions to an array expression for you, instead this method will           * @b not cast those expressions to an integer array expression for you,
385           * simply return NULL!           * instead this method will simply return NULL!
386           *           *
387           * @b Note: this method is currently, and in contrast to its other           * @b Note: this method is currently, and in contrast to its other
388           * counter parts, declared as virtual method. Some deriving classes are           * counter parts, declared as virtual method. Some deriving classes are
# Line 170  namespace LinuxSampler { Line 397  namespace LinuxSampler {
397          virtual VMIntArrayExpr* asIntArray() const;          virtual VMIntArrayExpr* asIntArray() const;
398    
399          /**          /**
400             * In case this expression is a real number (floating point) array
401             * expression, then this method returns a casted pointer to that
402             * VMRealArrayExpr object. It returns NULL if this expression is not a
403             * real number array expression.
404             *
405             * @b Note: type casting performed by this method is strict! That means
406             * if this expression is i.e. a real number scalar expression, an
407             * integer expression or a string expression, calling asRealArray() will
408             * @b not cast those scalar expressions to a real number array
409             * expression for you, instead this method will simply return NULL!
410             *
411             * @b Note: this method is currently, and in contrast to its other
412             * counter parts, declared as virtual method. Some deriving classes are
413             * currently using this to override this default implementation in order
414             * to implement an "evaluate now as real number array" behavior. This
415             * has efficiency reasons, however this also currently makes this part
416             * of the API less clean and should thus be addressed in future with
417             * appropriate changes to the API.
418             *
419             * @see exprType()
420             */
421            virtual VMRealArrayExpr* asRealArray() const;
422    
423            /**
424             * This is an alternative to calling either asIntArray() or
425             * asRealArray(). This method here might be used if the fundamental
426             * scalar data type (real or integer) of the array is not relevant,
427             * i.e. for just getting the size of the array. Since all as*() methods
428             * here are very strict regarding type casting, this asArray() method
429             * sometimes can reduce code complexity.
430             *
431             * Likewise calling this method only returns a valid pointer if the
432             * expression is some array type (currently either integer array or real
433             * number array). For any other expression type this method will return
434             * NULL instead.
435             *
436             * @see exprType()
437             */
438            VMArrayExpr* asArray() const;
439    
440            /**
441           * Returns true in case this expression can be considered to be a           * Returns true in case this expression can be considered to be a
442           * constant expression. A constant expression will retain the same           * constant expression. A constant expression will retain the same
443           * value throughout the entire life time of a script and the           * value throughout the entire life time of a script and the
# Line 200  namespace LinuxSampler { Line 468  namespace LinuxSampler {
468          bool isModifyable() const;          bool isModifyable() const;
469      };      };
470    
471        /** @brief Virtual machine scalar number expression
472         *
473         * This is the abstract base class for integer (scalar) expressions and
474         * real number (floating point scalar) expressions of scripts.
475         */
476        class VMNumberExpr : virtual public VMExpr, virtual public VMUnit {
477        public:
478            /**
479             * Returns @c true if the value of this expression should be applied
480             * as final value to the respective destination synthesis chain
481             * parameter.
482             *
483             * This property is somewhat special and dedicated for the purpose of
484             * this expression's (integer or real number) value to be applied as
485             * parameter to the synthesis chain of the sampler (i.e. for altering a
486             * filter cutoff frequency). Now historically and by default all values
487             * of scripts are applied relatively to the sampler's synthesis chain,
488             * that is the synthesis parameter value of a script is multiplied
489             * against other sources for the same synthesis parameter (i.e. an LFO
490             * or a dedicated MIDI controller either hard wired in the engine or
491             * defined by the instrument patch). So by default the resulting actual
492             * final synthesis parameter is a combination of all these sources. This
493             * has the advantage that it creates a very living and dynamic overall
494             * sound.
495             *
496             * However sometimes there are requirements by script authors where this
497             * is not what you want. Therefore the NKSP script engine added a
498             * language extension by prefixing a value in scripts with a @c !
499             * character the value will be defined as being the "final" value of the
500             * destination synthesis parameter, so that causes this value to be
501             * applied exclusively, and the values of all other sources are thus
502             * entirely ignored by the sampler's synthesis core as long as this
503             * value is assigned by the script engine as "final" value for the
504             * requested synthesis parameter.
505             */
506            virtual bool isFinal() const = 0;
507    
508            /**
509             * Calling this method evaluates the expression and returns the value
510             * of the expression as integer. If this scalar number expression is a
511             * real number expression then this method automatically casts the value
512             * from real number to integer.
513             */
514            vmint evalCastInt();
515    
516            /**
517             * Calling this method evaluates the expression and returns the value
518             * of the expression as real number. If this scalar number expression is
519             * an integer expression then this method automatically casts the value
520             * from integer to real number.
521             */
522            vmfloat evalCastReal();
523        };
524    
525      /** @brief Virtual machine integer expression      /** @brief Virtual machine integer expression
526       *       *
527       * This is the abstract base class for all expressions inside scripts which       * This is the abstract base class for all expressions inside scripts which
# Line 207  namespace LinuxSampler { Line 529  namespace LinuxSampler {
529       * abstract method evalInt() to return the actual integer result value of       * abstract method evalInt() to return the actual integer result value of
530       * the expression.       * the expression.
531       */       */
532      class VMIntExpr : virtual public VMExpr {      class VMIntExpr : virtual public VMNumberExpr {
533      public:      public:
534          /**          /**
535           * Returns the result of this expression as integer (scalar) value.           * Returns the result of this expression as integer (scalar) value.
536           * This abstract method must be implemented by deriving classes.           * This abstract method must be implemented by deriving classes.
537           */           */
538          virtual int evalInt() = 0;          virtual vmint evalInt() = 0;
539    
540            /**
541             * Returns the result of this expression as integer (scalar) value and
542             * thus behaves similar to the previous method, however this overridden
543             * method automatically takes unit prefixes into account and returns a
544             * value corresponding to the expected given unit @a prefix.
545             *
546             * @param prefix - default measurement unit prefix expected by caller
547             */
548            vmint evalInt(MetricPrefix_t prefix);
549    
550            /**
551             * This method behaves like the previous method, just that it takes
552             * a default measurement prefix with two elements (i.e. "milli cents"
553             * for tuning).
554             */
555            vmint evalInt(MetricPrefix_t prefix1, MetricPrefix_t prefix2);
556    
557          /**          /**
558           * Returns always INT_EXPR for instances of this class.           * Returns always INT_EXPR for instances of this class.
# Line 221  namespace LinuxSampler { Line 560  namespace LinuxSampler {
560          ExprType_t exprType() const OVERRIDE { return INT_EXPR; }          ExprType_t exprType() const OVERRIDE { return INT_EXPR; }
561      };      };
562    
563        /** @brief Virtual machine real number (floating point scalar) expression
564         *
565         * This is the abstract base class for all expressions inside scripts which
566         * evaluate to a real number (floating point scalar) value. Deriving classes
567         * implement the abstract method evalReal() to return the actual floating
568         * point result value of the expression.
569         */
570        class VMRealExpr : virtual public VMNumberExpr {
571        public:
572            /**
573             * Returns the result of this expression as real number (floating point
574             * scalar) value. This abstract method must be implemented by deriving
575             * classes.
576             */
577            virtual vmfloat evalReal() = 0;
578    
579            /**
580             * Returns the result of this expression as real number (floating point
581             * scalar) value and thus behaves similar to the previous method,
582             * however this overridden method automatically takes unit prefixes into
583             * account and returns a value corresponding to the expected given unit
584             * @a prefix.
585             *
586             * @param prefix - default measurement unit prefix expected by caller
587             */
588            vmfloat evalReal(MetricPrefix_t prefix);
589    
590            /**
591             * This method behaves like the previous method, just that it takes
592             * a default measurement prefix with two elements (i.e. "milli cents"
593             * for tuning).
594             */
595            vmfloat evalReal(MetricPrefix_t prefix1, MetricPrefix_t prefix2);
596    
597            /**
598             * Returns always REAL_EXPR for instances of this class.
599             */
600            ExprType_t exprType() const OVERRIDE { return REAL_EXPR; }
601        };
602    
603      /** @brief Virtual machine string expression      /** @brief Virtual machine string expression
604       *       *
605       * This is the abstract base class for all expressions inside scripts which       * This is the abstract base class for all expressions inside scripts which
# Line 255  namespace LinuxSampler { Line 634  namespace LinuxSampler {
634           * Returns amount of elements in this array. This abstract method must           * Returns amount of elements in this array. This abstract method must
635           * be implemented by deriving classes.           * be implemented by deriving classes.
636           */           */
637          virtual int arraySize() const = 0;          virtual vmint arraySize() const = 0;
638        };
639    
640        /** @brief Virtual Machine Number Array Expression
641         *
642         * This is the abstract base class for all expressions which either evaluate
643         * to an integer array or real number array.
644         */
645        class VMNumberArrayExpr : virtual public VMArrayExpr {
646        public:
647            /**
648             * Returns the metric unit factor of the requested array element.
649             *
650             * @param i - array element index (must be between 0 .. arraySize() - 1)
651             * @see VMUnit::unitFactor() for details about metric unit factors
652             */
653            virtual vmfloat unitFactorOfElement(vmuint i) const = 0;
654    
655            /**
656             * Changes the current unit factor of the array element given by element
657             * index @a i.
658             *
659             * @param i - array element index (must be between 0 .. arraySize() - 1)
660             * @param factor - new unit factor to be assigned
661             * @see VMUnit::unitFactor() for details about metric unit factors
662             */
663            virtual void assignElementUnitFactor(vmuint i, vmfloat factor) = 0;
664      };      };
665    
666      /** @brief Virtual Machine Integer Array Expression      /** @brief Virtual Machine Integer Array Expression
# Line 265  namespace LinuxSampler { Line 670  namespace LinuxSampler {
670       * abstract methods arraySize(), evalIntElement() and assignIntElement() to       * abstract methods arraySize(), evalIntElement() and assignIntElement() to
671       * access the individual integer array values.       * access the individual integer array values.
672       */       */
673      class VMIntArrayExpr : virtual public VMArrayExpr {      class VMIntArrayExpr : virtual public VMNumberArrayExpr {
674      public:      public:
675          /**          /**
676           * Returns the (scalar) integer value of the array element given by           * Returns the (scalar) integer value of the array element given by
# Line 273  namespace LinuxSampler { Line 678  namespace LinuxSampler {
678           *           *
679           * @param i - array element index (must be between 0 .. arraySize() - 1)           * @param i - array element index (must be between 0 .. arraySize() - 1)
680           */           */
681          virtual int evalIntElement(uint i) = 0;          virtual vmint evalIntElement(vmuint i) = 0;
682    
683          /**          /**
684           * Changes the current value of an element (given by array element           * Changes the current value of an element (given by array element
# Line 282  namespace LinuxSampler { Line 687  namespace LinuxSampler {
687           * @param i - array element index (must be between 0 .. arraySize() - 1)           * @param i - array element index (must be between 0 .. arraySize() - 1)
688           * @param value - new integer scalar value to be assigned to that array element           * @param value - new integer scalar value to be assigned to that array element
689           */           */
690          virtual void assignIntElement(uint i, int value) = 0;          virtual void assignIntElement(vmuint i, vmint value) = 0;
691    
692          /**          /**
693           * Returns always INT_ARR_EXPR for instances of this class.           * Returns always INT_ARR_EXPR for instances of this class.
# Line 290  namespace LinuxSampler { Line 695  namespace LinuxSampler {
695          ExprType_t exprType() const OVERRIDE { return INT_ARR_EXPR; }          ExprType_t exprType() const OVERRIDE { return INT_ARR_EXPR; }
696      };      };
697    
698        /** @brief Virtual Machine Real Number Array Expression
699         *
700         * This is the abstract base class for all expressions inside scripts which
701         * evaluate to an array of real numbers (floating point values). Deriving
702         * classes implement the abstract methods arraySize(), evalRealElement() and
703         * assignRealElement() to access the array's individual real numbers.
704         */
705        class VMRealArrayExpr : virtual public VMNumberArrayExpr {
706        public:
707            /**
708             * Returns the (scalar) real mumber (floating point value) of the array
709             * element given by element index @a i.
710             *
711             * @param i - array element index (must be between 0 .. arraySize() - 1)
712             */
713            virtual vmfloat evalRealElement(vmuint i) = 0;
714    
715            /**
716             * Changes the current value of an element (given by array element
717             * index @a i) of this real number array.
718             *
719             * @param i - array element index (must be between 0 .. arraySize() - 1)
720             * @param value - new real number value to be assigned to that array element
721             */
722            virtual void assignRealElement(vmuint i, vmfloat value) = 0;
723    
724            /**
725             * Returns always REAL_ARR_EXPR for instances of this class.
726             */
727            ExprType_t exprType() const OVERRIDE { return REAL_ARR_EXPR; }
728        };
729    
730      /** @brief Arguments (parameters) for being passed to a built-in script function.      /** @brief Arguments (parameters) for being passed to a built-in script function.
731       *       *
732       * An argument or a set of arguments passed to a script function are       * An argument or a set of arguments passed to a script function are
# Line 304  namespace LinuxSampler { Line 741  namespace LinuxSampler {
741           * Returns the amount of arguments going to be passed to the script           * Returns the amount of arguments going to be passed to the script
742           * function.           * function.
743           */           */
744          virtual int argsCount() const = 0;          virtual vmint argsCount() const = 0;
745    
746          /**          /**
747           * Returns the respective argument (requested by argument index @a i) of           * Returns the respective argument (requested by argument index @a i) of
# Line 314  namespace LinuxSampler { Line 751  namespace LinuxSampler {
751           *           *
752           * @param i - function argument index (indexed from left to right)           * @param i - function argument index (indexed from left to right)
753           */           */
754          virtual VMExpr* arg(int i) = 0;          virtual VMExpr* arg(vmint i) = 0;
755      };      };
756    
757      /** @brief Result value returned from a call to a built-in script function.      /** @brief Result value returned from a call to a built-in script function.
# Line 370  namespace LinuxSampler { Line 807  namespace LinuxSampler {
807          /**          /**
808           * Script data type of the function's return value. If the function does           * Script data type of the function's return value. If the function does
809           * not return any value (void), then it returns EMPTY_EXPR here.           * not return any value (void), then it returns EMPTY_EXPR here.
810             *
811             * Some functions may have a different return type depending on the
812             * arguments to be passed to this function. That's what the @a args
813             * parameter is for, so that the method implementation can look ahead
814             * of what kind of parameters are going to be passed to the built-in
815             * function later on in order to decide which return value type would
816             * be used and returned by the function accordingly in that case.
817             *
818             * @param args - function arguments going to be passed for executing
819             *               this built-in function later on
820           */           */
821          virtual ExprType_t returnType() = 0;          virtual ExprType_t returnType(VMFnArgs* args) = 0;
822    
823            /**
824             * Standard measuring unit type of the function's result value
825             * (e.g. second, Hertz).
826             *
827             * Some functions may have a different standard measuring unit type for
828             * their return value depending on the arguments to be passed to this
829             * function. That's what the @a args parameter is for, so that the
830             * method implementation can look ahead of what kind of parameters are
831             * going to be passed to the built-in function later on in order to
832             * decide which return value type would be used and returned by the
833             * function accordingly in that case.
834             *
835             * @param args - function arguments going to be passed for executing
836             *               this built-in function later on
837             * @see Unit for details about standard measuring units
838             */
839            virtual StdUnit_t returnUnitType(VMFnArgs* args) = 0;
840    
841            /**
842             * Whether the result value returned by this built-in function is
843             * considered to be a 'final' value.
844             *
845             * Some functions may have a different 'final' feature for their return
846             * value depending on the arguments to be passed to this function.
847             * That's what the @a args parameter is for, so that the method
848             * implementation can look ahead of what kind of parameters are going to
849             * be passed to the built-in function later on in order to decide which
850             * return value type would be used and returned by the function
851             * accordingly in that case.
852             *
853             * @param args - function arguments going to be passed for executing
854             *               this built-in function later on
855             * @see VMNumberExpr::isFinal() for details about 'final' values
856             */
857            virtual bool returnsFinal(VMFnArgs* args) = 0;
858    
859          /**          /**
860           * Minimum amount of function arguments this function accepts. If a           * Minimum amount of function arguments this function accepts. If a
861           * script is calling this function with less arguments, the script           * script is calling this function with less arguments, the script
862           * parser will throw a parser error.           * parser will throw a parser error.
863           */           */
864          virtual int minRequiredArgs() const = 0;          virtual vmint minRequiredArgs() const = 0;
865    
866          /**          /**
867           * Maximum amount of function arguments this functions accepts. If a           * Maximum amount of function arguments this functions accepts. If a
868           * script is calling this function with more arguments, the script           * script is calling this function with more arguments, the script
869           * parser will throw a parser error.           * parser will throw a parser error.
870           */           */
871          virtual int maxAllowedArgs() const = 0;          virtual vmint maxAllowedArgs() const = 0;
872    
873          /**          /**
874           * Script data type of the function's @c iArg 'th function argument.           * Script data type of the function's @c iArg 'th function argument.
# Line 401  namespace LinuxSampler { Line 884  namespace LinuxSampler {
884           * @param iArg - index of the function argument in question           * @param iArg - index of the function argument in question
885           *               (must be between 0 .. maxAllowedArgs() - 1)           *               (must be between 0 .. maxAllowedArgs() - 1)
886           */           */
887          virtual ExprType_t argType(int iArg) const = 0;          virtual ExprType_t argType(vmint iArg) const = 0;
888    
889          /**          /**
890           * This method is called by the parser to check whether arguments           * This method is called by the parser to check whether arguments
# Line 419  namespace LinuxSampler { Line 902  namespace LinuxSampler {
902           * @return true if the given data type would be accepted for the           * @return true if the given data type would be accepted for the
903           *         respective function argument by the function           *         respective function argument by the function
904           */           */
905          virtual bool acceptsArgType(int iArg, ExprType_t type) const = 0;          virtual bool acceptsArgType(vmint iArg, ExprType_t type) const = 0;
906    
907            /**
908             * This method is called by the parser to check whether arguments
909             * passed in scripts to this function are accepted by this function. If
910             * a script calls this function with an argument's measuremnt unit type
911             * not accepted by this function, the parser will throw a parser error.
912             *
913             * This default implementation of this method does not accept any
914             * measurement unit. Deriving subclasses would override this method
915             * implementation in case they do accept any measurement unit for its
916             * function arguments.
917             *
918             * @param iArg - index of the function argument in question
919             *               (must be between 0 .. maxAllowedArgs() - 1)
920             * @param type - standard measurement unit data type used for this
921             *               function argument by currently parsed script
922             * @return true if the given standard measurement unit type would be
923             *         accepted for the respective function argument by the function
924             */
925            virtual bool acceptsArgUnitType(vmint iArg, StdUnit_t type) const;
926    
927            /**
928             * This method is called by the parser to check whether arguments
929             * passed in scripts to this function are accepted by this function. If
930             * a script calls this function with a metric unit prefix and metric
931             * prefixes are not accepted for that argument by this function, then
932             * the parser will throw a parser error.
933             *
934             * This default implementation of this method does not accept any
935             * metric prefix. Deriving subclasses would override this method
936             * implementation in case they do accept any metric prefix for its
937             * function arguments.
938             *
939             * @param iArg - index of the function argument in question
940             *               (must be between 0 .. maxAllowedArgs() - 1)
941             * @param type - standard measurement unit data type used for that
942             *               function argument by currently parsed script
943             *
944             * @return true if a metric prefix would be accepted for the respective
945             *         function argument by this function
946             *
947             * @see MetricPrefix_t
948             */
949            virtual bool acceptsArgUnitPrefix(vmint iArg, StdUnit_t type) const;
950    
951            /**
952             * This method is called by the parser to check whether arguments
953             * passed in scripts to this function are accepted by this function. If
954             * a script calls this function with an argument that is declared to be
955             * a "final" value and this is not accepted by this function, the parser
956             * will throw a parser error.
957             *
958             * This default implementation of this method does not accept a "final"
959             * value. Deriving subclasses would override this method implementation
960             * in case they do accept a "final" value for its function arguments.
961             *
962             * @param iArg - index of the function argument in question
963             *               (must be between 0 .. maxAllowedArgs() - 1)
964             * @return true if a "final" value would be accepted for the respective
965             *         function argument by the function
966             *
967             * @see VMNumberExpr::isFinal(), returnsFinal()
968             */
969            virtual bool acceptsArgFinal(vmint iArg) const;
970    
971          /**          /**
972           * This method is called by the parser to check whether some arguments           * This method is called by the parser to check whether some arguments
# Line 434  namespace LinuxSampler { Line 981  namespace LinuxSampler {
981           * @param iArg - index of the function argument in question           * @param iArg - index of the function argument in question
982           *               (must be between 0 .. maxAllowedArgs() - 1)           *               (must be between 0 .. maxAllowedArgs() - 1)
983           */           */
984          virtual bool modifiesArg(int iArg) const = 0;          virtual bool modifiesArg(vmint iArg) const = 0;
985    
986            /**
987             * This method is called by the parser to let the built-in function
988             * perform its own, individual parse time checks on the arguments to be
989             * passed to the built-in function. So this method is the place for
990             * implementing custom checks which are very specific to the individual
991             * built-in function's purpose and its individual requirements.
992             *
993             * For instance the built-in 'in_range()' function uses this method to
994             * check whether the last 2 of their 3 arguments are of same data type
995             * and if not it triggers a parser error. 'in_range()' also checks
996             * whether all of its 3 arguments do have the same standard measuring
997             * unit type and likewise raises a parser error if not.
998             *
999             * For less critical issues built-in functions may also raise parser
1000             * warnings instead.
1001             *
1002             * It is recommended that classes implementing (that is overriding) this
1003             * method should always call their super class's implementation of this
1004             * method to ensure their potential parse time checks are always
1005             * performed as well.
1006             *
1007             * @param args - function arguments going to be passed for executing
1008             *               this built-in function later on
1009             * @param err - the parser's error handler to be called by this method
1010             *              implementation to trigger a parser error with the
1011             *              respective error message text
1012             * @param wrn - the parser's warning handler to be called by this method
1013             *              implementation to trigger a parser warning with the
1014             *              respective warning message text
1015             */
1016            virtual void checkArgs(VMFnArgs* args,
1017                                   std::function<void(String)> err,
1018                                   std::function<void(String)> wrn);
1019    
1020          /**          /**
1021           * Implements the actual function execution. This exec() method is           * Implements the actual function execution. This exec() method is
# Line 468  namespace LinuxSampler { Line 1049  namespace LinuxSampler {
1049    
1050      /** @brief Virtual machine relative pointer.      /** @brief Virtual machine relative pointer.
1051       *       *
1052       * POD base of VMIntRelPtr and VMInt8RelPtr structures. Not intended to be       * POD base of VMInt64RelPtr, VMInt32RelPtr and VMInt8RelPtr structures. Not
1053       * used directly. Use VMIntRelPtr or VMInt8RelPtr instead.       * intended to be used directly. Use VMInt64RelPtr, VMInt32RelPtr,
1054         * VMInt8RelPtr instead.
1055       *       *
1056       * @see VMIntRelPtr, VMInt8RelPtr       * @see VMInt64RelPtr, VMInt32RelPtr, VMInt8RelPtr
1057       */       */
1058      struct VMRelPtr {      struct VMRelPtr {
1059          void** base; ///< Base pointer.          void** base; ///< Base pointer.
1060          int offset;  ///< Offset (in bytes) relative to base pointer.          vmint offset;  ///< Offset (in bytes) relative to base pointer.
1061          bool readonly; ///< Whether the pointed data may be modified or just be read.          bool readonly; ///< Whether the pointed data may be modified or just be read.
1062      };      };
1063    
1064      /** @brief Pointer to built-in VM integer variable (of C/C++ type int).      /** @brief Pointer to built-in VM integer variable (interface class).
1065         *
1066         * This class acts as an abstract interface to all built-in integer script
1067         * variables, independent of their actual native size (i.e. some built-in
1068         * script variables are internally using a native int size of 64 bit or 32
1069         * bit or 8 bit). The virtual machine is using this interface class instead
1070         * of its implementing descendants (VMInt64RelPtr, VMInt32RelPtr,
1071         * VMInt8RelPtr) in order for the virtual machine for not being required to
1072         * handle each of them differently.
1073         */
1074        struct VMIntPtr {
1075            virtual vmint evalInt() = 0;
1076            virtual void assign(vmint i) = 0;
1077            virtual bool isAssignable() const = 0;
1078        };
1079    
1080        /** @brief Pointer to built-in VM integer variable (of C/C++ type int64_t).
1081         *
1082         * Used for defining built-in 64 bit integer script variables.
1083         *
1084         * @b CAUTION: You may only use this class for pointing to C/C++ variables
1085         * of type "int64_t" (thus being exactly 64 bit in size). If the C/C++ int
1086         * variable you want to reference is only 32 bit in size then you @b must
1087         * use VMInt32RelPtr instead! Respectively for a referenced native variable
1088         * with only 8 bit in size you @b must use VMInt8RelPtr instead!
1089         *
1090         * For efficiency reasons the actual native C/C++ int variable is referenced
1091         * by two components here. The actual native int C/C++ variable in memory
1092         * is dereferenced at VM run-time by taking the @c base pointer dereference
1093         * and adding @c offset bytes. This has the advantage that for a large
1094         * number of built-in int variables, only one (or few) base pointer need
1095         * to be re-assigned before running a script, instead of updating each
1096         * built-in variable each time before a script is executed.
1097         *
1098         * Refer to DECLARE_VMINT() for example code.
1099         *
1100         * @see VMInt32RelPtr, VMInt8RelPtr, DECLARE_VMINT()
1101         */
1102        struct VMInt64RelPtr : VMRelPtr, VMIntPtr {
1103            VMInt64RelPtr() {
1104                base   = NULL;
1105                offset = 0;
1106                readonly = false;
1107            }
1108            VMInt64RelPtr(const VMRelPtr& data) {
1109                base   = data.base;
1110                offset = data.offset;
1111                readonly = false;
1112            }
1113            vmint evalInt() OVERRIDE {
1114                return (vmint)*(int64_t*)&(*(uint8_t**)base)[offset];
1115            }
1116            void assign(vmint i) OVERRIDE {
1117                *(int64_t*)&(*(uint8_t**)base)[offset] = (int64_t)i;
1118            }
1119            bool isAssignable() const OVERRIDE { return !readonly; }
1120        };
1121    
1122        /** @brief Pointer to built-in VM integer variable (of C/C++ type int32_t).
1123       *       *
1124       * Used for defining built-in 32 bit integer script variables.       * Used for defining built-in 32 bit integer script variables.
1125       *       *
1126       * @b CAUTION: You may only use this class for pointing to C/C++ variables       * @b CAUTION: You may only use this class for pointing to C/C++ variables
1127       * of type "int" (which on most systems is 32 bit in size). If the C/C++ int       * of type "int32_t" (thus being exactly 32 bit in size). If the C/C++ int
1128       * variable you want to reference is only 8 bit in size, then you @b must       * variable you want to reference is 64 bit in size then you @b must use
1129       * use VMInt8RelPtr instead!       * VMInt64RelPtr instead! Respectively for a referenced native variable with
1130         * only 8 bit in size you @b must use VMInt8RelPtr instead!
1131       *       *
1132       * For efficiency reasons the actual native C/C++ int variable is referenced       * For efficiency reasons the actual native C/C++ int variable is referenced
1133       * by two components here. The actual native int C/C++ variable in memory       * by two components here. The actual native int C/C++ variable in memory
# Line 498  namespace LinuxSampler { Line 1139  namespace LinuxSampler {
1139       *       *
1140       * Refer to DECLARE_VMINT() for example code.       * Refer to DECLARE_VMINT() for example code.
1141       *       *
1142       * @see VMInt8RelPtr, DECLARE_VMINT()       * @see VMInt64RelPtr, VMInt8RelPtr, DECLARE_VMINT()
1143       */       */
1144      struct VMIntRelPtr : VMRelPtr {      struct VMInt32RelPtr : VMRelPtr, VMIntPtr {
1145          VMIntRelPtr() {          VMInt32RelPtr() {
1146              base   = NULL;              base   = NULL;
1147              offset = 0;              offset = 0;
1148              readonly = false;              readonly = false;
1149          }          }
1150          VMIntRelPtr(const VMRelPtr& data) {          VMInt32RelPtr(const VMRelPtr& data) {
1151              base   = data.base;              base   = data.base;
1152              offset = data.offset;              offset = data.offset;
1153              readonly = false;              readonly = false;
1154          }          }
1155          virtual int evalInt() { return *(int*)&(*(uint8_t**)base)[offset]; }          vmint evalInt() OVERRIDE {
1156          virtual void assign(int i) { *(int*)&(*(uint8_t**)base)[offset] = i; }              return (vmint)*(int32_t*)&(*(uint8_t**)base)[offset];
1157            }
1158            void assign(vmint i) OVERRIDE {
1159                *(int32_t*)&(*(uint8_t**)base)[offset] = (int32_t)i;
1160            }
1161            bool isAssignable() const OVERRIDE { return !readonly; }
1162      };      };
1163    
1164      /** @brief Pointer to built-in VM integer variable (of C/C++ type int8_t).      /** @brief Pointer to built-in VM integer variable (of C/C++ type int8_t).
# Line 521  namespace LinuxSampler { Line 1167  namespace LinuxSampler {
1167       *       *
1168       * @b CAUTION: You may only use this class for pointing to C/C++ variables       * @b CAUTION: You may only use this class for pointing to C/C++ variables
1169       * of type "int8_t" (8 bit integer). If the C/C++ int variable you want to       * of type "int8_t" (8 bit integer). If the C/C++ int variable you want to
1170       * reference is an "int" type (which is 32 bit on most systems), then you       * reference is not exactly 8 bit in size then you @b must respectively use
1171       * @b must use VMIntRelPtr instead!       * either VMInt32RelPtr for native 32 bit variables or VMInt64RelPtrl for
1172         * native 64 bit variables instead!
1173       *       *
1174       * For efficiency reasons the actual native C/C++ int variable is referenced       * For efficiency reasons the actual native C/C++ int variable is referenced
1175       * by two components here. The actual native int C/C++ variable in memory       * by two components here. The actual native int C/C++ variable in memory
# Line 534  namespace LinuxSampler { Line 1181  namespace LinuxSampler {
1181       *       *
1182       * Refer to DECLARE_VMINT() for example code.       * Refer to DECLARE_VMINT() for example code.
1183       *       *
1184       * @see VMIntRelPtr, DECLARE_VMINT()       * @see VMIntRel32Ptr, VMIntRel64Ptr, DECLARE_VMINT()
1185       */       */
1186      struct VMInt8RelPtr : VMIntRelPtr {      struct VMInt8RelPtr : VMRelPtr, VMIntPtr {
1187          VMInt8RelPtr() : VMIntRelPtr() {}          VMInt8RelPtr() {
1188          VMInt8RelPtr(const VMRelPtr& data) : VMIntRelPtr(data) {}              base   = NULL;
1189          virtual int evalInt() OVERRIDE {              offset = 0;
1190              return *(uint8_t*)&(*(uint8_t**)base)[offset];              readonly = false;
1191            }
1192            VMInt8RelPtr(const VMRelPtr& data) {
1193                base   = data.base;
1194                offset = data.offset;
1195                readonly = false;
1196          }          }
1197          virtual void assign(int i) OVERRIDE {          vmint evalInt() OVERRIDE {
1198              *(uint8_t*)&(*(uint8_t**)base)[offset] = i;              return (vmint)*(uint8_t*)&(*(uint8_t**)base)[offset];
1199          }          }
1200            void assign(vmint i) OVERRIDE {
1201                *(uint8_t*)&(*(uint8_t**)base)[offset] = (uint8_t)i;
1202            }
1203            bool isAssignable() const OVERRIDE { return !readonly; }
1204      };      };
1205    
1206        /** @brief Pointer to built-in VM integer variable (of C/C++ type vmint).
1207         *
1208         * Use this typedef if the native variable to be pointed to is using the
1209         * typedef vmint. If the native C/C++ variable to be pointed to is using
1210         * another C/C++ type then better use one of VMInt64RelPtr or VMInt32RelPtr
1211         * instead.
1212         */
1213        typedef VMInt64RelPtr VMIntRelPtr;
1214    
1215      #if HAVE_CXX_EMBEDDED_PRAGMA_DIAGNOSTICS      #if HAVE_CXX_EMBEDDED_PRAGMA_DIAGNOSTICS
1216      # define COMPILER_DISABLE_OFFSETOF_WARNING                    \      # define COMPILER_DISABLE_OFFSETOF_WARNING                    \
1217          _Pragma("GCC diagnostic push")                            \          _Pragma("GCC diagnostic push")                            \
# Line 559  namespace LinuxSampler { Line 1224  namespace LinuxSampler {
1224      #endif      #endif
1225    
1226      /**      /**
1227       * Convenience macro for initializing VMIntRelPtr and VMInt8RelPtr       * Convenience macro for initializing VMInt64RelPtr, VMInt32RelPtr and
1228       * structures. Usage example:       * VMInt8RelPtr structures. Usage example:
1229       * @code       * @code
1230       * struct Foo {       * struct Foo {
1231       *   uint8_t a; // native representation of a built-in integer script variable       *   uint8_t a; // native representation of a built-in integer script variable
1232       *   int b; // native representation of another built-in integer script variable       *   int64_t b; // native representation of another built-in integer script variable
1233       *   int c; // native representation of another built-in integer script variable       *   int64_t c; // native representation of another built-in integer script variable
1234       *   uint8_t d; // native representation of another built-in integer script variable       *   uint8_t d; // native representation of another built-in integer script variable
1235       * };       * };
1236       *       *
# Line 576  namespace LinuxSampler { Line 1241  namespace LinuxSampler {
1241       * Foo* pFoo;       * Foo* pFoo;
1242       *       *
1243       * VMInt8RelPtr varA = DECLARE_VMINT(pFoo, class Foo, a);       * VMInt8RelPtr varA = DECLARE_VMINT(pFoo, class Foo, a);
1244       * VMIntRelPtr  varB = DECLARE_VMINT(pFoo, class Foo, b);       * VMInt64RelPtr varB = DECLARE_VMINT(pFoo, class Foo, b);
1245       * VMIntRelPtr  varC = DECLARE_VMINT(pFoo, class Foo, c);       * VMInt64RelPtr varC = DECLARE_VMINT(pFoo, class Foo, c);
1246       * VMInt8RelPtr varD = DECLARE_VMINT(pFoo, class Foo, d);       * VMInt8RelPtr varD = DECLARE_VMINT(pFoo, class Foo, d);
1247       *       *
1248       * pFoo = &foo1;       * pFoo = &foo1;
# Line 612  namespace LinuxSampler { Line 1277  namespace LinuxSampler {
1277      )                                                             \      )                                                             \
1278    
1279      /**      /**
1280       * Same as DECLARE_VMINT(), but this one defines the VMIntRelPtr and       * Same as DECLARE_VMINT(), but this one defines the VMInt64RelPtr,
1281       * VMInt8RelPtr structures to be of read-only type. That means the script       * VMInt32RelPtr and VMInt8RelPtr structures to be of read-only type.
1282       * parser will abort any script at parser time if the script is trying to       * That means the script parser will abort any script at parser time if the
1283       * modify such a read-only built-in variable.       * script is trying to modify such a read-only built-in variable.
1284       *       *
1285       * @b NOTE: this is only intended for built-in read-only variables that       * @b NOTE: this is only intended for built-in read-only variables that
1286       * may change during runtime! If your built-in variable's data is rather       * may change during runtime! If your built-in variable's data is rather
# Line 638  namespace LinuxSampler { Line 1303  namespace LinuxSampler {
1303      /** @brief Built-in VM 8 bit integer array variable.      /** @brief Built-in VM 8 bit integer array variable.
1304       *       *
1305       * Used for defining built-in integer array script variables (8 bit per       * Used for defining built-in integer array script variables (8 bit per
1306       * array element). Currently there is no support for any other kind of array       * array element). Currently there is no support for any other kind of
1307       * type. So all integer arrays of scripts use 8 bit data types.       * built-in array type. So all built-in integer arrays accessed by scripts
1308         * use 8 bit data types.
1309       */       */
1310      struct VMInt8Array {      struct VMInt8Array {
1311          int8_t* data;          int8_t* data;
1312          int size;          vmint size;
1313          bool readonly; ///< Whether the array data may be modified or just be read.          bool readonly; ///< Whether the array data may be modified or just be read.
1314    
1315          VMInt8Array() : data(NULL), size(0), readonly(false) {}          VMInt8Array() : data(NULL), size(0), readonly(false) {}
# Line 651  namespace LinuxSampler { Line 1317  namespace LinuxSampler {
1317    
1318      /** @brief Virtual machine script variable.      /** @brief Virtual machine script variable.
1319       *       *
1320       * Common interface for all variables accessed in scripts.       * Common interface for all variables accessed in scripts, independent of
1321         * their precise data type.
1322       */       */
1323      class VMVariable : virtual public VMExpr {      class VMVariable : virtual public VMExpr {
1324      public:      public:
# Line 672  namespace LinuxSampler { Line 1339  namespace LinuxSampler {
1339           */           */
1340          virtual void assignExpr(VMExpr* expr) = 0;          virtual void assignExpr(VMExpr* expr) = 0;
1341      };      };
1342        
1343      /** @brief Dynamically executed variable (abstract base class).      /** @brief Dynamically executed variable (abstract base class).
1344       *       *
1345       * Interface for the implementation of a dynamically generated content of       * Interface for the implementation of a dynamically generated content of
# Line 746  namespace LinuxSampler { Line 1413  namespace LinuxSampler {
1413       */       */
1414      class VMDynIntVar : virtual public VMDynVar, virtual public VMIntExpr {      class VMDynIntVar : virtual public VMDynVar, virtual public VMIntExpr {
1415      public:      public:
1416            vmfloat unitFactor() const OVERRIDE { return VM_NO_FACTOR; }
1417            StdUnit_t unitType() const OVERRIDE { return VM_NO_UNIT; }
1418            bool isFinal() const OVERRIDE { return false; }
1419      };      };
1420    
1421      /** @brief Dynamically executed variable (of string data type).      /** @brief Dynamically executed variable (of string data type).
# Line 786  namespace LinuxSampler { Line 1456  namespace LinuxSampler {
1456          virtual VMFunction* functionByName(const String& name) = 0;          virtual VMFunction* functionByName(const String& name) = 0;
1457    
1458          /**          /**
1459             * Returns @c true if the passed built-in function is disabled and
1460             * should be ignored by the parser. This method is called by the
1461             * parser on preprocessor level for each built-in function call within
1462             * a script. Accordingly if this method returns @c true, then the
1463             * respective function call is completely filtered out on preprocessor
1464             * level, so that built-in function won't make into the result virtual
1465             * machine representation, nor would expressions of arguments passed to
1466             * that built-in function call be evaluated, nor would any check
1467             * regarding correct usage of the built-in function be performed.
1468             * In other words: a disabled function call ends up as a comment block.
1469             *
1470             * @param fn - built-in function to be checked
1471             * @param ctx - parser context at the position where the built-in
1472             *              function call is located within the script
1473             */
1474            virtual bool isFunctionDisabled(VMFunction* fn, VMParserContext* ctx) = 0;
1475    
1476            /**
1477           * Returns a variable name indexed map of all built-in script variables           * Returns a variable name indexed map of all built-in script variables
1478           * which point to native "int" scalar (usually 32 bit) variables.           * which point to native "int" scalar (usually 32 bit) variables.
1479           */           */
1480          virtual std::map<String,VMIntRelPtr*> builtInIntVariables() = 0;          virtual std::map<String,VMIntPtr*> builtInIntVariables() = 0;
1481    
1482          /**          /**
1483           * Returns a variable name indexed map of all built-in script integer           * Returns a variable name indexed map of all built-in script integer
# Line 801  namespace LinuxSampler { Line 1489  namespace LinuxSampler {
1489           * Returns a variable name indexed map of all built-in constant script           * Returns a variable name indexed map of all built-in constant script
1490           * variables, which never change their value at runtime.           * variables, which never change their value at runtime.
1491           */           */
1492          virtual std::map<String,int> builtInConstIntVariables() = 0;          virtual std::map<String,vmint> builtInConstIntVariables() = 0;
1493    
1494          /**          /**
1495           * Returns a variable name indexed map of all built-in dynamic variables,           * Returns a variable name indexed map of all built-in dynamic variables,
# Line 850  namespace LinuxSampler { Line 1538  namespace LinuxSampler {
1538           *           *
1539           * @see ScriptVM::exec()           * @see ScriptVM::exec()
1540           */           */
1541          virtual int suspensionTimeMicroseconds() const = 0;          virtual vmint suspensionTimeMicroseconds() const = 0;
1542    
1543          /**          /**
1544           * Causes all polyphonic variables to be reset to zero values. A           * Causes all polyphonic variables to be reset to zero values. A
# Line 879  namespace LinuxSampler { Line 1567  namespace LinuxSampler {
1567           * instance.           * instance.
1568           */           */
1569          virtual void signalAbort() = 0;          virtual void signalAbort() = 0;
1570    
1571            /**
1572             * Copies the current entire execution state from this object to the
1573             * given object. So this can be used to "fork" a new script thread which
1574             * then may run independently with its own polyphonic data for instance.
1575             */
1576            virtual void forkTo(VMExecContext* ectx) const = 0;
1577    
1578            /**
1579             * In case the script called the built-in exit() function and passed a
1580             * value as argument to the exit() function, then this method returns
1581             * the value that had been passed as argument to the exit() function.
1582             * Otherwise if the exit() function has not been called by the script
1583             * or no argument had been passed to the exit() function, then this
1584             * method returns NULL instead.
1585             *
1586             * Currently this is only used for automated test cases against the
1587             * script engine, which return some kind of value in the individual
1588             * test case scripts to check their behaviour in automated way. There
1589             * is no purpose for this mechanism in production use. Accordingly this
1590             * exit result value is @b always completely ignored by the sampler
1591             * engines.
1592             *
1593             * Officially the built-in exit() function does not expect any arguments
1594             * to be passed to its function call, and by default this feature is
1595             * hence disabled and will yield in a parser error unless
1596             * ScriptVM::setExitResultEnabled() was explicitly set.
1597             *
1598             * @see ScriptVM::setExitResultEnabled()
1599             */
1600            virtual VMExpr* exitResult() = 0;
1601      };      };
1602    
1603      /** @brief Script callback for a certain event.      /** @brief Script callback for a certain event.
# Line 910  namespace LinuxSampler { Line 1629  namespace LinuxSampler {
1629      };      };
1630    
1631      /**      /**
1632         * Reflects the precise position and span of a specific code block within
1633         * a script. This is currently only used for the locations of commented
1634         * code blocks due to preprocessor statements, and for parser errors and
1635         * parser warnings.
1636         *
1637         * @see ParserIssue for code locations of parser errors and parser warnings
1638         *
1639         * @see VMParserContext::preprocessorComments() for locations of code which
1640         *      have been filtered out by preprocessor statements
1641         */
1642        struct CodeBlock {
1643            int firstLine; ///< The first line number of this code block within the script (indexed with 1 being the very first line).
1644            int lastLine; ///< The last line number of this code block within the script.
1645            int firstColumn; ///< The first column of this code block within the script (indexed with 1 being the very first column).
1646            int lastColumn; ///< The last column of this code block within the script.
1647        };
1648    
1649        /**
1650       * Encapsulates a noteworty parser issue. This encompasses the type of the       * Encapsulates a noteworty parser issue. This encompasses the type of the
1651       * issue (either a parser error or parser warning), a human readable       * issue (either a parser error or parser warning), a human readable
1652       * explanation text of the error or warning and the location of the       * explanation text of the error or warning and the location of the
# Line 917  namespace LinuxSampler { Line 1654  namespace LinuxSampler {
1654       *       *
1655       * @see VMSourceToken for processing syntax highlighting instead.       * @see VMSourceToken for processing syntax highlighting instead.
1656       */       */
1657      struct ParserIssue {      struct ParserIssue : CodeBlock {
1658          String txt; ///< Human readable explanation text of the parser issue.          String txt; ///< Human readable explanation text of the parser issue.
         int firstLine; ///< The first line number within the script where this issue was encountered (indexed with 1 being the very first line).  
         int lastLine; ///< The last line number within the script where this issue was encountered.  
         int firstColumn; ///< The first column within the script where this issue was encountered (indexed with 1 being the very first column).  
         int lastColumn; ///< The last column within the script where this issue was encountered.  
1659          ParserIssueType_t type; ///< Whether this issue is either a parser error or just a parser warning.          ParserIssueType_t type; ///< Whether this issue is either a parser error or just a parser warning.
1660    
1661          /**          /**
# Line 962  namespace LinuxSampler { Line 1695  namespace LinuxSampler {
1695              case EMPTY_EXPR: return "empty";              case EMPTY_EXPR: return "empty";
1696              case INT_EXPR: return "integer";              case INT_EXPR: return "integer";
1697              case INT_ARR_EXPR: return "integer array";              case INT_ARR_EXPR: return "integer array";
1698                case REAL_EXPR: return "real number";
1699                case REAL_ARR_EXPR: return "real number array";
1700              case STRING_EXPR: return "string";              case STRING_EXPR: return "string";
1701              case STRING_ARR_EXPR: return "string array";              case STRING_ARR_EXPR: return "string array";
1702          }          }
1703          return "invalid";          return "invalid";
1704      }      }
1705    
1706        /**
1707         * Returns @c true in case the passed data type is some array data type.
1708         */
1709        inline bool isArray(const ExprType_t& type) {
1710            return type == INT_ARR_EXPR || type == REAL_ARR_EXPR ||
1711                   type == STRING_ARR_EXPR;
1712        }
1713    
1714        /**
1715         * Returns @c true in case the passed data type is some scalar number type
1716         * (i.e. not an array and not a string).
1717         */
1718        inline bool isNumber(const ExprType_t& type) {
1719            return type == INT_EXPR || type == REAL_EXPR;
1720        }
1721    
1722        /**
1723         * Convenience function used for converting an StdUnit_t constant to a
1724         * string, i.e. for generating error message by the parser.
1725         */
1726        inline String unitTypeStr(const StdUnit_t& type) {
1727            switch (type) {
1728                case VM_NO_UNIT: return "none";
1729                case VM_SECOND: return "seconds";
1730                case VM_HERTZ: return "Hz";
1731                case VM_BEL: return "Bel";
1732            }
1733            return "invalid";
1734        }
1735    
1736      /** @brief Virtual machine representation of a script.      /** @brief Virtual machine representation of a script.
1737       *       *
1738       * An instance of this abstract base class represents a parsed script,       * An instance of this abstract base class represents a parsed script,
# Line 1002  namespace LinuxSampler { Line 1767  namespace LinuxSampler {
1767          virtual std::vector<ParserIssue> warnings() const = 0;          virtual std::vector<ParserIssue> warnings() const = 0;
1768    
1769          /**          /**
1770             * Returns all code blocks of the script which were filtered out by the
1771             * preprocessor.
1772             */
1773            virtual std::vector<CodeBlock> preprocessorComments() const = 0;
1774    
1775            /**
1776           * Returns the translated virtual machine representation of an event           * Returns the translated virtual machine representation of an event
1777           * handler block (i.e. "on note ... end on" code block) within the           * handler block (i.e. "on note ... end on" code block) within the
1778           * parsed script. This translated representation of the event handler           * parsed script. This translated representation of the event handler
# Line 1061  namespace LinuxSampler { Line 1832  namespace LinuxSampler {
1832          bool isStringLiteral() const; ///< Returns true in case this source token represents a string literal (i.e. "Some text").          bool isStringLiteral() const; ///< Returns true in case this source token represents a string literal (i.e. "Some text").
1833          bool isComment() const; ///< Returns true in case this source token represents a source code comment.          bool isComment() const; ///< Returns true in case this source token represents a source code comment.
1834          bool isPreprocessor() const; ///< Returns true in case this source token represents a preprocessor statement.          bool isPreprocessor() const; ///< Returns true in case this source token represents a preprocessor statement.
1835            bool isMetricPrefix() const;
1836            bool isStdUnit() const;
1837          bool isOther() const; ///< Returns true in case this source token represents anything else not covered by the token types mentioned above.          bool isOther() const; ///< Returns true in case this source token represents anything else not covered by the token types mentioned above.
1838    
1839          // extended types          // extended types
1840          bool isIntegerVariable() const; ///< Returns true in case this source token represents an integer variable name (i.e. "$someIntVariable").          bool isIntegerVariable() const; ///< Returns true in case this source token represents an integer variable name (i.e. "$someIntVariable").
1841            bool isRealVariable() const; ///< Returns true in case this source token represents a floating point variable name (i.e. "~someRealVariable").
1842          bool isStringVariable() const; ///< Returns true in case this source token represents an string variable name (i.e. "\@someStringVariable").          bool isStringVariable() const; ///< Returns true in case this source token represents an string variable name (i.e. "\@someStringVariable").
1843          bool isArrayVariable() const; ///< Returns true in case this source token represents an array variable name (i.e. "%someArryVariable").          bool isIntArrayVariable() const; ///< Returns true in case this source token represents an integer array variable name (i.e. "%someArrayVariable").
1844            bool isRealArrayVariable() const; ///< Returns true in case this source token represents a real number array variable name (i.e. "?someArrayVariable").
1845            bool isArrayVariable() const DEPRECATED_API; ///< Returns true in case this source token represents an @b integer array variable name (i.e. "%someArrayVariable"). @deprecated This method will be removed, use isIntArrayVariable() instead.
1846          bool isEventHandlerName() const; ///< Returns true in case this source token represents an event handler name (i.e. "note", "release", "controller").          bool isEventHandlerName() const; ///< Returns true in case this source token represents an event handler name (i.e. "note", "release", "controller").
1847    
1848          VMSourceToken& operator=(const VMSourceToken& other);          VMSourceToken& operator=(const VMSourceToken& other);

Legend:
Removed from v.3277  
changed lines
  Added in v.3583

  ViewVC Help
Powered by ViewVC