| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097 |
- /*
- * This source file is part of RmlUi, the HTML/CSS Interface Middleware
- *
- * For the latest information, see http://github.com/mikke89/RmlUi
- *
- * Copyright (c) 2008-2010 CodePoint Ltd, Shift Technology Ltd
- * Copyright (c) 2019-2023 The RmlUi Team, and contributors
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
- * THE SOFTWARE.
- *
- */
- #include "DataExpression.h"
- #include "../../Include/RmlUi/Core/DataModelHandle.h"
- #include "../../Include/RmlUi/Core/Event.h"
- #include "../../Include/RmlUi/Core/Variant.h"
- #include "DataModel.h"
- #include <stack>
- #ifdef _MSC_VER
- #pragma warning(default : 4061)
- #pragma warning(default : 4062)
- #endif
- namespace Rml {
- class DataParser;
- /*
- The abstract machine for RmlUi data expressions.
- The machine can execute a program which contains a list of instructions listed below.
- The abstract machine has three registers:
- R Typically results and right-hand side arguments.
- L Typically left-hand side arguments.
- C Typically center arguments (eg. in ternary operator).
- And a stack:
- S The program stack.
- In addition, each instruction has an optional payload:
- D Instruction data (payload).
- Notation used in the instruction list below:
- S+ Push to stack S.
- S- Pop stack S (returns the popped value).
- */
- enum class Instruction {
- // clang-format off
- // Assignment (register/stack) = Read (register R/L/C, instruction data D, or stack)
- Push = 'P', // S+ = R
- Pop = 'o', // <R/L/C> = S- (D determines R/L/C)
- Literal = 'D', // R = D
- Variable = 'V', // R = DataModel.GetVariable(D) (D is an index into the variable address list)
- Add = '+', // R = L + R
- Subtract = '-', // R = L - R
- Multiply = '*', // R = L * R
- Divide = '/', // R = L / R
- Not = '!', // R = !R
- And = '&', // R = L && R
- Or = '|', // R = L || R
- Less = '<', // R = L < R
- LessEq = 'L', // R = L <= R
- Greater = '>', // R = L > R
- GreaterEq = 'G', // R = L >= R
- Equal = '=', // R = L == R
- NotEqual = 'N', // R = L != R
- Ternary = '?', // R = L ? C : R
- NumArguments = '#', // R = D (Contains the num. arguments currently on the stack, immediately followed by a 'T' or 'E' instruction)
- TransformFnc = 'T', // R = DataModel.Execute(D, A) where A = S[TOP - R, TOP]; S -= R; (D determines function name, input R the num. arguments, A the arguments)
- EventFnc = 'E', // DataModel.EventCallback(D, A); S -= R;
- Assign = 'A', // DataModel.SetVariable(D, R)
- // clang-format on
- };
- enum class Register {
- R,
- L,
- C,
- };
- struct InstructionData {
- Instruction instruction;
- Variant data;
- };
- namespace Parse {
- static void Assignment(DataParser& parser);
- static void Expression(DataParser& parser);
- } // namespace Parse
- class DataParser {
- public:
- DataParser(String expression, DataExpressionInterface expression_interface) :
- expression(std::move(expression)), expression_interface(expression_interface)
- {}
- char Look()
- {
- if (reached_end)
- return '\0';
- return expression[index];
- }
- bool Match(char c, bool skip_whitespace = true)
- {
- if (c == Look())
- {
- Next();
- if (skip_whitespace)
- SkipWhitespace();
- return true;
- }
- Expected(c);
- return false;
- }
- char Next()
- {
- ++index;
- if (index >= expression.size())
- reached_end = true;
- return Look();
- }
- void SkipWhitespace()
- {
- char c = Look();
- while (StringUtilities::IsWhitespace(c))
- c = Next();
- }
- void Error(const String& message)
- {
- parse_error = true;
- Log::Message(Log::LT_WARNING, "Error in data expression at %zu. %s", index, message.c_str());
- Log::Message(Log::LT_WARNING, " \"%s\"", expression.c_str());
- const size_t cursor_offset = size_t(index) + 3;
- const String cursor_string = String(cursor_offset, ' ') + '^';
- Log::Message(Log::LT_WARNING, "%s", cursor_string.c_str());
- }
- void Expected(const String& expected_symbols)
- {
- const char c = Look();
- if (c == '\0')
- Error(CreateString(expected_symbols.size() + 50, "Expected %s but found end of string.", expected_symbols.c_str()));
- else
- Error(CreateString(expected_symbols.size() + 50, "Expected %s but found character '%c'.", expected_symbols.c_str(), c));
- }
- void Expected(char expected) { Expected(String(1, '\'') + expected + '\''); }
- bool Parse(bool is_assignment_expression)
- {
- program.clear();
- variable_addresses.clear();
- index = 0;
- reached_end = false;
- parse_error = false;
- if (expression.empty())
- reached_end = true;
- SkipWhitespace();
- if (is_assignment_expression)
- Parse::Assignment(*this);
- else
- Parse::Expression(*this);
- if (!reached_end)
- {
- parse_error = true;
- Error(CreateString(50, "Unexpected character '%c' encountered.", Look()));
- }
- if (!parse_error && program_stack_size != 0)
- {
- parse_error = true;
- Error(CreateString(120, "Internal parser error, inconsistent stack operations. Stack size is %d at parse end.", program_stack_size));
- }
- return !parse_error;
- }
- Program ReleaseProgram()
- {
- RMLUI_ASSERT(!parse_error);
- return std::move(program);
- }
- AddressList ReleaseAddresses()
- {
- RMLUI_ASSERT(!parse_error);
- return std::move(variable_addresses);
- }
- void Emit(Instruction instruction, Variant data = Variant())
- {
- RMLUI_ASSERTMSG(instruction != Instruction::Push && instruction != Instruction::Pop && instruction != Instruction::NumArguments &&
- instruction != Instruction::TransformFnc && instruction != Instruction::EventFnc && instruction != Instruction::Variable &&
- instruction != Instruction::Assign,
- "Use Push(), Pop(), Function(), Variable(), and Assign() procedures for stack manipulation and variable instructions.");
- program.push_back(InstructionData{instruction, std::move(data)});
- }
- void Push()
- {
- program_stack_size += 1;
- program.push_back(InstructionData{Instruction::Push, Variant()});
- }
- void Pop(Register destination)
- {
- if (program_stack_size <= 0)
- {
- Error("Internal parser error: Tried to pop an empty stack.");
- return;
- }
- program_stack_size -= 1;
- program.push_back(InstructionData{Instruction::Pop, Variant(int(destination))});
- }
- void Function(Instruction instruction, int num_arguments, String&& name)
- {
- RMLUI_ASSERT(instruction == Instruction::TransformFnc || instruction == Instruction::EventFnc);
- RMLUI_ASSERT(num_arguments >= 0);
- if (program_stack_size < num_arguments)
- {
- Error(CreateString(128, "Internal parser error: Popping %d arguments, but the stack contains only %d elements.", num_arguments,
- program_stack_size));
- return;
- }
- program_stack_size -= num_arguments;
- program.push_back(InstructionData{Instruction::NumArguments, Variant(int(num_arguments))});
- program.push_back(InstructionData{instruction, Variant(std::move(name))});
- }
- void Variable(const String& name) { VariableGetSet(name, false); }
- void Assign(const String& name) { VariableGetSet(name, true); }
- private:
- void VariableGetSet(const String& name, bool is_assignment)
- {
- DataAddress address = expression_interface.ParseAddress(name);
- if (address.empty())
- {
- Error(CreateString(name.size() + 50, "Could not find data variable with name '%s'.", name.c_str()));
- return;
- }
- int index = int(variable_addresses.size());
- variable_addresses.push_back(std::move(address));
- program.push_back(InstructionData{is_assignment ? Instruction::Assign : Instruction::Variable, Variant(int(index))});
- }
- const String expression;
- DataExpressionInterface expression_interface;
- size_t index = 0;
- bool reached_end = false;
- bool parse_error = true;
- int program_stack_size = 0;
- Program program;
- AddressList variable_addresses;
- };
- namespace Parse {
- // Forward declare all parse functions.
- static void Assignment(DataParser& parser);
- // The following in order of precedence.
- static void Expression(DataParser& parser);
- static void Relational(DataParser& parser);
- static void Additive(DataParser& parser);
- static void Term(DataParser& parser);
- static void Factor(DataParser& parser);
- static void NumberLiteral(DataParser& parser);
- static void StringLiteral(DataParser& parser);
- static void VariableOrFunction(DataParser& parser);
- static void Add(DataParser& parser);
- static void Subtract(DataParser& parser);
- static void Multiply(DataParser& parser);
- static void Divide(DataParser& parser);
- static void Not(DataParser& parser);
- static void And(DataParser& parser);
- static void Or(DataParser& parser);
- static void Less(DataParser& parser);
- static void Greater(DataParser& parser);
- static void Equal(DataParser& parser);
- static void NotEqual(DataParser& parser);
- static void Ternary(DataParser& parser);
- static void Function(DataParser& parser, Instruction function_type, String&& name, bool first_argument_piped);
- // Helper functions
- static bool IsVariableCharacter(char c, bool is_first_character)
- {
- const bool is_alpha = (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z');
- if (is_first_character)
- return is_alpha;
- if (is_alpha || (c >= '0' && c <= '9'))
- return true;
- for (char valid_char : "_.[] ")
- {
- if (c == valid_char && valid_char != '\0')
- return true;
- }
- return false;
- }
- static String VariableOrFunctionName(DataParser& parser, bool* out_valid_function_name)
- {
- String name;
- bool is_first_character = true;
- char c = parser.Look();
- while (IsVariableCharacter(c, is_first_character))
- {
- name += c;
- c = parser.Next();
- is_first_character = false;
- }
- // Right trim spaces in name
- size_t new_size = String::npos;
- for (int i = int(name.size()) - 1; i >= 1; i--)
- {
- if (name[i] == ' ')
- new_size = size_t(i);
- else
- break;
- }
- if (new_size != String::npos)
- name.resize(new_size);
- if (out_valid_function_name)
- *out_valid_function_name = (name.find_first_of(".[] ") == String::npos);
- return name;
- }
- // Parser functions
- static void Assignment(DataParser& parser)
- {
- bool looping = true;
- while (looping)
- {
- if (parser.Look() != '\0')
- {
- String variable_name = VariableOrFunctionName(parser, nullptr);
- if (variable_name.empty())
- {
- parser.Error("Expected a variable for assignment but got an empty name.");
- return;
- }
- const char c = parser.Look();
- if (c == '=')
- {
- parser.Match('=');
- Expression(parser);
- parser.Assign(variable_name);
- }
- else if (c == '(' || c == ';' || c == '\0')
- {
- Function(parser, Instruction::EventFnc, std::move(variable_name), false);
- }
- else
- {
- parser.Expected("one of = ; ( or end of string");
- return;
- }
- }
- const char c = parser.Look();
- if (c == ';')
- parser.Match(';');
- else if (c == '\0')
- looping = false;
- else
- {
- parser.Expected("';' or end of string");
- looping = false;
- }
- }
- }
- static void Expression(DataParser& parser)
- {
- Relational(parser);
- bool looping = true;
- while (looping)
- {
- switch (parser.Look())
- {
- case '&': And(parser); break;
- case '|':
- {
- parser.Match('|', false);
- if (parser.Look() == '|')
- Or(parser);
- else
- {
- parser.Push();
- parser.SkipWhitespace();
- bool valid_function_name = true;
- String name = VariableOrFunctionName(parser, &valid_function_name);
- if (name.empty())
- {
- parser.Error("Expected a transform function name but got an empty name.");
- return;
- }
- if (!valid_function_name)
- {
- parser.Error("Expected a transform function name but got an invalid name '" + name + "'.");
- return;
- }
- Function(parser, Instruction::TransformFnc, std::move(name), true);
- }
- }
- break;
- case '?': Ternary(parser); break;
- default: looping = false;
- }
- }
- }
- static void Relational(DataParser& parser)
- {
- Additive(parser);
- bool looping = true;
- while (looping)
- {
- switch (parser.Look())
- {
- case '=': Equal(parser); break;
- case '!': NotEqual(parser); break;
- case '<': Less(parser); break;
- case '>': Greater(parser); break;
- default: looping = false;
- }
- }
- }
- static void Additive(DataParser& parser)
- {
- Term(parser);
- bool looping = true;
- while (looping)
- {
- switch (parser.Look())
- {
- case '+': Add(parser); break;
- case '-': Subtract(parser); break;
- default: looping = false;
- }
- }
- }
- static void Term(DataParser& parser)
- {
- Factor(parser);
- bool looping = true;
- while (looping)
- {
- switch (parser.Look())
- {
- case '*': Multiply(parser); break;
- case '/': Divide(parser); break;
- default: looping = false;
- }
- }
- }
- static void Factor(DataParser& parser)
- {
- const char c = parser.Look();
- if (c == '(')
- {
- parser.Match('(');
- Expression(parser);
- parser.Match(')');
- }
- else if (c == '\'')
- {
- parser.Match('\'', false);
- StringLiteral(parser);
- parser.Match('\'');
- }
- else if (c == '!')
- {
- Not(parser);
- parser.SkipWhitespace();
- }
- else if (c == '-' || (c >= '0' && c <= '9'))
- {
- NumberLiteral(parser);
- parser.SkipWhitespace();
- }
- else if ((c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z'))
- {
- VariableOrFunction(parser);
- parser.SkipWhitespace();
- }
- else
- parser.Expected("literal, variable name, function name, parenthesis, or '!'");
- }
- static void NumberLiteral(DataParser& parser)
- {
- String str;
- bool first_match = false;
- bool has_dot = false;
- char c = parser.Look();
- if (c == '-')
- {
- str += c;
- c = parser.Next();
- }
- while ((c >= '0' && c <= '9') || (c == '.' && !has_dot))
- {
- first_match = true;
- str += c;
- if (c == '.')
- has_dot = true;
- c = parser.Next();
- }
- if (!first_match)
- {
- parser.Error(CreateString(100, "Invalid number literal. Expected '0-9' or '.' but found '%c'.", c));
- return;
- }
- const double number = FromString(str, 0.0);
- parser.Emit(Instruction::Literal, Variant(number));
- }
- static void StringLiteral(DataParser& parser)
- {
- String str;
- char c = parser.Look();
- char c_prev = '\0';
- while (c != '\0' && (c != '\'' || c_prev == '\\'))
- {
- if (c_prev == '\\' && (c == '\\' || c == '\''))
- {
- str.pop_back();
- c_prev = '\0';
- }
- else
- {
- c_prev = c;
- }
- str += c;
- c = parser.Next();
- }
- parser.Emit(Instruction::Literal, Variant(str));
- }
- static void VariableOrFunction(DataParser& parser)
- {
- bool valid_function_name = true;
- String name = VariableOrFunctionName(parser, &valid_function_name);
- if (name.empty())
- {
- parser.Error("Expected a variable or function name but got an empty name.");
- return;
- }
- // Keywords are parsed like variables, but are really literals. Check for them here.
- if (name == "true")
- parser.Emit(Instruction::Literal, Variant(true));
- else if (name == "false")
- parser.Emit(Instruction::Literal, Variant(false));
- else if (parser.Look() == '(')
- {
- if (!valid_function_name)
- {
- parser.Error("Invalid function name '" + name + "'.");
- return;
- }
- Function(parser, Instruction::TransformFnc, std::move(name), false);
- }
- else
- parser.Variable(name);
- }
- static void Add(DataParser& parser)
- {
- parser.Match('+');
- parser.Push();
- Term(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::Add);
- }
- static void Subtract(DataParser& parser)
- {
- parser.Match('-');
- parser.Push();
- Term(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::Subtract);
- }
- static void Multiply(DataParser& parser)
- {
- parser.Match('*');
- parser.Push();
- Factor(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::Multiply);
- }
- static void Divide(DataParser& parser)
- {
- parser.Match('/');
- parser.Push();
- Factor(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::Divide);
- }
- static void Not(DataParser& parser)
- {
- parser.Match('!');
- Factor(parser);
- parser.Emit(Instruction::Not);
- }
- static void Or(DataParser& parser)
- {
- // We already skipped the first '|' during expression
- parser.Match('|');
- parser.Push();
- Relational(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::Or);
- }
- static void And(DataParser& parser)
- {
- parser.Match('&', false);
- parser.Match('&');
- parser.Push();
- Relational(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::And);
- }
- static void Less(DataParser& parser)
- {
- Instruction instruction = Instruction::Less;
- parser.Match('<', false);
- if (parser.Look() == '=')
- {
- parser.Match('=');
- instruction = Instruction::LessEq;
- }
- else
- {
- parser.SkipWhitespace();
- }
- parser.Push();
- Additive(parser);
- parser.Pop(Register::L);
- parser.Emit(instruction);
- }
- static void Greater(DataParser& parser)
- {
- Instruction instruction = Instruction::Greater;
- parser.Match('>', false);
- if (parser.Look() == '=')
- {
- parser.Match('=');
- instruction = Instruction::GreaterEq;
- }
- else
- {
- parser.SkipWhitespace();
- }
- parser.Push();
- Additive(parser);
- parser.Pop(Register::L);
- parser.Emit(instruction);
- }
- static void Equal(DataParser& parser)
- {
- parser.Match('=', false);
- parser.Match('=');
- parser.Push();
- Additive(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::Equal);
- }
- static void NotEqual(DataParser& parser)
- {
- parser.Match('!', false);
- parser.Match('=');
- parser.Push();
- Additive(parser);
- parser.Pop(Register::L);
- parser.Emit(Instruction::NotEqual);
- }
- static void Ternary(DataParser& parser)
- {
- parser.Match('?');
- parser.Push();
- Expression(parser);
- parser.Push();
- parser.Match(':');
- Expression(parser);
- parser.Pop(Register::C);
- parser.Pop(Register::L);
- parser.Emit(Instruction::Ternary);
- }
- static void Function(DataParser& parser, Instruction function_type, String&& func_name, bool first_argument_piped)
- {
- RMLUI_ASSERT(function_type == Instruction::TransformFnc || function_type == Instruction::EventFnc);
- // We already matched the variable name, and also pushed the first argument to the stack if it was piped using '|'.
- int num_arguments = first_argument_piped ? 1 : 0;
- if (parser.Look() == '(')
- {
- bool looping = true;
- parser.Match('(');
- if (parser.Look() == ')')
- {
- parser.Match(')');
- looping = false;
- }
- while (looping)
- {
- num_arguments += 1;
- Expression(parser);
- parser.Push();
- switch (parser.Look())
- {
- case ')':
- parser.Match(')');
- looping = false;
- break;
- case ',': parser.Match(','); break;
- default:
- parser.Expected("one of ')' or ','");
- looping = false;
- break;
- }
- }
- }
- else
- {
- parser.SkipWhitespace();
- }
- parser.Function(function_type, num_arguments, std::move(func_name));
- }
- } // namespace Parse
- static String DumpProgram(const Program& program)
- {
- String str;
- for (size_t i = 0; i < program.size(); i++)
- {
- String instruction_str = program[i].data.Get<String>();
- str += CreateString(50 + instruction_str.size(), " %4zu '%c' %s\n", i, char(program[i].instruction), instruction_str.c_str());
- }
- return str;
- }
- class DataInterpreter {
- public:
- DataInterpreter(const Program& program, const AddressList& addresses, DataExpressionInterface expression_interface) :
- program(program), addresses(addresses), expression_interface(expression_interface)
- {}
- bool Error(const String& message) const
- {
- Log::Message(Log::LT_WARNING, "Error during execution. %s", message.c_str());
- RMLUI_ERROR;
- return false;
- }
- bool Run()
- {
- bool success = true;
- for (size_t i = 0; i < program.size(); i++)
- {
- if (!Execute(program[i].instruction, program[i].data))
- {
- success = false;
- break;
- }
- }
- if (success && !stack.empty())
- Log::Message(Log::LT_WARNING, "Possible data interpreter stack corruption. Stack size is %zu at end of execution (should be zero).",
- stack.size());
- if (!success)
- {
- String program_str = DumpProgram(program);
- Log::Message(Log::LT_WARNING, "Failed to execute program with %zu instructions:", program.size());
- Log::Message(Log::LT_WARNING, "%s", program_str.c_str());
- }
- return success;
- }
- Variant Result() const { return R; }
- private:
- Variant R, L, C;
- Vector<Variant> stack;
- const Program& program;
- const AddressList& addresses;
- DataExpressionInterface expression_interface;
- bool Execute(const Instruction instruction, const Variant& data)
- {
- auto AnyString = [](const Variant& v1, const Variant& v2) { return v1.GetType() == Variant::STRING || v2.GetType() == Variant::STRING; };
- switch (instruction)
- {
- case Instruction::Push:
- {
- stack.push_back(std::move(R));
- R.Clear();
- }
- break;
- case Instruction::Pop:
- {
- if (stack.empty())
- return Error("Cannot pop stack, it is empty.");
- Register reg = Register(data.Get<int>(-1));
- switch (reg)
- {
- // clang-format off
- case Register::R: R = stack.back(); stack.pop_back(); break;
- case Register::L: L = stack.back(); stack.pop_back(); break;
- case Register::C: C = stack.back(); stack.pop_back(); break;
- // clang-format on
- default: return Error(CreateString(50, "Invalid register %d.", int(reg)));
- }
- }
- break;
- case Instruction::Literal:
- {
- R = data;
- }
- break;
- case Instruction::Variable:
- {
- size_t variable_index = size_t(data.Get<int>(-1));
- if (variable_index < addresses.size())
- R = expression_interface.GetValue(addresses[variable_index]);
- else
- return Error("Variable address not found.");
- }
- break;
- case Instruction::Add:
- {
- if (AnyString(L, R))
- R = Variant(L.Get<String>() + R.Get<String>());
- else
- R = Variant(L.Get<double>() + R.Get<double>());
- }
- break;
- // clang-format off
- case Instruction::Subtract: R = Variant(L.Get<double>() - R.Get<double>()); break;
- case Instruction::Multiply: R = Variant(L.Get<double>() * R.Get<double>()); break;
- case Instruction::Divide: R = Variant(L.Get<double>() / R.Get<double>()); break;
- case Instruction::Not: R = Variant(!R.Get<bool>()); break;
- case Instruction::And: R = Variant(L.Get<bool>() && R.Get<bool>()); break;
- case Instruction::Or: R = Variant(L.Get<bool>() || R.Get<bool>()); break;
- case Instruction::Less: R = Variant(L.Get<double>() < R.Get<double>()); break;
- case Instruction::LessEq: R = Variant(L.Get<double>() <= R.Get<double>()); break;
- case Instruction::Greater: R = Variant(L.Get<double>() > R.Get<double>()); break;
- case Instruction::GreaterEq: R = Variant(L.Get<double>() >= R.Get<double>()); break;
- // clang-format on
- case Instruction::Equal:
- {
- if (AnyString(L, R))
- R = Variant(L.Get<String>() == R.Get<String>());
- else
- R = Variant(L.Get<double>() == R.Get<double>());
- }
- break;
- case Instruction::NotEqual:
- {
- if (AnyString(L, R))
- R = Variant(L.Get<String>() != R.Get<String>());
- else
- R = Variant(L.Get<double>() != R.Get<double>());
- }
- break;
- case Instruction::Ternary:
- {
- if (L.Get<bool>())
- R = C;
- }
- break;
- case Instruction::NumArguments:
- {
- const int num_arguments = data.Get<int>(-1);
- R = num_arguments;
- }
- break;
- case Instruction::TransformFnc:
- case Instruction::EventFnc:
- {
- Vector<Variant> arguments;
- if (!ExtractArgumentsFromStack(arguments))
- return false;
- const String function_name = data.Get<String>();
- const bool result = (instruction == Instruction::TransformFnc ? expression_interface.CallTransform(function_name, arguments, R)
- : expression_interface.EventCallback(function_name, arguments));
- if (!result)
- {
- String arguments_str;
- for (size_t i = 0; i < arguments.size(); i++)
- {
- arguments_str += arguments[i].Get<String>();
- if (i < arguments.size() - 1)
- arguments_str += ", ";
- }
- return Error(CreateString(60 + function_name.size() + arguments_str.size(), "Failed to execute %s: %s(%s)",
- instruction == Instruction::TransformFnc ? "transform function" : "event callback", function_name.c_str(),
- arguments_str.c_str()));
- }
- }
- break;
- case Instruction::Assign:
- {
- size_t variable_index = size_t(data.Get<int>(-1));
- if (variable_index < addresses.size())
- {
- if (!expression_interface.SetValue(addresses[variable_index], R))
- return Error("Could not assign to variable.");
- }
- else
- return Error("Variable address not found.");
- }
- break;
- default: RMLUI_ERRORMSG("Instruction not implemented."); break;
- }
- return true;
- }
- bool ExtractArgumentsFromStack(Vector<Variant>& out_arguments)
- {
- int num_arguments = R.Get<int>(-1);
- if (num_arguments < 0)
- return Error("Invalid number of arguments.");
- if (stack.size() < size_t(num_arguments))
- return Error(CreateString(100, "Cannot pop %d arguments, stack contains only %zu elements.", num_arguments, stack.size()));
- const auto it_stack_begin_arguments = stack.end() - num_arguments;
- out_arguments.insert(out_arguments.end(), std::make_move_iterator(it_stack_begin_arguments), std::make_move_iterator(stack.end()));
- stack.erase(it_stack_begin_arguments, stack.end());
- return true;
- }
- };
- DataExpression::DataExpression(String expression) : expression(std::move(expression)) {}
- DataExpression::~DataExpression() {}
- bool DataExpression::Parse(const DataExpressionInterface& expression_interface, bool is_assignment_expression)
- {
- DataParser parser(expression, expression_interface);
- if (!parser.Parse(is_assignment_expression))
- return false;
- program = parser.ReleaseProgram();
- addresses = parser.ReleaseAddresses();
- return true;
- }
- bool DataExpression::Run(const DataExpressionInterface& expression_interface, Variant& out_value)
- {
- DataInterpreter interpreter(program, addresses, expression_interface);
- if (!interpreter.Run())
- return false;
- out_value = interpreter.Result();
- return true;
- }
- StringList DataExpression::GetVariableNameList() const
- {
- StringList list;
- list.reserve(addresses.size());
- for (const DataAddress& address : addresses)
- {
- if (!address.empty())
- list.push_back(address[0].name);
- }
- return list;
- }
- DataExpressionInterface::DataExpressionInterface(DataModel* data_model, Element* element, Event* event) :
- data_model(data_model), element(element), event(event)
- {}
- DataAddress DataExpressionInterface::ParseAddress(const String& address_str) const
- {
- if (address_str.size() >= 4 && address_str[0] == 'e' && address_str[1] == 'v' && address_str[2] == '.')
- return DataAddress{DataAddressEntry("ev"), DataAddressEntry(address_str.substr(3))};
- return data_model ? data_model->ResolveAddress(address_str, element) : DataAddress();
- }
- Variant DataExpressionInterface::GetValue(const DataAddress& address) const
- {
- Variant result;
- if (event && address.size() == 2 && address.front().name == "ev")
- {
- auto& parameters = event->GetParameters();
- auto it = parameters.find(address.back().name);
- if (it != parameters.end())
- result = it->second;
- }
- else if (data_model)
- {
- data_model->GetVariableInto(address, result);
- }
- return result;
- }
- bool DataExpressionInterface::SetValue(const DataAddress& address, const Variant& value) const
- {
- bool result = false;
- if (data_model && !address.empty())
- {
- if (DataVariable variable = data_model->GetVariable(address))
- result = variable.Set(value);
- if (result)
- data_model->DirtyVariable(address.front().name);
- }
- return result;
- }
- bool DataExpressionInterface::CallTransform(const String& name, const VariantList& arguments, Variant& out_result)
- {
- return data_model ? data_model->CallTransform(name, arguments, out_result) : false;
- }
- bool DataExpressionInterface::EventCallback(const String& name, const VariantList& arguments)
- {
- if (!data_model || !event)
- return false;
- const DataEventFunc* func = data_model->GetEventCallback(name);
- if (!func || !*func)
- return false;
- DataModelHandle handle(data_model);
- func->operator()(handle, *event, arguments);
- return true;
- }
- } // namespace Rml
|