cannam@147
|
1 // Copyright (c) 2013-2014 Sandstorm Development Group, Inc. and contributors
|
cannam@147
|
2 // Licensed under the MIT License:
|
cannam@147
|
3 //
|
cannam@147
|
4 // Permission is hereby granted, free of charge, to any person obtaining a copy
|
cannam@147
|
5 // of this software and associated documentation files (the "Software"), to deal
|
cannam@147
|
6 // in the Software without restriction, including without limitation the rights
|
cannam@147
|
7 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
cannam@147
|
8 // copies of the Software, and to permit persons to whom the Software is
|
cannam@147
|
9 // furnished to do so, subject to the following conditions:
|
cannam@147
|
10 //
|
cannam@147
|
11 // The above copyright notice and this permission notice shall be included in
|
cannam@147
|
12 // all copies or substantial portions of the Software.
|
cannam@147
|
13 //
|
cannam@147
|
14 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
cannam@147
|
15 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
cannam@147
|
16 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
cannam@147
|
17 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
cannam@147
|
18 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
cannam@147
|
19 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
cannam@147
|
20 // THE SOFTWARE.
|
cannam@147
|
21
|
cannam@147
|
22 // This file declares convenient macros for debug logging and error handling. The macros make
|
cannam@147
|
23 // it excessively easy to extract useful context information from code. Example:
|
cannam@147
|
24 //
|
cannam@147
|
25 // KJ_ASSERT(a == b, a, b, "a and b must be the same.");
|
cannam@147
|
26 //
|
cannam@147
|
27 // On failure, this will throw an exception whose description looks like:
|
cannam@147
|
28 //
|
cannam@147
|
29 // myfile.c++:43: bug in code: expected a == b; a = 14; b = 72; a and b must be the same.
|
cannam@147
|
30 //
|
cannam@147
|
31 // As you can see, all arguments after the first provide additional context.
|
cannam@147
|
32 //
|
cannam@147
|
33 // The macros available are:
|
cannam@147
|
34 //
|
cannam@147
|
35 // * `KJ_LOG(severity, ...)`: Just writes a log message, to stderr by default (but you can
|
cannam@147
|
36 // intercept messages by implementing an ExceptionCallback). `severity` is `INFO`, `WARNING`,
|
cannam@147
|
37 // `ERROR`, or `FATAL`. By default, `INFO` logs are not written, but for command-line apps the
|
cannam@147
|
38 // user should be able to pass a flag like `--verbose` to enable them. Other log levels are
|
cannam@147
|
39 // enabled by default. Log messages -- like exceptions -- can be intercepted by registering an
|
cannam@147
|
40 // ExceptionCallback.
|
cannam@147
|
41 //
|
cannam@147
|
42 // * `KJ_DBG(...)`: Like `KJ_LOG`, but intended specifically for temporary log lines added while
|
cannam@147
|
43 // debugging a particular problem. Calls to `KJ_DBG` should always be deleted before committing
|
cannam@147
|
44 // code. It is suggested that you set up a pre-commit hook that checks for this.
|
cannam@147
|
45 //
|
cannam@147
|
46 // * `KJ_ASSERT(condition, ...)`: Throws an exception if `condition` is false, or aborts if
|
cannam@147
|
47 // exceptions are disabled. This macro should be used to check for bugs in the surrounding code
|
cannam@147
|
48 // and its dependencies, but NOT to check for invalid input. The macro may be followed by a
|
cannam@147
|
49 // brace-delimited code block; if so, the block will be executed in the case where the assertion
|
cannam@147
|
50 // fails, before throwing the exception. If control jumps out of the block (e.g. with "break",
|
cannam@147
|
51 // "return", or "goto"), then the error is considered "recoverable" -- in this case, if
|
cannam@147
|
52 // exceptions are disabled, execution will continue normally rather than aborting (but if
|
cannam@147
|
53 // exceptions are enabled, an exception will still be thrown on exiting the block). A "break"
|
cannam@147
|
54 // statement in particular will jump to the code immediately after the block (it does not break
|
cannam@147
|
55 // any surrounding loop or switch). Example:
|
cannam@147
|
56 //
|
cannam@147
|
57 // KJ_ASSERT(value >= 0, "Value cannot be negative.", value) {
|
cannam@147
|
58 // // Assertion failed. Set value to zero to "recover".
|
cannam@147
|
59 // value = 0;
|
cannam@147
|
60 // // Don't abort if exceptions are disabled. Continue normally.
|
cannam@147
|
61 // // (Still throw an exception if they are enabled, though.)
|
cannam@147
|
62 // break;
|
cannam@147
|
63 // }
|
cannam@147
|
64 // // When exceptions are disabled, we'll get here even if the assertion fails.
|
cannam@147
|
65 // // Otherwise, we get here only if the assertion passes.
|
cannam@147
|
66 //
|
cannam@147
|
67 // * `KJ_REQUIRE(condition, ...)`: Like `KJ_ASSERT` but used to check preconditions -- e.g. to
|
cannam@147
|
68 // validate parameters passed from a caller. A failure indicates that the caller is buggy.
|
cannam@147
|
69 //
|
cannam@147
|
70 // * `KJ_SYSCALL(code, ...)`: Executes `code` assuming it makes a system call. A negative result
|
cannam@147
|
71 // is considered an error, with error code reported via `errno`. EINTR is handled by retrying.
|
cannam@147
|
72 // Other errors are handled by throwing an exception. If you need to examine the return code,
|
cannam@147
|
73 // assign it to a variable like so:
|
cannam@147
|
74 //
|
cannam@147
|
75 // int fd;
|
cannam@147
|
76 // KJ_SYSCALL(fd = open(filename, O_RDONLY), filename);
|
cannam@147
|
77 //
|
cannam@147
|
78 // `KJ_SYSCALL` can be followed by a recovery block, just like `KJ_ASSERT`.
|
cannam@147
|
79 //
|
cannam@147
|
80 // * `KJ_NONBLOCKING_SYSCALL(code, ...)`: Like KJ_SYSCALL, but will not throw an exception on
|
cannam@147
|
81 // EAGAIN/EWOULDBLOCK. The calling code should check the syscall's return value to see if it
|
cannam@147
|
82 // indicates an error; in this case, it can assume the error was EAGAIN because any other error
|
cannam@147
|
83 // would have caused an exception to be thrown.
|
cannam@147
|
84 //
|
cannam@147
|
85 // * `KJ_CONTEXT(...)`: Notes additional contextual information relevant to any exceptions thrown
|
cannam@147
|
86 // from within the current scope. That is, until control exits the block in which KJ_CONTEXT()
|
cannam@147
|
87 // is used, if any exception is generated, it will contain the given information in its context
|
cannam@147
|
88 // chain. This is helpful because it can otherwise be very difficult to come up with error
|
cannam@147
|
89 // messages that make sense within low-level helper code. Note that the parameters to
|
cannam@147
|
90 // KJ_CONTEXT() are only evaluated if an exception is thrown. This implies that any variables
|
cannam@147
|
91 // used must remain valid until the end of the scope.
|
cannam@147
|
92 //
|
cannam@147
|
93 // Notes:
|
cannam@147
|
94 // * Do not write expressions with side-effects in the message content part of the macro, as the
|
cannam@147
|
95 // message will not necessarily be evaluated.
|
cannam@147
|
96 // * For every macro `FOO` above except `LOG`, there is also a `FAIL_FOO` macro used to report
|
cannam@147
|
97 // failures that already happened. For the macros that check a boolean condition, `FAIL_FOO`
|
cannam@147
|
98 // omits the first parameter and behaves like it was `false`. `FAIL_SYSCALL` and
|
cannam@147
|
99 // `FAIL_RECOVERABLE_SYSCALL` take a string and an OS error number as the first two parameters.
|
cannam@147
|
100 // The string should be the name of the failed system call.
|
cannam@147
|
101 // * For every macro `FOO` above, there is a `DFOO` version (or `RECOVERABLE_DFOO`) which is only
|
cannam@147
|
102 // executed in debug mode, i.e. when KJ_DEBUG is defined. KJ_DEBUG is defined automatically
|
cannam@147
|
103 // by common.h when compiling without optimization (unless NDEBUG is defined), but you can also
|
cannam@147
|
104 // define it explicitly (e.g. -DKJ_DEBUG). Generally, production builds should NOT use KJ_DEBUG
|
cannam@147
|
105 // as it may enable expensive checks that are unlikely to fail.
|
cannam@147
|
106
|
cannam@147
|
107 #ifndef KJ_DEBUG_H_
|
cannam@147
|
108 #define KJ_DEBUG_H_
|
cannam@147
|
109
|
cannam@147
|
110 #if defined(__GNUC__) && !KJ_HEADER_WARNINGS
|
cannam@147
|
111 #pragma GCC system_header
|
cannam@147
|
112 #endif
|
cannam@147
|
113
|
cannam@147
|
114 #include "string.h"
|
cannam@147
|
115 #include "exception.h"
|
cannam@147
|
116
|
cannam@147
|
117 #ifdef ERROR
|
cannam@147
|
118 // This is problematic because windows.h #defines ERROR, which we use in an enum here.
|
cannam@147
|
119 #error "Make sure to to undefine ERROR (or just #include <kj/windows-sanity.h>) before this file"
|
cannam@147
|
120 #endif
|
cannam@147
|
121
|
cannam@147
|
122 namespace kj {
|
cannam@147
|
123
|
cannam@147
|
124 #if _MSC_VER
|
cannam@147
|
125 // MSVC does __VA_ARGS__ differently from GCC:
|
cannam@147
|
126 // - A trailing comma before an empty __VA_ARGS__ is removed automatically, whereas GCC wants
|
cannam@147
|
127 // you to request this behavior with "##__VA_ARGS__".
|
cannam@147
|
128 // - If __VA_ARGS__ is passed directly as an argument to another macro, it will be treated as a
|
cannam@147
|
129 // *single* argument rather than an argument list. This can be worked around by wrapping the
|
cannam@147
|
130 // outer macro call in KJ_EXPAND(), which appraently forces __VA_ARGS__ to be expanded before
|
cannam@147
|
131 // the macro is evaluated. I don't understand the C preprocessor.
|
cannam@147
|
132 // - Using "#__VA_ARGS__" to stringify __VA_ARGS__ expands to zero tokens when __VA_ARGS__ is
|
cannam@147
|
133 // empty, rather than expanding to an empty string literal. We can work around by concatenating
|
cannam@147
|
134 // with an empty string literal.
|
cannam@147
|
135
|
cannam@147
|
136 #define KJ_EXPAND(X) X
|
cannam@147
|
137
|
cannam@147
|
138 #define KJ_LOG(severity, ...) \
|
cannam@147
|
139 if (!::kj::_::Debug::shouldLog(::kj::LogSeverity::severity)) {} else \
|
cannam@147
|
140 ::kj::_::Debug::log(__FILE__, __LINE__, ::kj::LogSeverity::severity, \
|
cannam@147
|
141 "" #__VA_ARGS__, __VA_ARGS__)
|
cannam@147
|
142
|
cannam@147
|
143 #define KJ_DBG(...) KJ_EXPAND(KJ_LOG(DBG, __VA_ARGS__))
|
cannam@147
|
144
|
cannam@147
|
145 #define KJ_REQUIRE(cond, ...) \
|
cannam@147
|
146 if (KJ_LIKELY(cond)) {} else \
|
cannam@147
|
147 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, ::kj::Exception::Type::FAILED, \
|
cannam@147
|
148 #cond, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
149
|
cannam@147
|
150 #define KJ_FAIL_REQUIRE(...) \
|
cannam@147
|
151 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, ::kj::Exception::Type::FAILED, \
|
cannam@147
|
152 nullptr, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
153
|
cannam@147
|
154 #define KJ_SYSCALL(call, ...) \
|
cannam@147
|
155 if (auto _kjSyscallResult = ::kj::_::Debug::syscall([&](){return (call);}, false)) {} else \
|
cannam@147
|
156 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
157 _kjSyscallResult.getErrorNumber(), #call, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
158
|
cannam@147
|
159 #define KJ_NONBLOCKING_SYSCALL(call, ...) \
|
cannam@147
|
160 if (auto _kjSyscallResult = ::kj::_::Debug::syscall([&](){return (call);}, true)) {} else \
|
cannam@147
|
161 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
162 _kjSyscallResult.getErrorNumber(), #call, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
163
|
cannam@147
|
164 #define KJ_FAIL_SYSCALL(code, errorNumber, ...) \
|
cannam@147
|
165 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
166 errorNumber, code, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
167
|
cannam@147
|
168 #if _WIN32
|
cannam@147
|
169
|
cannam@147
|
170 #define KJ_WIN32(call, ...) \
|
cannam@147
|
171 if (::kj::_::Debug::isWin32Success(call)) {} else \
|
cannam@147
|
172 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
173 ::kj::_::Debug::getWin32Error(), #call, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
174
|
cannam@147
|
175 #define KJ_WINSOCK(call, ...) \
|
cannam@147
|
176 if ((call) != SOCKET_ERROR) {} else \
|
cannam@147
|
177 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
178 ::kj::_::Debug::getWin32Error(), #call, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
179
|
cannam@147
|
180 #define KJ_FAIL_WIN32(code, errorNumber, ...) \
|
cannam@147
|
181 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
182 ::kj::_::Debug::Win32Error(errorNumber), code, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
183
|
cannam@147
|
184 #endif
|
cannam@147
|
185
|
cannam@147
|
186 #define KJ_UNIMPLEMENTED(...) \
|
cannam@147
|
187 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, ::kj::Exception::Type::UNIMPLEMENTED, \
|
cannam@147
|
188 nullptr, "" #__VA_ARGS__, __VA_ARGS__);; f.fatal())
|
cannam@147
|
189
|
cannam@147
|
190 // TODO(msvc): MSVC mis-deduces `ContextImpl<decltype(func)>` as `ContextImpl<int>` in some edge
|
cannam@147
|
191 // cases, such as inside nested lambdas inside member functions. Wrapping the type in
|
cannam@147
|
192 // `decltype(instance<...>())` helps it deduce the context function's type correctly.
|
cannam@147
|
193 #define KJ_CONTEXT(...) \
|
cannam@147
|
194 auto KJ_UNIQUE_NAME(_kjContextFunc) = [&]() -> ::kj::_::Debug::Context::Value { \
|
cannam@147
|
195 return ::kj::_::Debug::Context::Value(__FILE__, __LINE__, \
|
cannam@147
|
196 ::kj::_::Debug::makeDescription("" #__VA_ARGS__, __VA_ARGS__)); \
|
cannam@147
|
197 }; \
|
cannam@147
|
198 decltype(::kj::instance<::kj::_::Debug::ContextImpl<decltype(KJ_UNIQUE_NAME(_kjContextFunc))>>()) \
|
cannam@147
|
199 KJ_UNIQUE_NAME(_kjContext)(KJ_UNIQUE_NAME(_kjContextFunc))
|
cannam@147
|
200
|
cannam@147
|
201 #define KJ_REQUIRE_NONNULL(value, ...) \
|
cannam@147
|
202 (*[&] { \
|
cannam@147
|
203 auto _kj_result = ::kj::_::readMaybe(value); \
|
cannam@147
|
204 if (KJ_UNLIKELY(!_kj_result)) { \
|
cannam@147
|
205 ::kj::_::Debug::Fault(__FILE__, __LINE__, ::kj::Exception::Type::FAILED, \
|
cannam@147
|
206 #value " != nullptr", "" #__VA_ARGS__, __VA_ARGS__).fatal(); \
|
cannam@147
|
207 } \
|
cannam@147
|
208 return _kj_result; \
|
cannam@147
|
209 }())
|
cannam@147
|
210
|
cannam@147
|
211 #define KJ_EXCEPTION(type, ...) \
|
cannam@147
|
212 ::kj::Exception(::kj::Exception::Type::type, __FILE__, __LINE__, \
|
cannam@147
|
213 ::kj::_::Debug::makeDescription("" #__VA_ARGS__, __VA_ARGS__))
|
cannam@147
|
214
|
cannam@147
|
215 #else
|
cannam@147
|
216
|
cannam@147
|
217 #define KJ_LOG(severity, ...) \
|
cannam@147
|
218 if (!::kj::_::Debug::shouldLog(::kj::LogSeverity::severity)) {} else \
|
cannam@147
|
219 ::kj::_::Debug::log(__FILE__, __LINE__, ::kj::LogSeverity::severity, \
|
cannam@147
|
220 #__VA_ARGS__, ##__VA_ARGS__)
|
cannam@147
|
221
|
cannam@147
|
222 #define KJ_DBG(...) KJ_LOG(DBG, ##__VA_ARGS__)
|
cannam@147
|
223
|
cannam@147
|
224 #define KJ_REQUIRE(cond, ...) \
|
cannam@147
|
225 if (KJ_LIKELY(cond)) {} else \
|
cannam@147
|
226 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, ::kj::Exception::Type::FAILED, \
|
cannam@147
|
227 #cond, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
228
|
cannam@147
|
229 #define KJ_FAIL_REQUIRE(...) \
|
cannam@147
|
230 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, ::kj::Exception::Type::FAILED, \
|
cannam@147
|
231 nullptr, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
232
|
cannam@147
|
233 #define KJ_SYSCALL(call, ...) \
|
cannam@147
|
234 if (auto _kjSyscallResult = ::kj::_::Debug::syscall([&](){return (call);}, false)) {} else \
|
cannam@147
|
235 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
236 _kjSyscallResult.getErrorNumber(), #call, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
237
|
cannam@147
|
238 #define KJ_NONBLOCKING_SYSCALL(call, ...) \
|
cannam@147
|
239 if (auto _kjSyscallResult = ::kj::_::Debug::syscall([&](){return (call);}, true)) {} else \
|
cannam@147
|
240 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
241 _kjSyscallResult.getErrorNumber(), #call, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
242
|
cannam@147
|
243 #define KJ_FAIL_SYSCALL(code, errorNumber, ...) \
|
cannam@147
|
244 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
245 errorNumber, code, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
246
|
cannam@147
|
247 #if _WIN32
|
cannam@147
|
248
|
cannam@147
|
249 #define KJ_WIN32(call, ...) \
|
cannam@147
|
250 if (::kj::_::Debug::isWin32Success(call)) {} else \
|
cannam@147
|
251 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
252 ::kj::_::Debug::getWin32Error(), #call, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
253
|
cannam@147
|
254 #define KJ_WINSOCK(call, ...) \
|
cannam@147
|
255 if ((call) != SOCKET_ERROR) {} else \
|
cannam@147
|
256 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
257 ::kj::_::Debug::getWin32Error(), #call, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
258
|
cannam@147
|
259 #define KJ_FAIL_WIN32(code, errorNumber, ...) \
|
cannam@147
|
260 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, \
|
cannam@147
|
261 ::kj::_::Debug::Win32Error(errorNumber), code, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
262
|
cannam@147
|
263 #endif
|
cannam@147
|
264
|
cannam@147
|
265 #define KJ_UNIMPLEMENTED(...) \
|
cannam@147
|
266 for (::kj::_::Debug::Fault f(__FILE__, __LINE__, ::kj::Exception::Type::UNIMPLEMENTED, \
|
cannam@147
|
267 nullptr, #__VA_ARGS__, ##__VA_ARGS__);; f.fatal())
|
cannam@147
|
268
|
cannam@147
|
269 #define KJ_CONTEXT(...) \
|
cannam@147
|
270 auto KJ_UNIQUE_NAME(_kjContextFunc) = [&]() -> ::kj::_::Debug::Context::Value { \
|
cannam@147
|
271 return ::kj::_::Debug::Context::Value(__FILE__, __LINE__, \
|
cannam@147
|
272 ::kj::_::Debug::makeDescription(#__VA_ARGS__, ##__VA_ARGS__)); \
|
cannam@147
|
273 }; \
|
cannam@147
|
274 ::kj::_::Debug::ContextImpl<decltype(KJ_UNIQUE_NAME(_kjContextFunc))> \
|
cannam@147
|
275 KJ_UNIQUE_NAME(_kjContext)(KJ_UNIQUE_NAME(_kjContextFunc))
|
cannam@147
|
276
|
cannam@147
|
277 #define KJ_REQUIRE_NONNULL(value, ...) \
|
cannam@147
|
278 (*({ \
|
cannam@147
|
279 auto _kj_result = ::kj::_::readMaybe(value); \
|
cannam@147
|
280 if (KJ_UNLIKELY(!_kj_result)) { \
|
cannam@147
|
281 ::kj::_::Debug::Fault(__FILE__, __LINE__, ::kj::Exception::Type::FAILED, \
|
cannam@147
|
282 #value " != nullptr", #__VA_ARGS__, ##__VA_ARGS__).fatal(); \
|
cannam@147
|
283 } \
|
cannam@147
|
284 kj::mv(_kj_result); \
|
cannam@147
|
285 }))
|
cannam@147
|
286
|
cannam@147
|
287 #define KJ_EXCEPTION(type, ...) \
|
cannam@147
|
288 ::kj::Exception(::kj::Exception::Type::type, __FILE__, __LINE__, \
|
cannam@147
|
289 ::kj::_::Debug::makeDescription(#__VA_ARGS__, ##__VA_ARGS__))
|
cannam@147
|
290
|
cannam@147
|
291 #endif
|
cannam@147
|
292
|
cannam@147
|
293 #define KJ_SYSCALL_HANDLE_ERRORS(call) \
|
cannam@147
|
294 if (int _kjSyscallError = ::kj::_::Debug::syscallError([&](){return (call);}, false)) \
|
cannam@147
|
295 switch (int error = _kjSyscallError)
|
cannam@147
|
296 // Like KJ_SYSCALL, but doesn't throw. Instead, the block after the macro is a switch block on the
|
cannam@147
|
297 // error. Additionally, the int value `error` is defined within the block. So you can do:
|
cannam@147
|
298 //
|
cannam@147
|
299 // KJ_SYSCALL_HANDLE_ERRORS(foo()) {
|
cannam@147
|
300 // case ENOENT:
|
cannam@147
|
301 // handleNoSuchFile();
|
cannam@147
|
302 // break;
|
cannam@147
|
303 // case EEXIST:
|
cannam@147
|
304 // handleExists();
|
cannam@147
|
305 // break;
|
cannam@147
|
306 // default:
|
cannam@147
|
307 // KJ_FAIL_SYSCALL("foo()", error);
|
cannam@147
|
308 // } else {
|
cannam@147
|
309 // handleSuccessCase();
|
cannam@147
|
310 // }
|
cannam@147
|
311
|
cannam@147
|
312 #define KJ_ASSERT KJ_REQUIRE
|
cannam@147
|
313 #define KJ_FAIL_ASSERT KJ_FAIL_REQUIRE
|
cannam@147
|
314 #define KJ_ASSERT_NONNULL KJ_REQUIRE_NONNULL
|
cannam@147
|
315 // Use "ASSERT" in place of "REQUIRE" when the problem is local to the immediate surrounding code.
|
cannam@147
|
316 // That is, if the assert ever fails, it indicates that the immediate surrounding code is broken.
|
cannam@147
|
317
|
cannam@147
|
318 #ifdef KJ_DEBUG
|
cannam@147
|
319 #define KJ_DLOG KJ_LOG
|
cannam@147
|
320 #define KJ_DASSERT KJ_ASSERT
|
cannam@147
|
321 #define KJ_DREQUIRE KJ_REQUIRE
|
cannam@147
|
322 #else
|
cannam@147
|
323 #define KJ_DLOG(...) do {} while (false)
|
cannam@147
|
324 #define KJ_DASSERT(...) do {} while (false)
|
cannam@147
|
325 #define KJ_DREQUIRE(...) do {} while (false)
|
cannam@147
|
326 #endif
|
cannam@147
|
327
|
cannam@147
|
328 namespace _ { // private
|
cannam@147
|
329
|
cannam@147
|
330 class Debug {
|
cannam@147
|
331 public:
|
cannam@147
|
332 Debug() = delete;
|
cannam@147
|
333
|
cannam@147
|
334 typedef LogSeverity Severity; // backwards-compatibility
|
cannam@147
|
335
|
cannam@147
|
336 #if _WIN32
|
cannam@147
|
337 struct Win32Error {
|
cannam@147
|
338 // Hack for overloading purposes.
|
cannam@147
|
339 uint number;
|
cannam@147
|
340 inline explicit Win32Error(uint number): number(number) {}
|
cannam@147
|
341 };
|
cannam@147
|
342 #endif
|
cannam@147
|
343
|
cannam@147
|
344 static inline bool shouldLog(LogSeverity severity) { return severity >= minSeverity; }
|
cannam@147
|
345 // Returns whether messages of the given severity should be logged.
|
cannam@147
|
346
|
cannam@147
|
347 static inline void setLogLevel(LogSeverity severity) { minSeverity = severity; }
|
cannam@147
|
348 // Set the minimum message severity which will be logged.
|
cannam@147
|
349 //
|
cannam@147
|
350 // TODO(someday): Expose publicly.
|
cannam@147
|
351
|
cannam@147
|
352 template <typename... Params>
|
cannam@147
|
353 static void log(const char* file, int line, LogSeverity severity, const char* macroArgs,
|
cannam@147
|
354 Params&&... params);
|
cannam@147
|
355
|
cannam@147
|
356 class Fault {
|
cannam@147
|
357 public:
|
cannam@147
|
358 template <typename Code, typename... Params>
|
cannam@147
|
359 Fault(const char* file, int line, Code code,
|
cannam@147
|
360 const char* condition, const char* macroArgs, Params&&... params);
|
cannam@147
|
361 Fault(const char* file, int line, Exception::Type type,
|
cannam@147
|
362 const char* condition, const char* macroArgs);
|
cannam@147
|
363 Fault(const char* file, int line, int osErrorNumber,
|
cannam@147
|
364 const char* condition, const char* macroArgs);
|
cannam@147
|
365 #if _WIN32
|
cannam@147
|
366 Fault(const char* file, int line, Win32Error osErrorNumber,
|
cannam@147
|
367 const char* condition, const char* macroArgs);
|
cannam@147
|
368 #endif
|
cannam@147
|
369 ~Fault() noexcept(false);
|
cannam@147
|
370
|
cannam@147
|
371 KJ_NOINLINE KJ_NORETURN(void fatal());
|
cannam@147
|
372 // Throw the exception.
|
cannam@147
|
373
|
cannam@147
|
374 private:
|
cannam@147
|
375 void init(const char* file, int line, Exception::Type type,
|
cannam@147
|
376 const char* condition, const char* macroArgs, ArrayPtr<String> argValues);
|
cannam@147
|
377 void init(const char* file, int line, int osErrorNumber,
|
cannam@147
|
378 const char* condition, const char* macroArgs, ArrayPtr<String> argValues);
|
cannam@147
|
379 #if _WIN32
|
cannam@147
|
380 void init(const char* file, int line, Win32Error osErrorNumber,
|
cannam@147
|
381 const char* condition, const char* macroArgs, ArrayPtr<String> argValues);
|
cannam@147
|
382 #endif
|
cannam@147
|
383
|
cannam@147
|
384 Exception* exception;
|
cannam@147
|
385 };
|
cannam@147
|
386
|
cannam@147
|
387 class SyscallResult {
|
cannam@147
|
388 public:
|
cannam@147
|
389 inline SyscallResult(int errorNumber): errorNumber(errorNumber) {}
|
cannam@147
|
390 inline operator void*() { return errorNumber == 0 ? this : nullptr; }
|
cannam@147
|
391 inline int getErrorNumber() { return errorNumber; }
|
cannam@147
|
392
|
cannam@147
|
393 private:
|
cannam@147
|
394 int errorNumber;
|
cannam@147
|
395 };
|
cannam@147
|
396
|
cannam@147
|
397 template <typename Call>
|
cannam@147
|
398 static SyscallResult syscall(Call&& call, bool nonblocking);
|
cannam@147
|
399 template <typename Call>
|
cannam@147
|
400 static int syscallError(Call&& call, bool nonblocking);
|
cannam@147
|
401
|
cannam@147
|
402 #if _WIN32
|
cannam@147
|
403 static bool isWin32Success(int boolean);
|
cannam@147
|
404 static bool isWin32Success(void* handle);
|
cannam@147
|
405 static Win32Error getWin32Error();
|
cannam@147
|
406 #endif
|
cannam@147
|
407
|
cannam@147
|
408 class Context: public ExceptionCallback {
|
cannam@147
|
409 public:
|
cannam@147
|
410 Context();
|
cannam@147
|
411 KJ_DISALLOW_COPY(Context);
|
cannam@147
|
412 virtual ~Context() noexcept(false);
|
cannam@147
|
413
|
cannam@147
|
414 struct Value {
|
cannam@147
|
415 const char* file;
|
cannam@147
|
416 int line;
|
cannam@147
|
417 String description;
|
cannam@147
|
418
|
cannam@147
|
419 inline Value(const char* file, int line, String&& description)
|
cannam@147
|
420 : file(file), line(line), description(mv(description)) {}
|
cannam@147
|
421 };
|
cannam@147
|
422
|
cannam@147
|
423 virtual Value evaluate() = 0;
|
cannam@147
|
424
|
cannam@147
|
425 virtual void onRecoverableException(Exception&& exception) override;
|
cannam@147
|
426 virtual void onFatalException(Exception&& exception) override;
|
cannam@147
|
427 virtual void logMessage(LogSeverity severity, const char* file, int line, int contextDepth,
|
cannam@147
|
428 String&& text) override;
|
cannam@147
|
429
|
cannam@147
|
430 private:
|
cannam@147
|
431 bool logged;
|
cannam@147
|
432 Maybe<Value> value;
|
cannam@147
|
433
|
cannam@147
|
434 Value ensureInitialized();
|
cannam@147
|
435 };
|
cannam@147
|
436
|
cannam@147
|
437 template <typename Func>
|
cannam@147
|
438 class ContextImpl: public Context {
|
cannam@147
|
439 public:
|
cannam@147
|
440 inline ContextImpl(Func& func): func(func) {}
|
cannam@147
|
441 KJ_DISALLOW_COPY(ContextImpl);
|
cannam@147
|
442
|
cannam@147
|
443 Value evaluate() override {
|
cannam@147
|
444 return func();
|
cannam@147
|
445 }
|
cannam@147
|
446 private:
|
cannam@147
|
447 Func& func;
|
cannam@147
|
448 };
|
cannam@147
|
449
|
cannam@147
|
450 template <typename... Params>
|
cannam@147
|
451 static String makeDescription(const char* macroArgs, Params&&... params);
|
cannam@147
|
452
|
cannam@147
|
453 private:
|
cannam@147
|
454 static LogSeverity minSeverity;
|
cannam@147
|
455
|
cannam@147
|
456 static void logInternal(const char* file, int line, LogSeverity severity, const char* macroArgs,
|
cannam@147
|
457 ArrayPtr<String> argValues);
|
cannam@147
|
458 static String makeDescriptionInternal(const char* macroArgs, ArrayPtr<String> argValues);
|
cannam@147
|
459
|
cannam@147
|
460 static int getOsErrorNumber(bool nonblocking);
|
cannam@147
|
461 // Get the error code of the last error (e.g. from errno). Returns -1 on EINTR.
|
cannam@147
|
462 };
|
cannam@147
|
463
|
cannam@147
|
464 template <typename... Params>
|
cannam@147
|
465 void Debug::log(const char* file, int line, LogSeverity severity, const char* macroArgs,
|
cannam@147
|
466 Params&&... params) {
|
cannam@147
|
467 String argValues[sizeof...(Params)] = {str(params)...};
|
cannam@147
|
468 logInternal(file, line, severity, macroArgs, arrayPtr(argValues, sizeof...(Params)));
|
cannam@147
|
469 }
|
cannam@147
|
470
|
cannam@147
|
471 template <>
|
cannam@147
|
472 inline void Debug::log<>(const char* file, int line, LogSeverity severity, const char* macroArgs) {
|
cannam@147
|
473 logInternal(file, line, severity, macroArgs, nullptr);
|
cannam@147
|
474 }
|
cannam@147
|
475
|
cannam@147
|
476 template <typename Code, typename... Params>
|
cannam@147
|
477 Debug::Fault::Fault(const char* file, int line, Code code,
|
cannam@147
|
478 const char* condition, const char* macroArgs, Params&&... params)
|
cannam@147
|
479 : exception(nullptr) {
|
cannam@147
|
480 String argValues[sizeof...(Params)] = {str(params)...};
|
cannam@147
|
481 init(file, line, code, condition, macroArgs,
|
cannam@147
|
482 arrayPtr(argValues, sizeof...(Params)));
|
cannam@147
|
483 }
|
cannam@147
|
484
|
cannam@147
|
485 inline Debug::Fault::Fault(const char* file, int line, int osErrorNumber,
|
cannam@147
|
486 const char* condition, const char* macroArgs)
|
cannam@147
|
487 : exception(nullptr) {
|
cannam@147
|
488 init(file, line, osErrorNumber, condition, macroArgs, nullptr);
|
cannam@147
|
489 }
|
cannam@147
|
490
|
cannam@147
|
491 inline Debug::Fault::Fault(const char* file, int line, kj::Exception::Type type,
|
cannam@147
|
492 const char* condition, const char* macroArgs)
|
cannam@147
|
493 : exception(nullptr) {
|
cannam@147
|
494 init(file, line, type, condition, macroArgs, nullptr);
|
cannam@147
|
495 }
|
cannam@147
|
496
|
cannam@147
|
497 #if _WIN32
|
cannam@147
|
498 inline Debug::Fault::Fault(const char* file, int line, Win32Error osErrorNumber,
|
cannam@147
|
499 const char* condition, const char* macroArgs)
|
cannam@147
|
500 : exception(nullptr) {
|
cannam@147
|
501 init(file, line, osErrorNumber, condition, macroArgs, nullptr);
|
cannam@147
|
502 }
|
cannam@147
|
503
|
cannam@147
|
504 inline bool Debug::isWin32Success(int boolean) {
|
cannam@147
|
505 return boolean;
|
cannam@147
|
506 }
|
cannam@147
|
507 inline bool Debug::isWin32Success(void* handle) {
|
cannam@147
|
508 // Assume null and INVALID_HANDLE_VALUE mean failure.
|
cannam@147
|
509 return handle != nullptr && handle != (void*)-1;
|
cannam@147
|
510 }
|
cannam@147
|
511 #endif
|
cannam@147
|
512
|
cannam@147
|
513 template <typename Call>
|
cannam@147
|
514 Debug::SyscallResult Debug::syscall(Call&& call, bool nonblocking) {
|
cannam@147
|
515 while (call() < 0) {
|
cannam@147
|
516 int errorNum = getOsErrorNumber(nonblocking);
|
cannam@147
|
517 // getOsErrorNumber() returns -1 to indicate EINTR.
|
cannam@147
|
518 // Also, if nonblocking is true, then it returns 0 on EAGAIN, which will then be treated as a
|
cannam@147
|
519 // non-error.
|
cannam@147
|
520 if (errorNum != -1) {
|
cannam@147
|
521 return SyscallResult(errorNum);
|
cannam@147
|
522 }
|
cannam@147
|
523 }
|
cannam@147
|
524 return SyscallResult(0);
|
cannam@147
|
525 }
|
cannam@147
|
526
|
cannam@147
|
527 template <typename Call>
|
cannam@147
|
528 int Debug::syscallError(Call&& call, bool nonblocking) {
|
cannam@147
|
529 while (call() < 0) {
|
cannam@147
|
530 int errorNum = getOsErrorNumber(nonblocking);
|
cannam@147
|
531 // getOsErrorNumber() returns -1 to indicate EINTR.
|
cannam@147
|
532 // Also, if nonblocking is true, then it returns 0 on EAGAIN, which will then be treated as a
|
cannam@147
|
533 // non-error.
|
cannam@147
|
534 if (errorNum != -1) {
|
cannam@147
|
535 return errorNum;
|
cannam@147
|
536 }
|
cannam@147
|
537 }
|
cannam@147
|
538 return 0;
|
cannam@147
|
539 }
|
cannam@147
|
540
|
cannam@147
|
541 template <typename... Params>
|
cannam@147
|
542 String Debug::makeDescription(const char* macroArgs, Params&&... params) {
|
cannam@147
|
543 String argValues[sizeof...(Params)] = {str(params)...};
|
cannam@147
|
544 return makeDescriptionInternal(macroArgs, arrayPtr(argValues, sizeof...(Params)));
|
cannam@147
|
545 }
|
cannam@147
|
546
|
cannam@147
|
547 template <>
|
cannam@147
|
548 inline String Debug::makeDescription<>(const char* macroArgs) {
|
cannam@147
|
549 return makeDescriptionInternal(macroArgs, nullptr);
|
cannam@147
|
550 }
|
cannam@147
|
551
|
cannam@147
|
552 } // namespace _ (private)
|
cannam@147
|
553 } // namespace kj
|
cannam@147
|
554
|
cannam@147
|
555 #endif // KJ_DEBUG_H_
|