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