]> git.saurik.com Git - cycript.git/blob - Exception.hpp
Made lots of progress on Java bridge (checkpoint).
[cycript.git] / Exception.hpp
1 /* Cycript - Optimizing JavaScript Compiler/Runtime
2 * Copyright (C) 2009-2015 Jay Freeman (saurik)
3 */
4
5 /* GNU Affero General Public License, Version 3 {{{ */
6 /*
7 * This program is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU Affero General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU Affero General Public License for more details.
16
17 * You should have received a copy of the GNU Affero General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 **/
20 /* }}} */
21
22 #ifndef CYCRIPT_EXCEPTION_HPP
23 #define CYCRIPT_EXCEPTION_HPP
24
25 #include <cstdlib>
26
27 #ifdef CY_EXECUTE
28 #include <JavaScriptCore/JSBase.h>
29 #endif
30
31 // XXX: does _assert really need this?
32 #include <errno.h>
33
34 #include "Standard.hpp"
35
36 class CYPool;
37
38 struct _visible CYException {
39 virtual ~CYException() {
40 }
41
42 virtual const char *PoolCString(CYPool &pool) const = 0;
43 #ifdef CY_EXECUTE
44 virtual JSValueRef CastJSValue(JSContextRef context, const char *name) const = 0;
45 #endif
46 };
47
48 void CYThrow(const char *format, ...) _noreturn;
49
50 #ifdef CY_EXECUTE
51 void CYThrow(JSContextRef context, JSValueRef value);
52 #endif
53
54 #define CYTry \
55 try
56 #define CYCatch_(value, name) \
57 catch (const CYException &error) { \
58 *exception = error.CastJSValue(context, name); \
59 return value; \
60 } catch (...) { \
61 *exception = CYCastJSValue(context, "catch(...)"); \
62 return value; \
63 }
64 #define CYCatch(value) \
65 CYCatch_(value, "Error")
66
67 #define _assert_(mode, test, code, format, ...) do \
68 if (!(test)) \
69 CYThrow("*** _%s(%s):%s(%u):%s" format, mode, code, __FILE__, __LINE__, __FUNCTION__, ##__VA_ARGS__); \
70 while (false)
71
72 // XXX: fix this: _ is not safe; this is /not/ Menes ;P
73 #undef _assert
74 #define _assert(test) \
75 _assert_("assert", (test), #test, "")
76
77 #define _require(expr) ({ \
78 __typeof__(expr) _value = (expr); \
79 _assert_("require", _value != NULL, #expr, ""); \
80 _value; })
81
82 #define _trace() do { \
83 fprintf(stderr, "_trace(%s:%u)\n", __FILE__, __LINE__); \
84 } while (false)
85
86 static _finline bool CYContains(int value, size_t many, const int *okay) {
87 for (size_t i(0); i != many; ++i)
88 if (value == okay[i])
89 return true;
90 return false;
91 }
92
93 #define _syscall_(expr, many, ...) ({ \
94 __typeof__(expr) _value; \
95 do if ((long) (_value = (expr)) != -1) \
96 break; \
97 else if (CYContains(errno, many, ((const int [many + 1]) {0, ##__VA_ARGS__} + 1))) \
98 break; \
99 else \
100 _assert_("syscall", errno == EINTR, #expr, " [errno=%d]", errno); \
101 while (true); \
102 _value; \
103 })
104
105 #define _syscall(expr) \
106 _syscall_(expr, 0)
107
108 #define _sqlcall(expr) ({ \
109 __typeof__(expr) _value = (expr); \
110 _assert_("sqlcall", _value == 0 || _value >= 100 && _value < 200, #expr, " %u:%s", _value, sqlite3_errmsg(database_)); \
111 _value; })
112
113 #ifdef CY_EXECUTE
114 struct CYJSException {
115 JSContextRef context_;
116 JSValueRef value_;
117
118 CYJSException(JSContextRef context) :
119 context_(context),
120 value_(NULL)
121 {
122 }
123
124 ~CYJSException() noexcept(false) {
125 CYThrow(context_, value_);
126 }
127
128 operator JSValueRef *() {
129 return &value_;
130 }
131 };
132
133 #define _jsccall(code, args...) ({ \
134 CYJSException _error(context); \
135 (code)(args, _error); \
136 })
137 #endif
138
139 #endif/*CYCRIPT_ERROR_HPP*/