Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 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 | |
Doug Zongker | 583fc12 | 2010-02-19 16:07:57 -0800 | [diff] [blame] | 20 | #include <unistd.h> |
Tao Bao | 59dcb9c | 2016-10-03 18:06:46 -0700 | [diff] [blame] | 21 | #include <string> |
Doug Zongker | 583fc12 | 2010-02-19 16:07:57 -0800 | [diff] [blame] | 22 | |
Tianjie Xu | 1625583 | 2016-04-30 11:49:59 -0700 | [diff] [blame] | 23 | #include "error_code.h" |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 24 | |
Tao Bao | 59dcb9c | 2016-10-03 18:06:46 -0700 | [diff] [blame] | 25 | struct State { |
| 26 | State(const std::string& script, void* cookie); |
| 27 | |
| 28 | // The source of the original script. |
| 29 | const std::string& script; |
| 30 | |
Doug Zongker | d9c9d10 | 2009-06-12 12:24:39 -0700 | [diff] [blame] | 31 | // Optional pointer to app-specific data; the core of edify never |
| 32 | // uses this value. |
| 33 | void* cookie; |
| 34 | |
Doug Zongker | d9c9d10 | 2009-06-12 12:24:39 -0700 | [diff] [blame] | 35 | // The error message (if any) returned if the evaluation aborts. |
Tao Bao | 59dcb9c | 2016-10-03 18:06:46 -0700 | [diff] [blame] | 36 | // Should be empty initially, will be either empty or a string that |
| 37 | // Evaluate() returns. |
| 38 | std::string errmsg; |
Tianjie Xu | 1625583 | 2016-04-30 11:49:59 -0700 | [diff] [blame] | 39 | |
| 40 | // error code indicates the type of failure (e.g. failure to update system image) |
| 41 | // during the OTA process. |
| 42 | ErrorCode error_code = kNoError; |
| 43 | |
| 44 | // cause code provides more detailed reason of an OTA failure (e.g. fsync error) |
| 45 | // in addition to the error code. |
| 46 | CauseCode cause_code = kNoCause; |
| 47 | |
Tianjie Xu | 7ce287d | 2016-05-31 09:29:49 -0700 | [diff] [blame] | 48 | bool is_retry = false; |
Tao Bao | 59dcb9c | 2016-10-03 18:06:46 -0700 | [diff] [blame] | 49 | }; |
Doug Zongker | d9c9d10 | 2009-06-12 12:24:39 -0700 | [diff] [blame] | 50 | |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 51 | enum ValueType { |
| 52 | VAL_INVALID = -1, |
| 53 | VAL_STRING = 1, |
| 54 | VAL_BLOB = 2, |
| 55 | }; |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 56 | |
Tao Bao | 39119ad | 2016-10-10 22:52:18 -0700 | [diff] [blame] | 57 | struct Value { |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 58 | ValueType type; |
| 59 | std::string data; |
| 60 | |
| 61 | Value(ValueType type, const std::string& str) : |
| 62 | type(type), |
| 63 | data(str) {} |
Tao Bao | 39119ad | 2016-10-10 22:52:18 -0700 | [diff] [blame] | 64 | }; |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 65 | |
Tao Bao | 39119ad | 2016-10-10 22:52:18 -0700 | [diff] [blame] | 66 | struct Expr; |
| 67 | |
| 68 | using Function = Value* (*)(const char* name, State* state, int argc, Expr* argv[]); |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 69 | |
| 70 | struct Expr { |
Doug Zongker | d9c9d10 | 2009-06-12 12:24:39 -0700 | [diff] [blame] | 71 | Function fn; |
Tao Bao | 2a5a49d | 2015-08-20 12:10:46 -0700 | [diff] [blame] | 72 | const char* name; |
Doug Zongker | d9c9d10 | 2009-06-12 12:24:39 -0700 | [diff] [blame] | 73 | int argc; |
| 74 | Expr** argv; |
| 75 | int start, end; |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 76 | }; |
| 77 | |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 78 | // Take one of the Expr*s passed to the function as an argument, |
| 79 | // evaluate it, return the resulting Value. The caller takes |
| 80 | // ownership of the returned Value. |
| 81 | Value* EvaluateValue(State* state, Expr* expr); |
| 82 | |
| 83 | // Take one of the Expr*s passed to the function as an argument, |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 84 | // evaluate it, assert that it is a string, and update the result |
| 85 | // parameter. This function returns true if the evaluation succeeds. |
| 86 | // This is a convenience function for older functions that want to |
| 87 | // deal only with strings. |
| 88 | bool Evaluate(State* state, Expr* expr, std::string* result); |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 89 | |
| 90 | // Glue to make an Expr out of a literal. |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 91 | Value* Literal(const char* name, State* state, int argc, Expr* argv[]); |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 92 | |
| 93 | // Functions corresponding to various syntactic sugar operators. |
| 94 | // ("concat" is also available as a builtin function, to concatenate |
| 95 | // more than two strings.) |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 96 | Value* ConcatFn(const char* name, State* state, int argc, Expr* argv[]); |
| 97 | Value* LogicalAndFn(const char* name, State* state, int argc, Expr* argv[]); |
| 98 | Value* LogicalOrFn(const char* name, State* state, int argc, Expr* argv[]); |
| 99 | Value* LogicalNotFn(const char* name, State* state, int argc, Expr* argv[]); |
| 100 | Value* SubstringFn(const char* name, State* state, int argc, Expr* argv[]); |
| 101 | Value* EqualityFn(const char* name, State* state, int argc, Expr* argv[]); |
| 102 | Value* InequalityFn(const char* name, State* state, int argc, Expr* argv[]); |
| 103 | Value* SequenceFn(const char* name, State* state, int argc, Expr* argv[]); |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 104 | |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 105 | // Global builtins, registered by RegisterBuiltins(). |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 106 | Value* IfElseFn(const char* name, State* state, int argc, Expr* argv[]); |
| 107 | Value* AssertFn(const char* name, State* state, int argc, Expr* argv[]); |
| 108 | Value* AbortFn(const char* name, State* state, int argc, Expr* argv[]); |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 109 | |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 110 | // Register a new function. The same Function may be registered under |
| 111 | // multiple names, but a given name should only be used once. |
Tao Bao | 39119ad | 2016-10-10 22:52:18 -0700 | [diff] [blame] | 112 | void RegisterFunction(const std::string& name, Function fn); |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 113 | |
| 114 | // Register all the builtins. |
| 115 | void RegisterBuiltins(); |
| 116 | |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 117 | // Find the Function for a given name; return NULL if no such function |
| 118 | // exists. |
Tao Bao | 39119ad | 2016-10-10 22:52:18 -0700 | [diff] [blame] | 119 | Function FindFunction(const std::string& name); |
Doug Zongker | 9931f7f | 2009-06-10 14:11:53 -0700 | [diff] [blame] | 120 | |
| 121 | // --- convenience functions for use in functions --- |
| 122 | |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 123 | // Evaluate the expressions in argv, and put the results of strings in |
| 124 | // args. If any expression evaluates to nullptr, free the rest and return |
| 125 | // false. Return true on success. |
| 126 | bool ReadArgs(State* state, int argc, Expr* argv[], std::vector<std::string>* args); |
| 127 | |
| 128 | // Evaluate the expressions in argv, and put the results of Value* in |
| 129 | // args. If any expression evaluate to nullptr, free the rest and return |
| 130 | // false. Return true on success. |
Tianjie Xu | 5fe280a | 2016-10-17 18:15:20 -0700 | [diff] [blame] | 131 | bool ReadValueArgs(State* state, int argc, Expr* argv[], std::vector<std::unique_ptr<Value>>* args); |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 132 | |
Doug Zongker | 47cace9 | 2009-06-18 10:11:50 -0700 | [diff] [blame] | 133 | // Use printf-style arguments to compose an error message to put into |
| 134 | // *state. Returns NULL. |
Tianjie Xu | 1625583 | 2016-04-30 11:49:59 -0700 | [diff] [blame] | 135 | Value* ErrorAbort(State* state, const char* format, ...) |
| 136 | __attribute__((format(printf, 2, 3), deprecated)); |
| 137 | |
| 138 | // ErrorAbort has an optional (but recommended) argument 'cause_code'. If the cause code |
| 139 | // is set, it will be logged into last_install and provides reason of OTA failures. |
| 140 | Value* ErrorAbort(State* state, CauseCode cause_code, const char* format, ...) |
| 141 | __attribute__((format(printf, 3, 4))); |
Doug Zongker | 47cace9 | 2009-06-18 10:11:50 -0700 | [diff] [blame] | 142 | |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 143 | // Copying the string into a Value. |
| 144 | Value* StringValue(const char* str); |
Doug Zongker | 512536a | 2010-02-17 16:11:44 -0800 | [diff] [blame] | 145 | |
Tianjie Xu | aced5d9 | 2016-10-12 10:55:04 -0700 | [diff] [blame] | 146 | Value* StringValue(const std::string& str); |
Doug Zongker | 9931f7f | 2009-06-10 14:11:53 -0700 | [diff] [blame] | 147 | |
Doug Zongker | 0d32f25 | 2014-02-13 15:07:56 -0800 | [diff] [blame] | 148 | int parse_string(const char* str, Expr** root, int* error_count); |
| 149 | |
Doug Zongker | 37bee62 | 2009-06-08 17:35:39 -0700 | [diff] [blame] | 150 | #endif // _EXPRESSION_H |