vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Mon, 24 Sep 2012 11:07:38 +0200
changeset 22 b9318fe303cd
parent 21 src/main/java/org/apidesign/java4browser/ByteCodeToJavaScript.java@d8807b6a636a
child 30 7efb52f76270
permissions -rw-r--r--
Getting ready for multiple projects inside one Hg repository
jaroslav@0
     1
/*
jaroslav@0
     2
Java 4 Browser Bytecode Translator
jaroslav@0
     3
Copyright (C) 2012-2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@0
     4
jaroslav@0
     5
This program is free software: you can redistribute it and/or modify
jaroslav@0
     6
it under the terms of the GNU General Public License as published by
jaroslav@0
     7
the Free Software Foundation, version 2 of the License.
jaroslav@0
     8
jaroslav@0
     9
This program is distributed in the hope that it will be useful,
jaroslav@0
    10
but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@0
    11
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@0
    12
GNU General Public License for more details.
jaroslav@0
    13
jaroslav@0
    14
You should have received a copy of the GNU General Public License
jaroslav@0
    15
along with this program. Look for COPYING file in the top folder.
jaroslav@0
    16
If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@0
    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@2
    25
import static org.netbeans.modules.classfile.ByteCodes.*;
jaroslav@8
    26
import org.netbeans.modules.classfile.CPClassInfo;
jaroslav@8
    27
import org.netbeans.modules.classfile.CPEntry;
jaroslav@8
    28
import org.netbeans.modules.classfile.CPFieldInfo;
jaroslav@4
    29
import org.netbeans.modules.classfile.CPMethodInfo;
jaroslav@21
    30
import org.netbeans.modules.classfile.CPStringInfo;
jaroslav@0
    31
import org.netbeans.modules.classfile.ClassFile;
jaroslav@13
    32
import org.netbeans.modules.classfile.ClassName;
jaroslav@0
    33
import org.netbeans.modules.classfile.Code;
jaroslav@0
    34
import org.netbeans.modules.classfile.Method;
jaroslav@0
    35
import org.netbeans.modules.classfile.Parameter;
jaroslav@9
    36
import org.netbeans.modules.classfile.Variable;
jaroslav@0
    37
jaroslav@0
    38
/** Translator of the code inside class files to JavaScript.
jaroslav@0
    39
 *
jaroslav@0
    40
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0
    41
 */
jaroslav@0
    42
public final class ByteCodeToJavaScript {
jaroslav@0
    43
    private final ClassFile jc;
jaroslav@0
    44
    private final Appendable out;
jaroslav@18
    45
    private final Collection<? super String> references;
jaroslav@0
    46
jaroslav@18
    47
    private ByteCodeToJavaScript(
jaroslav@18
    48
        ClassFile jc, Appendable out, Collection<? super String> references
jaroslav@18
    49
    ) {
jaroslav@0
    50
        this.jc = jc;
jaroslav@0
    51
        this.out = out;
jaroslav@18
    52
        this.references = references;
jaroslav@0
    53
    }
jaroslav@18
    54
jaroslav@18
    55
    /**
jaroslav@18
    56
     * Converts a given class file to a JavaScript version.
jaroslav@18
    57
     *
jaroslav@0
    58
     * @param classFile input stream with code of the .class file
jaroslav@0
    59
     * @param out a {@link StringBuilder} or similar to generate the output to
jaroslav@18
    60
     * @param references a write only collection where the system adds list of
jaroslav@18
    61
     *   other classes that were referenced and should be loaded in order the
jaroslav@18
    62
     *   generated JavaScript code works properly. The names are in internal 
jaroslav@18
    63
     *   JVM form so String is <code>java/lang/String</code>. Can be <code>null</code>
jaroslav@18
    64
     *   if one is not interested in knowing references
jaroslav@0
    65
     * @throws IOException if something goes wrong during read or write or translating
jaroslav@0
    66
     */
jaroslav@18
    67
    
jaroslav@18
    68
    public static void compile(
jaroslav@18
    69
        InputStream classFile, Appendable out,
jaroslav@18
    70
        Collection<? super String> references
jaroslav@18
    71
    ) throws IOException {
jaroslav@0
    72
        ClassFile jc = new ClassFile(classFile, true);
jaroslav@18
    73
        ByteCodeToJavaScript compiler = new ByteCodeToJavaScript(
jaroslav@18
    74
            jc, out, references
jaroslav@18
    75
        );
jaroslav@21
    76
        List<String> toInitilize = new ArrayList<String>();
jaroslav@0
    77
        for (Method m : jc.getMethods()) {
jaroslav@0
    78
            if (m.isStatic()) {
jaroslav@21
    79
                compiler.generateStaticMethod(m, toInitilize);
jaroslav@10
    80
            } else {
jaroslav@10
    81
                compiler.generateInstanceMethod(m);
jaroslav@0
    82
            }
jaroslav@0
    83
        }
jaroslav@9
    84
        for (Variable v : jc.getVariables()) {
jaroslav@9
    85
            if (v.isStatic()) {
jaroslav@9
    86
                compiler.generateStaticField(v);
jaroslav@9
    87
            }
jaroslav@9
    88
        }
jaroslav@10
    89
        
jaroslav@18
    90
        final String className = jc.getName().getInternalName().replace('/', '_');
jaroslav@13
    91
        out.append("\nfunction ").append(className);
jaroslav@10
    92
        out.append("() {");
jaroslav@10
    93
        for (Method m : jc.getMethods()) {
jaroslav@10
    94
            if (!m.isStatic()) {
jaroslav@12
    95
                compiler.generateMethodReference(m);
jaroslav@10
    96
            }
jaroslav@10
    97
        }
jaroslav@10
    98
        for (Variable v : jc.getVariables()) {
jaroslav@10
    99
            if (!v.isStatic()) {
jaroslav@10
   100
                out.append("\n  this." + v.getName() + " = 0;");
jaroslav@10
   101
            }
jaroslav@10
   102
        }
jaroslav@17
   103
        out.append("\n  this.$instOf_").append(className).append(" = true;");
jaroslav@10
   104
        out.append("\n}");
jaroslav@13
   105
        ClassName sc = jc.getSuperClass();
jaroslav@13
   106
        if (sc != null) {
jaroslav@21
   107
            out.append("\n").append(className)
jaroslav@18
   108
               .append(".prototype = new ").append(sc.getInternalName().replace('/', '_'));
jaroslav@13
   109
        }
jaroslav@21
   110
        for (String init : toInitilize) {
jaroslav@21
   111
            out.append("\n").append(init).append("();");
jaroslav@21
   112
        }
jaroslav@0
   113
    }
jaroslav@21
   114
    private void generateStaticMethod(Method m, List<String> toInitilize) throws IOException {
jaroslav@21
   115
        final String mn = findMethodName(m);
jaroslav@1
   116
        out.append("\nfunction ").append(
jaroslav@18
   117
            jc.getName().getInternalName().replace('/', '_')
jaroslav@21
   118
        ).append('_').append(mn);
jaroslav@21
   119
        if (mn.equals("classV")) {
jaroslav@21
   120
            toInitilize.add(jc.getName().getInternalName().replace('/', '_') + '_' + mn);
jaroslav@21
   121
        }
jaroslav@0
   122
        out.append('(');
jaroslav@0
   123
        String space = "";
jaroslav@10
   124
        List<Parameter> args = m.getParameters();
jaroslav@2
   125
        for (int index = 0, i = 0; i < args.size(); i++) {
jaroslav@0
   126
            out.append(space);
jaroslav@2
   127
            out.append("arg").append(String.valueOf(index));
jaroslav@0
   128
            space = ",";
jaroslav@2
   129
            final String desc = args.get(i).getDescriptor();
jaroslav@3
   130
            if ("D".equals(desc) || "J".equals(desc)) {
jaroslav@2
   131
                index += 2;
jaroslav@2
   132
            } else {
jaroslav@2
   133
                index++;
jaroslav@2
   134
            }
jaroslav@0
   135
        }
jaroslav@5
   136
        out.append(") {").append("\n");
jaroslav@0
   137
        final Code code = m.getCode();
jaroslav@18
   138
        if (code != null) {
jaroslav@18
   139
            int len = code.getMaxLocals();
jaroslav@18
   140
            for (int index = args.size(), i = args.size(); i < len; i++) {
jaroslav@18
   141
                out.append("  var ");
jaroslav@18
   142
                out.append("arg").append(String.valueOf(i)).append(";\n");
jaroslav@18
   143
            }
jaroslav@21
   144
            out.append("  var stack = new Array();\n");
jaroslav@18
   145
            produceCode(code.getByteCodes());
jaroslav@18
   146
        } else {
jaroslav@18
   147
            out.append("  /* no code found for ").append(m.getTypeSignature()).append(" */\n");
jaroslav@0
   148
        }
jaroslav@10
   149
        out.append("}");
jaroslav@10
   150
    }
jaroslav@10
   151
    
jaroslav@12
   152
    private void generateMethodReference(Method m) throws IOException {
jaroslav@12
   153
        final String name = findMethodName(m);
jaroslav@12
   154
        out.append("\n  this.").append(name).append(" = ")
jaroslav@18
   155
           .append(jc.getName().getInternalName().replace('/', '_'))
jaroslav@12
   156
           .append('_').append(name).append(";");
jaroslav@12
   157
    }
jaroslav@12
   158
    
jaroslav@10
   159
    private void generateInstanceMethod(Method m) throws IOException {
jaroslav@10
   160
        out.append("\nfunction ").append(
jaroslav@18
   161
            jc.getName().getInternalName().replace('/', '_')
jaroslav@10
   162
        ).append('_').append(findMethodName(m));
jaroslav@10
   163
        out.append("(arg0");
jaroslav@10
   164
        String space = ",";
jaroslav@10
   165
        List<Parameter> args = m.getParameters();
jaroslav@10
   166
        for (int index = 1, i = 0; i < args.size(); i++) {
jaroslav@10
   167
            out.append(space);
jaroslav@10
   168
            out.append("arg").append(String.valueOf(index));
jaroslav@10
   169
            final String desc = args.get(i).getDescriptor();
jaroslav@10
   170
            if ("D".equals(desc) || "J".equals(desc)) {
jaroslav@10
   171
                index += 2;
jaroslav@10
   172
            } else {
jaroslav@10
   173
                index++;
jaroslav@10
   174
            }
jaroslav@10
   175
        }
jaroslav@10
   176
        out.append(") {").append("\n");
jaroslav@10
   177
        final Code code = m.getCode();
jaroslav@18
   178
        if (code != null) {
jaroslav@18
   179
            int len = code.getMaxLocals();
jaroslav@18
   180
            for (int index = args.size(), i = args.size(); i < len; i++) {
jaroslav@18
   181
                out.append("  var ");
jaroslav@18
   182
                out.append("arg").append(String.valueOf(i + 1)).append(";\n");
jaroslav@18
   183
            }
jaroslav@18
   184
            out.append(";\n  var stack = new Array(");
jaroslav@18
   185
            out.append(Integer.toString(code.getMaxStack()));
jaroslav@18
   186
            out.append(");\n");
jaroslav@18
   187
            produceCode(code.getByteCodes());
jaroslav@18
   188
        } else {
jaroslav@18
   189
            out.append("  /* no code found for ").append(m.getTypeSignature()).append(" */\n");
jaroslav@10
   190
        }
jaroslav@0
   191
        out.append("}");
jaroslav@0
   192
    }
jaroslav@0
   193
jaroslav@0
   194
    private void produceCode(byte[] byteCodes) throws IOException {
jaroslav@10
   195
        out.append("\n  var gt = 0;\n  for(;;) switch(gt) {\n");
jaroslav@0
   196
        for (int i = 0; i < byteCodes.length; i++) {
jaroslav@0
   197
            int prev = i;
jaroslav@10
   198
            out.append("    case " + i).append(": ");
jaroslav@0
   199
            final int c = (byteCodes[i] + 256) % 256;
jaroslav@0
   200
            switch (c) {
jaroslav@2
   201
                case bc_aload_0:
jaroslav@2
   202
                case bc_iload_0:
jaroslav@2
   203
                case bc_lload_0:
jaroslav@2
   204
                case bc_fload_0:
jaroslav@2
   205
                case bc_dload_0:
jaroslav@0
   206
                    out.append("stack.push(arg0);");
jaroslav@0
   207
                    break;
jaroslav@2
   208
                case bc_aload_1:
jaroslav@2
   209
                case bc_iload_1:
jaroslav@2
   210
                case bc_lload_1:
jaroslav@2
   211
                case bc_fload_1:
jaroslav@2
   212
                case bc_dload_1:
jaroslav@0
   213
                    out.append("stack.push(arg1);");
jaroslav@0
   214
                    break;
jaroslav@2
   215
                case bc_aload_2:
jaroslav@2
   216
                case bc_iload_2:
jaroslav@2
   217
                case bc_lload_2:
jaroslav@2
   218
                case bc_fload_2:
jaroslav@2
   219
                case bc_dload_2:
jaroslav@2
   220
                    out.append("stack.push(arg2);");
jaroslav@2
   221
                    break;
jaroslav@3
   222
                case bc_aload_3:
jaroslav@3
   223
                case bc_iload_3:
jaroslav@3
   224
                case bc_lload_3:
jaroslav@3
   225
                case bc_fload_3:
jaroslav@3
   226
                case bc_dload_3:
jaroslav@3
   227
                    out.append("stack.push(arg3);");
jaroslav@3
   228
                    break;
jaroslav@3
   229
                case bc_iload:
jaroslav@3
   230
                case bc_lload:
jaroslav@3
   231
                case bc_fload:
jaroslav@3
   232
                case bc_dload:
jaroslav@3
   233
                case bc_aload: {
jaroslav@3
   234
                    final int indx = (byteCodes[++i] + 256) % 256;
jaroslav@3
   235
                    out.append("stack.push(arg").append(indx + ");");
jaroslav@3
   236
                    break;
jaroslav@3
   237
                }
jaroslav@8
   238
                case bc_astore_0:
jaroslav@5
   239
                case bc_istore_0:
jaroslav@5
   240
                case bc_lstore_0:
jaroslav@5
   241
                case bc_fstore_0:
jaroslav@5
   242
                case bc_dstore_0:
jaroslav@5
   243
                    out.append("arg0 = stack.pop();");
jaroslav@5
   244
                    break;
jaroslav@8
   245
                case bc_astore_1:
jaroslav@5
   246
                case bc_istore_1:
jaroslav@5
   247
                case bc_lstore_1:
jaroslav@5
   248
                case bc_fstore_1:
jaroslav@5
   249
                case bc_dstore_1:
jaroslav@5
   250
                    out.append("arg1 = stack.pop();");
jaroslav@5
   251
                    break;
jaroslav@8
   252
                case bc_astore_2:
jaroslav@5
   253
                case bc_istore_2:
jaroslav@5
   254
                case bc_lstore_2:
jaroslav@5
   255
                case bc_fstore_2:
jaroslav@5
   256
                case bc_dstore_2:
jaroslav@5
   257
                    out.append("arg2 = stack.pop();");
jaroslav@5
   258
                    break;
jaroslav@8
   259
                case bc_astore_3:
jaroslav@5
   260
                case bc_istore_3:
jaroslav@5
   261
                case bc_lstore_3:
jaroslav@5
   262
                case bc_fstore_3:
jaroslav@5
   263
                case bc_dstore_3:
jaroslav@5
   264
                    out.append("arg3 = stack.pop();");
jaroslav@5
   265
                    break;
jaroslav@2
   266
                case bc_iadd:
jaroslav@2
   267
                case bc_ladd:
jaroslav@2
   268
                case bc_fadd:
jaroslav@2
   269
                case bc_dadd:
jaroslav@0
   270
                    out.append("stack.push(stack.pop() + stack.pop());");
jaroslav@0
   271
                    break;
jaroslav@2
   272
                case bc_isub:
jaroslav@2
   273
                case bc_lsub:
jaroslav@2
   274
                case bc_fsub:
jaroslav@2
   275
                case bc_dsub:
jaroslav@3
   276
                    out.append("{ var tmp = stack.pop(); stack.push(stack.pop() - tmp); }");
jaroslav@2
   277
                    break;
jaroslav@2
   278
                case bc_imul:
jaroslav@2
   279
                case bc_lmul:
jaroslav@2
   280
                case bc_fmul:
jaroslav@2
   281
                case bc_dmul:
jaroslav@1
   282
                    out.append("stack.push(stack.pop() * stack.pop());");
jaroslav@1
   283
                    break;
jaroslav@3
   284
                case bc_idiv:
jaroslav@3
   285
                case bc_ldiv:
jaroslav@3
   286
                    out.append("{ var tmp = stack.pop(); stack.push(Math.floor(stack.pop() / tmp)); }");
jaroslav@3
   287
                    break;
jaroslav@3
   288
                case bc_fdiv:
jaroslav@3
   289
                case bc_ddiv:
jaroslav@3
   290
                    out.append("{ var tmp = stack.pop(); stack.push(stack.pop() / tmp); }");
jaroslav@3
   291
                    break;
jaroslav@7
   292
                case bc_iand:
jaroslav@7
   293
                case bc_land:
jaroslav@7
   294
                    out.append("stack.push(stack.pop() & stack.pop());");
jaroslav@7
   295
                    break;
jaroslav@7
   296
                case bc_ior:
jaroslav@7
   297
                case bc_lor:
jaroslav@7
   298
                    out.append("stack.push(stack.pop() | stack.pop());");
jaroslav@7
   299
                    break;
jaroslav@6
   300
                case bc_ixor:
jaroslav@6
   301
                case bc_lxor:
jaroslav@6
   302
                    out.append("stack.push(stack.pop() ^ stack.pop());");
jaroslav@6
   303
                    break;
jaroslav@5
   304
                case bc_iinc: {
jaroslav@5
   305
                    final int varIndx = (byteCodes[++i] + 256) % 256;
jaroslav@5
   306
                    final int incrBy = (byteCodes[++i] + 256) % 256;
jaroslav@5
   307
                    if (incrBy == 1) {
jaroslav@5
   308
                        out.append("arg" + varIndx).append("++;");
jaroslav@5
   309
                    } else {
jaroslav@5
   310
                        out.append("arg" + varIndx).append(" += " + incrBy).append(";");
jaroslav@5
   311
                    }
jaroslav@5
   312
                    break;
jaroslav@5
   313
                }
jaroslav@10
   314
                case bc_return:
jaroslav@10
   315
                    out.append("return;");
jaroslav@10
   316
                    break;
jaroslav@2
   317
                case bc_ireturn:
jaroslav@2
   318
                case bc_lreturn:
jaroslav@2
   319
                case bc_freturn:
jaroslav@2
   320
                case bc_dreturn:
jaroslav@10
   321
                case bc_areturn:
jaroslav@0
   322
                    out.append("return stack.pop();");
jaroslav@1
   323
                    break;
jaroslav@2
   324
                case bc_i2l:
jaroslav@2
   325
                case bc_i2f:
jaroslav@2
   326
                case bc_i2d:
jaroslav@2
   327
                case bc_l2i:
jaroslav@3
   328
                    // max int check?
jaroslav@2
   329
                case bc_l2f:
jaroslav@2
   330
                case bc_l2d:
jaroslav@3
   331
                case bc_f2d:
jaroslav@3
   332
                case bc_d2f:
jaroslav@3
   333
                    out.append("/* number conversion */");
jaroslav@3
   334
                    break;
jaroslav@2
   335
                case bc_f2i:
jaroslav@2
   336
                case bc_f2l:
jaroslav@2
   337
                case bc_d2i:
jaroslav@2
   338
                case bc_d2l:
jaroslav@3
   339
                    out.append("stack.push(Math.floor(stack.pop()));");
jaroslav@3
   340
                    break;
jaroslav@2
   341
                case bc_i2b:
jaroslav@2
   342
                case bc_i2c:
jaroslav@2
   343
                case bc_i2s:
jaroslav@2
   344
                    out.append("/* number conversion */");
jaroslav@2
   345
                    break;
jaroslav@4
   346
                case bc_iconst_0:
jaroslav@4
   347
                case bc_dconst_0:
jaroslav@4
   348
                case bc_lconst_0:
jaroslav@4
   349
                case bc_fconst_0:
jaroslav@4
   350
                    out.append("stack.push(0);");
jaroslav@4
   351
                    break;
jaroslav@4
   352
                case bc_iconst_1:
jaroslav@4
   353
                case bc_lconst_1:
jaroslav@4
   354
                case bc_fconst_1:
jaroslav@4
   355
                case bc_dconst_1:
jaroslav@4
   356
                    out.append("stack.push(1);");
jaroslav@4
   357
                    break;
jaroslav@4
   358
                case bc_iconst_2:
jaroslav@4
   359
                case bc_fconst_2:
jaroslav@4
   360
                    out.append("stack.push(2);");
jaroslav@4
   361
                    break;
jaroslav@4
   362
                case bc_iconst_3:
jaroslav@4
   363
                    out.append("stack.push(3);");
jaroslav@4
   364
                    break;
jaroslav@4
   365
                case bc_iconst_4:
jaroslav@4
   366
                    out.append("stack.push(4);");
jaroslav@4
   367
                    break;
jaroslav@4
   368
                case bc_iconst_5:
jaroslav@4
   369
                    out.append("stack.push(5);");
jaroslav@4
   370
                    break;
jaroslav@20
   371
                case bc_ldc: {
jaroslav@21
   372
                    int indx = byteCodes[++i];
jaroslav@20
   373
                    CPEntry entry = jc.getConstantPool().get(indx);
jaroslav@21
   374
                    String v = encodeConstant(entry);
jaroslav@21
   375
                    out.append("stack.push(").append(v).append(");");
jaroslav@20
   376
                    break;
jaroslav@20
   377
                }
jaroslav@8
   378
                case bc_ldc_w:
jaroslav@8
   379
                case bc_ldc2_w: {
jaroslav@8
   380
                    int indx = readIntArg(byteCodes, i);
jaroslav@8
   381
                    CPEntry entry = jc.getConstantPool().get(indx);
jaroslav@8
   382
                    i += 2;
jaroslav@21
   383
                    String v = encodeConstant(entry);
jaroslav@21
   384
                    out.append("stack.push(").append(v).append(");");
jaroslav@8
   385
                    break;
jaroslav@8
   386
                }
jaroslav@20
   387
                case bc_lcmp:
jaroslav@20
   388
                case bc_fcmpl:
jaroslav@20
   389
                case bc_fcmpg:
jaroslav@20
   390
                case bc_dcmpl:
jaroslav@20
   391
                case bc_dcmpg: {
jaroslav@20
   392
                    out.append("{ var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); }");
jaroslav@20
   393
                    break;
jaroslav@20
   394
                }
jaroslav@4
   395
                case bc_if_icmpeq: {
jaroslav@4
   396
                    i = generateIf(byteCodes, i, "==");
jaroslav@4
   397
                    break;
jaroslav@4
   398
                }
jaroslav@7
   399
                case bc_ifeq: {
jaroslav@7
   400
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@7
   401
                    out.append("if (stack.pop() == 0) { gt = " + indx);
jaroslav@7
   402
                    out.append("; continue; }");
jaroslav@7
   403
                    i += 2;
jaroslav@7
   404
                    break;
jaroslav@7
   405
                }
jaroslav@20
   406
                case bc_ifne: {
jaroslav@20
   407
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@20
   408
                    out.append("if (stack.pop() != 0) { gt = " + indx);
jaroslav@20
   409
                    out.append("; continue; }");
jaroslav@20
   410
                    i += 2;
jaroslav@20
   411
                    break;
jaroslav@20
   412
                }
jaroslav@20
   413
                case bc_iflt: {
jaroslav@20
   414
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@20
   415
                    out.append("if (stack.pop() < 0) { gt = " + indx);
jaroslav@20
   416
                    out.append("; continue; }");
jaroslav@20
   417
                    i += 2;
jaroslav@20
   418
                    break;
jaroslav@20
   419
                }
jaroslav@20
   420
                case bc_ifle: {
jaroslav@20
   421
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@20
   422
                    out.append("if (stack.pop() <= 0) { gt = " + indx);
jaroslav@20
   423
                    out.append("; continue; }");
jaroslav@20
   424
                    i += 2;
jaroslav@20
   425
                    break;
jaroslav@20
   426
                }
jaroslav@20
   427
                case bc_ifgt: {
jaroslav@20
   428
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@20
   429
                    out.append("if (stack.pop() > 0) { gt = " + indx);
jaroslav@20
   430
                    out.append("; continue; }");
jaroslav@20
   431
                    i += 2;
jaroslav@20
   432
                    break;
jaroslav@20
   433
                }
jaroslav@20
   434
                case bc_ifge: {
jaroslav@20
   435
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@20
   436
                    out.append("if (stack.pop() >= 0) { gt = " + indx);
jaroslav@20
   437
                    out.append("; continue; }");
jaroslav@20
   438
                    i += 2;
jaroslav@20
   439
                    break;
jaroslav@20
   440
                }
jaroslav@16
   441
                case bc_ifnonnull: {
jaroslav@16
   442
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@16
   443
                    out.append("if (stack.pop()) { gt = " + indx);
jaroslav@16
   444
                    out.append("; continue; }");
jaroslav@16
   445
                    i += 2;
jaroslav@16
   446
                    break;
jaroslav@16
   447
                }
jaroslav@16
   448
                case bc_ifnull: {
jaroslav@16
   449
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@16
   450
                    out.append("if (!stack.pop()) { gt = " + indx);
jaroslav@16
   451
                    out.append("; continue; }");
jaroslav@16
   452
                    i += 2;
jaroslav@16
   453
                    break;
jaroslav@16
   454
                }
jaroslav@4
   455
                case bc_if_icmpne:
jaroslav@4
   456
                    i = generateIf(byteCodes, i, "!=");
jaroslav@4
   457
                    break;
jaroslav@4
   458
                case bc_if_icmplt:
jaroslav@4
   459
                    i = generateIf(byteCodes, i, ">");
jaroslav@4
   460
                    break;
jaroslav@4
   461
                case bc_if_icmple:
jaroslav@4
   462
                    i = generateIf(byteCodes, i, ">=");
jaroslav@4
   463
                    break;
jaroslav@4
   464
                case bc_if_icmpgt:
jaroslav@4
   465
                    i = generateIf(byteCodes, i, "<");
jaroslav@4
   466
                    break;
jaroslav@4
   467
                case bc_if_icmpge:
jaroslav@4
   468
                    i = generateIf(byteCodes, i, "<=");
jaroslav@4
   469
                    break;
jaroslav@5
   470
                case bc_goto: {
jaroslav@5
   471
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@5
   472
                    out.append("gt = " + indx).append("; continue;");
jaroslav@5
   473
                    i += 2;
jaroslav@5
   474
                    break;
jaroslav@5
   475
                }
jaroslav@15
   476
                case bc_invokeinterface:
jaroslav@12
   477
                case bc_invokevirtual:
jaroslav@12
   478
                    i = invokeVirtualMethod(byteCodes, i);
jaroslav@12
   479
                    break;
jaroslav@10
   480
                case bc_invokespecial:
jaroslav@10
   481
                    i = invokeStaticMethod(byteCodes, i, false);
jaroslav@4
   482
                    break;
jaroslav@10
   483
                case bc_invokestatic:
jaroslav@10
   484
                    i = invokeStaticMethod(byteCodes, i, true);
jaroslav@10
   485
                    break;
jaroslav@8
   486
                case bc_new: {
jaroslav@8
   487
                    int indx = readIntArg(byteCodes, i);
jaroslav@8
   488
                    CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@8
   489
                    out.append("stack.push(");
jaroslav@18
   490
                    out.append("new ").append(ci.getClassName().getInternalName().replace('/','_'));
jaroslav@10
   491
                    out.append(");");
jaroslav@18
   492
                    addReference(ci.getClassName().getInternalName());
jaroslav@8
   493
                    i += 2;
jaroslav@8
   494
                    break;
jaroslav@8
   495
                }
jaroslav@21
   496
                case bc_newarray: {
jaroslav@21
   497
                    int type = byteCodes[i++];
jaroslav@21
   498
                    out.append("stack.push(new Array(stack.pop()));");
jaroslav@21
   499
                    break;
jaroslav@21
   500
                }
jaroslav@21
   501
                case bc_anewarray: {
jaroslav@21
   502
                    i += 2; // skip type of array
jaroslav@21
   503
                    out.append("stack.push(new Array(stack.pop()));");
jaroslav@21
   504
                    break;
jaroslav@21
   505
                }
jaroslav@21
   506
                case bc_arraylength:
jaroslav@21
   507
                    out.append("stack.push(stack.pop().length);");
jaroslav@21
   508
                    break;
jaroslav@21
   509
                case bc_iastore:
jaroslav@21
   510
                case bc_lastore:
jaroslav@21
   511
                case bc_fastore:
jaroslav@21
   512
                case bc_dastore:
jaroslav@21
   513
                case bc_aastore:
jaroslav@21
   514
                case bc_bastore:
jaroslav@21
   515
                case bc_castore:
jaroslav@21
   516
                case bc_sastore: {
jaroslav@21
   517
                    out.append("{ var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; }");
jaroslav@21
   518
                    break;
jaroslav@21
   519
                }
jaroslav@21
   520
                case bc_iaload:
jaroslav@21
   521
                case bc_laload:
jaroslav@21
   522
                case bc_faload:
jaroslav@21
   523
                case bc_daload:
jaroslav@21
   524
                case bc_aaload:
jaroslav@21
   525
                case bc_baload:
jaroslav@21
   526
                case bc_caload:
jaroslav@21
   527
                case bc_saload: {
jaroslav@21
   528
                    out.append("{ var indx = stack.pop(); stack.push(stack.pop()[indx]); }");
jaroslav@21
   529
                    break;
jaroslav@21
   530
                }
jaroslav@8
   531
                case bc_dup:
jaroslav@8
   532
                    out.append("stack.push(stack[stack.length - 1]);");
jaroslav@8
   533
                    break;
jaroslav@8
   534
                case bc_bipush:
jaroslav@8
   535
                    out.append("stack.push(" + byteCodes[++i] + ");");
jaroslav@8
   536
                    break;
jaroslav@8
   537
                case bc_getfield: {
jaroslav@8
   538
                    int indx = readIntArg(byteCodes, i);
jaroslav@8
   539
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@21
   540
                    out.append("stack.push(stack.pop().").append(fi.getFieldName()).append(");");
jaroslav@8
   541
                    i += 2;
jaroslav@8
   542
                    break;
jaroslav@8
   543
                }
jaroslav@9
   544
                case bc_getstatic: {
jaroslav@9
   545
                    int indx = readIntArg(byteCodes, i);
jaroslav@9
   546
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@18
   547
                    final String in = fi.getClassName().getInternalName();
jaroslav@18
   548
                    out.append("stack.push(").append(in.replace('/', '_'));
jaroslav@9
   549
                    out.append('_').append(fi.getFieldName()).append(");");
jaroslav@9
   550
                    i += 2;
jaroslav@18
   551
                    addReference(in);
jaroslav@9
   552
                    break;
jaroslav@9
   553
                }
jaroslav@9
   554
                case bc_putstatic: {
jaroslav@9
   555
                    int indx = readIntArg(byteCodes, i);
jaroslav@9
   556
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@18
   557
                    final String in = fi.getClassName().getInternalName();
jaroslav@18
   558
                    out.append(in.replace('/', '_'));
jaroslav@9
   559
                    out.append('_').append(fi.getFieldName()).append(" = stack.pop();");
jaroslav@9
   560
                    i += 2;
jaroslav@18
   561
                    addReference(in);
jaroslav@9
   562
                    break;
jaroslav@9
   563
                }
jaroslav@10
   564
                case bc_putfield: {
jaroslav@10
   565
                    int indx = readIntArg(byteCodes, i);
jaroslav@10
   566
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@10
   567
                    out.append("{ var v = stack.pop(); stack.pop().")
jaroslav@10
   568
                       .append(fi.getFieldName()).append(" = v; }");
jaroslav@10
   569
                    i += 2;
jaroslav@10
   570
                    break;
jaroslav@10
   571
                }
jaroslav@17
   572
                case bc_instanceof: {
jaroslav@17
   573
                    int indx = readIntArg(byteCodes, i);
jaroslav@17
   574
                    CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@17
   575
                    out.append("stack.push(stack.pop().$instOf_")
jaroslav@18
   576
                       .append(ci.getClassName().getInternalName().replace('/', '_'))
jaroslav@17
   577
                       .append(" ? 1 : 0);");
jaroslav@17
   578
                    i += 2;
jaroslav@17
   579
                }
jaroslav@8
   580
                    
jaroslav@0
   581
            }
jaroslav@3
   582
            out.append(" /*");
jaroslav@0
   583
            for (int j = prev; j <= i; j++) {
jaroslav@0
   584
                out.append(" ");
jaroslav@0
   585
                final int cc = (byteCodes[j] + 256) % 256;
jaroslav@0
   586
                out.append(Integer.toString(cc));
jaroslav@0
   587
            }
jaroslav@0
   588
            out.append("*/\n");
jaroslav@0
   589
        }
jaroslav@10
   590
        out.append("  }\n");
jaroslav@4
   591
    }
jaroslav@4
   592
jaroslav@4
   593
    private int generateIf(byte[] byteCodes, int i, final String test) throws IOException {
jaroslav@4
   594
        int indx = i + readIntArg(byteCodes, i);
jaroslav@4
   595
        out.append("if (stack.pop() ").append(test).append(" stack.pop()) { gt = " + indx);
jaroslav@4
   596
        out.append("; continue; }");
jaroslav@4
   597
        return i + 2;
jaroslav@4
   598
    }
jaroslav@4
   599
jaroslav@4
   600
    private int readIntArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@5
   601
        final int indxHi = byteCodes[offsetInstruction + 1] << 8;
jaroslav@5
   602
        final int indxLo = byteCodes[offsetInstruction + 2];
jaroslav@5
   603
        return (indxHi & 0xffffff00) | (indxLo & 0xff);
jaroslav@4
   604
    }
jaroslav@4
   605
    
jaroslav@4
   606
    private static int countArgs(String descriptor, boolean[] hasReturnType, StringBuilder sig) {
jaroslav@4
   607
        int cnt = 0;
jaroslav@4
   608
        int i = 0;
jaroslav@4
   609
        Boolean count = null;
jaroslav@10
   610
        int firstPos = sig.length();
jaroslav@4
   611
        while (i < descriptor.length()) {
jaroslav@4
   612
            char ch = descriptor.charAt(i++);
jaroslav@4
   613
            switch (ch) {
jaroslav@4
   614
                case '(':
jaroslav@4
   615
                    count = true;
jaroslav@4
   616
                    continue;
jaroslav@4
   617
                case ')':
jaroslav@4
   618
                    count = false;
jaroslav@4
   619
                    continue;
jaroslav@4
   620
                case 'B': 
jaroslav@4
   621
                case 'C': 
jaroslav@4
   622
                case 'D': 
jaroslav@4
   623
                case 'F': 
jaroslav@4
   624
                case 'I': 
jaroslav@4
   625
                case 'J': 
jaroslav@4
   626
                case 'S': 
jaroslav@4
   627
                case 'Z': 
jaroslav@4
   628
                    if (count) {
jaroslav@4
   629
                        cnt++;
jaroslav@4
   630
                        sig.append(ch);
jaroslav@4
   631
                    } else {
jaroslav@4
   632
                        hasReturnType[0] = true;
jaroslav@10
   633
                        sig.insert(firstPos, ch);
jaroslav@4
   634
                    }
jaroslav@4
   635
                    continue;
jaroslav@4
   636
                case 'V': 
jaroslav@4
   637
                    assert !count;
jaroslav@4
   638
                    hasReturnType[0] = false;
jaroslav@10
   639
                    sig.insert(firstPos, 'V');
jaroslav@4
   640
                    continue;
jaroslav@4
   641
                case 'L':
jaroslav@16
   642
                    int next = descriptor.indexOf(';', i);
jaroslav@4
   643
                    if (count) {
jaroslav@4
   644
                        cnt++;
jaroslav@16
   645
                        sig.append(ch);
jaroslav@16
   646
                        sig.append(descriptor.substring(i, next).replace('/', '_'));
jaroslav@4
   647
                    } else {
jaroslav@16
   648
                        sig.insert(firstPos, descriptor.substring(i, next).replace('/', '_'));
jaroslav@16
   649
                        sig.insert(firstPos, ch);
jaroslav@4
   650
                        hasReturnType[0] = true;
jaroslav@4
   651
                    }
jaroslav@16
   652
                    i = next + 1;
jaroslav@4
   653
                    continue;
jaroslav@4
   654
                case '[':
jaroslav@4
   655
                    //arrays++;
jaroslav@4
   656
                    continue;
jaroslav@4
   657
                default:
jaroslav@4
   658
                    break; // invalid character
jaroslav@4
   659
            }
jaroslav@4
   660
        }
jaroslav@4
   661
        return cnt;
jaroslav@0
   662
    }
jaroslav@9
   663
jaroslav@9
   664
    private void generateStaticField(Variable v) throws IOException {
jaroslav@9
   665
        out.append("\nvar ")
jaroslav@18
   666
           .append(jc.getName().getInternalName().replace('/', '_'))
jaroslav@9
   667
           .append('_').append(v.getName()).append(" = 0;");
jaroslav@9
   668
    }
jaroslav@10
   669
jaroslav@10
   670
    private String findMethodName(Method m) {
jaroslav@19
   671
        StringBuilder tmp = new StringBuilder();
jaroslav@10
   672
        if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@19
   673
            tmp.append("consV"); // NOI18N
jaroslav@19
   674
        } else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@19
   675
            tmp.append("classV"); // NOI18N
jaroslav@10
   676
        } else {
jaroslav@19
   677
            tmp.append(m.getName());
jaroslav@19
   678
            outType(m.getReturnType(), tmp);
jaroslav@10
   679
        } 
jaroslav@10
   680
        List<Parameter> args = m.getParameters();
jaroslav@10
   681
        for (Parameter t : args) {
jaroslav@19
   682
            outType(t.getDescriptor(), tmp);
jaroslav@10
   683
        }
jaroslav@19
   684
        return tmp.toString();
jaroslav@10
   685
    }
jaroslav@10
   686
jaroslav@10
   687
    private String findMethodName(CPMethodInfo mi, int[] cnt, boolean[] hasReturn) {
jaroslav@10
   688
        StringBuilder name = new StringBuilder();
jaroslav@10
   689
        if ("<init>".equals(mi.getName())) { // NOI18N
jaroslav@10
   690
            name.append("cons"); // NOI18N
jaroslav@10
   691
        } else {
jaroslav@10
   692
            name.append(mi.getName());
jaroslav@10
   693
        }
jaroslav@10
   694
        cnt[0] = countArgs(mi.getDescriptor(), hasReturn, name);
jaroslav@10
   695
        return name.toString();
jaroslav@10
   696
    }
jaroslav@10
   697
jaroslav@10
   698
    private int invokeStaticMethod(byte[] byteCodes, int i, boolean isStatic)
jaroslav@10
   699
    throws IOException {
jaroslav@10
   700
        int methodIndex = readIntArg(byteCodes, i);
jaroslav@10
   701
        CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
jaroslav@10
   702
        boolean[] hasReturn = { false };
jaroslav@10
   703
        int[] cnt = { 0 };
jaroslav@10
   704
        String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@11
   705
        out.append("{ ");
jaroslav@11
   706
        for (int j = cnt[0] - 1; j >= 0; j--) {
jaroslav@11
   707
            out.append("var v" + j).append(" = stack.pop(); ");
jaroslav@11
   708
        }
jaroslav@11
   709
        
jaroslav@10
   710
        if (hasReturn[0]) {
jaroslav@10
   711
            out.append("stack.push(");
jaroslav@10
   712
        }
jaroslav@18
   713
        final String in = mi.getClassName().getInternalName();
jaroslav@18
   714
        out.append(in.replace('/', '_'));
jaroslav@10
   715
        out.append('_');
jaroslav@10
   716
        out.append(mn);
jaroslav@10
   717
        out.append('(');
jaroslav@10
   718
        String sep = "";
jaroslav@10
   719
        if (!isStatic) {
jaroslav@10
   720
            out.append("stack.pop()");
jaroslav@10
   721
            sep = ", ";
jaroslav@10
   722
        }
jaroslav@10
   723
        for (int j = 0; j < cnt[0]; j++) {
jaroslav@10
   724
            out.append(sep);
jaroslav@11
   725
            out.append("v" + j);
jaroslav@10
   726
            sep = ", ";
jaroslav@10
   727
        }
jaroslav@10
   728
        out.append(")");
jaroslav@10
   729
        if (hasReturn[0]) {
jaroslav@10
   730
            out.append(")");
jaroslav@10
   731
        }
jaroslav@11
   732
        out.append("; }");
jaroslav@10
   733
        i += 2;
jaroslav@18
   734
        addReference(in);
jaroslav@10
   735
        return i;
jaroslav@10
   736
    }
jaroslav@12
   737
    private int invokeVirtualMethod(byte[] byteCodes, int i)
jaroslav@12
   738
    throws IOException {
jaroslav@12
   739
        int methodIndex = readIntArg(byteCodes, i);
jaroslav@12
   740
        CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
jaroslav@12
   741
        boolean[] hasReturn = { false };
jaroslav@12
   742
        int[] cnt = { 0 };
jaroslav@12
   743
        String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@12
   744
        out.append("{ ");
jaroslav@12
   745
        for (int j = cnt[0] - 1; j >= 0; j--) {
jaroslav@12
   746
            out.append("var v" + j).append(" = stack.pop(); ");
jaroslav@12
   747
        }
jaroslav@12
   748
        out.append("var self = stack.pop(); ");
jaroslav@12
   749
        if (hasReturn[0]) {
jaroslav@12
   750
            out.append("stack.push(");
jaroslav@12
   751
        }
jaroslav@12
   752
        out.append("self.");
jaroslav@12
   753
        out.append(mn);
jaroslav@12
   754
        out.append('(');
jaroslav@12
   755
        out.append("self");
jaroslav@12
   756
        for (int j = 0; j < cnt[0]; j++) {
jaroslav@12
   757
            out.append(", ");
jaroslav@12
   758
            out.append("v" + j);
jaroslav@12
   759
        }
jaroslav@12
   760
        out.append(")");
jaroslav@12
   761
        if (hasReturn[0]) {
jaroslav@12
   762
            out.append(")");
jaroslav@12
   763
        }
jaroslav@12
   764
        out.append("; }");
jaroslav@12
   765
        i += 2;
jaroslav@12
   766
        return i;
jaroslav@12
   767
    }
jaroslav@18
   768
    
jaroslav@18
   769
    private void addReference(String cn) {
jaroslav@18
   770
        if (references != null) {
jaroslav@18
   771
            references.add(cn);
jaroslav@18
   772
        }
jaroslav@18
   773
    }
jaroslav@16
   774
jaroslav@16
   775
    private void outType(final String d, StringBuilder out) {
jaroslav@16
   776
        if (d.charAt(0) == 'L') {
jaroslav@16
   777
            assert d.charAt(d.length() - 1) == ';';
jaroslav@16
   778
            out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16
   779
        } else {
jaroslav@16
   780
            out.append(d);
jaroslav@16
   781
        }
jaroslav@16
   782
    }
jaroslav@21
   783
jaroslav@21
   784
    private String encodeConstant(CPEntry entry) {
jaroslav@21
   785
        final String v;
jaroslav@21
   786
        if (entry instanceof CPStringInfo) {
jaroslav@21
   787
            v = "\"" + entry.getValue().toString().replace("\"", "\\\"") + "\"";
jaroslav@21
   788
        } else {
jaroslav@21
   789
            v = entry.getValue().toString();
jaroslav@21
   790
        }
jaroslav@21
   791
        return v;
jaroslav@21
   792
    }
jaroslav@0
   793
}