X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/f1b5a47ffa92e12d17571d350a567e2035d75039..3cc3e14d8539cef545aa57f3b1a3499c0d3fdf1b:/Exception.hpp

diff --git a/Exception.hpp b/Exception.hpp
index 0410fd1..1efaf3f 100644
--- a/Exception.hpp
+++ b/Exception.hpp
@@ -1,27 +1,29 @@
-/* Cycript - Optimizing JavaScript Compiler/Runtime
- * Copyright (C) 2009-2013  Jay Freeman (saurik)
+/* Cycript - The Truly Universal Scripting Language
+ * Copyright (C) 2009-2016  Jay Freeman (saurik)
 */
 
-/* GNU General Public License, Version 3 {{{ */
+/* GNU Affero General Public License, Version 3 {{{ */
 /*
- * Cycript is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published
- * by the Free Software Foundation, either version 3 of the License,
- * or (at your option) any later version.
- *
- * Cycript is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Affero General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with Cycript.  If not, see <http://www.gnu.org/licenses/>.
+ * GNU Affero General Public License for more details.
+
+ * You should have received a copy of the GNU Affero General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 **/
 /* }}} */
 
 #ifndef CYCRIPT_EXCEPTION_HPP
 #define CYCRIPT_EXCEPTION_HPP
 
+#include <cstdlib>
+
 #ifdef CY_EXECUTE
 #include <JavaScriptCore/JSBase.h>
 #endif
@@ -33,13 +35,13 @@
 
 class CYPool;
 
-struct CYException {
+struct _visible CYException {
     virtual ~CYException() {
     }
 
     virtual const char *PoolCString(CYPool &pool) const = 0;
 #ifdef CY_EXECUTE
-    virtual JSValueRef CastJSValue(JSContextRef context) const = 0;
+    virtual JSValueRef CastJSValue(JSContextRef context, const char *name) const = 0;
 #endif
 };
 
@@ -51,58 +53,68 @@ void CYThrow(JSContextRef context, JSValueRef value);
 
 #define CYTry \
     try
-#define CYCatch(value) \
+#define CYCatch_(value, name) \
     catch (const CYException &error) { \
-        *exception = error.CastJSValue(context); \
+        *exception = error.CastJSValue(context, name); \
+        _assert(*exception != NULL); \
         return value; \
     } catch (...) { \
         *exception = CYCastJSValue(context, "catch(...)"); \
+        _assert(*exception != NULL); \
         return value; \
     }
+#define CYCatch(value) \
+    CYCatch_(value, "Error")
+#define CYCatchObject() \
+    CYCatch(JSObjectMake(context, NULL, NULL))
+
+#define _assert_(mode, test, code, format, ...) do \
+    if (!(test)) \
+        CYThrow("*** _%s(%s):%s(%u):%s" format, mode, code, __FILE__, __LINE__, __FUNCTION__, ##__VA_ARGS__); \
+while (false)
 
 // XXX: fix this: _ is not safe; this is /not/ Menes ;P
 #undef _assert
-#define _assert(test, args...) do { \
-    if (!(test)) \
-        CYThrow("*** _assert(%s):%s(%u):%s [errno=%d]", #test, __FILE__, __LINE__, __FUNCTION__, errno); \
-} while (false)
+#define _assert(test) \
+    _assert_("assert", (test), #test, "")
+
+#define _require(expr) ({ \
+    __typeof__(expr) _value = (expr); \
+    _assert_("require", _value != NULL, #expr, ""); \
+_value; })
 
 #define _trace() do { \
-    fprintf(stderr, "_trace():%u\n", __LINE__); \
+    fprintf(stderr, "_trace(%s:%u)\n", __FILE__, __LINE__); \
 } while (false)
 
-#define _syscall(expr) ({ \
+static _finline bool CYContains(int value, size_t many, const int *okay) {
+    for (size_t i(0); i != many; ++i)
+        if (value == okay[i])
+            return true;
+    return false;
+}
+
+#define _syscall_(expr, many, ...) ({ \
     __typeof__(expr) _value; \
     do if ((long) (_value = (expr)) != -1) \
         break; \
-    else switch (errno) { \
-        case EINTR: \
-            continue; \
-        default: \
-            _assert(false); \
-    } while (true); \
+    else if (CYContains(errno, many, ((const int [many + 1]) {0, ##__VA_ARGS__} + 1))) \
+        break; \
+    else \
+        _assert_("syscall", errno == EINTR, #expr, " [errno=%d]", errno); \
+    while (true); \
     _value; \
 })
 
-#define _aprcall(expr) \
-    do { \
-        apr_status_t _aprstatus((expr)); \
-        _assert(_aprstatus == APR_SUCCESS); \
-    } while (false)
-
-#define _krncall(expr) \
-    do { \
-        kern_return_t _krnstatus((expr)); \
-        _assert(_krnstatus == KERN_SUCCESS); \
-    } while (false)
+#define _syscall(expr) \
+    _syscall_(expr, 0)
 
 #define _sqlcall(expr) ({ \
     __typeof__(expr) _value = (expr); \
-    if (_value != 0 && (_value < 100 || _value >= 200)) \
-        _assert(false, "_sqlcall(%u:%s): %s\n", _value, #expr, sqlite3_errmsg(database_)); \
-    _value; \
-})
+    _assert_("sqlcall", _value == 0 || _value >= 100 && _value < 200, #expr, " %u:%s", _value, sqlite3_errmsg(database_)); \
+_value; })
 
+#ifdef CY_EXECUTE
 struct CYJSException {
     JSContextRef context_;
     JSValueRef value_;
@@ -113,7 +125,7 @@ struct CYJSException {
     {
     }
 
-    ~CYJSException() {
+    ~CYJSException() noexcept(false) {
         CYThrow(context_, value_);
     }
 
@@ -126,5 +138,6 @@ struct CYJSException {
     CYJSException _error(context); \
     (code)(args, _error); \
 })
+#endif
 
 #endif/*CYCRIPT_ERROR_HPP*/