blob: 243367077a0ed240c3e7dfb5ad0675ea6143d95b [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
ludi6e8eccd2017-08-14 14:40:37 -070020#include "binder/Status.h"
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +090021#include <cassert>
22#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
ludi6e8eccd2017-08-14 14:40:37 -070094// Converts netdutils Status into binder Status.
95binder::Status asBinderStatus(const netdutils::Status& status);
96
Joel Scherpelzde937962017-06-01 13:20:21 +090097// Helper that converts Status-like object (notably StatusOr) to a
98// message.
99std::string toString(const Status& status);
Joel Scherpelz08b84cd2017-05-22 13:11:54 +0900100
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900101std::ostream& operator<<(std::ostream& os, const Status& s);
102
Jonathan Basseri774f0062017-08-22 10:40:27 -0700103// Evaluate 'stmt' to a Status object and if it results in an error, return that
104// error. Use 'tmp' as a variable name to avoid shadowing any variables named
105// tmp.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900106#define RETURN_IF_NOT_OK_IMPL(tmp, stmt) \
107 do { \
108 ::android::netdutils::Status tmp = (stmt); \
109 if (!isOk(tmp)) { \
110 return tmp; \
111 } \
112 } while (false)
113
Jonathan Basseri774f0062017-08-22 10:40:27 -0700114// Create a unique variable name to avoid shadowing local variables.
Joel Scherpelzf3fa5cc2017-05-22 12:30:03 +0900115#define RETURN_IF_NOT_OK_CONCAT(line, stmt) RETURN_IF_NOT_OK_IMPL(__CONCAT(_status_, line), stmt)
116
117// Macro to allow exception-like handling of error return values.
118//
119// If the evaluation of stmt results in an error, return that error
120// from current function.
121//
122// Example usage:
123// Status bar() { ... }
124//
125// RETURN_IF_NOT_OK(status);
126// RETURN_IF_NOT_OK(bar());
127#define RETURN_IF_NOT_OK(stmt) RETURN_IF_NOT_OK_CONCAT(__LINE__, stmt)
128
129} // namespace netdutils
130} // namespace android
131
132#endif /* NETUTILS_STATUS_H */