]> git.saurik.com Git - cycript.git/blobdiff - Internal.hpp
Also use CXType walker to for function prototypes.
[cycript.git] / Internal.hpp
index c87c0ab633c9efe30a15dba7f1adf621615760d2..7e6b1fd3ea3d164542f06ed9a7b1203fa7428256 100644 (file)
-/* Cycript - Optimizing JavaScript Compiler/Runtime
- * Copyright (C) 2009-2012  Jay Freeman (saurik)
+/* Cycript - The Truly Universal Scripting Language
+ * Copyright (C) 2009-2016  Jay Freeman (saurik)
 */
 
-/* GNU Lesser 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 Lesser 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 Lesser General Public
- * License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public License
- * along with Cycript.  If not, see <http://www.gnu.org/licenses/>.
+ * 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 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_INTERNAL_HPP
 #define CYCRIPT_INTERNAL_HPP
 
-#include "Pooling.hpp"
+#include <sig/parse.hpp>
+#include <sig/ffi_type.hpp>
 
 #include <JavaScriptCore/JSBase.h>
 #include <JavaScriptCore/JSContextRef.h>
 #include <JavaScriptCore/JSObjectRef.h>
 #include <JavaScriptCore/JSValueRef.h>
 
-#include <sig/parse.hpp>
-#include <sig/ffi_type.hpp>
+#include "JavaScript.hpp"
+#include "Pooling.hpp"
+#include "Utility.hpp"
 
-JSGlobalContextRef CYGetJSContext(JSContextRef context);
-void Structor_(apr_pool_t *pool, sig::Type *&type);
+struct CYPropertyName;
 
-JSObjectRef CYMakeType(JSContextRef context, const char *type);
-JSObjectRef CYMakeType(JSContextRef context, sig::Type *type);
+JSGlobalContextRef CYGetJSContext(JSContextRef context);
+sig::Type *Structor_(CYPool &pool, sig::Aggregate *aggregate);
 
-struct Type_privateData :
+struct CYRoot :
     CYData
+{
+    // XXX: without this, CYData is zero-initialized?!
+    CYRoot() :
+        CYData()
+    {
+    }
+
+    _finline JSValueRef GetPrototype(JSContextRef context) const {
+        return NULL;
+    }
+};
+
+template <typename Internal_, typename Base_ = CYRoot>
+struct CYPrivateOld :
+    Base_
 {
     static JSClassRef Class_;
 
-    ffi_type *ffi_;
-    sig::Type *type_;
+    template <typename... Args_>
+    _finline static JSClassRef GetClass(Args_ &&... args) {
+        return Class_;
+    }
 
-    void Set(sig::Type *type) {
-        type_ = new(pool_) sig::Type;
-        sig::Copy(pool_, *type_, *type);
+    template <typename... Args_>
+    static JSObjectRef Make(JSContextRef context, Args_ &&... args) {
+        Internal_ *internal(new Internal_(cy::Forward<Args_>(args)...));
+        JSObjectRef object(JSObjectMake(context, Internal_::GetClass(cy::Forward<Args_>(args)...), internal));
+        if (JSValueRef prototype = internal->GetPrototype(context))
+            CYSetPrototype(context, object, prototype);
+        return object;
     }
 
-    Type_privateData(apr_pool_t *pool, const char *type) :
-        ffi_(NULL)
-    {
-        _assert(pool != NULL);
-        pool_ = pool;
-        sig::Signature signature;
-        sig::Parse(pool_, &signature, type, &Structor_);
-        type_ = signature.elements[0].type;
+    static Internal_ *Get(JSContextRef context, JSObjectRef object) {
+        _assert(JSValueIsObjectOfClass(context, object, Class_));
+        return static_cast<Internal_ *>(JSObjectGetPrivate(object));
     }
+};
+
+template <typename Internal_, typename Base_>
+JSClassRef CYPrivateOld<Internal_, Base_>::Class_;
+
+template <typename Internal_>
+struct CYPrivate {
+    static JSClassRef Class_;
+
+    template <typename... Args_>
+    static JSObjectRef Make(JSContextRef context, Args_ &&... args) {
+        Internal_ *internal(new Internal_(cy::Forward<Args_>(args)...));
+        JSObjectRef object(JSObjectMake(context, Class_, internal));
+        if (JSValueRef prototype = internal->GetPrototype(context))
+            CYSetPrototype(context, object, prototype);
+        return object;
+    }
+
+    template <typename Arg_>
+    static JSObjectRef Cache(JSContextRef context, Arg_ *arg) {
+        JSObjectRef global(CYGetGlobalObject(context));
+        JSObjectRef cy(CYCastJSObject(context, CYGetProperty(context, global, cy_s)));
+
+        char label[32];
+        sprintf(label, "%s%p", Internal_::Cache_, arg);
+        CYJSString name(label);
+
+        JSValueRef value(CYGetProperty(context, cy, name));
+        if (!JSValueIsUndefined(context, value))
+            return CYCastJSObject(context, value);
+
+        JSObjectRef object(Make(context, arg));
+        CYSetProperty(context, cy, name, object);
+        return object;
+    }
+
+    static Internal_ *Get(JSContextRef context, JSObjectRef object) {
+        _assert(JSValueIsObjectOfClass(context, object, Class_));
+        return static_cast<Internal_ *>(JSObjectGetPrivate(object));
+    }
+};
+
+template <typename Internal_>
+JSClassRef CYPrivate<Internal_>::Class_;
+
+struct Type_privateData :
+    CYRoot
+{
+    ffi_type *ffi_;
+    sig::Type *type_;
 
     Type_privateData(const char *type) :
         ffi_(NULL)
     {
         sig::Signature signature;
-        sig::Parse(pool_, &signature, type, &Structor_);
+        sig::Parse(*pool_, &signature, type, &Structor_);
         type_ = signature.elements[0].type;
     }
 
-    Type_privateData(sig::Type *type) :
-        ffi_(NULL)
+    Type_privateData(const sig::Type &type, ffi_type *ffi = NULL) :
+        type_(type.Copy(*pool_))
     {
-        if (type != NULL)
-            Set(type);
-    }
 
-    Type_privateData(sig::Type *type, ffi_type *ffi) {
-        ffi_ = new(pool_) ffi_type;
-        sig::Copy(pool_, *ffi_, *ffi);
-        Set(type);
+        if (ffi == NULL)
+            ffi_ = NULL;
+        else {
+            ffi_ = new(*pool_) ffi_type;
+            sig::Copy(*pool_, *ffi_, *ffi);
+        }
     }
 
     ffi_type *GetFFI() {
         if (ffi_ == NULL) {
-            ffi_ = new(pool_) ffi_type;
-
             sig::Element element;
             element.name = NULL;
             element.type = type_;
@@ -96,7 +160,9 @@ struct Type_privateData :
             signature.count = 1;
 
             ffi_cif cif;
-            sig::sig_ffi_cif(pool_, &sig::ObjectiveC, &signature, &cif);
+            sig::sig_ffi_cif(*pool_, false, signature, &cif);
+
+            ffi_ = new(*pool_) ffi_type;
             *ffi_ = *cif.rtype;
         }
 
@@ -104,100 +170,119 @@ struct Type_privateData :
     }
 };
 
-struct CYValue :
-    CYData
-{
-    void *value_;
+struct CYProtect {
+  private:
+    JSGlobalContextRef context_;
+    JSObjectRef object_;
+
+  public:
+    CYProtect(JSContextRef context, JSObjectRef object) :
+        context_(CYGetJSContext(context)),
+        object_(object)
+    {
+        //XXX:JSGlobalContextRetain(context_);
+        if (object_ != NULL)
+            JSValueProtect(context_, object_);
+    }
 
-    CYValue() {
+    ~CYProtect() {
+        if (object_ != NULL)
+            JSValueUnprotect(context_, object_);
+        //XXX:JSGlobalContextRelease(context_);
     }
 
-    CYValue(const void *value) :
-        value_(const_cast<void *>(value))
-    {
+    operator bool() const {
+        return object_ != NULL;
     }
 
-    CYValue(const CYValue &rhs) :
-        value_(rhs.value_)
-    {
+    operator JSContextRef() const {
+        return context_;
     }
 
-    virtual Type_privateData *GetType() const {
-        return NULL;
+    operator JSObjectRef() const {
+        return object_;
     }
 };
 
-struct CYOwned :
-    CYValue
-{
+class CYBuffer {
   private:
-    JSGlobalContextRef context_;
     JSObjectRef owner_;
+    CYPool *pool_;
 
   public:
-    CYOwned(void *value, JSContextRef context, JSObjectRef owner) :
-        CYValue(value),
-        context_(CYGetJSContext(context)),
-        owner_(owner)
+    CYBuffer(JSContextRef context) :
+        owner_(CYPrivate<CYRoot>::Make(context)),
+        pool_(CYPrivate<CYRoot>::Get(context, owner_)->pool_)
     {
-        //XXX:JSGlobalContextRetain(context_);
-        if (owner_ != NULL)
-            JSValueProtect(context_, owner_);
+        auto internal(CYPrivate<CYRoot>::Get(context, owner_));
+        internal->pool_->malloc<int>(10);
     }
 
-    virtual ~CYOwned() {
-        if (owner_ != NULL)
-            JSValueUnprotect(context_, owner_);
-        //XXX:JSGlobalContextRelease(context_);
+    operator JSObjectRef() const {
+        return owner_;
     }
 
-    JSObjectRef GetOwner() const {
-        return owner_;
+    operator CYPool *() const {
+        return pool_;
+    }
+
+    CYPool *operator ->() const {
+        return pool_;
     }
 };
 
 namespace cy {
 struct Functor :
-    CYValue
+    CYRoot
 {
+  public:
+    static JSClassRef Class_;
+
+  private:
+    void set() {
+        sig::sig_ffi_cif(*pool_, variadic_ ? signature_.count : 0, signature_, &cif_);
+    }
+
+  public:
+    void (*value_)();
+    bool variadic_;
     sig::Signature signature_;
     ffi_cif cif_;
 
-    Functor(const char *type, void (*value)()) :
-        CYValue(reinterpret_cast<void *>(value))
+    Functor(void (*value)(), bool variadic, const sig::Signature &signature) :
+        value_(value),
+        variadic_(variadic)
     {
-        sig::Parse(pool_, &signature_, type, &Structor_);
-        sig::sig_ffi_cif(pool_, &sig::ObjectiveC, &signature_, &cif_);
+        sig::Copy(*pool_, signature_, signature);
+        set();
     }
 
-    void (*GetValue())() const {
-        return reinterpret_cast<void (*)()>(value_);
+    Functor(void (*value)(), const char *encoding) :
+        value_(value),
+        variadic_(false)
+    {
+        sig::Parse(*pool_, &signature_, encoding, &Structor_);
+        set();
     }
 
-    static JSStaticFunction const * const StaticFunctions;
+    virtual CYPropertyName *GetName(CYPool &pool) const;
 }; }
 
 struct Closure_privateData :
     cy::Functor
 {
-    JSGlobalContextRef context_;
-    JSObjectRef function_;
+    CYProtect function_;
+    JSValueRef (*adapter_)(JSContextRef, size_t, JSValueRef[], JSObjectRef);
 
-    Closure_privateData(JSContextRef context, JSObjectRef function, const char *type) :
-        cy::Functor(type, NULL),
-        context_(CYGetJSContext(context)),
-        function_(function)
+    Closure_privateData(JSContextRef context, JSObjectRef function, JSValueRef (*adapter)(JSContextRef, size_t, JSValueRef[], JSObjectRef), const sig::Signature &signature) :
+        cy::Functor(NULL, false, signature),
+        function_(context, function),
+        adapter_(adapter)
     {
-        //XXX:JSGlobalContextRetain(context_);
-        JSValueProtect(context_, function_);
-    }
-
-    virtual ~Closure_privateData() {
-        JSValueUnprotect(context_, function_);
-        //XXX:JSGlobalContextRelease(context_);
     }
 };
 
-Closure_privateData *CYMakeFunctor_(JSContextRef context, JSObjectRef function, const char *type, void (*callback)(ffi_cif *, void *, void **, void *));
+Closure_privateData *CYMakeFunctor_(JSContextRef context, JSObjectRef function, const sig::Signature &signature, JSValueRef (*adapter)(JSContextRef, size_t, JSValueRef[], JSObjectRef));
+void CYExecuteClosure(ffi_cif *cif, void *result, void **arguments, void *arg, JSValueRef (*adapter)(JSContextRef, size_t, JSValueRef[], JSObjectRef));
 
 #endif/*CYCRIPT_INTERNAL_HPP*/