vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Tue, 04 Dec 2012 11:21:10 +0100
branchreflection
changeset 249 001389026dbf
parent 237 84ffc347412d
parent 248 0bfcb6585290
child 250 42c2ceb1e160
permissions -rw-r--r--
Merging in JNI-like naming scheme from default branch
jaroslav@106
     1
/**
jaroslav@106
     2
 * Back 2 Browser Bytecode Translator
jaroslav@106
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@106
     4
 *
jaroslav@106
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@106
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@106
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@106
     8
 *
jaroslav@106
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@106
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@106
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@106
    12
 * GNU General Public License for more details.
jaroslav@106
    13
 *
jaroslav@106
    14
 * You should have received a copy of the GNU General Public License
jaroslav@106
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@106
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@106
    17
 */
jaroslav@22
    18
package org.apidesign.vm4brwsr;
jaroslav@0
    19
jaroslav@0
    20
import java.io.IOException;
jaroslav@0
    21
import java.io.InputStream;
jtulach@167
    22
import org.apidesign.javap.AnnotationParser;
jtulach@167
    23
import org.apidesign.javap.ClassData;
jtulach@167
    24
import org.apidesign.javap.FieldData;
jtulach@167
    25
import org.apidesign.javap.MethodData;
jtulach@167
    26
import static org.apidesign.javap.RuntimeConstants.*;
jaroslav@0
    27
jaroslav@0
    28
/** Translator of the code inside class files to JavaScript.
jaroslav@0
    29
 *
jaroslav@0
    30
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0
    31
 */
jtulach@162
    32
public abstract class ByteCodeToJavaScript {
jtulach@162
    33
    private ClassData jc;
jaroslav@0
    34
    private final Appendable out;
jaroslav@0
    35
jtulach@162
    36
    protected ByteCodeToJavaScript(Appendable out) {
jaroslav@0
    37
        this.out = out;
jaroslav@0
    38
    }
jtulach@162
    39
    
jtulach@162
    40
    /* Collects additional required resources.
jtulach@162
    41
     * 
jtulach@162
    42
     * @param internalClassName classes that were referenced and should be loaded in order the
jtulach@162
    43
     *   generated JavaScript code works properly. The names are in internal 
jtulach@162
    44
     *   JVM form so String is <code>java/lang/String</code>. 
jtulach@162
    45
     */
jtulach@162
    46
    protected abstract boolean requireReference(String internalClassName);
jtulach@162
    47
    
jtulach@162
    48
    /*
jtulach@162
    49
     * @param resourcePath name of resources to read
jtulach@162
    50
     */
jtulach@162
    51
    protected abstract void requireScript(String resourcePath);
jaroslav@213
    52
    
jaroslav@213
    53
    /** Allows subclasses to redefine what field a function representing a
jaroslav@213
    54
     * class gets assigned. By default it returns the suggested name followed
jaroslav@213
    55
     * by <code>" = "</code>;
jaroslav@213
    56
     * 
jaroslav@213
    57
     * @param className suggested name of the class
jaroslav@213
    58
     */
jaroslav@213
    59
    protected String assignClass(String className) {
jaroslav@213
    60
        return className + " = ";
jaroslav@213
    61
    }
jaroslav@18
    62
jaroslav@18
    63
    /**
jaroslav@18
    64
     * Converts a given class file to a JavaScript version.
jaroslav@18
    65
     *
jaroslav@0
    66
     * @param classFile input stream with code of the .class file
jaroslav@97
    67
     * @return the initialization code for this class, if any. Otherwise <code>null</code>
jaroslav@91
    68
     * 
jaroslav@0
    69
     * @throws IOException if something goes wrong during read or write or translating
jaroslav@0
    70
     */
jaroslav@18
    71
    
jtulach@162
    72
    public String compile(InputStream classFile) throws IOException {
jtulach@162
    73
        this.jc = new ClassData(classFile);
jaroslav@152
    74
        byte[] arrData = jc.findAnnotationData(true);
jaroslav@170
    75
        String[] arr = findAnnotation(arrData, jc, 
jaroslav@170
    76
            "org.apidesign.bck2brwsr.core.ExtraJavaScript", 
jaroslav@170
    77
            "resource", "processByteCode"
jaroslav@170
    78
        );
jaroslav@152
    79
        if (arr != null) {
jtulach@162
    80
            requireScript(arr[0]);
jaroslav@152
    81
            if ("0".equals(arr[1])) {
jaroslav@97
    82
                return null;
jaroslav@91
    83
            }
jaroslav@91
    84
        }
jaroslav@239
    85
        String[] proto = findAnnotation(arrData, jc, 
jaroslav@239
    86
            "org.apidesign.bck2brwsr.core.JavaScriptPrototype", 
jaroslav@239
    87
            "container", "prototype"
jaroslav@239
    88
        );
jtulach@162
    89
        StringArray toInitilize = new StringArray();
jaroslav@151
    90
        final String className = className(jc);
jaroslav@213
    91
        out.append("\n\n").append(assignClass(className));
jaroslav@213
    92
        out.append("function CLS() {");
jaroslav@213
    93
        out.append("\n  if (!CLS.prototype.$instOf_").append(className).append(") {");
jtulach@191
    94
        for (FieldData v : jc.getFields()) {
jtulach@191
    95
            if (v.isStatic()) {
jaroslav@213
    96
                out.append("\n  CLS.").append(v.getName()).append(initField(v));
jtulach@191
    97
            }
jtulach@191
    98
        }
jaroslav@239
    99
        if (proto == null) {
jaroslav@239
   100
            String sc = jc.getSuperClassName(); // with _
jaroslav@230
   101
            out.append("\n    var pp = ").
jaroslav@205
   102
                append(sc.replace('/', '_')).append("(true);");
jaroslav@230
   103
            out.append("\n    var p = CLS.prototype = pp;");
jaroslav@239
   104
            out.append("\n    var c = p;");
jaroslav@230
   105
            out.append("\n    var sprcls = pp.constructor.$class;");
jtulach@130
   106
        } else {
jaroslav@240
   107
            out.append("\n    var p = CLS.prototype = ").append(proto[1]).append(";");
jaroslav@239
   108
            out.append("\n    var c = ").append(proto[0]).append(";");
jaroslav@230
   109
            out.append("\n    var sprcls = null;");
jaroslav@13
   110
        }
jaroslav@151
   111
        for (MethodData m : jc.getMethods()) {
jaroslav@240
   112
            byte[] onlyArr = m.findAnnotationData(true);
jaroslav@240
   113
            String[] only = findAnnotation(onlyArr, jc, 
jaroslav@240
   114
                "org.apidesign.bck2brwsr.core.JavaScriptOnly", 
jaroslav@240
   115
                "name", "value"
jaroslav@240
   116
            );
jaroslav@240
   117
            if (only != null) {
jaroslav@240
   118
                if (only[0] != null && only[1] != null) {
jaroslav@240
   119
                    out.append("\n    p.").append(only[0]).append(" = ")
jaroslav@240
   120
                        .append(only[1]).append(";");
jaroslav@240
   121
                }
jaroslav@240
   122
                continue;
jaroslav@240
   123
            }
jaroslav@203
   124
            if (m.isStatic()) {
jaroslav@239
   125
                generateStaticMethod("\n    c.", m, toInitilize);
jaroslav@203
   126
            } else {
jaroslav@239
   127
                generateInstanceMethod("\n    c.", m);
jaroslav@38
   128
            }
jaroslav@38
   129
        }
jaroslav@239
   130
        out.append("\n    c.constructor = CLS;");
jaroslav@239
   131
        out.append("\n    c.$instOf_").append(className).append(" = true;");
jaroslav@151
   132
        for (String superInterface : jc.getSuperInterfaces()) {
jaroslav@239
   133
            out.append("\n    c.$instOf_").append(superInterface.replace('/', '_')).append(" = true;");
jaroslav@40
   134
        }
jaroslav@225
   135
        out.append("\n    CLS.$class = java_lang_Class(true);");
jaroslav@225
   136
        out.append("\n    CLS.$class.jvmName = '").append(jc.getClassName()).append("';");
jaroslav@230
   137
        out.append("\n    CLS.$class.superclass = sprcls;");
jaroslav@231
   138
        out.append("\n    CLS.$class.cnstr = CLS;");
jaroslav@235
   139
        byte[] classAnno = jc.findAnnotationData(false);
jaroslav@235
   140
        if (classAnno != null) {
jaroslav@235
   141
            out.append("\n    CLS.$class.anno = {");
jaroslav@235
   142
            generateAnno(jc, out, classAnno);
jaroslav@235
   143
            out.append("\n    };");
jaroslav@235
   144
        }
jaroslav@204
   145
        out.append("\n  }");
jaroslav@205
   146
        out.append("\n  if (arguments.length === 0) {");
jaroslav@226
   147
        out.append("\n    if (!(this instanceof CLS)) {");
jaroslav@226
   148
        out.append("\n      return new CLS();");
jaroslav@226
   149
        out.append("\n    }");
jaroslav@205
   150
        for (FieldData v : jc.getFields()) {
jaroslav@240
   151
            byte[] onlyArr = v.findAnnotationData(true);
jaroslav@240
   152
            String[] only = findAnnotation(onlyArr, jc, 
jaroslav@240
   153
                "org.apidesign.bck2brwsr.core.JavaScriptOnly", 
jaroslav@240
   154
                "name", "value"
jaroslav@240
   155
            );
jaroslav@240
   156
            if (only != null) {
jaroslav@240
   157
                if (only[0] != null && only[1] != null) {
jaroslav@240
   158
                    out.append("\n    p.").append(only[0]).append(" = ")
jaroslav@240
   159
                        .append(only[1]).append(";");
jaroslav@240
   160
                }
jaroslav@240
   161
                continue;
jaroslav@240
   162
            }
jaroslav@205
   163
            if (!v.isStatic()) {
jaroslav@205
   164
                out.append("\n    this.fld_").
jaroslav@205
   165
                    append(v.getName()).append(initField(v));
jaroslav@205
   166
            }
jaroslav@205
   167
        }
jaroslav@205
   168
        out.append("\n    return this;");
jaroslav@205
   169
        out.append("\n  }");
jaroslav@224
   170
        out.append("\n  return arguments[0] ? new CLS() : CLS.prototype;");
jaroslav@98
   171
        out.append("\n}");
jaroslav@97
   172
        StringBuilder sb = new StringBuilder();
jtulach@162
   173
        for (String init : toInitilize.toArray()) {
jaroslav@97
   174
            sb.append("\n").append(init).append("();");
jaroslav@21
   175
        }
jaroslav@97
   176
        return sb.toString();
jaroslav@0
   177
    }
jaroslav@203
   178
    private void generateStaticMethod(String prefix, MethodData m, StringArray toInitilize) throws IOException {
jaroslav@203
   179
        if (javaScriptBody(prefix, m, true)) {
jaroslav@94
   180
            return;
jaroslav@94
   181
        }
jtulach@156
   182
        StringBuilder argsCnt = new StringBuilder();
jaroslav@151
   183
        final String mn = findMethodName(m, argsCnt);
jaroslav@203
   184
        out.append(prefix).append(mn).append(" = function");
jaroslav@248
   185
        if (mn.equals("class__V")) {
jaroslav@224
   186
            toInitilize.add(className(jc) + "(false)." + mn);
jaroslav@21
   187
        }
jaroslav@0
   188
        out.append('(');
jaroslav@0
   189
        String space = "";
jtulach@156
   190
        for (int index = 0, i = 0; i < argsCnt.length(); i++) {
jaroslav@0
   191
            out.append(space);
jaroslav@2
   192
            out.append("arg").append(String.valueOf(index));
jaroslav@0
   193
            space = ",";
jaroslav@151
   194
            final String desc = null;// XXX findDescriptor(args.get(i).getDescriptor());
jtulach@156
   195
            if (argsCnt.charAt(i) == '1') {
jaroslav@2
   196
                index += 2;
jaroslav@2
   197
            } else {
jaroslav@2
   198
                index++;
jaroslav@2
   199
            }
jaroslav@0
   200
        }
jaroslav@5
   201
        out.append(") {").append("\n");
jaroslav@151
   202
        final byte[] code = m.getCode();
jaroslav@18
   203
        if (code != null) {
jaroslav@151
   204
            int len = m.getMaxLocals();
jtulach@156
   205
            for (int index = argsCnt.length(), i = argsCnt.length(); i < len; i++) {
jaroslav@18
   206
                out.append("  var ");
jaroslav@18
   207
                out.append("arg").append(String.valueOf(i)).append(";\n");
jaroslav@18
   208
            }
jaroslav@220
   209
            out.append("  var s = new Array();\n");
jaroslav@151
   210
            produceCode(code);
jaroslav@18
   211
        } else {
jaroslav@232
   212
            out.append("  throw 'no code found for ").append(m.getInternalSig()).append("';\n");
jaroslav@0
   213
        }
jaroslav@203
   214
        out.append("};");
jaroslav@10
   215
    }
jaroslav@10
   216
    
jaroslav@203
   217
    private void generateInstanceMethod(String prefix, MethodData m) throws IOException {
jaroslav@203
   218
        if (javaScriptBody(prefix, m, false)) {
jaroslav@94
   219
            return;
jaroslav@94
   220
        }
jtulach@156
   221
        StringBuilder argsCnt = new StringBuilder();
jaroslav@203
   222
        final String mn = findMethodName(m, argsCnt);
jaroslav@203
   223
        out.append(prefix).append(mn).append(" = function");
jaroslav@10
   224
        out.append("(arg0");
jaroslav@10
   225
        String space = ",";
jtulach@156
   226
        for (int index = 1, i = 0; i < argsCnt.length(); i++) {
jaroslav@10
   227
            out.append(space);
jaroslav@10
   228
            out.append("arg").append(String.valueOf(index));
jtulach@156
   229
            if (argsCnt.charAt(i) == '1') {
jaroslav@10
   230
                index += 2;
jaroslav@10
   231
            } else {
jaroslav@10
   232
                index++;
jaroslav@10
   233
            }
jaroslav@10
   234
        }
jaroslav@10
   235
        out.append(") {").append("\n");
jaroslav@151
   236
        final byte[] code = m.getCode();
jaroslav@18
   237
        if (code != null) {
jaroslav@151
   238
            int len = m.getMaxLocals();
jtulach@156
   239
            for (int index = argsCnt.length(), i = argsCnt.length(); i < len; i++) {
jaroslav@18
   240
                out.append("  var ");
jaroslav@18
   241
                out.append("arg").append(String.valueOf(i + 1)).append(";\n");
jaroslav@18
   242
            }
jaroslav@220
   243
            out.append(";\n  var s = new Array();\n");
jaroslav@151
   244
            produceCode(code);
jaroslav@18
   245
        } else {
jaroslav@232
   246
            out.append("  throw 'no code found for ").append(m.getInternalSig()).append("';\n");
jaroslav@10
   247
        }
jaroslav@203
   248
        out.append("};");
jaroslav@0
   249
    }
jaroslav@0
   250
jaroslav@0
   251
    private void produceCode(byte[] byteCodes) throws IOException {
jaroslav@10
   252
        out.append("\n  var gt = 0;\n  for(;;) switch(gt) {\n");
jaroslav@0
   253
        for (int i = 0; i < byteCodes.length; i++) {
jaroslav@0
   254
            int prev = i;
jaroslav@10
   255
            out.append("    case " + i).append(": ");
jtulach@128
   256
            final int c = readByte(byteCodes, i);
jaroslav@0
   257
            switch (c) {
jaroslav@151
   258
                case opc_aload_0:
jaroslav@151
   259
                case opc_iload_0:
jaroslav@151
   260
                case opc_lload_0:
jaroslav@151
   261
                case opc_fload_0:
jaroslav@151
   262
                case opc_dload_0:
jaroslav@220
   263
                    out.append("s.push(arg0);");
jaroslav@0
   264
                    break;
jaroslav@151
   265
                case opc_aload_1:
jaroslav@151
   266
                case opc_iload_1:
jaroslav@151
   267
                case opc_lload_1:
jaroslav@151
   268
                case opc_fload_1:
jaroslav@151
   269
                case opc_dload_1:
jaroslav@220
   270
                    out.append("s.push(arg1);");
jaroslav@0
   271
                    break;
jaroslav@151
   272
                case opc_aload_2:
jaroslav@151
   273
                case opc_iload_2:
jaroslav@151
   274
                case opc_lload_2:
jaroslav@151
   275
                case opc_fload_2:
jaroslav@151
   276
                case opc_dload_2:
jaroslav@220
   277
                    out.append("s.push(arg2);");
jaroslav@2
   278
                    break;
jaroslav@151
   279
                case opc_aload_3:
jaroslav@151
   280
                case opc_iload_3:
jaroslav@151
   281
                case opc_lload_3:
jaroslav@151
   282
                case opc_fload_3:
jaroslav@151
   283
                case opc_dload_3:
jaroslav@220
   284
                    out.append("s.push(arg3);");
jaroslav@3
   285
                    break;
jaroslav@151
   286
                case opc_iload:
jaroslav@151
   287
                case opc_lload:
jaroslav@151
   288
                case opc_fload:
jaroslav@151
   289
                case opc_dload:
jaroslav@151
   290
                case opc_aload: {
jtulach@128
   291
                    final int indx = readByte(byteCodes, ++i);
jaroslav@220
   292
                    out.append("s.push(arg").append(indx + ");");
jaroslav@3
   293
                    break;
jaroslav@3
   294
                }
jaroslav@151
   295
                case opc_istore:
jaroslav@151
   296
                case opc_lstore:
jaroslav@151
   297
                case opc_fstore:
jaroslav@151
   298
                case opc_dstore:
jaroslav@151
   299
                case opc_astore: {
jtulach@128
   300
                    final int indx = readByte(byteCodes, ++i);
jaroslav@220
   301
                    out.append("arg" + indx).append(" = s.pop();");
jaroslav@31
   302
                    break;
jaroslav@31
   303
                }
jaroslav@151
   304
                case opc_astore_0:
jaroslav@151
   305
                case opc_istore_0:
jaroslav@151
   306
                case opc_lstore_0:
jaroslav@151
   307
                case opc_fstore_0:
jaroslav@151
   308
                case opc_dstore_0:
jaroslav@220
   309
                    out.append("arg0 = s.pop();");
jaroslav@5
   310
                    break;
jaroslav@151
   311
                case opc_astore_1:
jaroslav@151
   312
                case opc_istore_1:
jaroslav@151
   313
                case opc_lstore_1:
jaroslav@151
   314
                case opc_fstore_1:
jaroslav@151
   315
                case opc_dstore_1:
jaroslav@220
   316
                    out.append("arg1 = s.pop();");
jaroslav@5
   317
                    break;
jaroslav@151
   318
                case opc_astore_2:
jaroslav@151
   319
                case opc_istore_2:
jaroslav@151
   320
                case opc_lstore_2:
jaroslav@151
   321
                case opc_fstore_2:
jaroslav@151
   322
                case opc_dstore_2:
jaroslav@220
   323
                    out.append("arg2 = s.pop();");
jaroslav@5
   324
                    break;
jaroslav@151
   325
                case opc_astore_3:
jaroslav@151
   326
                case opc_istore_3:
jaroslav@151
   327
                case opc_lstore_3:
jaroslav@151
   328
                case opc_fstore_3:
jaroslav@151
   329
                case opc_dstore_3:
jaroslav@220
   330
                    out.append("arg3 = s.pop();");
jaroslav@5
   331
                    break;
jaroslav@151
   332
                case opc_iadd:
jaroslav@151
   333
                case opc_ladd:
jaroslav@151
   334
                case opc_fadd:
jaroslav@151
   335
                case opc_dadd:
jaroslav@220
   336
                    out.append("s.push(s.pop() + s.pop());");
jaroslav@0
   337
                    break;
jaroslav@151
   338
                case opc_isub:
jaroslav@151
   339
                case opc_lsub:
jaroslav@151
   340
                case opc_fsub:
jaroslav@151
   341
                case opc_dsub:
jaroslav@220
   342
                    out.append("{ var tmp = s.pop(); s.push(s.pop() - tmp); }");
jaroslav@2
   343
                    break;
jaroslav@151
   344
                case opc_imul:
jaroslav@151
   345
                case opc_lmul:
jaroslav@151
   346
                case opc_fmul:
jaroslav@151
   347
                case opc_dmul:
jaroslav@220
   348
                    out.append("s.push(s.pop() * s.pop());");
jaroslav@1
   349
                    break;
jaroslav@151
   350
                case opc_idiv:
jaroslav@151
   351
                case opc_ldiv:
jaroslav@220
   352
                    out.append("{ var tmp = s.pop(); s.push(Math.floor(s.pop() / tmp)); }");
jaroslav@3
   353
                    break;
jaroslav@151
   354
                case opc_fdiv:
jaroslav@151
   355
                case opc_ddiv:
jaroslav@220
   356
                    out.append("{ var tmp = s.pop(); s.push(s.pop() / tmp); }");
jaroslav@3
   357
                    break;
jaroslav@178
   358
                case opc_irem:
jaroslav@178
   359
                case opc_lrem:
jaroslav@178
   360
                case opc_frem:
jaroslav@178
   361
                case opc_drem:
jaroslav@220
   362
                    out.append("{ var d = s.pop(); s.push(s.pop() % d); }");
jaroslav@178
   363
                    break;
jaroslav@151
   364
                case opc_iand:
jaroslav@151
   365
                case opc_land:
jaroslav@220
   366
                    out.append("s.push(s.pop() & s.pop());");
jaroslav@7
   367
                    break;
jaroslav@151
   368
                case opc_ior:
jaroslav@151
   369
                case opc_lor:
jaroslav@220
   370
                    out.append("s.push(s.pop() | s.pop());");
jaroslav@7
   371
                    break;
jaroslav@151
   372
                case opc_ixor:
jaroslav@151
   373
                case opc_lxor:
jaroslav@220
   374
                    out.append("s.push(s.pop() ^ s.pop());");
jaroslav@6
   375
                    break;
jaroslav@151
   376
                case opc_ineg:
jaroslav@151
   377
                case opc_lneg:
jaroslav@151
   378
                case opc_fneg:
jaroslav@151
   379
                case opc_dneg:
jaroslav@220
   380
                    out.append("s.push(- s.pop());");
jaroslav@93
   381
                    break;
jaroslav@151
   382
                case opc_ishl:
jaroslav@151
   383
                case opc_lshl:
jaroslav@220
   384
                    out.append("{ var v = s.pop(); s.push(s.pop() << v); }");
jaroslav@93
   385
                    break;
jaroslav@151
   386
                case opc_ishr:
jaroslav@151
   387
                case opc_lshr:
jaroslav@220
   388
                    out.append("{ var v = s.pop(); s.push(s.pop() >> v); }");
jaroslav@93
   389
                    break;
jaroslav@151
   390
                case opc_iushr:
jaroslav@151
   391
                case opc_lushr:
jaroslav@220
   392
                    out.append("{ var v = s.pop(); s.push(s.pop() >>> v); }");
jaroslav@93
   393
                    break;
jaroslav@151
   394
                case opc_iinc: {
jtulach@128
   395
                    final int varIndx = readByte(byteCodes, ++i);
jaroslav@104
   396
                    final int incrBy = byteCodes[++i];
jaroslav@5
   397
                    if (incrBy == 1) {
jaroslav@5
   398
                        out.append("arg" + varIndx).append("++;");
jaroslav@5
   399
                    } else {
jaroslav@5
   400
                        out.append("arg" + varIndx).append(" += " + incrBy).append(";");
jaroslav@5
   401
                    }
jaroslav@5
   402
                    break;
jaroslav@5
   403
                }
jaroslav@151
   404
                case opc_return:
jaroslav@10
   405
                    out.append("return;");
jaroslav@10
   406
                    break;
jaroslav@151
   407
                case opc_ireturn:
jaroslav@151
   408
                case opc_lreturn:
jaroslav@151
   409
                case opc_freturn:
jaroslav@151
   410
                case opc_dreturn:
jaroslav@151
   411
                case opc_areturn:
jaroslav@220
   412
                    out.append("return s.pop();");
jaroslav@1
   413
                    break;
jaroslav@151
   414
                case opc_i2l:
jaroslav@151
   415
                case opc_i2f:
jaroslav@151
   416
                case opc_i2d:
jaroslav@151
   417
                case opc_l2i:
jaroslav@3
   418
                    // max int check?
jaroslav@151
   419
                case opc_l2f:
jaroslav@151
   420
                case opc_l2d:
jaroslav@151
   421
                case opc_f2d:
jaroslav@151
   422
                case opc_d2f:
jaroslav@3
   423
                    out.append("/* number conversion */");
jaroslav@3
   424
                    break;
jaroslav@151
   425
                case opc_f2i:
jaroslav@151
   426
                case opc_f2l:
jaroslav@151
   427
                case opc_d2i:
jaroslav@151
   428
                case opc_d2l:
jaroslav@220
   429
                    out.append("s.push(Math.floor(s.pop()));");
jaroslav@3
   430
                    break;
jaroslav@151
   431
                case opc_i2b:
jaroslav@151
   432
                case opc_i2c:
jaroslav@151
   433
                case opc_i2s:
jaroslav@2
   434
                    out.append("/* number conversion */");
jaroslav@2
   435
                    break;
jaroslav@151
   436
                case opc_aconst_null:
jaroslav@220
   437
                    out.append("s.push(null);");
jaroslav@46
   438
                    break;
jaroslav@151
   439
                case opc_iconst_m1:
jaroslav@220
   440
                    out.append("s.push(-1);");
jaroslav@48
   441
                    break;
jaroslav@151
   442
                case opc_iconst_0:
jaroslav@151
   443
                case opc_dconst_0:
jaroslav@151
   444
                case opc_lconst_0:
jaroslav@151
   445
                case opc_fconst_0:
jaroslav@220
   446
                    out.append("s.push(0);");
jaroslav@4
   447
                    break;
jaroslav@151
   448
                case opc_iconst_1:
jaroslav@151
   449
                case opc_lconst_1:
jaroslav@151
   450
                case opc_fconst_1:
jaroslav@151
   451
                case opc_dconst_1:
jaroslav@220
   452
                    out.append("s.push(1);");
jaroslav@4
   453
                    break;
jaroslav@151
   454
                case opc_iconst_2:
jaroslav@151
   455
                case opc_fconst_2:
jaroslav@220
   456
                    out.append("s.push(2);");
jaroslav@4
   457
                    break;
jaroslav@151
   458
                case opc_iconst_3:
jaroslav@220
   459
                    out.append("s.push(3);");
jaroslav@4
   460
                    break;
jaroslav@151
   461
                case opc_iconst_4:
jaroslav@220
   462
                    out.append("s.push(4);");
jaroslav@4
   463
                    break;
jaroslav@151
   464
                case opc_iconst_5:
jaroslav@220
   465
                    out.append("s.push(5);");
jaroslav@4
   466
                    break;
jaroslav@151
   467
                case opc_ldc: {
jtulach@128
   468
                    int indx = readByte(byteCodes, ++i);
jaroslav@151
   469
                    String v = encodeConstant(indx);
jaroslav@220
   470
                    out.append("s.push(").append(v).append(");");
jaroslav@20
   471
                    break;
jaroslav@20
   472
                }
jaroslav@151
   473
                case opc_ldc_w:
jaroslav@151
   474
                case opc_ldc2_w: {
jaroslav@8
   475
                    int indx = readIntArg(byteCodes, i);
jaroslav@8
   476
                    i += 2;
jaroslav@151
   477
                    String v = encodeConstant(indx);
jaroslav@220
   478
                    out.append("s.push(").append(v).append(");");
jaroslav@8
   479
                    break;
jaroslav@8
   480
                }
jaroslav@151
   481
                case opc_lcmp:
jaroslav@151
   482
                case opc_fcmpl:
jaroslav@151
   483
                case opc_fcmpg:
jaroslav@151
   484
                case opc_dcmpl:
jaroslav@151
   485
                case opc_dcmpg: {
jaroslav@220
   486
                    out.append("{ var delta = s.pop() - s.pop(); s.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); }");
jaroslav@20
   487
                    break;
jaroslav@20
   488
                }
jaroslav@151
   489
                case opc_if_acmpeq:
jaroslav@104
   490
                    i = generateIf(byteCodes, i, "===");
jaroslav@104
   491
                    break;
jaroslav@151
   492
                case opc_if_acmpne:
jaroslav@104
   493
                    i = generateIf(byteCodes, i, "!=");
jaroslav@104
   494
                    break;
jaroslav@151
   495
                case opc_if_icmpeq: {
jaroslav@4
   496
                    i = generateIf(byteCodes, i, "==");
jaroslav@4
   497
                    break;
jaroslav@4
   498
                }
jaroslav@151
   499
                case opc_ifeq: {
jaroslav@7
   500
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   501
                    out.append("if (s.pop() == 0) { gt = " + indx);
jaroslav@7
   502
                    out.append("; continue; }");
jaroslav@7
   503
                    i += 2;
jaroslav@7
   504
                    break;
jaroslav@7
   505
                }
jaroslav@151
   506
                case opc_ifne: {
jaroslav@20
   507
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   508
                    out.append("if (s.pop() != 0) { gt = " + indx);
jaroslav@20
   509
                    out.append("; continue; }");
jaroslav@20
   510
                    i += 2;
jaroslav@20
   511
                    break;
jaroslav@20
   512
                }
jaroslav@151
   513
                case opc_iflt: {
jaroslav@20
   514
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   515
                    out.append("if (s.pop() < 0) { gt = " + indx);
jaroslav@20
   516
                    out.append("; continue; }");
jaroslav@20
   517
                    i += 2;
jaroslav@20
   518
                    break;
jaroslav@20
   519
                }
jaroslav@151
   520
                case opc_ifle: {
jaroslav@20
   521
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   522
                    out.append("if (s.pop() <= 0) { gt = " + indx);
jaroslav@20
   523
                    out.append("; continue; }");
jaroslav@20
   524
                    i += 2;
jaroslav@20
   525
                    break;
jaroslav@20
   526
                }
jaroslav@151
   527
                case opc_ifgt: {
jaroslav@20
   528
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   529
                    out.append("if (s.pop() > 0) { gt = " + indx);
jaroslav@20
   530
                    out.append("; continue; }");
jaroslav@20
   531
                    i += 2;
jaroslav@20
   532
                    break;
jaroslav@20
   533
                }
jaroslav@151
   534
                case opc_ifge: {
jaroslav@20
   535
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   536
                    out.append("if (s.pop() >= 0) { gt = " + indx);
jaroslav@20
   537
                    out.append("; continue; }");
jaroslav@20
   538
                    i += 2;
jaroslav@20
   539
                    break;
jaroslav@20
   540
                }
jaroslav@151
   541
                case opc_ifnonnull: {
jaroslav@16
   542
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   543
                    out.append("if (s.pop() !== null) { gt = " + indx);
jaroslav@16
   544
                    out.append("; continue; }");
jaroslav@16
   545
                    i += 2;
jaroslav@16
   546
                    break;
jaroslav@16
   547
                }
jaroslav@151
   548
                case opc_ifnull: {
jaroslav@16
   549
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   550
                    out.append("if (s.pop() === null) { gt = " + indx);
jaroslav@16
   551
                    out.append("; continue; }");
jaroslav@16
   552
                    i += 2;
jaroslav@16
   553
                    break;
jaroslav@16
   554
                }
jaroslav@151
   555
                case opc_if_icmpne:
jaroslav@4
   556
                    i = generateIf(byteCodes, i, "!=");
jaroslav@4
   557
                    break;
jaroslav@151
   558
                case opc_if_icmplt:
jaroslav@4
   559
                    i = generateIf(byteCodes, i, ">");
jaroslav@4
   560
                    break;
jaroslav@151
   561
                case opc_if_icmple:
jaroslav@4
   562
                    i = generateIf(byteCodes, i, ">=");
jaroslav@4
   563
                    break;
jaroslav@151
   564
                case opc_if_icmpgt:
jaroslav@4
   565
                    i = generateIf(byteCodes, i, "<");
jaroslav@4
   566
                    break;
jaroslav@151
   567
                case opc_if_icmpge:
jaroslav@4
   568
                    i = generateIf(byteCodes, i, "<=");
jaroslav@4
   569
                    break;
jaroslav@151
   570
                case opc_goto: {
jaroslav@5
   571
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@5
   572
                    out.append("gt = " + indx).append("; continue;");
jaroslav@5
   573
                    i += 2;
jaroslav@5
   574
                    break;
jaroslav@5
   575
                }
jaroslav@151
   576
                case opc_lookupswitch: {
jtulach@128
   577
                    int table = i / 4 * 4 + 4;
jaroslav@115
   578
                    int dflt = i + readInt4(byteCodes, table);
jaroslav@115
   579
                    table += 4;
jaroslav@115
   580
                    int n = readInt4(byteCodes, table);
jaroslav@115
   581
                    table += 4;
jaroslav@220
   582
                    out.append("switch (s.pop()) {\n");
jaroslav@115
   583
                    while (n-- > 0) {
jaroslav@115
   584
                        int cnstnt = readInt4(byteCodes, table);
jaroslav@115
   585
                        table += 4;
jaroslav@115
   586
                        int offset = i + readInt4(byteCodes, table);
jaroslav@115
   587
                        table += 4;
jaroslav@115
   588
                        out.append("  case " + cnstnt).append(": gt = " + offset).append("; continue;\n");
jaroslav@115
   589
                    }
jaroslav@115
   590
                    out.append("  default: gt = " + dflt).append("; continue;\n}");
jaroslav@115
   591
                    i = table - 1;
jaroslav@115
   592
                    break;
jaroslav@115
   593
                }
jaroslav@151
   594
                case opc_tableswitch: {
jtulach@128
   595
                    int table = i / 4 * 4 + 4;
jaroslav@115
   596
                    int dflt = i + readInt4(byteCodes, table);
jaroslav@115
   597
                    table += 4;
jaroslav@115
   598
                    int low = readInt4(byteCodes, table);
jaroslav@115
   599
                    table += 4;
jaroslav@115
   600
                    int high = readInt4(byteCodes, table);
jaroslav@115
   601
                    table += 4;
jaroslav@220
   602
                    out.append("switch (s.pop()) {\n");
jaroslav@115
   603
                    while (low <= high) {
jaroslav@115
   604
                        int offset = i + readInt4(byteCodes, table);
jaroslav@115
   605
                        table += 4;
jaroslav@115
   606
                        out.append("  case " + low).append(": gt = " + offset).append("; continue;\n");
jaroslav@115
   607
                        low++;
jaroslav@115
   608
                    }
jaroslav@115
   609
                    out.append("  default: gt = " + dflt).append("; continue;\n}");
jaroslav@115
   610
                    i = table - 1;
jaroslav@115
   611
                    break;
jaroslav@115
   612
                }
jaroslav@151
   613
                case opc_invokeinterface: {
jaroslav@46
   614
                    i = invokeVirtualMethod(byteCodes, i) + 2;
jaroslav@46
   615
                    break;
jaroslav@46
   616
                }
jaroslav@151
   617
                case opc_invokevirtual:
jaroslav@12
   618
                    i = invokeVirtualMethod(byteCodes, i);
jaroslav@12
   619
                    break;
jaroslav@151
   620
                case opc_invokespecial:
jaroslav@10
   621
                    i = invokeStaticMethod(byteCodes, i, false);
jaroslav@4
   622
                    break;
jaroslav@151
   623
                case opc_invokestatic:
jaroslav@10
   624
                    i = invokeStaticMethod(byteCodes, i, true);
jaroslav@10
   625
                    break;
jaroslav@151
   626
                case opc_new: {
jaroslav@8
   627
                    int indx = readIntArg(byteCodes, i);
jaroslav@151
   628
                    String ci = jc.getClassName(indx);
jaroslav@226
   629
                    out.append("s.push(new ");
jaroslav@226
   630
                    out.append(ci.replace('/','_'));
jaroslav@226
   631
                    out.append("());");
jaroslav@151
   632
                    addReference(ci);
jaroslav@8
   633
                    i += 2;
jaroslav@8
   634
                    break;
jaroslav@8
   635
                }
jaroslav@151
   636
                case opc_newarray: {
jaroslav@21
   637
                    int type = byteCodes[i++];
jaroslav@220
   638
                    out.append("s.push(new Array(s.pop()).fillNulls());");
jaroslav@21
   639
                    break;
jaroslav@21
   640
                }
jaroslav@151
   641
                case opc_anewarray: {
jaroslav@21
   642
                    i += 2; // skip type of array
jaroslav@220
   643
                    out.append("s.push(new Array(s.pop()).fillNulls());");
jaroslav@21
   644
                    break;
jaroslav@21
   645
                }
jaroslav@151
   646
                case opc_multianewarray: {
jtulach@128
   647
                    i += 2;
jtulach@128
   648
                    int dim = readByte(byteCodes, ++i);
jaroslav@220
   649
                    out.append("{ var a0 = new Array(s.pop()).fillNulls();");
jtulach@128
   650
                    for (int d = 1; d < dim; d++) {
jaroslav@220
   651
                        out.append("\n  var l" + d).append(" = s.pop();");
jtulach@128
   652
                        out.append("\n  for (var i" + d).append (" = 0; i" + d).
jtulach@128
   653
                            append(" < a" + (d - 1)).
jtulach@128
   654
                            append(".length; i" + d).append("++) {");
jtulach@128
   655
                        out.append("\n    var a" + d).
jaroslav@172
   656
                            append (" = new Array(l" + d).append(").fillNulls();");
jtulach@128
   657
                        out.append("\n    a" + (d - 1)).append("[i" + d).append("] = a" + d).
jtulach@128
   658
                            append(";");
jtulach@128
   659
                    }
jtulach@128
   660
                    for (int d = 1; d < dim; d++) {
jtulach@128
   661
                        out.append("\n  }");
jtulach@128
   662
                    }
jaroslav@220
   663
                    out.append("\ns.push(a0); }");
jtulach@128
   664
                    break;
jtulach@128
   665
                }
jaroslav@151
   666
                case opc_arraylength:
jaroslav@220
   667
                    out.append("s.push(s.pop().length);");
jaroslav@21
   668
                    break;
jaroslav@151
   669
                case opc_iastore:
jaroslav@151
   670
                case opc_lastore:
jaroslav@151
   671
                case opc_fastore:
jaroslav@151
   672
                case opc_dastore:
jaroslav@151
   673
                case opc_aastore:
jaroslav@151
   674
                case opc_bastore:
jaroslav@151
   675
                case opc_castore:
jaroslav@151
   676
                case opc_sastore: {
jaroslav@220
   677
                    out.append("{ var value = s.pop(); var indx = s.pop(); s.pop()[indx] = value; }");
jaroslav@21
   678
                    break;
jaroslav@21
   679
                }
jaroslav@151
   680
                case opc_iaload:
jaroslav@151
   681
                case opc_laload:
jaroslav@151
   682
                case opc_faload:
jaroslav@151
   683
                case opc_daload:
jaroslav@151
   684
                case opc_aaload:
jaroslav@151
   685
                case opc_baload:
jaroslav@151
   686
                case opc_caload:
jaroslav@151
   687
                case opc_saload: {
jaroslav@220
   688
                    out.append("{ var indx = s.pop(); s.push(s.pop()[indx]); }");
jaroslav@21
   689
                    break;
jaroslav@21
   690
                }
jaroslav@151
   691
                case opc_pop2:
jaroslav@220
   692
                    out.append("s.pop();");
jaroslav@151
   693
                case opc_pop:
jaroslav@220
   694
                    out.append("s.pop();");
jaroslav@93
   695
                    break;
jaroslav@151
   696
                case opc_dup:
jaroslav@220
   697
                    out.append("s.push(s[s.length - 1]);");
jaroslav@8
   698
                    break;
jaroslav@170
   699
                case opc_dup_x1:
jaroslav@220
   700
                    out.append("{ var v1 = s.pop(); var v2 = s.pop(); s.push(v1); s.push(v2); s.push(v1); }");
jaroslav@170
   701
                    break;
jaroslav@170
   702
                case opc_dup_x2:
jaroslav@220
   703
                    out.append("{ var v1 = s.pop(); var v2 = s.pop(); var v3 = s.pop(); s.push(v1); s.push(v3); s.push(v2); s.push(v1); }");
jaroslav@170
   704
                    break;
jaroslav@151
   705
                case opc_bipush:
jaroslav@220
   706
                    out.append("s.push(" + byteCodes[++i] + ");");
jaroslav@8
   707
                    break;
jaroslav@151
   708
                case opc_sipush:
jaroslav@220
   709
                    out.append("s.push(" + readIntArg(byteCodes, i) + ");");
jaroslav@31
   710
                    i += 2;
jaroslav@31
   711
                    break;
jaroslav@151
   712
                case opc_getfield: {
jaroslav@8
   713
                    int indx = readIntArg(byteCodes, i);
jaroslav@151
   714
                    String[] fi = jc.getFieldInfoName(indx);
jaroslav@220
   715
                    out.append("s.push(s.pop().fld_").
jaroslav@151
   716
                        append(fi[1]).append(");");
jaroslav@8
   717
                    i += 2;
jaroslav@8
   718
                    break;
jaroslav@8
   719
                }
jaroslav@151
   720
                case opc_getstatic: {
jaroslav@9
   721
                    int indx = readIntArg(byteCodes, i);
jaroslav@151
   722
                    String[] fi = jc.getFieldInfoName(indx);
jaroslav@220
   723
                    out.append("s.push(").append(fi[0].replace('/', '_'));
jtulach@191
   724
                    out.append('.').append(fi[1]).append(");");
jaroslav@9
   725
                    i += 2;
jaroslav@151
   726
                    addReference(fi[0]);
jaroslav@9
   727
                    break;
jaroslav@9
   728
                }
jaroslav@151
   729
                case opc_putstatic: {
jaroslav@9
   730
                    int indx = readIntArg(byteCodes, i);
jaroslav@151
   731
                    String[] fi = jc.getFieldInfoName(indx);
jaroslav@151
   732
                    out.append(fi[0].replace('/', '_'));
jaroslav@220
   733
                    out.append('.').append(fi[1]).append(" = s.pop();");
jaroslav@9
   734
                    i += 2;
jaroslav@151
   735
                    addReference(fi[0]);
jaroslav@9
   736
                    break;
jaroslav@9
   737
                }
jaroslav@151
   738
                case opc_putfield: {
jaroslav@10
   739
                    int indx = readIntArg(byteCodes, i);
jaroslav@151
   740
                    String[] fi = jc.getFieldInfoName(indx);
jaroslav@220
   741
                    out.append("{ var v = s.pop(); s.pop().fld_")
jaroslav@151
   742
                       .append(fi[1]).append(" = v; }");
jaroslav@10
   743
                    i += 2;
jaroslav@10
   744
                    break;
jaroslav@10
   745
                }
jaroslav@151
   746
                case opc_checkcast: {
jaroslav@30
   747
                    int indx = readIntArg(byteCodes, i);
jaroslav@151
   748
                    final String type = jc.getClassName(indx);
jaroslav@42
   749
                    if (!type.startsWith("[")) {
jaroslav@42
   750
                        // no way to check arrays right now
jaroslav@220
   751
                        out.append("if(s[s.length - 1].$instOf_")
jaroslav@42
   752
                           .append(type.replace('/', '_'))
jaroslav@42
   753
                           .append(" != 1) throw {};"); // XXX proper exception
jaroslav@42
   754
                    }
jaroslav@30
   755
                    i += 2;
jaroslav@30
   756
                    break;
jaroslav@30
   757
                }
jaroslav@151
   758
                case opc_instanceof: {
jaroslav@17
   759
                    int indx = readIntArg(byteCodes, i);
jaroslav@151
   760
                    final String type = jc.getClassName(indx);
jaroslav@220
   761
                    out.append("s.push(s.pop().$instOf_")
jaroslav@151
   762
                       .append(type.replace('/', '_'))
jaroslav@17
   763
                       .append(" ? 1 : 0);");
jaroslav@17
   764
                    i += 2;
jaroslav@30
   765
                    break;
jaroslav@17
   766
                }
jaroslav@151
   767
                case opc_athrow: {
jaroslav@220
   768
                    out.append("{ var t = s.pop(); s = new Array(1); s[0] = t; throw t; }");
jaroslav@104
   769
                    break;
jaroslav@104
   770
                }
jaroslav@104
   771
                default: {
jaroslav@104
   772
                    out.append("throw 'unknown bytecode " + c + "';");
jaroslav@104
   773
                }
jaroslav@8
   774
                    
jaroslav@0
   775
            }
jaroslav@39
   776
            out.append(" //");
jaroslav@0
   777
            for (int j = prev; j <= i; j++) {
jaroslav@0
   778
                out.append(" ");
jtulach@128
   779
                final int cc = readByte(byteCodes, j);
jaroslav@0
   780
                out.append(Integer.toString(cc));
jaroslav@0
   781
            }
jaroslav@39
   782
            out.append("\n");
jaroslav@0
   783
        }
jaroslav@10
   784
        out.append("  }\n");
jaroslav@4
   785
    }
jaroslav@4
   786
jaroslav@4
   787
    private int generateIf(byte[] byteCodes, int i, final String test) throws IOException {
jaroslav@4
   788
        int indx = i + readIntArg(byteCodes, i);
jaroslav@220
   789
        out.append("if (s.pop() ").append(test).append(" s.pop()) { gt = " + indx);
jaroslav@4
   790
        out.append("; continue; }");
jaroslav@4
   791
        return i + 2;
jaroslav@4
   792
    }
jaroslav@4
   793
jaroslav@4
   794
    private int readIntArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@5
   795
        final int indxHi = byteCodes[offsetInstruction + 1] << 8;
jaroslav@5
   796
        final int indxLo = byteCodes[offsetInstruction + 2];
jaroslav@5
   797
        return (indxHi & 0xffffff00) | (indxLo & 0xff);
jaroslav@4
   798
    }
jaroslav@115
   799
    private int readInt4(byte[] byteCodes, int offsetInstruction) {
jaroslav@115
   800
        final int d = byteCodes[offsetInstruction + 0] << 24;
jaroslav@115
   801
        final int c = byteCodes[offsetInstruction + 1] << 16;
jaroslav@115
   802
        final int b = byteCodes[offsetInstruction + 2] << 8;
jaroslav@115
   803
        final int a = byteCodes[offsetInstruction + 3];
jaroslav@115
   804
        return (d & 0xff000000) | (c & 0xff0000) | (b & 0xff00) | (a & 0xff);
jaroslav@115
   805
    }
jtulach@128
   806
    private int readByte(byte[] byteCodes, int offsetInstruction) {
jtulach@128
   807
        return (byteCodes[offsetInstruction] + 256) % 256;
jtulach@128
   808
    }
jaroslav@4
   809
    
jtulach@156
   810
    private static void countArgs(String descriptor, boolean[] hasReturnType, StringBuilder sig, StringBuilder cnt) {
jaroslav@4
   811
        int i = 0;
jaroslav@4
   812
        Boolean count = null;
jaroslav@32
   813
        boolean array = false;
jaroslav@248
   814
        sig.append("__");
jaroslav@10
   815
        int firstPos = sig.length();
jaroslav@4
   816
        while (i < descriptor.length()) {
jaroslav@4
   817
            char ch = descriptor.charAt(i++);
jaroslav@4
   818
            switch (ch) {
jaroslav@4
   819
                case '(':
jaroslav@4
   820
                    count = true;
jaroslav@4
   821
                    continue;
jaroslav@4
   822
                case ')':
jaroslav@4
   823
                    count = false;
jaroslav@4
   824
                    continue;
jaroslav@4
   825
                case 'B': 
jaroslav@4
   826
                case 'C': 
jaroslav@4
   827
                case 'D': 
jaroslav@4
   828
                case 'F': 
jaroslav@4
   829
                case 'I': 
jaroslav@4
   830
                case 'J': 
jaroslav@4
   831
                case 'S': 
jaroslav@4
   832
                case 'Z': 
jaroslav@4
   833
                    if (count) {
jaroslav@32
   834
                        if (array) {
jaroslav@248
   835
                            sig.append("_3");
jaroslav@32
   836
                        }
jaroslav@4
   837
                        sig.append(ch);
jtulach@156
   838
                        if (ch == 'J' || ch == 'D') {
jtulach@156
   839
                            cnt.append('1');
jtulach@156
   840
                        } else {
jtulach@156
   841
                            cnt.append('0');
jtulach@156
   842
                        }
jaroslav@4
   843
                    } else {
jaroslav@4
   844
                        hasReturnType[0] = true;
jaroslav@10
   845
                        sig.insert(firstPos, ch);
jaroslav@32
   846
                        if (array) {
jaroslav@248
   847
                            sig.insert(firstPos, "_3");
jaroslav@32
   848
                        }
jaroslav@4
   849
                    }
jaroslav@93
   850
                    array = false;
jaroslav@4
   851
                    continue;
jaroslav@4
   852
                case 'V': 
jaroslav@4
   853
                    assert !count;
jaroslav@4
   854
                    hasReturnType[0] = false;
jaroslav@10
   855
                    sig.insert(firstPos, 'V');
jaroslav@4
   856
                    continue;
jaroslav@4
   857
                case 'L':
jaroslav@16
   858
                    int next = descriptor.indexOf(';', i);
jaroslav@248
   859
                    String realSig = mangleSig(descriptor, i - 1, next + 1);
jaroslav@4
   860
                    if (count) {
jaroslav@32
   861
                        if (array) {
jaroslav@248
   862
                            sig.append("_3");
jaroslav@32
   863
                        }
jaroslav@248
   864
                        sig.append(realSig);
jtulach@156
   865
                        cnt.append('0');
jaroslav@4
   866
                    } else {
jaroslav@248
   867
                        sig.insert(firstPos, realSig);
jaroslav@32
   868
                        if (array) {
jaroslav@248
   869
                            sig.insert(firstPos, "_3");
jaroslav@32
   870
                        }
jaroslav@4
   871
                        hasReturnType[0] = true;
jaroslav@4
   872
                    }
jaroslav@16
   873
                    i = next + 1;
jaroslav@4
   874
                    continue;
jaroslav@4
   875
                case '[':
jaroslav@248
   876
                    array = true;
jaroslav@4
   877
                    continue;
jaroslav@4
   878
                default:
jaroslav@248
   879
                    throw new IllegalStateException("Invalid char: " + ch);
jaroslav@4
   880
            }
jaroslav@4
   881
        }
jaroslav@0
   882
    }
jaroslav@248
   883
    
jaroslav@248
   884
    private static String mangleSig(String txt, int first, int last) {
jaroslav@248
   885
        StringBuilder sb = new StringBuilder();
jaroslav@248
   886
        for (int i = first; i < last; i++) {
jaroslav@248
   887
            final char ch = txt.charAt(i);
jaroslav@248
   888
            switch (ch) {
jaroslav@248
   889
                case '/': sb.append('_'); break;
jaroslav@248
   890
                case '_': sb.append("_1"); break;
jaroslav@248
   891
                case ';': sb.append("_2"); break;
jaroslav@248
   892
                case '[': sb.append("_3"); break;
jaroslav@248
   893
                default: sb.append(ch); break;
jaroslav@248
   894
            }
jaroslav@248
   895
        }
jaroslav@248
   896
        return sb.toString();
jaroslav@248
   897
    }
jaroslav@9
   898
jaroslav@248
   899
    private static String findMethodName(MethodData m, StringBuilder cnt) {
jaroslav@42
   900
        StringBuilder name = new StringBuilder();
jaroslav@10
   901
        if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@42
   902
            name.append("cons"); // NOI18N
jaroslav@19
   903
        } else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@42
   904
            name.append("class"); // NOI18N
jaroslav@10
   905
        } else {
jaroslav@42
   906
            name.append(m.getName());
jaroslav@10
   907
        } 
jaroslav@42
   908
        
jaroslav@42
   909
        boolean hasReturn[] = { false };
jaroslav@248
   910
        countArgs(m.getInternalSig(), hasReturn, name, cnt);
jaroslav@42
   911
        return name.toString();
jaroslav@10
   912
    }
jaroslav@10
   913
jaroslav@248
   914
    static String findMethodName(String[] mi, StringBuilder cnt, boolean[] hasReturn) {
jaroslav@10
   915
        StringBuilder name = new StringBuilder();
jaroslav@151
   916
        String descr = mi[2];//mi.getDescriptor();
jaroslav@151
   917
        String nm= mi[1];
jaroslav@151
   918
        if ("<init>".equals(nm)) { // NOI18N
jaroslav@10
   919
            name.append("cons"); // NOI18N
jaroslav@10
   920
        } else {
jaroslav@151
   921
            name.append(nm);
jaroslav@10
   922
        }
jaroslav@248
   923
        countArgs(descr, hasReturn, name, cnt);
jaroslav@10
   924
        return name.toString();
jaroslav@10
   925
    }
jaroslav@10
   926
jaroslav@10
   927
    private int invokeStaticMethod(byte[] byteCodes, int i, boolean isStatic)
jaroslav@10
   928
    throws IOException {
jaroslav@10
   929
        int methodIndex = readIntArg(byteCodes, i);
jaroslav@151
   930
        String[] mi = jc.getFieldInfoName(methodIndex);
jaroslav@10
   931
        boolean[] hasReturn = { false };
jtulach@156
   932
        StringBuilder cnt = new StringBuilder();
jaroslav@10
   933
        String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@11
   934
        out.append("{ ");
jtulach@156
   935
        for (int j = cnt.length() - 1; j >= 0; j--) {
jaroslav@220
   936
            out.append("var v" + j).append(" = s.pop(); ");
jaroslav@11
   937
        }
jaroslav@11
   938
        
jaroslav@10
   939
        if (hasReturn[0]) {
jaroslav@220
   940
            out.append("s.push(");
jaroslav@10
   941
        }
jaroslav@151
   942
        final String in = mi[0];
jaroslav@18
   943
        out.append(in.replace('/', '_'));
jaroslav@224
   944
        out.append("(false).");
jaroslav@10
   945
        out.append(mn);
jaroslav@10
   946
        out.append('(');
jaroslav@10
   947
        String sep = "";
jaroslav@10
   948
        if (!isStatic) {
jaroslav@220
   949
            out.append("s.pop()");
jaroslav@10
   950
            sep = ", ";
jaroslav@10
   951
        }
jtulach@156
   952
        for (int j = 0; j < cnt.length(); j++) {
jaroslav@10
   953
            out.append(sep);
jaroslav@11
   954
            out.append("v" + j);
jaroslav@10
   955
            sep = ", ";
jaroslav@10
   956
        }
jaroslav@10
   957
        out.append(")");
jaroslav@10
   958
        if (hasReturn[0]) {
jaroslav@10
   959
            out.append(")");
jaroslav@10
   960
        }
jaroslav@11
   961
        out.append("; }");
jaroslav@10
   962
        i += 2;
jaroslav@18
   963
        addReference(in);
jaroslav@10
   964
        return i;
jaroslav@10
   965
    }
jaroslav@12
   966
    private int invokeVirtualMethod(byte[] byteCodes, int i)
jaroslav@12
   967
    throws IOException {
jaroslav@12
   968
        int methodIndex = readIntArg(byteCodes, i);
jaroslav@151
   969
        String[] mi = jc.getFieldInfoName(methodIndex);
jaroslav@12
   970
        boolean[] hasReturn = { false };
jtulach@156
   971
        StringBuilder cnt = new StringBuilder();
jaroslav@12
   972
        String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@12
   973
        out.append("{ ");
jtulach@156
   974
        for (int j = cnt.length() - 1; j >= 0; j--) {
jaroslav@220
   975
            out.append("var v" + j).append(" = s.pop(); ");
jaroslav@12
   976
        }
jaroslav@220
   977
        out.append("var self = s.pop(); ");
jaroslav@12
   978
        if (hasReturn[0]) {
jaroslav@220
   979
            out.append("s.push(");
jaroslav@12
   980
        }
jaroslav@12
   981
        out.append("self.");
jaroslav@12
   982
        out.append(mn);
jaroslav@12
   983
        out.append('(');
jaroslav@12
   984
        out.append("self");
jtulach@156
   985
        for (int j = 0; j < cnt.length(); j++) {
jaroslav@12
   986
            out.append(", ");
jaroslav@12
   987
            out.append("v" + j);
jaroslav@12
   988
        }
jaroslav@12
   989
        out.append(")");
jaroslav@12
   990
        if (hasReturn[0]) {
jaroslav@12
   991
            out.append(")");
jaroslav@12
   992
        }
jaroslav@12
   993
        out.append("; }");
jaroslav@12
   994
        i += 2;
jaroslav@12
   995
        return i;
jaroslav@12
   996
    }
jaroslav@18
   997
    
jaroslav@103
   998
    private void addReference(String cn) throws IOException {
jtulach@162
   999
        if (requireReference(cn)) {
jtulach@162
  1000
            out.append(" /* needs ").append(cn).append(" */");
jaroslav@18
  1001
        }
jaroslav@18
  1002
    }
jaroslav@16
  1003
jaroslav@33
  1004
    private void outType(String d, StringBuilder out) {
jaroslav@33
  1005
        int arr = 0;
jaroslav@33
  1006
        while (d.charAt(0) == '[') {
jaroslav@33
  1007
            out.append('A');
jaroslav@33
  1008
            d = d.substring(1);
jaroslav@33
  1009
        }
jaroslav@16
  1010
        if (d.charAt(0) == 'L') {
jaroslav@16
  1011
            assert d.charAt(d.length() - 1) == ';';
jaroslav@16
  1012
            out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16
  1013
        } else {
jaroslav@16
  1014
            out.append(d);
jaroslav@16
  1015
        }
jaroslav@16
  1016
    }
jaroslav@21
  1017
jaroslav@230
  1018
    private String encodeConstant(int entryIndex) throws IOException {
jaroslav@230
  1019
        String[] classRef = { null };
jaroslav@230
  1020
        String s = jc.stringValue(entryIndex, classRef);
jaroslav@230
  1021
        if (classRef[0] != null) {
jaroslav@230
  1022
            addReference(classRef[0]);
jaroslav@230
  1023
        }
jaroslav@151
  1024
        return s;
jaroslav@21
  1025
    }
jaroslav@32
  1026
jaroslav@203
  1027
    private boolean javaScriptBody(String prefix, MethodData m, boolean isStatic) throws IOException {
jaroslav@152
  1028
        byte[] arr = m.findAnnotationData(true);
jaroslav@152
  1029
        if (arr == null) {
jaroslav@152
  1030
            return false;
jaroslav@152
  1031
        }
jaroslav@200
  1032
        final String jvmType = "Lorg/apidesign/bck2brwsr/core/JavaScriptBody;";
jaroslav@152
  1033
        class P extends AnnotationParser {
jaroslav@237
  1034
            public P() {
jaroslav@237
  1035
                super(false);
jaroslav@237
  1036
            }
jaroslav@237
  1037
            
jaroslav@152
  1038
            int cnt;
jaroslav@152
  1039
            String[] args = new String[30];
jaroslav@152
  1040
            String body;
jaroslav@94
  1041
            
jaroslav@152
  1042
            @Override
jaroslav@236
  1043
            protected void visitAttr(String type, String attr, String at, String value) {
jaroslav@152
  1044
                if (type.equals(jvmType)) {
jaroslav@152
  1045
                    if ("body".equals(attr)) {
jaroslav@152
  1046
                        body = value;
jaroslav@152
  1047
                    } else if ("args".equals(attr)) {
jaroslav@152
  1048
                        args[cnt++] = value;
jaroslav@152
  1049
                    } else {
jaroslav@152
  1050
                        throw new IllegalArgumentException(attr);
jaroslav@152
  1051
                    }
jaroslav@152
  1052
                }
jaroslav@94
  1053
            }
jaroslav@94
  1054
        }
jaroslav@152
  1055
        P p = new P();
jaroslav@152
  1056
        p.parse(arr, jc);
jaroslav@152
  1057
        if (p.body == null) {
jaroslav@152
  1058
            return false;
jaroslav@152
  1059
        }
jtulach@156
  1060
        StringBuilder cnt = new StringBuilder();
jaroslav@203
  1061
        out.append(prefix).append(findMethodName(m, cnt));
jaroslav@203
  1062
        out.append(" = function(");
jaroslav@152
  1063
        String space;
jaroslav@152
  1064
        int index;
jaroslav@152
  1065
        if (!isStatic) {                
jaroslav@152
  1066
            out.append(p.args[0]);
jaroslav@152
  1067
            space = ",";
jaroslav@152
  1068
            index = 1;
jaroslav@152
  1069
        } else {
jaroslav@152
  1070
            space = "";
jaroslav@152
  1071
            index = 0;
jaroslav@152
  1072
        }
jtulach@156
  1073
        for (int i = 0; i < cnt.length(); i++) {
jaroslav@152
  1074
            out.append(space);
jaroslav@152
  1075
            out.append(p.args[index]);
jaroslav@152
  1076
            index++;
jaroslav@152
  1077
            space = ",";
jaroslav@152
  1078
        }
jaroslav@152
  1079
        out.append(") {").append("\n");
jaroslav@152
  1080
        out.append(p.body);
jaroslav@152
  1081
        out.append("\n}\n");
jaroslav@152
  1082
        return true;
jaroslav@151
  1083
    }
jaroslav@151
  1084
    private static String className(ClassData jc) {
jaroslav@151
  1085
        //return jc.getName().getInternalName().replace('/', '_');
jaroslav@151
  1086
        return jc.getClassName().replace('/', '_');
jaroslav@94
  1087
    }
jaroslav@152
  1088
    
jaroslav@152
  1089
    private static String[] findAnnotation(
jaroslav@152
  1090
        byte[] arr, ClassData cd, final String className, 
jaroslav@152
  1091
        final String... attrNames
jaroslav@152
  1092
    ) throws IOException {
jaroslav@152
  1093
        if (arr == null) {
jaroslav@152
  1094
            return null;
jaroslav@152
  1095
        }
jaroslav@152
  1096
        final String[] values = new String[attrNames.length];
jaroslav@152
  1097
        final boolean[] found = { false };
jaroslav@152
  1098
        final String jvmType = "L" + className.replace('.', '/') + ";";
jaroslav@237
  1099
        AnnotationParser ap = new AnnotationParser(false) {
jaroslav@152
  1100
            @Override
jaroslav@236
  1101
            protected void visitAttr(String type, String attr, String at, String value) {
jaroslav@152
  1102
                if (type.equals(jvmType)) {
jaroslav@152
  1103
                    found[0] = true;
jaroslav@152
  1104
                    for (int i = 0; i < attrNames.length; i++) {
jaroslav@152
  1105
                        if (attrNames[i].equals(attr)) {
jaroslav@152
  1106
                            values[i] = value;
jaroslav@152
  1107
                        }
jaroslav@152
  1108
                    }
jaroslav@152
  1109
                }
jaroslav@152
  1110
            }
jaroslav@152
  1111
            
jaroslav@152
  1112
        };
jaroslav@152
  1113
        ap.parse(arr, cd);
jaroslav@152
  1114
        return found[0] ? values : null;
jaroslav@152
  1115
    }
jaroslav@173
  1116
jaroslav@173
  1117
    private CharSequence initField(FieldData v) {
jaroslav@173
  1118
        final String is = v.getInternalSig();
jaroslav@173
  1119
        if (is.length() == 1) {
jaroslav@173
  1120
            switch (is.charAt(0)) {
jaroslav@173
  1121
                case 'S':
jaroslav@173
  1122
                case 'J':
jaroslav@173
  1123
                case 'B':
jaroslav@173
  1124
                case 'Z':
jaroslav@173
  1125
                case 'C':
jaroslav@173
  1126
                case 'I': return " = 0;";
jaroslav@173
  1127
                case 'F': 
jaroslav@180
  1128
                case 'D': return " = 0.0;";
jaroslav@173
  1129
                default:
jaroslav@173
  1130
                    throw new IllegalStateException(is);
jaroslav@173
  1131
            }
jaroslav@173
  1132
        }
jaroslav@173
  1133
        return " = null;";
jaroslav@173
  1134
    }
jaroslav@235
  1135
jaroslav@235
  1136
    private static void generateAnno(ClassData cd, final Appendable out, byte[] data) throws IOException {
jaroslav@237
  1137
        AnnotationParser ap = new AnnotationParser(true) {
jaroslav@237
  1138
            int anno;
jaroslav@235
  1139
            int cnt;
jaroslav@235
  1140
            
jaroslav@235
  1141
            @Override
jaroslav@235
  1142
            protected void visitAnnotationStart(String type) throws IOException {
jaroslav@237
  1143
                if (anno++ > 0) {
jaroslav@237
  1144
                    out.append(",");
jaroslav@237
  1145
                }
jaroslav@235
  1146
                out.append('"').append(type).append("\" : {\n");
jaroslav@235
  1147
                cnt = 0;
jaroslav@235
  1148
            }
jaroslav@235
  1149
jaroslav@235
  1150
            @Override
jaroslav@235
  1151
            protected void visitAnnotationEnd(String type) throws IOException {
jaroslav@235
  1152
                out.append("\n}\n");
jaroslav@235
  1153
            }
jaroslav@235
  1154
            
jaroslav@235
  1155
            @Override
jaroslav@236
  1156
            protected void visitAttr(String type, String attr, String attrType, String value) 
jaroslav@235
  1157
            throws IOException {
jaroslav@235
  1158
                if (cnt++ > 0) {
jaroslav@235
  1159
                    out.append(",\n");
jaroslav@235
  1160
                }
jaroslav@236
  1161
                out.append(attr).append(attrType).append(" : ").append(value);
jaroslav@235
  1162
            }
jaroslav@235
  1163
        };
jaroslav@235
  1164
        ap.parse(data, cd);
jaroslav@235
  1165
    }
jaroslav@0
  1166
}