Exception.hpp

   1 /* Cycript - Optimizing JavaScript Compiler/Runtime
   2  * Copyright (C) 2009-2014  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 #ifdef CY_EXECUTE
  26 #include <JavaScriptCore/JSBase.h>
  27 #endif
  28
  29 // XXX: does _assert really need this?
  30 #include <errno.h>
  31
  32 #include "Standard.hpp"
  33
  34 class CYPool;
  35
  36 struct CYException {
  37     virtual ~CYException() {
  38     }
  39
  40     virtual const char *PoolCString(CYPool &pool) const = 0;
  41 #ifdef CY_EXECUTE
  42     virtual JSValueRef CastJSValue(JSContextRef context) const = 0;
  43 #endif
  44 };
  45
  46 void CYThrow(const char *format, ...) _noreturn;
  47
  48 #ifdef CY_EXECUTE
  49 void CYThrow(JSContextRef context, JSValueRef value);
  50 #endif
  51
  52 #define CYTry \
  53     try
  54 #define CYCatch(value) \
  55     catch (const CYException &error) { \
  56         *exception = error.CastJSValue(context); \
  57         return value; \
  58     } catch (...) { \
  59         *exception = CYCastJSValue(context, "catch(...)"); \
  60         return value; \
  61     }
  62
  63 #define _assert_(mode, test, code, format, ...) do \
  64     if (!(test)) \
  65         CYThrow("*** _%s(%s):%s(%u):%s" format, mode, code, __FILE__, __LINE__, __FUNCTION__, ##__VA_ARGS__); \
  66 while (false)
  67
  68 // XXX: fix this: _ is not safe; this is /not/ Menes ;P
  69 #undef _assert
  70 #define _assert(test) \
  71     _assert_("assert", (test), #test, "")
  72
  73 #define _require(expr) ({ \
  74     __typeof__(expr) _value = (expr); \
  75     _assert_("require", _value != NULL, #expr, ""); \
  76 _value; })
  77
  78 #define _trace() do { \
  79     fprintf(stderr, "_trace():%u\n", __LINE__); \
  80 } while (false)
  81
  82 static _finline bool CYContains(int value, size_t many, const int *okay) {
  83     for (size_t i(0); i != many; ++i)
  84         if (value == okay[i])
  85             return true;
  86     return false;
  87 }
  88
  89 #define _syscall_(expr, many, okay) ({ \
  90     __typeof__(expr) _value; \
  91     do if ((long) (_value = (expr)) != -1) \
  92         break; \
  93     else if (CYContains(errno, many, ((const int [many]) okay))) \
  94         break; \
  95     else \
  96         _assert_("syscall", errno == EINTR, #expr, " [errno=%d]", errno); \
  97     while (true); \
  98     _value; \
  99 })
 100
 101 #define _syscall(expr) \
 102     _syscall_(expr, 0, {})
 103
 104 #define _krncall(expr) \
 105     do { \
 106         kern_return_t _krnstatus((expr)); \
 107         _assert_("krncall", _krnstatus == KERN_SUCCESS, #expr, " [return=0x%x]", _krnstatus); \
 108     } while (false)
 109
 110 #define _sqlcall(expr) ({ \
 111     __typeof__(expr) _value = (expr); \
 112     _assert_("sqlcall", _value == 0 || _value >= 100 && _value < 200, #expr, " %u:%s", _value sqlite3_errmsg(database_)); \
 113 })
 114
 115 struct CYJSException {
 116     JSContextRef context_;
 117     JSValueRef value_;
 118
 119     CYJSException(JSContextRef context) :
 120         context_(context),
 121         value_(NULL)
 122     {
 123     }
 124
 125     ~CYJSException() {
 126         CYThrow(context_, value_);
 127     }
 128
 129     operator JSValueRef *() {
 130         return &value_;
 131     }
 132 };
 133
 134 #define _jsccall(code, args...) ({ \
 135     CYJSException _error(context); \
 136     (code)(args, _error); \
 137 })
 138
 139 #endif/*CYCRIPT_ERROR_HPP*/