1 /* 2 * Copyright (C) 2009 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #ifndef _EXPRESSION_H 18 #define _EXPRESSION_H 19 20 #include <unistd.h> 21 22 #include <memory> 23 #include <string> 24 #include <vector> 25 26 #include "edify/updater_interface.h" 27 28 // Forward declaration to avoid including "otautil/error_code.h". 29 enum ErrorCode : int; 30 enum CauseCode : int; 31 32 struct State { 33 State(const std::string& script, UpdaterInterface* cookie); 34 35 // The source of the original script. 36 const std::string& script; 37 38 // A pointer to app-specific data; the libedify doesn't use this value. 39 UpdaterInterface* updater; 40 41 // The error message (if any) returned if the evaluation aborts. 42 // Should be empty initially, will be either empty or a string that 43 // Evaluate() returns. 44 std::string errmsg; 45 46 // error code indicates the type of failure (e.g. failure to update system image) 47 // during the OTA process. 48 ErrorCode error_code; 49 50 // cause code provides more detailed reason of an OTA failure (e.g. fsync error) 51 // in addition to the error code. 52 CauseCode cause_code; 53 54 bool is_retry = false; 55 }; 56 57 struct Value { 58 enum class Type { 59 STRING = 1, 60 BLOB = 2, 61 }; 62 ValueValue63 Value(Type type, std::string str) : type(type), data(std::move(str)) {} 64 65 Type type; 66 std::string data; 67 }; 68 69 struct Expr; 70 71 using Function = Value* (*)(const char* name, State* state, 72 const std::vector<std::unique_ptr<Expr>>& argv); 73 74 struct Expr { 75 Function fn; 76 std::string name; 77 std::vector<std::unique_ptr<Expr>> argv; 78 int start, end; 79 ExprExpr80 Expr(Function fn, const std::string& name, int start, int end) : 81 fn(fn), 82 name(name), 83 start(start), 84 end(end) {} 85 }; 86 87 // Evaluate the input expr, return the resulting Value. 88 Value* EvaluateValue(State* state, const std::unique_ptr<Expr>& expr); 89 90 // Evaluate the input expr, assert that it is a string, and update the result parameter. This 91 // function returns true if the evaluation succeeds. This is a convenience function for older 92 // functions that want to deal only with strings. 93 bool Evaluate(State* state, const std::unique_ptr<Expr>& expr, std::string* result); 94 95 // Glue to make an Expr out of a literal. 96 Value* Literal(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 97 98 // Functions corresponding to various syntactic sugar operators. 99 // ("concat" is also available as a builtin function, to concatenate 100 // more than two strings.) 101 Value* ConcatFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 102 Value* LogicalAndFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 103 Value* LogicalOrFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 104 Value* LogicalNotFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 105 Value* SubstringFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 106 Value* EqualityFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 107 Value* InequalityFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 108 Value* SequenceFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 109 110 // Global builtins, registered by RegisterBuiltins(). 111 Value* IfElseFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 112 Value* AssertFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 113 Value* AbortFn(const char* name, State* state, const std::vector<std::unique_ptr<Expr>>& argv); 114 115 // Register a new function. The same Function may be registered under 116 // multiple names, but a given name should only be used once. 117 void RegisterFunction(const std::string& name, Function fn); 118 119 // Register all the builtins. 120 void RegisterBuiltins(); 121 122 // Find the Function for a given name; return NULL if no such function 123 // exists. 124 Function FindFunction(const std::string& name); 125 126 // --- convenience functions for use in functions --- 127 128 // Evaluate the expressions in argv, and put the results of strings in args. If any expression 129 // evaluates to nullptr, return false. Return true on success. 130 bool ReadArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv, 131 std::vector<std::string>* args); 132 bool ReadArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv, 133 std::vector<std::string>* args, size_t start, size_t len); 134 135 // Evaluate the expressions in argv, and put the results of Value* in args. If any 136 // expression evaluate to nullptr, return false. Return true on success. 137 bool ReadValueArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv, 138 std::vector<std::unique_ptr<Value>>* args); 139 bool ReadValueArgs(State* state, const std::vector<std::unique_ptr<Expr>>& argv, 140 std::vector<std::unique_ptr<Value>>* args, size_t start, size_t len); 141 142 // Use printf-style arguments to compose an error message to put into 143 // *state. Returns NULL. 144 Value* ErrorAbort(State* state, const char* format, ...) 145 __attribute__((format(printf, 2, 3), deprecated)); 146 147 // ErrorAbort has an optional (but recommended) argument 'cause_code'. If the cause code 148 // is set, it will be logged into last_install and provides reason of OTA failures. 149 Value* ErrorAbort(State* state, CauseCode cause_code, const char* format, ...) 150 __attribute__((format(printf, 3, 4))); 151 152 // Copying the string into a Value. 153 Value* StringValue(const char* str); 154 155 Value* StringValue(const std::string& str); 156 157 int ParseString(const std::string& str, std::unique_ptr<Expr>* root, int* error_count); 158 159 #endif // _EXPRESSION_H 160