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 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 = 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) \
  57     catch (const CYException &error) { \
  58         *exception = error.CastJSValue(context); \
  59         return value; \
  60     } catch (...) { \
  61         *exception = CYCastJSValue(context, "catch(...)"); \
  62         return value; \
  63     }
  64
  65 #define _assert_(mode, test, code, format, ...) do \
  66     if (!(test)) \
  67         CYThrow("*** _%s(%s):%s(%u):%s" format, mode, code, __FILE__, __LINE__, __FUNCTION__, ##__VA_ARGS__); \
  68 while (false)
  69
  70 // XXX: fix this: _ is not safe; this is /not/ Menes ;P
  71 #undef _assert
  72 #define _assert(test) \
  73     _assert_("assert", (test), #test, "")
  74
  75 #define _require(expr) ({ \
  76     __typeof__(expr) _value = (expr); \
  77     _assert_("require", _value != NULL, #expr, ""); \
  78 _value; })
  79
  80 #define _trace() do { \
  81     fprintf(stderr, "_trace(%s:%u)\n", __FILE__, __LINE__); \
  82 } while (false)
  83
  84 static _finline bool CYContains(int value, size_t many, const int *okay) {
  85     for (size_t i(0); i != many; ++i)
  86         if (value == okay[i])
  87             return true;
  88     return false;
  89 }
  90
  91 #define _syscall_(expr, many, ...) ({ \
  92     __typeof__(expr) _value; \
  93     do if ((long) (_value = (expr)) != -1) \
  94         break; \
  95     else if (CYContains(errno, many, ((const int [many + 1]) {0, ##__VA_ARGS__} + 1))) \
  96         break; \
  97     else \
  98         _assert_("syscall", errno == EINTR, #expr, " [errno=%d]", errno); \
  99     while (true); \
 100     _value; \
 101 })
 102
 103 #define _syscall(expr) \
 104     _syscall_(expr, 0)
 105
 106 #define _sqlcall(expr) ({ \
 107     __typeof__(expr) _value = (expr); \
 108     _assert_("sqlcall", _value == 0 || _value >= 100 && _value < 200, #expr, " %u:%s", _value sqlite3_errmsg(database_)); \
 109 })
 110
 111 struct CYJSException {
 112     JSContextRef context_;
 113     JSValueRef value_;
 114
 115     CYJSException(JSContextRef context) :
 116         context_(context),
 117         value_(NULL)
 118     {
 119     }
 120
 121     ~CYJSException() noexcept(false) {
 122         CYThrow(context_, value_);
 123     }
 124
 125     operator JSValueRef *() {
 126         return &value_;
 127     }
 128 };
 129
 130 #define _jsccall(code, args...) ({ \
 131     CYJSException _error(context); \
 132     (code)(args, _error); \
 133 })
 134
 135 #endif/*CYCRIPT_ERROR_HPP*/