emul/src/main/java/java/lang/Class.java
changeset 434 2c0646d78e68
parent 424 aef4fd91e99c
child 442 b107ed66f2e7
     1.1 --- a/emul/src/main/java/java/lang/Class.java	Thu Jan 10 20:15:11 2013 +0100
     1.2 +++ b/emul/src/main/java/java/lang/Class.java	Sat Jan 12 18:18:25 2013 +0100
     1.3 @@ -269,7 +269,15 @@
     1.4       *
     1.5       * @since JDK1.1
     1.6       */
     1.7 -    public native boolean isInstance(Object obj);
     1.8 +    public boolean isInstance(Object obj) {
     1.9 +        String prop = "$instOf_" + getName().replace('.', '_');
    1.10 +        return hasProperty(obj, prop);
    1.11 +    }
    1.12 +    
    1.13 +    @JavaScriptBody(args = { "who", "prop" }, body = 
    1.14 +        "if (who[prop]) return true; else return false;"
    1.15 +    )
    1.16 +    private static native boolean hasProperty(Object who, String prop);
    1.17  
    1.18  
    1.19      /**