Cycript's lexer does not need to be "interactive".

[cycript.git] / Exception.hpp

/* Cycript - Optimizing JavaScript Compiler/Runtime
 * Copyright (C) 2009-2013  Jay Freeman (saurik)
*/

/* GNU 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
 * 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/>.
**/
/* }}} */

#ifndef CYCRIPT_EXCEPTION_HPP
#define CYCRIPT_EXCEPTION_HPP

#ifdef CY_EXECUTE
#include <JavaScriptCore/JSBase.h>
#endif

// XXX: does _assert really need this?
#include <errno.h>

#include "Standard.hpp"

class CYPool;

struct CYException {
    virtual ~CYException() {
    }

    virtual const char *PoolCString(CYPool &pool) const = 0;
#ifdef CY_EXECUTE
    virtual JSValueRef CastJSValue(JSContextRef context) const = 0;
#endif
};

void CYThrow(const char *format, ...) _noreturn;

#ifdef CY_EXECUTE
void CYThrow(JSContextRef context, JSValueRef value);
#endif

#define CYTry \
    try
#define CYCatch(value) \
    catch (const CYException &error) { \
        *exception = error.CastJSValue(context); \
        return value; \
    } catch (...) { \
        *exception = CYCastJSValue(context, "catch(...)"); \
        return value; \
    }

#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) \
    _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__); \
} while (false)

static _finline bool CYContains(int value, size_t many, int *okay) {
    for (size_t i(0); i != many; ++i)
        if (value == okay[i])
            return true;
    return false;
}

#define _syscall_(expr, many, okay) ({ \
    __typeof__(expr) _value; \
    do if ((long) (_value = (expr)) != -1) \
        break; \
    else if (CYContains(errno, many, ((int [many]) okay))) \
        break; \
    else \
        _assert_("syscall", errno == EINTR, #expr, " [errno=%d]", errno); \
    while (true); \
    _value; \
})

#define _syscall(expr) \
    _syscall_(expr, 0, {})

#define _aprcall(expr) \
    do { \
        apr_status_t _aprstatus((expr)); \
        _assert_("aprcall", _aprstatus == APR_SUCCESS, #expr, ""); \
    } while (false)

#define _krncall(expr) \
    do { \
        kern_return_t _krnstatus((expr)); \
        _assert_("krncall", _krnstatus == KERN_SUCCESS, #expr, " [return=0x%x]", _krnstatus); \
    } while (false)

#define _sqlcall(expr) ({ \
    __typeof__(expr) _value = (expr); \
    _assert_("sqlcall", _value == 0 || _value >= 100 && _value < 200, #expr, " %u:%s", _value sqlite3_errmsg(database_)); \
})

struct CYJSException {
    JSContextRef context_;
    JSValueRef value_;

    CYJSException(JSContextRef context) :
        context_(context),
        value_(NULL)
    {
    }

    ~CYJSException() {
        CYThrow(context_, value_);
    }

    operator JSValueRef *() {
        return &value_;
    }
};

#define _jsccall(code, args...) ({ \
    CYJSException _error(context); \
    (code)(args, _error); \
})

#endif/*CYCRIPT_ERROR_HPP*/