1 |
/* -*- c++ -*- |
/* -*- c++ -*- |
2 |
* |
* |
3 |
* Copyright (c) 2014 Christian Schoenebeck and Andreas Persson |
* Copyright (c) 2014 - 2017 Christian Schoenebeck and Andreas Persson |
4 |
* |
* |
5 |
* http://www.linuxsampler.org |
* http://www.linuxsampler.org |
6 |
* |
* |
20 |
#include <iostream> |
#include <iostream> |
21 |
#include <map> |
#include <map> |
22 |
#include <set> |
#include <set> |
23 |
|
#include <string.h> // for memset() |
24 |
#include "../common/global.h" |
#include "../common/global.h" |
25 |
#include "../common/Ref.h" |
#include "../common/Ref.h" |
26 |
#include "../common/ArrayList.h" |
#include "../common/ArrayList.h" |
36 |
STMT_LIST, |
STMT_LIST, |
37 |
STMT_BRANCH, |
STMT_BRANCH, |
38 |
STMT_LOOP, |
STMT_LOOP, |
39 |
|
STMT_SYNC, |
40 |
}; |
}; |
41 |
|
|
42 |
class Node { |
class Node { |
65 |
}; |
}; |
66 |
typedef Ref<IntExpr,Node> IntExprRef; |
typedef Ref<IntExpr,Node> IntExprRef; |
67 |
|
|
68 |
|
/*class IntArrayExpr : virtual public VMIntArrayExpr, virtual public Expression { |
69 |
|
public: |
70 |
|
ExprType_t exprType() const { return INT_ARR_EXPR; } |
71 |
|
String evalCastToStr(); |
72 |
|
}; |
73 |
|
typedef Ref<IntArrayExpr,Node> IntArrayExprRef;*/ |
74 |
|
|
75 |
class StringExpr : virtual public VMStringExpr, virtual public Expression { |
class StringExpr : virtual public VMStringExpr, virtual public Expression { |
76 |
public: |
public: |
77 |
ExprType_t exprType() const { return STRING_EXPR; } |
ExprType_t exprType() const { return STRING_EXPR; } |
107 |
std::vector<ExpressionRef> args; |
std::vector<ExpressionRef> args; |
108 |
void add(ExpressionRef arg) { args.push_back(arg); } |
void add(ExpressionRef arg) { args.push_back(arg); } |
109 |
void dump(int level = 0); |
void dump(int level = 0); |
110 |
int argsCount() const { return args.size(); } |
int argsCount() const { return (int) args.size(); } |
111 |
VMExpr* arg(int i) { return (i >= 0 && i < argsCount()) ? &*args.at(i) : NULL; } |
VMExpr* arg(int i) { return (i >= 0 && i < argsCount()) ? &*args.at(i) : NULL; } |
112 |
bool isPolyphonic() const; |
bool isPolyphonic() const; |
113 |
}; |
}; |
114 |
typedef Ref<Args,Node> ArgsRef; |
typedef Ref<Args,Node> ArgsRef; |
115 |
|
|
116 |
class Variable : virtual public Expression { |
class Variable : virtual public VMVariable, virtual public Expression { |
117 |
public: |
public: |
118 |
virtual bool isConstExpr() const { return bConst; } |
bool isConstExpr() const OVERRIDE { return bConst; } |
119 |
|
bool isAssignable() const OVERRIDE { return !bConst; } |
120 |
virtual void assign(Expression* expr) = 0; |
virtual void assign(Expression* expr) = 0; |
121 |
|
void assignExpr(VMExpr* expr) OVERRIDE { Expression* e = dynamic_cast<Expression*>(expr); if (e) assign(e); } |
122 |
protected: |
protected: |
123 |
Variable(ParserContext* ctx, int _memPos, bool _bConst) |
Variable(ParserContext* ctx, int _memPos, bool _bConst) |
124 |
: context(ctx), memPos(_memPos), bConst(_bConst) {} |
: context(ctx), memPos(_memPos), bConst(_bConst) {} |
159 |
VMIntRelPtr* ptr; |
VMIntRelPtr* ptr; |
160 |
public: |
public: |
161 |
BuiltInIntVariable(const String& name, VMIntRelPtr* ptr); |
BuiltInIntVariable(const String& name, VMIntRelPtr* ptr); |
162 |
void assign(Expression* expr); |
bool isAssignable() const OVERRIDE { return !ptr->readonly; } |
163 |
int evalInt(); |
void assign(Expression* expr) OVERRIDE; |
164 |
void dump(int level = 0); |
int evalInt() OVERRIDE; |
165 |
|
void dump(int level = 0) OVERRIDE; |
166 |
}; |
}; |
167 |
typedef Ref<BuiltInIntVariable,Node> BuiltInIntVariableRef; |
typedef Ref<BuiltInIntVariable,Node> BuiltInIntVariableRef; |
168 |
|
|
177 |
ArrayList<int> values; |
ArrayList<int> values; |
178 |
public: |
public: |
179 |
IntArrayVariable(ParserContext* ctx, int size); |
IntArrayVariable(ParserContext* ctx, int size); |
180 |
IntArrayVariable(ParserContext* ctx, int size, ArgsRef values); |
IntArrayVariable(ParserContext* ctx, int size, ArgsRef values, bool _bConst = false); |
181 |
void assign(Expression* expr) {} // ignore scalar assignment |
void assign(Expression* expr) {} // ignore scalar assignment |
182 |
String evalCastToStr() { return ""; } // ignore scalar cast to string |
String evalCastToStr() { return ""; } // ignore scalar cast to string |
183 |
ExprType_t exprType() const { return INT_ARR_EXPR; } |
ExprType_t exprType() const { return INT_ARR_EXPR; } |
198 |
BuiltInIntArrayVariable(const String& name, VMInt8Array* array); |
BuiltInIntArrayVariable(const String& name, VMInt8Array* array); |
199 |
int arraySize() const { return array->size; } |
int arraySize() const { return array->size; } |
200 |
int evalIntElement(uint i); |
int evalIntElement(uint i); |
201 |
|
bool isAssignable() const OVERRIDE { return !array->readonly; } |
202 |
void assignIntElement(uint i, int value); |
void assignIntElement(uint i, int value); |
203 |
void dump(int level = 0); |
void dump(int level = 0); |
204 |
}; |
}; |
333 |
virtual Statements* branch(uint i) const = 0; |
virtual Statements* branch(uint i) const = 0; |
334 |
}; |
}; |
335 |
|
|
336 |
|
class DynamicVariableCall : public Variable, virtual public IntExpr, virtual public StringExpr { |
337 |
|
VMDynVar* dynVar; |
338 |
|
String varName; |
339 |
|
public: |
340 |
|
DynamicVariableCall(const String& name, ParserContext* ctx, VMDynVar* v); |
341 |
|
ExprType_t exprType() const OVERRIDE { return dynVar->exprType(); } |
342 |
|
bool isConstExpr() const OVERRIDE { return dynVar->isConstExpr(); } |
343 |
|
bool isAssignable() const OVERRIDE { return dynVar->isAssignable(); } |
344 |
|
bool isPolyphonic() const OVERRIDE { return false; } |
345 |
|
void assign(Expression* expr) OVERRIDE { dynVar->assignExpr(expr); } |
346 |
|
VMIntArrayExpr* asIntArray() const OVERRIDE { return dynVar->asIntArray(); } |
347 |
|
int evalInt() OVERRIDE; |
348 |
|
String evalStr() OVERRIDE; |
349 |
|
String evalCastToStr() OVERRIDE; |
350 |
|
void dump(int level = 0) OVERRIDE; |
351 |
|
}; |
352 |
|
typedef Ref<DynamicVariableCall,Node> DynamicVariableCallRef; |
353 |
|
|
354 |
class FunctionCall : virtual public LeafStatement, virtual public IntExpr, virtual public StringExpr { |
class FunctionCall : virtual public LeafStatement, virtual public IntExpr, virtual public StringExpr { |
355 |
String functionName; |
String functionName; |
356 |
ArgsRef args; |
ArgsRef args; |
358 |
public: |
public: |
359 |
FunctionCall(const char* function, ArgsRef args, VMFunction* fn) : |
FunctionCall(const char* function, ArgsRef args, VMFunction* fn) : |
360 |
functionName(function), args(args), fn(fn) { } |
functionName(function), args(args), fn(fn) { } |
361 |
void dump(int level = 0); |
void dump(int level = 0) OVERRIDE; |
362 |
StmtFlags_t exec(); |
StmtFlags_t exec() OVERRIDE; |
363 |
int evalInt(); |
int evalInt() OVERRIDE; |
364 |
String evalStr(); |
VMIntArrayExpr* asIntArray() const OVERRIDE; |
365 |
bool isConstExpr() const { return false; } |
String evalStr() OVERRIDE; |
366 |
ExprType_t exprType() const; |
bool isConstExpr() const OVERRIDE { return false; } |
367 |
String evalCastToStr(); |
ExprType_t exprType() const OVERRIDE; |
368 |
bool isPolyphonic() const { return args->isPolyphonic(); } |
String evalCastToStr() OVERRIDE; |
369 |
|
bool isPolyphonic() const OVERRIDE { return args->isPolyphonic(); } |
370 |
protected: |
protected: |
371 |
VMFnResult* execVMFn(); |
VMFnResult* execVMFn(); |
372 |
}; |
}; |
387 |
class OnNote : public EventHandler { |
class OnNote : public EventHandler { |
388 |
public: |
public: |
389 |
OnNote(StatementsRef statements) : EventHandler(statements) {} |
OnNote(StatementsRef statements) : EventHandler(statements) {} |
390 |
|
VMEventHandlerType_t eventHandlerType() const { return VM_EVENT_HANDLER_NOTE; } |
391 |
String eventHandlerName() const { return "note"; } |
String eventHandlerName() const { return "note"; } |
392 |
}; |
}; |
393 |
typedef Ref<OnNote,Node> OnNoteRef; |
typedef Ref<OnNote,Node> OnNoteRef; |
395 |
class OnInit : public EventHandler { |
class OnInit : public EventHandler { |
396 |
public: |
public: |
397 |
OnInit(StatementsRef statements) : EventHandler(statements) {} |
OnInit(StatementsRef statements) : EventHandler(statements) {} |
398 |
|
VMEventHandlerType_t eventHandlerType() const { return VM_EVENT_HANDLER_INIT; } |
399 |
String eventHandlerName() const { return "init"; } |
String eventHandlerName() const { return "init"; } |
400 |
}; |
}; |
401 |
typedef Ref<OnInit,Node> OnInitRef; |
typedef Ref<OnInit,Node> OnInitRef; |
403 |
class OnRelease : public EventHandler { |
class OnRelease : public EventHandler { |
404 |
public: |
public: |
405 |
OnRelease(StatementsRef statements) : EventHandler(statements) {} |
OnRelease(StatementsRef statements) : EventHandler(statements) {} |
406 |
|
VMEventHandlerType_t eventHandlerType() const { return VM_EVENT_HANDLER_RELEASE; } |
407 |
String eventHandlerName() const { return "release"; } |
String eventHandlerName() const { return "release"; } |
408 |
}; |
}; |
409 |
typedef Ref<OnRelease,Node> OnReleaseRef; |
typedef Ref<OnRelease,Node> OnReleaseRef; |
411 |
class OnController : public EventHandler { |
class OnController : public EventHandler { |
412 |
public: |
public: |
413 |
OnController(StatementsRef statements) : EventHandler(statements) {} |
OnController(StatementsRef statements) : EventHandler(statements) {} |
414 |
|
VMEventHandlerType_t eventHandlerType() const { return VM_EVENT_HANDLER_CONTROLLER; } |
415 |
String eventHandlerName() const { return "controller"; } |
String eventHandlerName() const { return "controller"; } |
416 |
}; |
}; |
417 |
typedef Ref<OnController,Node> OnControllerRef; |
typedef Ref<OnController,Node> OnControllerRef; |
426 |
int evalInt() { return 0; } |
int evalInt() { return 0; } |
427 |
EventHandler* eventHandlerByName(const String& name) const; |
EventHandler* eventHandlerByName(const String& name) const; |
428 |
EventHandler* eventHandler(uint index) const; |
EventHandler* eventHandler(uint index) const; |
429 |
inline uint size() const { return args.size(); } |
inline uint size() const { return (int) args.size(); } |
430 |
bool isPolyphonic() const; |
bool isPolyphonic() const; |
431 |
}; |
}; |
432 |
typedef Ref<EventHandlers,Node> EventHandlersRef; |
typedef Ref<EventHandlers,Node> EventHandlersRef; |
439 |
Assignment(VariableRef variable, ExpressionRef value); |
Assignment(VariableRef variable, ExpressionRef value); |
440 |
void dump(int level = 0); |
void dump(int level = 0); |
441 |
StmtFlags_t exec(); |
StmtFlags_t exec(); |
442 |
bool isPolyphonic() const { return variable->isPolyphonic() || value->isPolyphonic(); } |
bool isPolyphonic() const { return (variable && variable->isPolyphonic()) || (value && value->isPolyphonic()); } |
443 |
}; |
}; |
444 |
typedef Ref<Assignment,Node> AssignmentRef; |
typedef Ref<Assignment,Node> AssignmentRef; |
445 |
|
|
496 |
bool isPolyphonic() const { return m_condition->isPolyphonic() || m_statements->isPolyphonic(); } |
bool isPolyphonic() const { return m_condition->isPolyphonic() || m_statements->isPolyphonic(); } |
497 |
}; |
}; |
498 |
|
|
499 |
|
class SyncBlock : public Statement { |
500 |
|
StatementsRef m_statements; |
501 |
|
public: |
502 |
|
SyncBlock(StatementsRef statements) : m_statements(statements) {} |
503 |
|
StmtType_t statementType() const { return STMT_SYNC; } |
504 |
|
void dump(int level = 0); |
505 |
|
Statements* statements() const; |
506 |
|
bool isPolyphonic() const { return m_statements->isPolyphonic(); } |
507 |
|
}; |
508 |
|
typedef Ref<SyncBlock,Node> SyncBlockRef; |
509 |
|
|
510 |
class Neg : public IntExpr { |
class Neg : public IntExpr { |
511 |
IntExprRef expr; |
IntExprRef expr; |
512 |
public: |
public: |
561 |
}; |
}; |
562 |
typedef Ref<Or,Node> OrRef; |
typedef Ref<Or,Node> OrRef; |
563 |
|
|
564 |
|
class BitwiseOr : virtual public BinaryOp, virtual public IntExpr { |
565 |
|
public: |
566 |
|
BitwiseOr(IntExprRef lhs, IntExprRef rhs) : BinaryOp(lhs,rhs) {} |
567 |
|
int evalInt(); |
568 |
|
void dump(int level = 0); |
569 |
|
}; |
570 |
|
typedef Ref<BitwiseOr,Node> BitwiseOrRef; |
571 |
|
|
572 |
class And : virtual public BinaryOp, virtual public IntExpr { |
class And : virtual public BinaryOp, virtual public IntExpr { |
573 |
public: |
public: |
574 |
And(IntExprRef lhs, IntExprRef rhs) : BinaryOp(lhs,rhs) {} |
And(IntExprRef lhs, IntExprRef rhs) : BinaryOp(lhs,rhs) {} |
577 |
}; |
}; |
578 |
typedef Ref<And,Node> AndRef; |
typedef Ref<And,Node> AndRef; |
579 |
|
|
580 |
|
class BitwiseAnd : virtual public BinaryOp, virtual public IntExpr { |
581 |
|
public: |
582 |
|
BitwiseAnd(IntExprRef lhs, IntExprRef rhs) : BinaryOp(lhs,rhs) {} |
583 |
|
int evalInt(); |
584 |
|
void dump(int level = 0); |
585 |
|
}; |
586 |
|
typedef Ref<BitwiseAnd,Node> BitwiseAndRef; |
587 |
|
|
588 |
class Not : virtual public IntExpr { |
class Not : virtual public IntExpr { |
589 |
IntExprRef expr; |
IntExprRef expr; |
590 |
public: |
public: |
596 |
}; |
}; |
597 |
typedef Ref<Not,Node> NotRef; |
typedef Ref<Not,Node> NotRef; |
598 |
|
|
599 |
|
class BitwiseNot : virtual public IntExpr { |
600 |
|
IntExprRef expr; |
601 |
|
public: |
602 |
|
BitwiseNot(IntExprRef expr) : expr(expr) {} |
603 |
|
int evalInt() { return ~expr->evalInt(); } |
604 |
|
void dump(int level = 0); |
605 |
|
bool isConstExpr() const { return expr->isConstExpr(); } |
606 |
|
bool isPolyphonic() const { return expr->isPolyphonic(); } |
607 |
|
}; |
608 |
|
typedef Ref<BitwiseNot,Node> BitwiseNotRef; |
609 |
|
|
610 |
class ParserContext : public VMParserContext { |
class ParserContext : public VMParserContext { |
611 |
public: |
public: |
612 |
struct Error { |
struct Error { |
625 |
std::set<String> userPreprocessorConditions; |
std::set<String> userPreprocessorConditions; |
626 |
|
|
627 |
std::map<String,VariableRef> vartable; |
std::map<String,VariableRef> vartable; |
628 |
|
std::map<String,StatementsRef> userFnTable; |
629 |
int globalIntVarCount; |
int globalIntVarCount; |
630 |
int globalStrVarCount; |
int globalStrVarCount; |
631 |
int polyphonicIntVarCount; |
int polyphonicIntVarCount; |
657 |
IntVariableRef globalIntVar(const String& name); |
IntVariableRef globalIntVar(const String& name); |
658 |
StringVariableRef globalStrVar(const String& name); |
StringVariableRef globalStrVar(const String& name); |
659 |
VariableRef variableByName(const String& name); |
VariableRef variableByName(const String& name); |
660 |
void addErr(int line, const char* txt); |
StatementsRef userFunctionByName(const String& name); |
661 |
void addWrn(int line, const char* txt); |
void addErr(int firstLine, int lastLine, int firstColumn, int lastColumn, const char* txt); |
662 |
|
void addWrn(int firstLine, int lastLine, int firstColumn, int lastColumn, const char* txt); |
663 |
void createScanner(std::istream* is); |
void createScanner(std::istream* is); |
664 |
void destroyScanner(); |
void destroyScanner(); |
665 |
bool setPreprocessorCondition(const char* name); |
bool setPreprocessorCondition(const char* name); |
673 |
void registerBuiltInConstIntVariables(const std::map<String,int>& vars); |
void registerBuiltInConstIntVariables(const std::map<String,int>& vars); |
674 |
void registerBuiltInIntVariables(const std::map<String,VMIntRelPtr*>& vars); |
void registerBuiltInIntVariables(const std::map<String,VMIntRelPtr*>& vars); |
675 |
void registerBuiltInIntArrayVariables(const std::map<String,VMInt8Array*>& vars); |
void registerBuiltInIntArrayVariables(const std::map<String,VMInt8Array*>& vars); |
676 |
|
void registerBuiltInDynVariables(const std::map<String,VMDynVar*>& vars); |
677 |
}; |
}; |
678 |
|
|
679 |
class ExecContext : public VMExecContext { |
class ExecContext : public VMExecContext { |
693 |
ArrayList<StackFrame> stack; |
ArrayList<StackFrame> stack; |
694 |
int stackFrame; |
int stackFrame; |
695 |
int suspendMicroseconds; |
int suspendMicroseconds; |
696 |
|
size_t instructionsCount; |
697 |
|
|
698 |
ExecContext() : |
ExecContext() : |
699 |
status(VM_EXEC_NOT_RUNNING), stackFrame(-1), suspendMicroseconds(0) {} |
status(VM_EXEC_NOT_RUNNING), stackFrame(-1), suspendMicroseconds(0), |
700 |
|
instructionsCount(0) {} |
701 |
|
|
702 |
virtual ~ExecContext() {} |
virtual ~ExecContext() {} |
703 |
|
|
725 |
int suspensionTimeMicroseconds() const OVERRIDE { |
int suspensionTimeMicroseconds() const OVERRIDE { |
726 |
return suspendMicroseconds; |
return suspendMicroseconds; |
727 |
} |
} |
728 |
|
|
729 |
|
void resetPolyphonicData() OVERRIDE { |
730 |
|
if (polyphonicIntMemory.empty()) return; |
731 |
|
memset(&polyphonicIntMemory[0], 0, polyphonicIntMemory.size() * sizeof(int)); |
732 |
|
} |
733 |
|
|
734 |
|
size_t instructionsPerformed() const OVERRIDE { |
735 |
|
return instructionsCount; |
736 |
|
} |
737 |
}; |
}; |
738 |
|
|
739 |
} // namespace LinuxSampler |
} // namespace LinuxSampler |