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