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 })
 112
 113 struct CYJSException {
 114     JSContextRef context_;
 115     JSValueRef value_;
 116
 117     CYJSException(JSContextRef context) :
 118         context_(context),
 119         value_(NULL)
 120     {
 121     }
 122
 123     ~CYJSException() noexcept(false) {
 124         CYThrow(context_, value_);
 125     }
 126
 127     operator JSValueRef *() {
 128         return &value_;
 129     }
 130 };
 131
 132 #define _jsccall(code, args...) ({ \
 133     CYJSException _error(context); \
 134     (code)(args, _error); \
 135 })
 136
 137 #endif/*CYCRIPT_ERROR_HPP*/