blob: 503eea322579564994b99160009db3a16b7a5461 [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
24namespace android {
25namespace netdutils {
26
27// Simple status implementation suitable for use on the stack in low
28// or moderate performance code. This can definitely be improved but
29// for now short string optimization is expected to keep the common
30// success case fast.
Bernie Innocenti6f9fd902018-10-11 20:50:23 +090031//
32// Status is implicitly movable via the default noexcept move constructor
33// and noexcept move-assignment operator.
34class [[nodiscard]] Status {
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090035 public:
36 Status() = default;
Jonathan Basseri0e9d5fa2017-08-22 11:39:17 -070037 explicit Status(int code) : mCode(code) {}
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090038
Bernie Innocenti6f9fd902018-10-11 20:50:23 +090039 // Constructs an error Status, |code| must be non-zero.
40 Status(int code, std::string msg) : mCode(code), mMsg(std::move(msg)) { assert(!ok()); }
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090041
42 int code() const { return mCode; }
43
44 bool ok() const { return code() == 0; }
45
46 const std::string& msg() const { return mMsg; }
47
Bernie Innocenti6f9fd902018-10-11 20:50:23 +090048 // Explicitly ignores the Status without triggering [[nodiscard]] errors.
49 void ignoreError() const {}
50
Joel Scherpelzde937962017-06-01 13:20:21 +090051 bool operator==(const Status& other) const { return code() == other.code(); }
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090052 bool operator!=(const Status& other) const { return !(*this == other); }
53
54 private:
55 int mCode = 0;
56 std::string mMsg;
57};
58
59namespace status {
60
61const Status ok{0};
Joel Scherpelzde937962017-06-01 13:20:21 +090062// EOF is not part of errno space, we'll place it far above the
63// highest existing value.
64const Status eof{0x10001, "end of file"};
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090065const Status undefined{std::numeric_limits<int>::max(), "undefined"};
66
67} // namespace status
68
69// Return true if status is "OK". This is sometimes preferable to
70// status.ok() when we want to check the state of Status-like objects
71// that implicitly cast to Status.
Joel Scherpelzde937962017-06-01 13:20:21 +090072inline bool isOk(const Status& status) {
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090073 return status.ok();
74}
75
Bernie Innocenti6f9fd902018-10-11 20:50:23 +090076// For use only in tests.
77#define EXPECT_OK(status) EXPECT_TRUE((status).ok())
78
79// Documents that status is expected to be ok. This function may log
80// (or assert when running in debug mode) if status has an unexpected value.
81inline void expectOk(const Status& /*status*/) {
82 // TODO: put something here, for now this function serves solely as documentation.
83}
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090084
85// Convert POSIX errno to a Status object.
86// If Status is extended to have more features, this mapping may
87// become more complex.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090088Status statusFromErrno(int err, const std::string& msg);
89
Joel Scherpelzde937962017-06-01 13:20:21 +090090// Helper that checks Status-like object (notably StatusOr) against a
91// value in the errno space.
92bool equalToErrno(const Status& status, int err);
93
94// Helper that converts Status-like object (notably StatusOr) to a
95// message.
96std::string toString(const Status& status);
Joel Scherpelz08b84cd2017-05-22 13:11:54 +090097
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090098std::ostream& operator<<(std::ostream& os, const Status& s);
99
Jonathan Basseri774f0062017-08-22 10:40:27 -0700100// Evaluate 'stmt' to a Status object and if it results in an error, return that
101// error. Use 'tmp' as a variable name to avoid shadowing any variables named
102// tmp.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900103#define RETURN_IF_NOT_OK_IMPL(tmp, stmt) \
104 do { \
105 ::android::netdutils::Status tmp = (stmt); \
106 if (!isOk(tmp)) { \
107 return tmp; \
108 } \
109 } while (false)
110
Jonathan Basseri774f0062017-08-22 10:40:27 -0700111// Create a unique variable name to avoid shadowing local variables.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900112#define RETURN_IF_NOT_OK_CONCAT(line, stmt) RETURN_IF_NOT_OK_IMPL(__CONCAT(_status_, line), stmt)
113
114// Macro to allow exception-like handling of error return values.
115//
116// If the evaluation of stmt results in an error, return that error
117// from current function.
118//
119// Example usage:
120// Status bar() { ... }
121//
122// RETURN_IF_NOT_OK(status);
123// RETURN_IF_NOT_OK(bar());
124#define RETURN_IF_NOT_OK(stmt) RETURN_IF_NOT_OK_CONCAT(__LINE__, stmt)
125
126} // namespace netdutils
127} // namespace android
128
129#endif /* NETUTILS_STATUS_H */