launcher/http/src/main/java/org/apidesign/bck2brwsr/launcher/impl/Console.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sat, 21 May 2016 11:23:01 +0200
changeset 1964 668b8501d01f
parent 1928 b5ac0a273dfe
permissions -rw-r--r--
Use names of parameters as indentification of a 'case-run' rather than name of the main method which is usually a constant
jaroslav@323
     1
/**
jaroslav@323
     2
 * Back 2 Browser Bytecode Translator
jaroslav@1787
     3
 * Copyright (C) 2012-2015 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@323
     4
 *
jaroslav@323
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@323
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@323
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@323
     8
 *
jaroslav@323
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@323
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@323
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@323
    12
 * GNU General Public License for more details.
jaroslav@323
    13
 *
jaroslav@323
    14
 * You should have received a copy of the GNU General Public License
jaroslav@323
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@323
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@323
    17
 */
jaroslav@622
    18
package org.apidesign.bck2brwsr.launcher.impl;
jaroslav@323
    19
jaroslav@360
    20
import java.io.IOException;
jaroslav@360
    21
import java.io.InputStream;
jaroslav@802
    22
import java.io.UnsupportedEncodingException;
jaroslav@332
    23
import java.lang.reflect.InvocationTargetException;
jaroslav@323
    24
import java.lang.reflect.Method;
jaroslav@412
    25
import java.lang.reflect.Modifier;
jaroslav@332
    26
import java.net.URL;
jaroslav@360
    27
import java.util.Enumeration;
jaroslav@323
    28
import org.apidesign.bck2brwsr.core.JavaScriptBody;
jaroslav@323
    29
jaroslav@323
    30
/**
jaroslav@323
    31
 *
jaroslav@323
    32
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@323
    33
 */
jaroslav@1489
    34
@org.apidesign.bck2brwsr.core.Exported 
jaroslav@323
    35
public class Console {
jaroslav@622
    36
    private Console() {
jaroslav@622
    37
    }
jaroslav@517
    38
    static {
jaroslav@517
    39
        turnAssetionStatusOn();
jaroslav@517
    40
    }
jaroslav@323
    41
    
jaroslav@323
    42
    @JavaScriptBody(args = {"id", "attr"}, body = 
jaroslav@1927
    43
        "var e = window.document.getElementById(id);" +
jaroslav@1927
    44
        "return e ? e[attr].toString() : null;"
jaroslav@1927
    45
    )
jaroslav@323
    46
    private static native Object getAttr(String id, String attr);
jaroslav@916
    47
    @JavaScriptBody(args = {"elem", "attr"}, body = 
jaroslav@1927
    48
        "return elem ? elem[attr].toString() : null;")
jaroslav@916
    49
    private static native Object getAttr(Object elem, String attr);
jaroslav@323
    50
jaroslav@323
    51
    @JavaScriptBody(args = {"id", "attr", "value"}, body = 
jaroslav@1927
    52
        "var e = window.document.getElementById(id);\n"
jaroslav@1927
    53
      + "if (e) e[attr] = value;"
jaroslav@1927
    54
    )
jaroslav@323
    55
    private static native void setAttr(String id, String attr, Object value);
jaroslav@916
    56
    @JavaScriptBody(args = {"elem", "attr", "value"}, body = 
jaroslav@1927
    57
        "if (elem) elem[attr] = value;")
jaroslav@916
    58
    private static native void setAttr(Object id, String attr, Object value);
jaroslav@366
    59
    
jaroslav@1860
    60
    @net.java.html.js.JavaScriptBody(args = {}, body = "return new Date().getTime()")
jaroslav@1860
    61
    private static native double getTime();
jaroslav@1860
    62
jaroslav@1827
    63
    @net.java.html.js.JavaScriptBody(args = {  }, body = 
jaroslav@1928
    64
        "if (!document.getElementById('bck2brwsr.fragment')) return;\n"
jaroslav@1927
    65
      + "var a = document.createElement('a');\n"
jaroslav@1827
    66
      + "a.innerHTML = 'Cancel: closing in 10s...';\n"
jaroslav@1827
    67
      + "a.href = '#';\n"
jaroslav@1827
    68
      + "var closing = window.setTimeout(function() { window.close(); }, 10000);\n"
jaroslav@1827
    69
      + "a.onclick = function() { clearTimeout(closing); document.body.removeChild(a); };\n"
jaroslav@1827
    70
      + "document.body.appendChild(a);\n" +
jaroslav@1827
    71
        "return;\n"
jaroslav@1827
    72
    )
jaroslav@1827
    73
    static native void closeWindow();
jaroslav@342
    74
jaroslav@916
    75
    private static Object textArea;
jaroslav@916
    76
    private static Object statusArea;
jaroslav@916
    77
    
jaroslav@343
    78
    private static void log(String newText) {
jaroslav@916
    79
        if (textArea == null) {
jaroslav@916
    80
            return;
jaroslav@916
    81
        }
jaroslav@343
    82
        String attr = "value";
jaroslav@916
    83
        setAttr(textArea, attr, getAttr(textArea, attr) + "\n" + newText);
jaroslav@916
    84
        setAttr(textArea, "scrollTop", getAttr(textArea, "scrollHeight"));
jaroslav@342
    85
    }
jaroslav@323
    86
    
jaroslav@916
    87
    private static void beginTest(Case c) {
jaroslav@916
    88
        Object[] arr = new Object[2];
jaroslav@1964
    89
        String testName;
jaroslav@1964
    90
        String[] args = c.getArgs();
jaroslav@1964
    91
        if (args == null || args.length == 0) {
jaroslav@1964
    92
            testName = c.getClassName() + "." + c.getMethodName();
jaroslav@1964
    93
        } else {
jaroslav@1964
    94
            testName = args[0];
jaroslav@1964
    95
            for (int i = 1; i < args.length; i++) {
jaroslav@1964
    96
                testName = testName + ',' + args[i];
jaroslav@1964
    97
            }
jaroslav@1964
    98
        }
jaroslav@1964
    99
        beginTest(testName, c, arr);
jaroslav@916
   100
        textArea = arr[0];
jaroslav@916
   101
        statusArea = arr[1];
jaroslav@916
   102
    }
jaroslav@916
   103
    
jaroslav@916
   104
    private static void finishTest(Case c, Object res) {
jaroslav@916
   105
        if ("null".equals(res)) {
jaroslav@922
   106
            setAttr(statusArea, "innerHTML", "Success");
jaroslav@916
   107
        } else {
jaroslav@922
   108
            setAttr(statusArea, "innerHTML", "Result " + res);
jaroslav@916
   109
        }
jaroslav@916
   110
        statusArea = null;
jaroslav@916
   111
        textArea = null;
jaroslav@916
   112
    }
jaroslav@916
   113
jaroslav@916
   114
    @JavaScriptBody(args = { "test", "c", "arr" }, body = 
jaroslav@916
   115
          "var ul = window.document.getElementById('bck2brwsr.result');\n"
jaroslav@916
   116
        + "var li = window.document.createElement('li');\n"
jaroslav@922
   117
        + "var span = window.document.createElement('span');"
jaroslav@916
   118
        + "span.innerHTML = test + ' - ';\n"
jaroslav@922
   119
        + "var details = window.document.createElement('a');\n"
jaroslav@922
   120
        + "details.innerHTML = 'Details';\n"
jaroslav@922
   121
        + "details.href = '#';\n"
jaroslav@916
   122
        + "var p = window.document.createElement('p');\n"
jaroslav@916
   123
        + "var status = window.document.createElement('a');\n"
jaroslav@916
   124
        + "status.innerHTML = 'running';"
jaroslav@922
   125
        + "details.onclick = function() { li.appendChild(p); li.removeChild(details); status.innerHTML = 'Run Again'; status.href = '#'; };\n"
jaroslav@916
   126
        + "status.onclick = function() { c.again__V_3Ljava_lang_Object_2(arr); }\n"
jaroslav@916
   127
        + "var pre = window.document.createElement('textarea');\n"
jaroslav@922
   128
        + "pre.cols = 100;"
jaroslav@922
   129
        + "pre.rows = 10;"
jaroslav@916
   130
        + "li.appendChild(span);\n"
jaroslav@916
   131
        + "li.appendChild(status);\n"
jaroslav@922
   132
        + "var span = window.document.createElement('span');"
jaroslav@922
   133
        + "span.innerHTML = ' ';\n"
jaroslav@922
   134
        + "li.appendChild(span);\n"
jaroslav@922
   135
        + "li.appendChild(details);\n"
jaroslav@916
   136
        + "p.appendChild(pre);\n"
jaroslav@1927
   137
        + "if (ul) ul.appendChild(li);\n"
jaroslav@916
   138
        + "arr[0] = pre;\n"
jaroslav@916
   139
        + "arr[1] = status;\n"
jaroslav@916
   140
    )
jaroslav@916
   141
    private static native void beginTest(String test, Case c, Object[] arr);
jaroslav@916
   142
    
jaroslav@519
   143
    @JavaScriptBody(args = { "url", "callback", "arr" }, body = ""
jaroslav@519
   144
        + "var request = new XMLHttpRequest();\n"
jaroslav@519
   145
        + "request.open('GET', url, true);\n"
jaroslav@800
   146
        + "request.setRequestHeader('Content-Type', 'text/plain; charset=utf-8');\n"
jaroslav@519
   147
        + "request.onreadystatechange = function() {\n"
jaroslav@519
   148
        + "  if (this.readyState!==4) return;\n"
jaroslav@519
   149
        + "  arr[0] = this.responseText;\n"
jaroslav@519
   150
        + "  callback.run__V();\n"
jaroslav@519
   151
        + "};"
jaroslav@519
   152
        + "request.send();"
jaroslav@519
   153
    )
jaroslav@519
   154
    private static native void loadText(String url, Runnable callback, String[] arr) throws IOException;
jaroslav@332
   155
    
jaroslav@519
   156
    public static void harness(String url) throws IOException {
jaroslav@343
   157
        log("Connecting to " + url);
jaroslav@519
   158
        Request r = new Request(url);
jaroslav@519
   159
    }
jaroslav@519
   160
    
jaroslav@519
   161
    private static class Request implements Runnable {
jaroslav@519
   162
        private final String[] arr = { null };
jaroslav@519
   163
        private final String url;
jaroslav@939
   164
        private Case c;
jaroslav@942
   165
        private int retries;
jaroslav@519
   166
jaroslav@519
   167
        private Request(String url) throws IOException {
jaroslav@519
   168
            this.url = url;
jaroslav@519
   169
            loadText(url, this, arr);
jaroslav@519
   170
        }
jaroslav@939
   171
        private Request(String url, String u) throws IOException {
jaroslav@939
   172
            this.url = url;
jaroslav@939
   173
            loadText(u, this, arr);
jaroslav@939
   174
        }
jaroslav@519
   175
        
jaroslav@519
   176
        @Override
jaroslav@519
   177
        public void run() {
jaroslav@519
   178
            try {
jaroslav@939
   179
                if (c == null) {
jaroslav@939
   180
                    String data = arr[0];
jaroslav@939
   181
jaroslav@939
   182
                    if (data == null) {
jaroslav@939
   183
                        log("Some error exiting");
jaroslav@939
   184
                        closeWindow();
jaroslav@939
   185
                        return;
jaroslav@939
   186
                    }
jaroslav@939
   187
jaroslav@939
   188
                    if (data.isEmpty()) {
jaroslav@939
   189
                        log("No data, exiting");
jaroslav@939
   190
                        closeWindow();
jaroslav@939
   191
                        return;
jaroslav@939
   192
                    }
jaroslav@939
   193
jaroslav@939
   194
                    c = Case.parseData(data);
jaroslav@939
   195
                    beginTest(c);
jaroslav@940
   196
                    log("Got \"" + data + "\"");
jaroslav@940
   197
                } else {
jaroslav@942
   198
                    log("Processing \"" + arr[0] + "\" for " + retries + " time");
jaroslav@939
   199
                }
jaroslav@1752
   200
                Object result = retries++ >= 100 ? "java.lang.InterruptedException:timeout(" + retries + ")" : c.runTest();
jaroslav@1860
   201
                String reply = "?request=" + c.getRequestId() + "&time=" + c.time + "&result=" + result;
jaroslav@1860
   202
                log("Sending back: ..." + reply);
jaroslav@939
   203
                finishTest(c, result);
jaroslav@519
   204
                
jaroslav@1860
   205
                String u = url + reply;
jaroslav@939
   206
                new Request(url, u);
jaroslav@939
   207
            } catch (Exception ex) {
jaroslav@939
   208
                if (ex instanceof InterruptedException) {
jaroslav@940
   209
                    log("Re-scheduling in 100ms");
jaroslav@940
   210
                    schedule(this, 100);
jaroslav@519
   211
                    return;
jaroslav@519
   212
                }
jaroslav@707
   213
                log(ex.getClass().getName() + ":" + ex.getMessage());
jaroslav@342
   214
            }
jaroslav@332
   215
        }
jaroslav@332
   216
    }
jaroslav@356
   217
    
jaroslav@802
   218
    private static String encodeURL(String r) throws UnsupportedEncodingException {
jaroslav@802
   219
        final String SPECIAL = "%$&+,/:;=?@";
jaroslav@381
   220
        StringBuilder sb = new StringBuilder();
jaroslav@802
   221
        byte[] utf8 = r.getBytes("UTF-8");
jaroslav@802
   222
        for (int i = 0; i < utf8.length; i++) {
jaroslav@802
   223
            int ch = utf8[i] & 0xff;
jaroslav@802
   224
            if (ch < 32 || ch > 127 || SPECIAL.indexOf(ch) >= 0) {
jaroslav@802
   225
                final String numbers = "0" + Integer.toHexString(ch);
jaroslav@802
   226
                sb.append("%").append(numbers.substring(numbers.length() - 2));
jaroslav@381
   227
            } else {
jaroslav@381
   228
                if (ch == 32) {
jaroslav@381
   229
                    sb.append("+");
jaroslav@381
   230
                } else {
jaroslav@381
   231
                    sb.append((char)ch);
jaroslav@381
   232
                }
jaroslav@381
   233
            }
jaroslav@381
   234
        }
jaroslav@381
   235
        return sb.toString();
jaroslav@381
   236
    }
jaroslav@381
   237
    
jaroslav@939
   238
    static String invoke(String clazz, String method) throws 
jaroslav@939
   239
    ClassNotFoundException, InvocationTargetException, IllegalAccessException, 
jaroslav@939
   240
    InstantiationException, InterruptedException {
jaroslav@1908
   241
        final Object r = new Case(null).invokeMethod(clazz, method, null);
jaroslav@356
   242
        return r == null ? "null" : r.toString().toString();
jaroslav@356
   243
    }
jaroslav@323
   244
jaroslav@360
   245
    /** Helper method that inspects the classpath and loads given resource
jaroslav@360
   246
     * (usually a class file). Used while running tests in Rhino.
jaroslav@360
   247
     * 
jaroslav@360
   248
     * @param name resource name to find
jaroslav@360
   249
     * @return the array of bytes in the given resource
jaroslav@360
   250
     * @throws IOException I/O in case something goes wrong
jaroslav@360
   251
     */
jaroslav@1375
   252
    public static byte[] read(String name, int skip) throws IOException {
jaroslav@360
   253
        URL u = null;
jaroslav@1375
   254
        if (!name.endsWith(".class")) {
jaroslav@1375
   255
            u = getResource(name, skip);
jaroslav@1375
   256
        } else {
jaroslav@1375
   257
            Enumeration<URL> en = Console.class.getClassLoader().getResources(name);
jaroslav@1375
   258
            while (en.hasMoreElements()) {
jaroslav@1375
   259
                u = en.nextElement();
jaroslav@1375
   260
            }
jaroslav@360
   261
        }
jaroslav@360
   262
        if (u == null) {
jaroslav@1363
   263
            if (name.endsWith(".class")) {
jaroslav@1363
   264
                throw new IOException("Can't find " + name);
jaroslav@1363
   265
            } else {
jaroslav@1363
   266
                return null;
jaroslav@1363
   267
            }
jaroslav@360
   268
        }
jaroslav@360
   269
        try (InputStream is = u.openStream()) {
jaroslav@360
   270
            byte[] arr;
jaroslav@360
   271
            arr = new byte[is.available()];
jaroslav@360
   272
            int offset = 0;
jaroslav@360
   273
            while (offset < arr.length) {
jaroslav@360
   274
                int len = is.read(arr, offset, arr.length - offset);
jaroslav@360
   275
                if (len == -1) {
jaroslav@360
   276
                    throw new IOException("Can't read " + name);
jaroslav@360
   277
                }
jaroslav@360
   278
                offset += len;
jaroslav@360
   279
            }
jaroslav@360
   280
            return arr;
jaroslav@360
   281
        }
jaroslav@360
   282
    }
jaroslav@360
   283
   
jaroslav@1375
   284
    private static URL getResource(String resource, int skip) throws IOException {
jaroslav@1375
   285
        URL u = null;
jaroslav@1375
   286
        Enumeration<URL> en = Console.class.getClassLoader().getResources(resource);
jaroslav@1375
   287
        while (en.hasMoreElements()) {
jaroslav@1375
   288
            final URL now = en.nextElement();
jaroslav@1375
   289
            if (--skip < 0) {
jaroslav@1375
   290
                u = now;
jaroslav@1375
   291
                break;
jaroslav@1375
   292
            }
jaroslav@1375
   293
        }
jaroslav@1375
   294
        return u;
jaroslav@1375
   295
    }
jaroslav@1375
   296
    
jaroslav@1572
   297
    @JavaScriptBody(args = {}, body = "vm['java_lang_Class'](false)['desiredAssertionStatus'] = true;")
jaroslav@517
   298
    private static void turnAssetionStatusOn() {
jaroslav@517
   299
    }
jaroslav@939
   300
jaroslav@939
   301
    @JavaScriptBody(args = {"r", "time"}, body =
jaroslav@940
   302
        "return window.setTimeout(function() { r.run__V(); }, time);")
jaroslav@940
   303
    private static native Object schedule(Runnable r, int time);
jaroslav@342
   304
    
jaroslav@342
   305
    private static final class Case {
jaroslav@342
   306
        private final Object data;
jaroslav@939
   307
        private Object inst;
jaroslav@1860
   308
        private double time;
jaroslav@342
   309
jaroslav@342
   310
        private Case(Object data) {
jaroslav@342
   311
            this.data = data;
jaroslav@342
   312
        }
jaroslav@342
   313
        
jaroslav@342
   314
        public static Case parseData(String s) {
jaroslav@342
   315
            return new Case(toJSON(s));
jaroslav@342
   316
        }
jaroslav@342
   317
        
jaroslav@342
   318
        public String getMethodName() {
jaroslav@342
   319
            return value("methodName", data);
jaroslav@342
   320
        }
jaroslav@342
   321
jaroslav@342
   322
        public String getClassName() {
jaroslav@342
   323
            return value("className", data);
jaroslav@342
   324
        }
jaroslav@342
   325
        
jaroslav@342
   326
        public String getRequestId() {
jaroslav@342
   327
            return value("request", data);
jaroslav@342
   328
        }
jaroslav@526
   329
jaroslav@526
   330
        public String getHtmlFragment() {
jaroslav@526
   331
            return value("html", data);
jaroslav@526
   332
        }
jaroslav@1908
   333
jaroslav@1908
   334
        public String[] getArgs() {
jaroslav@1908
   335
            return values("args", data);
jaroslav@1908
   336
        }
jaroslav@342
   337
        
jaroslav@916
   338
        void again(Object[] arr) {
jaroslav@916
   339
            try {
jaroslav@916
   340
                textArea = arr[0];
jaroslav@916
   341
                statusArea = arr[1];
jaroslav@916
   342
                setAttr(textArea, "value", "");
jaroslav@916
   343
                runTest();
jaroslav@916
   344
            } catch (Exception ex) {
jaroslav@916
   345
                log(ex.getClass().getName() + ":" + ex.getMessage());
jaroslav@916
   346
            }
jaroslav@916
   347
        }
jaroslav@916
   348
jaroslav@939
   349
        private Object runTest() throws IllegalAccessException, 
jaroslav@939
   350
        IllegalArgumentException, ClassNotFoundException, UnsupportedEncodingException, 
jaroslav@939
   351
        InvocationTargetException, InstantiationException, InterruptedException {
jaroslav@916
   352
            if (this.getHtmlFragment() != null) {
jaroslav@916
   353
                setAttr("bck2brwsr.fragment", "innerHTML", this.getHtmlFragment());
jaroslav@916
   354
            }
jaroslav@916
   355
            log("Invoking " + this.getClassName() + '.' + this.getMethodName() + " as request: " + this.getRequestId());
jaroslav@1908
   356
            Object result = invokeMethod(this.getClassName(), this.getMethodName(), this.getArgs());
jaroslav@916
   357
            setAttr("bck2brwsr.fragment", "innerHTML", "");
jaroslav@916
   358
            log("Result: " + result);
jaroslav@916
   359
            result = encodeURL("" + result);
jaroslav@916
   360
            return result;
jaroslav@916
   361
        }
jaroslav@939
   362
jaroslav@1908
   363
        private Object invokeMethod(String clazz, String method, String[] args)
jaroslav@939
   364
        throws ClassNotFoundException, InvocationTargetException,
jaroslav@939
   365
        InterruptedException, IllegalAccessException, IllegalArgumentException,
jaroslav@939
   366
        InstantiationException {
jaroslav@939
   367
            Method found = null;
jaroslav@1908
   368
            if (args == null) {
jaroslav@1908
   369
                args = new String[0];
jaroslav@1908
   370
            }
jaroslav@939
   371
            Class<?> c = Class.forName(clazz);
jaroslav@939
   372
            for (Method m : c.getMethods()) {
jaroslav@1908
   373
                if (m.getName().equals(method) && m.getParameterTypes().length == args.length) {
jaroslav@939
   374
                    found = m;
jaroslav@939
   375
                }
jaroslav@939
   376
            }
jaroslav@939
   377
            Object res;
jaroslav@939
   378
            if (found != null) {
jaroslav@939
   379
                try {
jaroslav@1860
   380
                    double now;
jaroslav@939
   381
                    if ((found.getModifiers() & Modifier.STATIC) != 0) {
jaroslav@1860
   382
                        now = getTime();
jaroslav@1908
   383
                        res = found.invoke(null, (Object[]) args);
jaroslav@939
   384
                    } else {
jaroslav@939
   385
                        if (inst == null) {
jaroslav@939
   386
                            inst = c.newInstance();
jaroslav@939
   387
                        }
jaroslav@1860
   388
                        now = getTime();
jaroslav@1908
   389
                        res = found.invoke(inst, (Object[]) args);
jaroslav@939
   390
                    }
jaroslav@1860
   391
                    double took = Math.round((float)(getTime() - now));
jaroslav@1860
   392
                    time += took;
jaroslav@939
   393
                } catch (Throwable ex) {
jaroslav@939
   394
                    if (ex instanceof InvocationTargetException) {
jaroslav@939
   395
                        ex = ((InvocationTargetException) ex).getTargetException();
jaroslav@939
   396
                    }
jaroslav@939
   397
                    if (ex instanceof InterruptedException) {
jaroslav@939
   398
                        throw (InterruptedException)ex;
jaroslav@939
   399
                    }
jaroslav@939
   400
                    res = ex.getClass().getName() + ":" + ex.getMessage();
jaroslav@939
   401
                }
jaroslav@939
   402
            } else {
jaroslav@939
   403
                res = "Can't find method " + method + " in " + clazz;
jaroslav@939
   404
            }
jaroslav@939
   405
            return res;
jaroslav@939
   406
        }
jaroslav@916
   407
        
jaroslav@342
   408
        @JavaScriptBody(args = "s", body = "return eval('(' + s + ')');")
jaroslav@342
   409
        private static native Object toJSON(String s);
jaroslav@342
   410
        
jaroslav@526
   411
        @JavaScriptBody(args = {"p", "d"}, body = 
jaroslav@526
   412
              "var v = d[p];\n"
jaroslav@526
   413
            + "if (typeof v === 'undefined') return null;\n"
jaroslav@526
   414
            + "return v.toString();"
jaroslav@526
   415
        )
jaroslav@342
   416
        private static native String value(String p, Object d);
jaroslav@1908
   417
jaroslav@1908
   418
        @JavaScriptBody(args = {"p", "d"}, body =
jaroslav@1908
   419
              "var v = d[p];\n"
jaroslav@1908
   420
            + "if (typeof v === 'undefined') return null;\n"
jaroslav@1908
   421
            + "return v;"
jaroslav@1908
   422
        )
jaroslav@1908
   423
        private static native String[] values(String p, Object d);
jaroslav@342
   424
    }
jaroslav@323
   425
}