Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2017 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 NETUTILS_STATUS_H |
| 18 | #define NETUTILS_STATUS_H |
| 19 | |
| 20 | #include <cassert> |
Bernie Innocenti | a5161a0 | 2019-01-30 22:40:53 +0900 | [diff] [blame] | 21 | #include <limits> |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 22 | #include <ostream> |
| 23 | |
Steven Moreland | a307454 | 2020-01-13 14:13:44 -0800 | [diff] [blame] | 24 | #include <android-base/result.h> |
| 25 | |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 26 | namespace android { |
| 27 | namespace netdutils { |
| 28 | |
| 29 | // Simple status implementation suitable for use on the stack in low |
| 30 | // or moderate performance code. This can definitely be improved but |
| 31 | // for now short string optimization is expected to keep the common |
| 32 | // success case fast. |
Bernie Innocenti | 6f9fd90 | 2018-10-11 20:50:23 +0900 | [diff] [blame] | 33 | // |
| 34 | // Status is implicitly movable via the default noexcept move constructor |
| 35 | // and noexcept move-assignment operator. |
| 36 | class [[nodiscard]] Status { |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 37 | public: |
| 38 | Status() = default; |
Jonathan Basseri | 0e9d5fa | 2017-08-22 11:39:17 -0700 | [diff] [blame] | 39 | explicit Status(int code) : mCode(code) {} |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 40 | |
Bernie Innocenti | 6f9fd90 | 2018-10-11 20:50:23 +0900 | [diff] [blame] | 41 | // Constructs an error Status, |code| must be non-zero. |
| 42 | Status(int code, std::string msg) : mCode(code), mMsg(std::move(msg)) { assert(!ok()); } |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 43 | |
Steven Moreland | a307454 | 2020-01-13 14:13:44 -0800 | [diff] [blame] | 44 | Status(android::base::Result<void> result) |
Bernie Innocenti | 615fd74 | 2020-02-06 03:55:09 +0900 | [diff] [blame] | 45 | : mCode(result.ok() ? 0 : result.error().code()), |
| 46 | mMsg(result.ok() ? "" : result.error().message()) {} |
Steven Moreland | a307454 | 2020-01-13 14:13:44 -0800 | [diff] [blame] | 47 | |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 48 | int code() const { return mCode; } |
| 49 | |
| 50 | bool ok() const { return code() == 0; } |
| 51 | |
| 52 | const std::string& msg() const { return mMsg; } |
| 53 | |
Bernie Innocenti | 6f9fd90 | 2018-10-11 20:50:23 +0900 | [diff] [blame] | 54 | // Explicitly ignores the Status without triggering [[nodiscard]] errors. |
| 55 | void ignoreError() const {} |
| 56 | |
Joel Scherpelz | de93796 | 2017-06-01 13:20:21 +0900 | [diff] [blame] | 57 | bool operator==(const Status& other) const { return code() == other.code(); } |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 58 | bool operator!=(const Status& other) const { return !(*this == other); } |
| 59 | |
| 60 | private: |
| 61 | int mCode = 0; |
| 62 | std::string mMsg; |
| 63 | }; |
| 64 | |
| 65 | namespace status { |
| 66 | |
| 67 | const Status ok{0}; |
Joel Scherpelz | de93796 | 2017-06-01 13:20:21 +0900 | [diff] [blame] | 68 | // EOF is not part of errno space, we'll place it far above the |
| 69 | // highest existing value. |
| 70 | const Status eof{0x10001, "end of file"}; |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 71 | const Status undefined{std::numeric_limits<int>::max(), "undefined"}; |
| 72 | |
| 73 | } // namespace status |
| 74 | |
| 75 | // Return true if status is "OK". This is sometimes preferable to |
| 76 | // status.ok() when we want to check the state of Status-like objects |
| 77 | // that implicitly cast to Status. |
Joel Scherpelz | de93796 | 2017-06-01 13:20:21 +0900 | [diff] [blame] | 78 | inline bool isOk(const Status& status) { |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 79 | return status.ok(); |
| 80 | } |
| 81 | |
Automerger Merge Worker | 82a0f04 | 2020-03-05 07:51:03 +0000 | [diff] [blame] | 82 | // For use only in tests. Used for both Status and Status-like objects. See also isOk(). |
| 83 | #define EXPECT_OK(status) EXPECT_TRUE(isOk(status)) |
| 84 | #define ASSERT_OK(status) ASSERT_TRUE(isOk(status)) |
Bernie Innocenti | 6f9fd90 | 2018-10-11 20:50:23 +0900 | [diff] [blame] | 85 | |
| 86 | // Documents that status is expected to be ok. This function may log |
| 87 | // (or assert when running in debug mode) if status has an unexpected value. |
| 88 | inline void expectOk(const Status& /*status*/) { |
| 89 | // TODO: put something here, for now this function serves solely as documentation. |
| 90 | } |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 91 | |
| 92 | // Convert POSIX errno to a Status object. |
| 93 | // If Status is extended to have more features, this mapping may |
| 94 | // become more complex. |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 95 | Status statusFromErrno(int err, const std::string& msg); |
| 96 | |
Joel Scherpelz | de93796 | 2017-06-01 13:20:21 +0900 | [diff] [blame] | 97 | // Helper that checks Status-like object (notably StatusOr) against a |
| 98 | // value in the errno space. |
| 99 | bool equalToErrno(const Status& status, int err); |
| 100 | |
| 101 | // Helper that converts Status-like object (notably StatusOr) to a |
| 102 | // message. |
| 103 | std::string toString(const Status& status); |
Joel Scherpelz | 08b84cd | 2017-05-22 13:11:54 +0900 | [diff] [blame] | 104 | |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 105 | std::ostream& operator<<(std::ostream& os, const Status& s); |
| 106 | |
Jonathan Basseri | 774f006 | 2017-08-22 10:40:27 -0700 | [diff] [blame] | 107 | // Evaluate 'stmt' to a Status object and if it results in an error, return that |
| 108 | // error. Use 'tmp' as a variable name to avoid shadowing any variables named |
| 109 | // tmp. |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 110 | #define RETURN_IF_NOT_OK_IMPL(tmp, stmt) \ |
| 111 | do { \ |
| 112 | ::android::netdutils::Status tmp = (stmt); \ |
| 113 | if (!isOk(tmp)) { \ |
| 114 | return tmp; \ |
| 115 | } \ |
| 116 | } while (false) |
| 117 | |
Jonathan Basseri | 774f006 | 2017-08-22 10:40:27 -0700 | [diff] [blame] | 118 | // Create a unique variable name to avoid shadowing local variables. |
Joel Scherpelz | f3fa5cc | 2017-05-22 12:30:03 +0900 | [diff] [blame] | 119 | #define RETURN_IF_NOT_OK_CONCAT(line, stmt) RETURN_IF_NOT_OK_IMPL(__CONCAT(_status_, line), stmt) |
| 120 | |
| 121 | // Macro to allow exception-like handling of error return values. |
| 122 | // |
| 123 | // If the evaluation of stmt results in an error, return that error |
| 124 | // from current function. |
| 125 | // |
| 126 | // Example usage: |
| 127 | // Status bar() { ... } |
| 128 | // |
| 129 | // RETURN_IF_NOT_OK(status); |
| 130 | // RETURN_IF_NOT_OK(bar()); |
| 131 | #define RETURN_IF_NOT_OK(stmt) RETURN_IF_NOT_OK_CONCAT(__LINE__, stmt) |
| 132 | |
| 133 | } // namespace netdutils |
| 134 | } // namespace android |
| 135 | |
| 136 | #endif /* NETUTILS_STATUS_H */ |