/[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 2945 by schoenebeck, Thu Jul 14 00:22:26 2016 UTC revision 3584 by schoenebeck, Fri Aug 30 13:33:32 2019 UTC
# Line 1  Line 1 
1  /*  /*
2   * Copyright (c) 2014-2016 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
388             * counter parts, declared as virtual method. Some deriving classes are
389             * currently using this to override this default implementation in order
390             * to implement an "evaluate now as integer array" behavior. This has
391             * efficiency reasons, however this also currently makes this part of
392             * the API less clean and should thus be addressed in future with
393             * appropriate changes to the API.
394           *           *
395           * @see exprType()           * @see exprType()
396           */           */
397          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
# Line 168  namespace LinuxSampler { Line 444  namespace LinuxSampler {
444           * expression's constant value may be evaluated already at script           * expression's constant value may be evaluated already at script
445           * parse time, which may result in performance benefits during script           * parse time, which may result in performance benefits during script
446           * runtime.           * runtime.
447             *
448             * @b NOTE: A constant expression is per se always also non modifyable.
449             * But a non modifyable expression may not necessarily be a constant
450             * expression!
451             *
452             * @see isModifyable()
453           */           */
454          virtual bool isConstExpr() const = 0;          virtual bool isConstExpr() const = 0;
455    
456            /**
457             * Returns true in case this expression is allowed to be modified.
458             * If this method returns @c false then this expression must be handled
459             * as read-only expression, which means that assigning a new value to it
460             * is either not possible or not allowed.
461             *
462             * @b NOTE: A constant expression is per se always also non modifyable.
463             * But a non modifyable expression may not necessarily be a constant
464             * expression!
465             *
466             * @see isConstExpr()
467             */
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 integer and thus behaves similar to the previous
519             * method, however this overridden method automatically takes unit
520             * prefixes into account and returns a converted value corresponding to
521             * the given unit @a prefix expected by the caller.
522             *
523             * Example: Assume this expression was an integer expression '12kHz'
524             * then calling this method as @c evalCastInt(VM_MILLI) would return
525             * the value @c 12000000.
526             *
527             * @param prefix - measuring unit prefix expected for result by caller
528             */
529            vmint evalCastInt(MetricPrefix_t prefix);
530    
531            /**
532             * This method behaves like the previous method, just that it takes a
533             * measuring unit prefix with two elements (e.g. "milli cents" for
534             * tuning).
535             *
536             * @param prefix1 - 1st measuring unit prefix element expected by caller
537             * @param prefix2 - 2nd measuring unit prefix element expected by caller
538             */
539            vmint evalCastInt(MetricPrefix_t prefix1, MetricPrefix_t prefix2);
540    
541            /**
542             * Calling this method evaluates the expression and returns the value
543             * of the expression as real number. If this scalar number expression is
544             * an integer expression then this method automatically casts the value
545             * from integer to real number.
546             */
547            vmfloat evalCastReal();
548    
549            /**
550             * Calling this method evaluates the expression and returns the value
551             * of the expression as real number and thus behaves similar to the
552             * previous method, however this overridden method automatically takes
553             * unit prefixes into account and returns a converted value
554             * corresponding to the given unit @a prefix expected by the caller.
555             *
556             * Example: Assume this expression was an integer expression '8ms' then
557             * calling this method as @c evalCastReal(VM_NO_PREFIX) would return the
558             * value @c 0.008.
559             *
560             * @param prefix - measuring unit prefix expected for result by caller
561             */
562            vmfloat evalCastReal(MetricPrefix_t prefix);
563    
564            /**
565             * This method behaves like the previous method, just that it takes a
566             * measuring unit prefix with two elements (e.g. "milli cents" for
567             * tuning).
568             *
569             * @param prefix1 - 1st measuring unit prefix element expected by caller
570             * @param prefix2 - 2nd measuring unit prefix element expected by caller
571             */
572            vmfloat evalCastReal(MetricPrefix_t prefix1, MetricPrefix_t prefix2);
573        };
574    
575      /** @brief Virtual machine integer expression      /** @brief Virtual machine integer expression
576       *       *
577       * 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 181  namespace LinuxSampler { Line 579  namespace LinuxSampler {
579       * abstract method evalInt() to return the actual integer result value of       * abstract method evalInt() to return the actual integer result value of
580       * the expression.       * the expression.
581       */       */
582      class VMIntExpr : virtual public VMExpr {      class VMIntExpr : virtual public VMNumberExpr {
583      public:      public:
584          /**          /**
585           * Returns the result of this expression as integer (scalar) value.           * Returns the result of this expression as integer (scalar) value.
586           * This abstract method must be implemented by deriving classes.           * This abstract method must be implemented by deriving classes.
587           */           */
588          virtual int evalInt() = 0;          virtual vmint evalInt() = 0;
589    
590            /**
591             * Returns the result of this expression as integer (scalar) value and
592             * thus behaves similar to the previous method, however this overridden
593             * method automatically takes unit prefixes into account and returns a
594             * value corresponding to the expected given unit @a prefix.
595             *
596             * @param prefix - default measurement unit prefix expected by caller
597             */
598            vmint evalInt(MetricPrefix_t prefix);
599    
600            /**
601             * This method behaves like the previous method, just that it takes
602             * a default measurement prefix with two elements (i.e. "milli cents"
603             * for tuning).
604             */
605            vmint evalInt(MetricPrefix_t prefix1, MetricPrefix_t prefix2);
606    
607          /**          /**
608           * Returns always INT_EXPR for instances of this class.           * Returns always INT_EXPR for instances of this class.
# Line 195  namespace LinuxSampler { Line 610  namespace LinuxSampler {
610          ExprType_t exprType() const OVERRIDE { return INT_EXPR; }          ExprType_t exprType() const OVERRIDE { return INT_EXPR; }
611      };      };
612    
613        /** @brief Virtual machine real number (floating point scalar) expression
614         *
615         * This is the abstract base class for all expressions inside scripts which
616         * evaluate to a real number (floating point scalar) value. Deriving classes
617         * implement the abstract method evalReal() to return the actual floating
618         * point result value of the expression.
619         */
620        class VMRealExpr : virtual public VMNumberExpr {
621        public:
622            /**
623             * Returns the result of this expression as real number (floating point
624             * scalar) value. This abstract method must be implemented by deriving
625             * classes.
626             */
627            virtual vmfloat evalReal() = 0;
628    
629            /**
630             * Returns the result of this expression as real number (floating point
631             * scalar) value and thus behaves similar to the previous method,
632             * however this overridden method automatically takes unit prefixes into
633             * account and returns a value corresponding to the expected given unit
634             * @a prefix.
635             *
636             * @param prefix - default measurement unit prefix expected by caller
637             */
638            vmfloat evalReal(MetricPrefix_t prefix);
639    
640            /**
641             * This method behaves like the previous method, just that it takes
642             * a default measurement prefix with two elements (i.e. "milli cents"
643             * for tuning).
644             */
645            vmfloat evalReal(MetricPrefix_t prefix1, MetricPrefix_t prefix2);
646    
647            /**
648             * Returns always REAL_EXPR for instances of this class.
649             */
650            ExprType_t exprType() const OVERRIDE { return REAL_EXPR; }
651        };
652    
653      /** @brief Virtual machine string expression      /** @brief Virtual machine string expression
654       *       *
655       * 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 229  namespace LinuxSampler { Line 684  namespace LinuxSampler {
684           * Returns amount of elements in this array. This abstract method must           * Returns amount of elements in this array. This abstract method must
685           * be implemented by deriving classes.           * be implemented by deriving classes.
686           */           */
687          virtual int arraySize() const = 0;          virtual vmint arraySize() const = 0;
688        };
689    
690        /** @brief Virtual Machine Number Array Expression
691         *
692         * This is the abstract base class for all expressions which either evaluate
693         * to an integer array or real number array.
694         */
695        class VMNumberArrayExpr : virtual public VMArrayExpr {
696        public:
697            /**
698             * Returns the metric unit factor of the requested array element.
699             *
700             * @param i - array element index (must be between 0 .. arraySize() - 1)
701             * @see VMUnit::unitFactor() for details about metric unit factors
702             */
703            virtual vmfloat unitFactorOfElement(vmuint i) const = 0;
704    
705            /**
706             * Changes the current unit factor of the array element given by element
707             * index @a i.
708             *
709             * @param i - array element index (must be between 0 .. arraySize() - 1)
710             * @param factor - new unit factor to be assigned
711             * @see VMUnit::unitFactor() for details about metric unit factors
712             */
713            virtual void assignElementUnitFactor(vmuint i, vmfloat factor) = 0;
714      };      };
715    
716      /** @brief Virtual Machine Integer Array Expression      /** @brief Virtual Machine Integer Array Expression
# Line 239  namespace LinuxSampler { Line 720  namespace LinuxSampler {
720       * abstract methods arraySize(), evalIntElement() and assignIntElement() to       * abstract methods arraySize(), evalIntElement() and assignIntElement() to
721       * access the individual integer array values.       * access the individual integer array values.
722       */       */
723      class VMIntArrayExpr : virtual public VMArrayExpr {      class VMIntArrayExpr : virtual public VMNumberArrayExpr {
724      public:      public:
725          /**          /**
726           * Returns the (scalar) integer value of the array element given by           * Returns the (scalar) integer value of the array element given by
# Line 247  namespace LinuxSampler { Line 728  namespace LinuxSampler {
728           *           *
729           * @param i - array element index (must be between 0 .. arraySize() - 1)           * @param i - array element index (must be between 0 .. arraySize() - 1)
730           */           */
731          virtual int evalIntElement(uint i) = 0;          virtual vmint evalIntElement(vmuint i) = 0;
732    
733          /**          /**
734           * Changes the current value of an element (given by array element           * Changes the current value of an element (given by array element
# Line 256  namespace LinuxSampler { Line 737  namespace LinuxSampler {
737           * @param i - array element index (must be between 0 .. arraySize() - 1)           * @param i - array element index (must be between 0 .. arraySize() - 1)
738           * @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
739           */           */
740          virtual void assignIntElement(uint i, int value) = 0;          virtual void assignIntElement(vmuint i, vmint value) = 0;
741    
742          /**          /**
743           * Returns always INT_ARR_EXPR for instances of this class.           * Returns always INT_ARR_EXPR for instances of this class.
# Line 264  namespace LinuxSampler { Line 745  namespace LinuxSampler {
745          ExprType_t exprType() const OVERRIDE { return INT_ARR_EXPR; }          ExprType_t exprType() const OVERRIDE { return INT_ARR_EXPR; }
746      };      };
747    
748        /** @brief Virtual Machine Real Number Array Expression
749         *
750         * This is the abstract base class for all expressions inside scripts which
751         * evaluate to an array of real numbers (floating point values). Deriving
752         * classes implement the abstract methods arraySize(), evalRealElement() and
753         * assignRealElement() to access the array's individual real numbers.
754         */
755        class VMRealArrayExpr : virtual public VMNumberArrayExpr {
756        public:
757            /**
758             * Returns the (scalar) real mumber (floating point value) of the array
759             * element given by element index @a i.
760             *
761             * @param i - array element index (must be between 0 .. arraySize() - 1)
762             */
763            virtual vmfloat evalRealElement(vmuint i) = 0;
764    
765            /**
766             * Changes the current value of an element (given by array element
767             * index @a i) of this real number array.
768             *
769             * @param i - array element index (must be between 0 .. arraySize() - 1)
770             * @param value - new real number value to be assigned to that array element
771             */
772            virtual void assignRealElement(vmuint i, vmfloat value) = 0;
773    
774            /**
775             * Returns always REAL_ARR_EXPR for instances of this class.
776             */
777            ExprType_t exprType() const OVERRIDE { return REAL_ARR_EXPR; }
778        };
779    
780      /** @brief Arguments (parameters) for being passed to a built-in script function.      /** @brief Arguments (parameters) for being passed to a built-in script function.
781       *       *
782       * 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 278  namespace LinuxSampler { Line 791  namespace LinuxSampler {
791           * Returns the amount of arguments going to be passed to the script           * Returns the amount of arguments going to be passed to the script
792           * function.           * function.
793           */           */
794          virtual int argsCount() const = 0;          virtual vmint argsCount() const = 0;
795    
796          /**          /**
797           * Returns the respective argument (requested by argument index @a i) of           * Returns the respective argument (requested by argument index @a i) of
# Line 288  namespace LinuxSampler { Line 801  namespace LinuxSampler {
801           *           *
802           * @param i - function argument index (indexed from left to right)           * @param i - function argument index (indexed from left to right)
803           */           */
804          virtual VMExpr* arg(int i) = 0;          virtual VMExpr* arg(vmint i) = 0;
805      };      };
806    
807      /** @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 344  namespace LinuxSampler { Line 857  namespace LinuxSampler {
857          /**          /**
858           * 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
859           * not return any value (void), then it returns EMPTY_EXPR here.           * not return any value (void), then it returns EMPTY_EXPR here.
860             *
861             * Some functions may have a different return type depending on the
862             * arguments to be passed to this function. That's what the @a args
863             * parameter is for, so that the method implementation can look ahead
864             * of what kind of parameters are going to be passed to the built-in
865             * function later on in order to decide which return value type would
866             * be used and returned by the function accordingly in that case.
867             *
868             * @param args - function arguments going to be passed for executing
869             *               this built-in function later on
870           */           */
871          virtual ExprType_t returnType() = 0;          virtual ExprType_t returnType(VMFnArgs* args) = 0;
872    
873            /**
874             * Standard measuring unit type of the function's result value
875             * (e.g. second, Hertz).
876             *
877             * Some functions may have a different standard measuring unit type for
878             * their return value depending on the arguments to be passed to this
879             * function. That's what the @a args parameter is for, so that the
880             * method implementation can look ahead of what kind of parameters are
881             * going to be passed to the built-in function later on in order to
882             * decide which return value type would be used and returned by the
883             * function accordingly in that case.
884             *
885             * @param args - function arguments going to be passed for executing
886             *               this built-in function later on
887             * @see Unit for details about standard measuring units
888             */
889            virtual StdUnit_t returnUnitType(VMFnArgs* args) = 0;
890    
891            /**
892             * Whether the result value returned by this built-in function is
893             * considered to be a 'final' value.
894             *
895             * Some functions may have a different 'final' feature for their return
896             * value depending on the arguments to be passed to this function.
897             * That's what the @a args parameter is for, so that the method
898             * implementation can look ahead of what kind of parameters are going to
899             * be passed to the built-in function later on in order to decide which
900             * return value type would be used and returned by the function
901             * accordingly in that case.
902             *
903             * @param args - function arguments going to be passed for executing
904             *               this built-in function later on
905             * @see VMNumberExpr::isFinal() for details about 'final' values
906             */
907            virtual bool returnsFinal(VMFnArgs* args) = 0;
908    
909          /**          /**
910           * Minimum amount of function arguments this function accepts. If a           * Minimum amount of function arguments this function accepts. If a
911           * script is calling this function with less arguments, the script           * script is calling this function with less arguments, the script
912           * parser will throw a parser error.           * parser will throw a parser error.
913           */           */
914          virtual int minRequiredArgs() const = 0;          virtual vmint minRequiredArgs() const = 0;
915    
916          /**          /**
917           * Maximum amount of function arguments this functions accepts. If a           * Maximum amount of function arguments this functions accepts. If a
918           * script is calling this function with more arguments, the script           * script is calling this function with more arguments, the script
919           * parser will throw a parser error.           * parser will throw a parser error.
920           */           */
921          virtual int maxAllowedArgs() const = 0;          virtual vmint maxAllowedArgs() const = 0;
922    
923          /**          /**
924           * 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 375  namespace LinuxSampler { Line 934  namespace LinuxSampler {
934           * @param iArg - index of the function argument in question           * @param iArg - index of the function argument in question
935           *               (must be between 0 .. maxAllowedArgs() - 1)           *               (must be between 0 .. maxAllowedArgs() - 1)
936           */           */
937          virtual ExprType_t argType(int iArg) const = 0;          virtual ExprType_t argType(vmint iArg) const = 0;
938    
939          /**          /**
940           * This method is called by the parser to check whether arguments           * This method is called by the parser to check whether arguments
# Line 393  namespace LinuxSampler { Line 952  namespace LinuxSampler {
952           * @return true if the given data type would be accepted for the           * @return true if the given data type would be accepted for the
953           *         respective function argument by the function           *         respective function argument by the function
954           */           */
955          virtual bool acceptsArgType(int iArg, ExprType_t type) const = 0;          virtual bool acceptsArgType(vmint iArg, ExprType_t type) const = 0;
956    
957            /**
958             * This method is called by the parser to check whether arguments
959             * passed in scripts to this function are accepted by this function. If
960             * a script calls this function with an argument's measuremnt unit type
961             * not accepted by this function, the parser will throw a parser error.
962             *
963             * This default implementation of this method does not accept any
964             * measurement unit. Deriving subclasses would override this method
965             * implementation in case they do accept any measurement unit for its
966             * function arguments.
967             *
968             * @param iArg - index of the function argument in question
969             *               (must be between 0 .. maxAllowedArgs() - 1)
970             * @param type - standard measurement unit data type used for this
971             *               function argument by currently parsed script
972             * @return true if the given standard measurement unit type would be
973             *         accepted for the respective function argument by the function
974             */
975            virtual bool acceptsArgUnitType(vmint iArg, StdUnit_t type) const;
976    
977            /**
978             * This method is called by the parser to check whether arguments
979             * passed in scripts to this function are accepted by this function. If
980             * a script calls this function with a metric unit prefix and metric
981             * prefixes are not accepted for that argument by this function, then
982             * the parser will throw a parser error.
983             *
984             * This default implementation of this method does not accept any
985             * metric prefix. Deriving subclasses would override this method
986             * implementation in case they do accept any metric prefix for its
987             * function arguments.
988             *
989             * @param iArg - index of the function argument in question
990             *               (must be between 0 .. maxAllowedArgs() - 1)
991             * @param type - standard measurement unit data type used for that
992             *               function argument by currently parsed script
993             *
994             * @return true if a metric prefix would be accepted for the respective
995             *         function argument by this function
996             *
997             * @see MetricPrefix_t
998             */
999            virtual bool acceptsArgUnitPrefix(vmint iArg, StdUnit_t type) const;
1000    
1001            /**
1002             * This method is called by the parser to check whether arguments
1003             * passed in scripts to this function are accepted by this function. If
1004             * a script calls this function with an argument that is declared to be
1005             * a "final" value and this is not accepted by this function, the parser
1006             * will throw a parser error.
1007             *
1008             * This default implementation of this method does not accept a "final"
1009             * value. Deriving subclasses would override this method implementation
1010             * in case they do accept a "final" value for its function arguments.
1011             *
1012             * @param iArg - index of the function argument in question
1013             *               (must be between 0 .. maxAllowedArgs() - 1)
1014             * @return true if a "final" value would be accepted for the respective
1015             *         function argument by the function
1016             *
1017             * @see VMNumberExpr::isFinal(), returnsFinal()
1018             */
1019            virtual bool acceptsArgFinal(vmint iArg) const;
1020    
1021          /**          /**
1022           * 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 408  namespace LinuxSampler { Line 1031  namespace LinuxSampler {
1031           * @param iArg - index of the function argument in question           * @param iArg - index of the function argument in question
1032           *               (must be between 0 .. maxAllowedArgs() - 1)           *               (must be between 0 .. maxAllowedArgs() - 1)
1033           */           */
1034          virtual bool modifiesArg(int iArg) const = 0;          virtual bool modifiesArg(vmint iArg) const = 0;
1035    
1036            /**
1037             * This method is called by the parser to let the built-in function
1038             * perform its own, individual parse time checks on the arguments to be
1039             * passed to the built-in function. So this method is the place for
1040             * implementing custom checks which are very specific to the individual
1041             * built-in function's purpose and its individual requirements.
1042             *
1043             * For instance the built-in 'in_range()' function uses this method to
1044             * check whether the last 2 of their 3 arguments are of same data type
1045             * and if not it triggers a parser error. 'in_range()' also checks
1046             * whether all of its 3 arguments do have the same standard measuring
1047             * unit type and likewise raises a parser error if not.
1048             *
1049             * For less critical issues built-in functions may also raise parser
1050             * warnings instead.
1051             *
1052             * It is recommended that classes implementing (that is overriding) this
1053             * method should always call their super class's implementation of this
1054             * method to ensure their potential parse time checks are always
1055             * performed as well.
1056             *
1057             * @param args - function arguments going to be passed for executing
1058             *               this built-in function later on
1059             * @param err - the parser's error handler to be called by this method
1060             *              implementation to trigger a parser error with the
1061             *              respective error message text
1062             * @param wrn - the parser's warning handler to be called by this method
1063             *              implementation to trigger a parser warning with the
1064             *              respective warning message text
1065             */
1066            virtual void checkArgs(VMFnArgs* args,
1067                                   std::function<void(String)> err,
1068                                   std::function<void(String)> wrn);
1069    
1070          /**          /**
1071           * Implements the actual function execution. This exec() method is           * Implements the actual function execution. This exec() method is
# Line 442  namespace LinuxSampler { Line 1099  namespace LinuxSampler {
1099    
1100      /** @brief Virtual machine relative pointer.      /** @brief Virtual machine relative pointer.
1101       *       *
1102       * POD base of VMIntRelPtr and VMInt8RelPtr structures. Not intended to be       * POD base of VMInt64RelPtr, VMInt32RelPtr and VMInt8RelPtr structures. Not
1103       * used directly. Use VMIntRelPtr or VMInt8RelPtr instead.       * intended to be used directly. Use VMInt64RelPtr, VMInt32RelPtr,
1104         * VMInt8RelPtr instead.
1105       *       *
1106       * @see VMIntRelPtr, VMInt8RelPtr       * @see VMInt64RelPtr, VMInt32RelPtr, VMInt8RelPtr
1107       */       */
1108      struct VMRelPtr {      struct VMRelPtr {
1109          void** base; ///< Base pointer.          void** base; ///< Base pointer.
1110          int offset;  ///< Offset (in bytes) relative to base pointer.          vmint offset;  ///< Offset (in bytes) relative to base pointer.
1111            bool readonly; ///< Whether the pointed data may be modified or just be read.
1112        };
1113    
1114        /** @brief Pointer to built-in VM integer variable (interface class).
1115         *
1116         * This class acts as an abstract interface to all built-in integer script
1117         * variables, independent of their actual native size (i.e. some built-in
1118         * script variables are internally using a native int size of 64 bit or 32
1119         * bit or 8 bit). The virtual machine is using this interface class instead
1120         * of its implementing descendants (VMInt64RelPtr, VMInt32RelPtr,
1121         * VMInt8RelPtr) in order for the virtual machine for not being required to
1122         * handle each of them differently.
1123         */
1124        struct VMIntPtr {
1125            virtual vmint evalInt() = 0;
1126            virtual void assign(vmint i) = 0;
1127            virtual bool isAssignable() const = 0;
1128      };      };
1129    
1130      /** @brief Pointer to built-in VM integer variable (of C/C++ type int).      /** @brief Pointer to built-in VM integer variable (of C/C++ type int64_t).
1131         *
1132         * Used for defining built-in 64 bit integer script variables.
1133         *
1134         * @b CAUTION: You may only use this class for pointing to C/C++ variables
1135         * of type "int64_t" (thus being exactly 64 bit in size). If the C/C++ int
1136         * variable you want to reference is only 32 bit in size then you @b must
1137         * use VMInt32RelPtr instead! Respectively for a referenced native variable
1138         * with only 8 bit in size you @b must use VMInt8RelPtr instead!
1139         *
1140         * For efficiency reasons the actual native C/C++ int variable is referenced
1141         * by two components here. The actual native int C/C++ variable in memory
1142         * is dereferenced at VM run-time by taking the @c base pointer dereference
1143         * and adding @c offset bytes. This has the advantage that for a large
1144         * number of built-in int variables, only one (or few) base pointer need
1145         * to be re-assigned before running a script, instead of updating each
1146         * built-in variable each time before a script is executed.
1147         *
1148         * Refer to DECLARE_VMINT() for example code.
1149         *
1150         * @see VMInt32RelPtr, VMInt8RelPtr, DECLARE_VMINT()
1151         */
1152        struct VMInt64RelPtr : VMRelPtr, VMIntPtr {
1153            VMInt64RelPtr() {
1154                base   = NULL;
1155                offset = 0;
1156                readonly = false;
1157            }
1158            VMInt64RelPtr(const VMRelPtr& data) {
1159                base   = data.base;
1160                offset = data.offset;
1161                readonly = false;
1162            }
1163            vmint evalInt() OVERRIDE {
1164                return (vmint)*(int64_t*)&(*(uint8_t**)base)[offset];
1165            }
1166            void assign(vmint i) OVERRIDE {
1167                *(int64_t*)&(*(uint8_t**)base)[offset] = (int64_t)i;
1168            }
1169            bool isAssignable() const OVERRIDE { return !readonly; }
1170        };
1171    
1172        /** @brief Pointer to built-in VM integer variable (of C/C++ type int32_t).
1173       *       *
1174       * Used for defining built-in 32 bit integer script variables.       * Used for defining built-in 32 bit integer script variables.
1175       *       *
1176       * @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
1177       * 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
1178       * 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
1179       * use VMInt8RelPtr instead!       * VMInt64RelPtr instead! Respectively for a referenced native variable with
1180         * only 8 bit in size you @b must use VMInt8RelPtr instead!
1181       *       *
1182       * For efficiency reasons the actual native C/C++ int variable is referenced       * For efficiency reasons the actual native C/C++ int variable is referenced
1183       * 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 471  namespace LinuxSampler { Line 1189  namespace LinuxSampler {
1189       *       *
1190       * Refer to DECLARE_VMINT() for example code.       * Refer to DECLARE_VMINT() for example code.
1191       *       *
1192       * @see VMInt8RelPtr, DECLARE_VMINT()       * @see VMInt64RelPtr, VMInt8RelPtr, DECLARE_VMINT()
1193       */       */
1194      struct VMIntRelPtr : VMRelPtr {      struct VMInt32RelPtr : VMRelPtr, VMIntPtr {
1195          VMIntRelPtr() {          VMInt32RelPtr() {
1196              base   = NULL;              base   = NULL;
1197              offset = 0;              offset = 0;
1198                readonly = false;
1199          }          }
1200          VMIntRelPtr(const VMRelPtr& data) {          VMInt32RelPtr(const VMRelPtr& data) {
1201              base   = data.base;              base   = data.base;
1202              offset = data.offset;              offset = data.offset;
1203                readonly = false;
1204            }
1205            vmint evalInt() OVERRIDE {
1206                return (vmint)*(int32_t*)&(*(uint8_t**)base)[offset];
1207          }          }
1208          virtual int evalInt() { return *(int*)&(*(uint8_t**)base)[offset]; }          void assign(vmint i) OVERRIDE {
1209          virtual void assign(int i) { *(int*)&(*(uint8_t**)base)[offset] = i; }              *(int32_t*)&(*(uint8_t**)base)[offset] = (int32_t)i;
1210            }
1211            bool isAssignable() const OVERRIDE { return !readonly; }
1212      };      };
1213    
1214      /** @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 492  namespace LinuxSampler { Line 1217  namespace LinuxSampler {
1217       *       *
1218       * @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
1219       * 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
1220       * 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
1221       * @b must use VMIntRelPtr instead!       * either VMInt32RelPtr for native 32 bit variables or VMInt64RelPtrl for
1222         * native 64 bit variables instead!
1223       *       *
1224       * For efficiency reasons the actual native C/C++ int variable is referenced       * For efficiency reasons the actual native C/C++ int variable is referenced
1225       * 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 505  namespace LinuxSampler { Line 1231  namespace LinuxSampler {
1231       *       *
1232       * Refer to DECLARE_VMINT() for example code.       * Refer to DECLARE_VMINT() for example code.
1233       *       *
1234       * @see VMIntRelPtr, DECLARE_VMINT()       * @see VMIntRel32Ptr, VMIntRel64Ptr, DECLARE_VMINT()
1235       */       */
1236      struct VMInt8RelPtr : VMIntRelPtr {      struct VMInt8RelPtr : VMRelPtr, VMIntPtr {
1237          VMInt8RelPtr() : VMIntRelPtr() {}          VMInt8RelPtr() {
1238          VMInt8RelPtr(const VMRelPtr& data) : VMIntRelPtr(data) {}              base   = NULL;
1239          virtual int evalInt() OVERRIDE {              offset = 0;
1240              return *(uint8_t*)&(*(uint8_t**)base)[offset];              readonly = false;
1241            }
1242            VMInt8RelPtr(const VMRelPtr& data) {
1243                base   = data.base;
1244                offset = data.offset;
1245                readonly = false;
1246          }          }
1247          virtual void assign(int i) OVERRIDE {          vmint evalInt() OVERRIDE {
1248              *(uint8_t*)&(*(uint8_t**)base)[offset] = i;              return (vmint)*(uint8_t*)&(*(uint8_t**)base)[offset];
1249          }          }
1250            void assign(vmint i) OVERRIDE {
1251                *(uint8_t*)&(*(uint8_t**)base)[offset] = (uint8_t)i;
1252            }
1253            bool isAssignable() const OVERRIDE { return !readonly; }
1254      };      };
1255    
1256        /** @brief Pointer to built-in VM integer variable (of C/C++ type vmint).
1257         *
1258         * Use this typedef if the native variable to be pointed to is using the
1259         * typedef vmint. If the native C/C++ variable to be pointed to is using
1260         * another C/C++ type then better use one of VMInt64RelPtr or VMInt32RelPtr
1261         * instead.
1262         */
1263        typedef VMInt64RelPtr VMIntRelPtr;
1264    
1265        #if HAVE_CXX_EMBEDDED_PRAGMA_DIAGNOSTICS
1266        # define COMPILER_DISABLE_OFFSETOF_WARNING                    \
1267            _Pragma("GCC diagnostic push")                            \
1268            _Pragma("GCC diagnostic ignored \"-Winvalid-offsetof\"")
1269        # define COMPILER_RESTORE_OFFSETOF_WARNING \
1270            _Pragma("GCC diagnostic pop")
1271        #else
1272        # define COMPILER_DISABLE_OFFSETOF_WARNING
1273        # define COMPILER_RESTORE_OFFSETOF_WARNING
1274        #endif
1275    
1276      /**      /**
1277       * Convenience macro for initializing VMIntRelPtr and VMInt8RelPtr       * Convenience macro for initializing VMInt64RelPtr, VMInt32RelPtr and
1278       * structures. Usage example:       * VMInt8RelPtr structures. Usage example:
1279       * @code       * @code
1280       * struct Foo {       * struct Foo {
1281       *   uint8_t a; // native representation of a built-in integer script variable       *   uint8_t a; // native representation of a built-in integer script variable
1282       *   int b; // native representation of another built-in integer script variable       *   int64_t b; // native representation of another built-in integer script variable
1283       *   int c; // native representation of another built-in integer script variable       *   int64_t c; // native representation of another built-in integer script variable
1284       *   uint8_t d; // native representation of another built-in integer script variable       *   uint8_t d; // native representation of another built-in integer script variable
1285       * };       * };
1286       *       *
# Line 536  namespace LinuxSampler { Line 1291  namespace LinuxSampler {
1291       * Foo* pFoo;       * Foo* pFoo;
1292       *       *
1293       * VMInt8RelPtr varA = DECLARE_VMINT(pFoo, class Foo, a);       * VMInt8RelPtr varA = DECLARE_VMINT(pFoo, class Foo, a);
1294       * VMIntRelPtr  varB = DECLARE_VMINT(pFoo, class Foo, b);       * VMInt64RelPtr varB = DECLARE_VMINT(pFoo, class Foo, b);
1295       * VMIntRelPtr  varC = DECLARE_VMINT(pFoo, class Foo, c);       * VMInt64RelPtr varC = DECLARE_VMINT(pFoo, class Foo, c);
1296       * VMInt8RelPtr varD = DECLARE_VMINT(pFoo, class Foo, d);       * VMInt8RelPtr varD = DECLARE_VMINT(pFoo, class Foo, d);
1297       *       *
1298       * pFoo = &foo1;       * pFoo = &foo1;
# Line 560  namespace LinuxSampler { Line 1315  namespace LinuxSampler {
1315       * complexity inside the sampler engines which provide the actual script       * complexity inside the sampler engines which provide the actual script
1316       * functionalities.       * functionalities.
1317       */       */
1318      #define DECLARE_VMINT(basePtr, T_struct, T_member) ( \      #define DECLARE_VMINT(basePtr, T_struct, T_member) (          \
1319          (VMRelPtr) {                                     \          /* Disable offsetof warning, trust us, we are cautios. */ \
1320              (void**) &basePtr,                           \          COMPILER_DISABLE_OFFSETOF_WARNING                         \
1321              offsetof(T_struct, T_member)                 \          (VMRelPtr) {                                              \
1322          }                                                \              (void**) &basePtr,                                    \
1323      )                                                    \              offsetof(T_struct, T_member),                         \
1324                false                                                 \
1325            }                                                         \
1326            COMPILER_RESTORE_OFFSETOF_WARNING                         \
1327        )                                                             \
1328    
1329        /**
1330         * Same as DECLARE_VMINT(), but this one defines the VMInt64RelPtr,
1331         * VMInt32RelPtr and VMInt8RelPtr structures to be of read-only type.
1332         * That means the script parser will abort any script at parser time if the
1333         * script is trying to modify such a read-only built-in variable.
1334         *
1335         * @b NOTE: this is only intended for built-in read-only variables that
1336         * may change during runtime! If your built-in variable's data is rather
1337         * already available at parser time and won't change during runtime, then
1338         * you should rather register a built-in constant in your VM class instead!
1339         *
1340         * @see ScriptVM::builtInConstIntVariables()
1341         */
1342        #define DECLARE_VMINT_READONLY(basePtr, T_struct, T_member) ( \
1343            /* Disable offsetof warning, trust us, we are cautios. */ \
1344            COMPILER_DISABLE_OFFSETOF_WARNING                         \
1345            (VMRelPtr) {                                              \
1346                (void**) &basePtr,                                    \
1347                offsetof(T_struct, T_member),                         \
1348                true                                                  \
1349            }                                                         \
1350            COMPILER_RESTORE_OFFSETOF_WARNING                         \
1351        )                                                             \
1352    
1353      /** @brief Built-in VM 8 bit integer array variable.      /** @brief Built-in VM 8 bit integer array variable.
1354       *       *
1355       * Used for defining built-in integer array script variables (8 bit per       * Used for defining built-in integer array script variables (8 bit per
1356       * 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
1357       * 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
1358         * use 8 bit data types.
1359       */       */
1360      struct VMInt8Array {      struct VMInt8Array {
1361          int8_t* data;          int8_t* data;
1362          int size;          vmint size;
1363            bool readonly; ///< Whether the array data may be modified or just be read.
1364    
1365          VMInt8Array() : data(NULL), size(0) {}          VMInt8Array() : data(NULL), size(0), readonly(false) {}
1366      };      };
1367    
1368      /** @brief Virtual machine script variable.      /** @brief Virtual machine script variable.
1369       *       *
1370       * Common interface for all variables accessed in scripts.       * Common interface for all variables accessed in scripts, independent of
1371         * their precise data type.
1372       */       */
1373      class VMVariable : virtual public VMExpr {      class VMVariable : virtual public VMExpr {
1374      public:      public:
# Line 603  namespace LinuxSampler { Line 1389  namespace LinuxSampler {
1389           */           */
1390          virtual void assignExpr(VMExpr* expr) = 0;          virtual void assignExpr(VMExpr* expr) = 0;
1391      };      };
1392        
1393      /** @brief Dynamically executed variable (abstract base class).      /** @brief Dynamically executed variable (abstract base class).
1394       *       *
1395       * Interface for the implementation of a dynamically generated content of       * Interface for the implementation of a dynamically generated content of
# Line 665  namespace LinuxSampler { Line 1451  namespace LinuxSampler {
1451           * @param expr - new value to be assigned to this variable           * @param expr - new value to be assigned to this variable
1452           */           */
1453          void assignExpr(VMExpr* expr) OVERRIDE {}          void assignExpr(VMExpr* expr) OVERRIDE {}
1454    
1455            virtual ~VMDynVar() {}
1456      };      };
1457    
1458      /** @brief Dynamically executed variable (of integer data type).      /** @brief Dynamically executed variable (of integer data type).
# Line 675  namespace LinuxSampler { Line 1463  namespace LinuxSampler {
1463       */       */
1464      class VMDynIntVar : virtual public VMDynVar, virtual public VMIntExpr {      class VMDynIntVar : virtual public VMDynVar, virtual public VMIntExpr {
1465      public:      public:
1466            vmfloat unitFactor() const OVERRIDE { return VM_NO_FACTOR; }
1467            StdUnit_t unitType() const OVERRIDE { return VM_NO_UNIT; }
1468            bool isFinal() const OVERRIDE { return false; }
1469      };      };
1470    
1471      /** @brief Dynamically executed variable (of string data type).      /** @brief Dynamically executed variable (of string data type).
# Line 687  namespace LinuxSampler { Line 1478  namespace LinuxSampler {
1478      public:      public:
1479      };      };
1480    
1481        /** @brief Dynamically executed variable (of integer array data type).
1482         *
1483         * This is the base class for all built-in integer array script variables
1484         * whose variable content needs to be provided dynamically by executable
1485         * native code on each script variable access.
1486         */
1487        class VMDynIntArrayVar : virtual public VMDynVar, virtual public VMIntArrayExpr {
1488        public:
1489        };
1490    
1491      /** @brief Provider for built-in script functions and variables.      /** @brief Provider for built-in script functions and variables.
1492       *       *
1493       * Abstract base class defining the high-level interface for all classes       * Abstract base class defining the high-level interface for all classes
# Line 705  namespace LinuxSampler { Line 1506  namespace LinuxSampler {
1506          virtual VMFunction* functionByName(const String& name) = 0;          virtual VMFunction* functionByName(const String& name) = 0;
1507    
1508          /**          /**
1509             * Returns @c true if the passed built-in function is disabled and
1510             * should be ignored by the parser. This method is called by the
1511             * parser on preprocessor level for each built-in function call within
1512             * a script. Accordingly if this method returns @c true, then the
1513             * respective function call is completely filtered out on preprocessor
1514             * level, so that built-in function won't make into the result virtual
1515             * machine representation, nor would expressions of arguments passed to
1516             * that built-in function call be evaluated, nor would any check
1517             * regarding correct usage of the built-in function be performed.
1518             * In other words: a disabled function call ends up as a comment block.
1519             *
1520             * @param fn - built-in function to be checked
1521             * @param ctx - parser context at the position where the built-in
1522             *              function call is located within the script
1523             */
1524            virtual bool isFunctionDisabled(VMFunction* fn, VMParserContext* ctx) = 0;
1525    
1526            /**
1527           * Returns a variable name indexed map of all built-in script variables           * Returns a variable name indexed map of all built-in script variables
1528           * which point to native "int" scalar (usually 32 bit) variables.           * which point to native "int" scalar (usually 32 bit) variables.
1529           */           */
1530          virtual std::map<String,VMIntRelPtr*> builtInIntVariables() = 0;          virtual std::map<String,VMIntPtr*> builtInIntVariables() = 0;
1531    
1532          /**          /**
1533           * 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 720  namespace LinuxSampler { Line 1539  namespace LinuxSampler {
1539           * Returns a variable name indexed map of all built-in constant script           * Returns a variable name indexed map of all built-in constant script
1540           * variables, which never change their value at runtime.           * variables, which never change their value at runtime.
1541           */           */
1542          virtual std::map<String,int> builtInConstIntVariables() = 0;          virtual std::map<String,vmint> builtInConstIntVariables() = 0;
1543    
1544          /**          /**
1545           * 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 769  namespace LinuxSampler { Line 1588  namespace LinuxSampler {
1588           *           *
1589           * @see ScriptVM::exec()           * @see ScriptVM::exec()
1590           */           */
1591          virtual int suspensionTimeMicroseconds() const = 0;          virtual vmint suspensionTimeMicroseconds() const = 0;
1592    
1593            /**
1594             * Causes all polyphonic variables to be reset to zero values. A
1595             * polyphonic variable is expected to be zero when entering a new event
1596             * handler instance. As an exception the values of polyphonic variables
1597             * shall only be preserved from an note event handler instance to its
1598             * correspending specific release handler instance. So in the latter
1599             * case the script author may pass custom data from the note handler to
1600             * the release handler, but only for the same specific note!
1601             */
1602            virtual void resetPolyphonicData() = 0;
1603    
1604            /**
1605             * Returns amount of virtual machine instructions which have been
1606             * performed the last time when this execution context was executing a
1607             * script. So in case you need the overall amount of instructions
1608             * instead, then you need to add them by yourself after each
1609             * ScriptVM::exec() call.
1610             */
1611            virtual size_t instructionsPerformed() const = 0;
1612    
1613            /**
1614             * Sends a signal to this script execution instance to abort its script
1615             * execution as soon as possible. This method is called i.e. when one
1616             * script execution instance intends to stop another script execution
1617             * instance.
1618             */
1619            virtual void signalAbort() = 0;
1620    
1621            /**
1622             * Copies the current entire execution state from this object to the
1623             * given object. So this can be used to "fork" a new script thread which
1624             * then may run independently with its own polyphonic data for instance.
1625             */
1626            virtual void forkTo(VMExecContext* ectx) const = 0;
1627    
1628            /**
1629             * In case the script called the built-in exit() function and passed a
1630             * value as argument to the exit() function, then this method returns
1631             * the value that had been passed as argument to the exit() function.
1632             * Otherwise if the exit() function has not been called by the script
1633             * or no argument had been passed to the exit() function, then this
1634             * method returns NULL instead.
1635             *
1636             * Currently this is only used for automated test cases against the
1637             * script engine, which return some kind of value in the individual
1638             * test case scripts to check their behaviour in automated way. There
1639             * is no purpose for this mechanism in production use. Accordingly this
1640             * exit result value is @b always completely ignored by the sampler
1641             * engines.
1642             *
1643             * Officially the built-in exit() function does not expect any arguments
1644             * to be passed to its function call, and by default this feature is
1645             * hence disabled and will yield in a parser error unless
1646             * ScriptVM::setExitResultEnabled() was explicitly set.
1647             *
1648             * @see ScriptVM::setExitResultEnabled()
1649             */
1650            virtual VMExpr* exitResult() = 0;
1651      };      };
1652    
1653      /** @brief Script callback for a certain event.      /** @brief Script callback for a certain event.
# Line 801  namespace LinuxSampler { Line 1679  namespace LinuxSampler {
1679      };      };
1680    
1681      /**      /**
1682         * Reflects the precise position and span of a specific code block within
1683         * a script. This is currently only used for the locations of commented
1684         * code blocks due to preprocessor statements, and for parser errors and
1685         * parser warnings.
1686         *
1687         * @see ParserIssue for code locations of parser errors and parser warnings
1688         *
1689         * @see VMParserContext::preprocessorComments() for locations of code which
1690         *      have been filtered out by preprocessor statements
1691         */
1692        struct CodeBlock {
1693            int firstLine; ///< The first line number of this code block within the script (indexed with 1 being the very first line).
1694            int lastLine; ///< The last line number of this code block within the script.
1695            int firstColumn; ///< The first column of this code block within the script (indexed with 1 being the very first column).
1696            int lastColumn; ///< The last column of this code block within the script.
1697        };
1698    
1699        /**
1700       * Encapsulates a noteworty parser issue. This encompasses the type of the       * Encapsulates a noteworty parser issue. This encompasses the type of the
1701       * issue (either a parser error or parser warning), a human readable       * issue (either a parser error or parser warning), a human readable
1702       * explanation text of the error or warning and the location of the       * explanation text of the error or warning and the location of the
1703       * encountered parser issue within the script.       * encountered parser issue within the script.
1704         *
1705         * @see VMSourceToken for processing syntax highlighting instead.
1706       */       */
1707      struct ParserIssue {      struct ParserIssue : CodeBlock {
1708          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.  
1709          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.
1710    
1711          /**          /**
# Line 851  namespace LinuxSampler { Line 1745  namespace LinuxSampler {
1745              case EMPTY_EXPR: return "empty";              case EMPTY_EXPR: return "empty";
1746              case INT_EXPR: return "integer";              case INT_EXPR: return "integer";
1747              case INT_ARR_EXPR: return "integer array";              case INT_ARR_EXPR: return "integer array";
1748                case REAL_EXPR: return "real number";
1749                case REAL_ARR_EXPR: return "real number array";
1750              case STRING_EXPR: return "string";              case STRING_EXPR: return "string";
1751              case STRING_ARR_EXPR: return "string array";              case STRING_ARR_EXPR: return "string array";
1752          }          }
1753          return "invalid";          return "invalid";
1754      }      }
1755    
1756        /**
1757         * Returns @c true in case the passed data type is some array data type.
1758         */
1759        inline bool isArray(const ExprType_t& type) {
1760            return type == INT_ARR_EXPR || type == REAL_ARR_EXPR ||
1761                   type == STRING_ARR_EXPR;
1762        }
1763    
1764        /**
1765         * Returns @c true in case the passed data type is some scalar number type
1766         * (i.e. not an array and not a string).
1767         */
1768        inline bool isNumber(const ExprType_t& type) {
1769            return type == INT_EXPR || type == REAL_EXPR;
1770        }
1771    
1772        /**
1773         * Convenience function used for converting an StdUnit_t constant to a
1774         * string, i.e. for generating error message by the parser.
1775         */
1776        inline String unitTypeStr(const StdUnit_t& type) {
1777            switch (type) {
1778                case VM_NO_UNIT: return "none";
1779                case VM_SECOND: return "seconds";
1780                case VM_HERTZ: return "Hz";
1781                case VM_BEL: return "Bel";
1782            }
1783            return "invalid";
1784        }
1785    
1786      /** @brief Virtual machine representation of a script.      /** @brief Virtual machine representation of a script.
1787       *       *
1788       * An instance of this abstract base class represents a parsed script,       * An instance of this abstract base class represents a parsed script,
# Line 891  namespace LinuxSampler { Line 1817  namespace LinuxSampler {
1817          virtual std::vector<ParserIssue> warnings() const = 0;          virtual std::vector<ParserIssue> warnings() const = 0;
1818    
1819          /**          /**
1820             * Returns all code blocks of the script which were filtered out by the
1821             * preprocessor.
1822             */
1823            virtual std::vector<CodeBlock> preprocessorComments() const = 0;
1824    
1825            /**
1826           * Returns the translated virtual machine representation of an event           * Returns the translated virtual machine representation of an event
1827           * handler block (i.e. "on note ... end on" code block) within the           * handler block (i.e. "on note ... end on" code block) within the
1828           * parsed script. This translated representation of the event handler           * parsed script. This translated representation of the event handler
# Line 923  namespace LinuxSampler { Line 1855  namespace LinuxSampler {
1855       * This class is not actually used by the sampler itself. It is rather       * This class is not actually used by the sampler itself. It is rather
1856       * provided for external script editor applications. Primary purpose of       * provided for external script editor applications. Primary purpose of
1857       * this class is syntax highlighting for external script editors.       * this class is syntax highlighting for external script editors.
1858         *
1859         * @see ParserIssue for processing compile errors and warnings instead.
1860       */       */
1861      class VMSourceToken {      class VMSourceToken {
1862      public:      public:
# Line 935  namespace LinuxSampler { Line 1869  namespace LinuxSampler {
1869          String text() const;          String text() const;
1870    
1871          // position of token in script          // position of token in script
1872          int firstLine() const; ///< First line this source token is located at in script source code (indexed with 0 being the very first line).          int firstLine() const; ///< First line this source token is located at in script source code (indexed with 0 being the very first line). Most source code tokens are not spanning over multiple lines, the only current exception are comments, in the latter case you need to process text() to get the last line and last column for the comment.
1873          int firstColumn() const; ///< Last line this source token is located at in script source code.          int firstColumn() const; ///< First column on the first line this source token is located at in script source code (indexed with 0 being the very first column). To get the length of this token use text().length().
1874    
1875          // base types          // base types
1876          bool isEOF() const;          bool isEOF() const; ///< Returns true in case this source token represents the end of the source code file.
1877          bool isNewLine() const;          bool isNewLine() const; ///< Returns true in case this source token represents a line feed character (i.e. "\n" on Unix systems).
1878          bool isKeyword() const;          bool isKeyword() const; ///< Returns true in case this source token represents a language keyword (i.e. "while", "function", "declare", "on", etc.).
1879          bool isVariableName() const;          bool isVariableName() const; ///< Returns true in case this source token represents a variable name (i.e. "$someIntVariable", "%someArrayVariable", "\@someStringVariable"). @see isIntegerVariable(), isStringVariable(), isArrayVariable() for the precise variable type.
1880          bool isIdentifier() const;          bool isIdentifier() const; ///< Returns true in case this source token represents an identifier, which currently always means a function name.
1881          bool isNumberLiteral() const;          bool isNumberLiteral() const; ///< Returns true in case this source token represents a number literal (i.e. 123).
1882          bool isStringLiteral() const;          bool isStringLiteral() const; ///< Returns true in case this source token represents a string literal (i.e. "Some text").
1883          bool isComment() const;          bool isComment() const; ///< Returns true in case this source token represents a source code comment.
1884          bool isPreprocessor() const;          bool isPreprocessor() const; ///< Returns true in case this source token represents a preprocessor statement.
1885          bool isOther() const;          bool isMetricPrefix() const;
1886            bool isStdUnit() const;
1887            bool isOther() const; ///< Returns true in case this source token represents anything else not covered by the token types mentioned above.
1888    
1889          // extended types          // extended types
1890          bool isIntegerVariable() const;          bool isIntegerVariable() const; ///< Returns true in case this source token represents an integer variable name (i.e. "$someIntVariable").
1891          bool isStringVariable() const;          bool isRealVariable() const; ///< Returns true in case this source token represents a floating point variable name (i.e. "~someRealVariable").
1892          bool isArrayVariable() const;          bool isStringVariable() const; ///< Returns true in case this source token represents an string variable name (i.e. "\@someStringVariable").
1893          bool isEventHandlerName() const;          bool isIntArrayVariable() const; ///< Returns true in case this source token represents an integer array variable name (i.e. "%someArrayVariable").
1894            bool isRealArrayVariable() const; ///< Returns true in case this source token represents a real number array variable name (i.e. "?someArrayVariable").
1895            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.
1896            bool isEventHandlerName() const; ///< Returns true in case this source token represents an event handler name (i.e. "note", "release", "controller").
1897    
1898          VMSourceToken& operator=(const VMSourceToken& other);          VMSourceToken& operator=(const VMSourceToken& other);
1899    

Legend:
Removed from v.2945  
changed lines
  Added in v.3584

  ViewVC Help
Powered by ViewVC