blob: 56411af72c0e81d302e79927be0a2538308f3ac3 [file] [log] [blame]
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +09001/*
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 Innocentia5161a02019-01-30 22:40:53 +090021#include <limits>
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090022#include <ostream>
23
Steven Morelanda3074542020-01-13 14:13:44 -080024#include <android-base/result.h>
25
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090026namespace android {
27namespace 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 Innocenti6f9fd902018-10-11 20:50:23 +090033//
34// Status is implicitly movable via the default noexcept move constructor
35// and noexcept move-assignment operator.
36class [[nodiscard]] Status {
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090037 public:
38 Status() = default;
Jonathan Basseri0e9d5fa2017-08-22 11:39:17 -070039 explicit Status(int code) : mCode(code) {}
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090040
Bernie Innocenti6f9fd902018-10-11 20:50:23 +090041 // 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 Scherpelzf3fa5cc2017-05-22 12:30:03 +090043
Steven Morelanda3074542020-01-13 14:13:44 -080044 Status(android::base::Result<void> result)
Bernie Innocenti615fd742020-02-06 03:55:09 +090045 : mCode(result.ok() ? 0 : result.error().code()),
46 mMsg(result.ok() ? "" : result.error().message()) {}
Steven Morelanda3074542020-01-13 14:13:44 -080047
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090048 int code() const { return mCode; }
49
50 bool ok() const { return code() == 0; }
51
52 const std::string& msg() const { return mMsg; }
53
Bernie Innocenti6f9fd902018-10-11 20:50:23 +090054 // Explicitly ignores the Status without triggering [[nodiscard]] errors.
55 void ignoreError() const {}
56
Joel Scherpelzde937962017-06-01 13:20:21 +090057 bool operator==(const Status& other) const { return code() == other.code(); }
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090058 bool operator!=(const Status& other) const { return !(*this == other); }
59
60 private:
61 int mCode = 0;
62 std::string mMsg;
63};
64
65namespace status {
66
67const Status ok{0};
Joel Scherpelzde937962017-06-01 13:20:21 +090068// EOF is not part of errno space, we'll place it far above the
69// highest existing value.
70const Status eof{0x10001, "end of file"};
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090071const 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 Scherpelzde937962017-06-01 13:20:21 +090078inline bool isOk(const Status& status) {
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090079 return status.ok();
80}
81
Bernie Innocenti6f9fd902018-10-11 20:50:23 +090082// For use only in tests.
83#define EXPECT_OK(status) EXPECT_TRUE((status).ok())
84
85// Documents that status is expected to be ok. This function may log
86// (or assert when running in debug mode) if status has an unexpected value.
87inline void expectOk(const Status& /*status*/) {
88 // TODO: put something here, for now this function serves solely as documentation.
89}
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090090
91// Convert POSIX errno to a Status object.
92// If Status is extended to have more features, this mapping may
93// become more complex.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090094Status statusFromErrno(int err, const std::string& msg);
95
Joel Scherpelzde937962017-06-01 13:20:21 +090096// Helper that checks Status-like object (notably StatusOr) against a
97// value in the errno space.
98bool equalToErrno(const Status& status, int err);
99
100// Helper that converts Status-like object (notably StatusOr) to a
101// message.
102std::string toString(const Status& status);
Joel Scherpelz08b84cd2017-05-22 13:11:54 +0900103
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900104std::ostream& operator<<(std::ostream& os, const Status& s);
105
Jonathan Basseri774f0062017-08-22 10:40:27 -0700106// Evaluate 'stmt' to a Status object and if it results in an error, return that
107// error. Use 'tmp' as a variable name to avoid shadowing any variables named
108// tmp.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900109#define RETURN_IF_NOT_OK_IMPL(tmp, stmt) \
110 do { \
111 ::android::netdutils::Status tmp = (stmt); \
112 if (!isOk(tmp)) { \
113 return tmp; \
114 } \
115 } while (false)
116
Jonathan Basseri774f0062017-08-22 10:40:27 -0700117// Create a unique variable name to avoid shadowing local variables.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900118#define RETURN_IF_NOT_OK_CONCAT(line, stmt) RETURN_IF_NOT_OK_IMPL(__CONCAT(_status_, line), stmt)
119
120// Macro to allow exception-like handling of error return values.
121//
122// If the evaluation of stmt results in an error, return that error
123// from current function.
124//
125// Example usage:
126// Status bar() { ... }
127//
128// RETURN_IF_NOT_OK(status);
129// RETURN_IF_NOT_OK(bar());
130#define RETURN_IF_NOT_OK(stmt) RETURN_IF_NOT_OK_CONCAT(__LINE__, stmt)
131
132} // namespace netdutils
133} // namespace android
134
135#endif /* NETUTILS_STATUS_H */