vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java
author Jaroslav Tulach <jtulach@netbeans.org>
Tue, 30 Oct 2012 22:22:18 +0100
changeset 128 8db5cf267d74
parent 127 5134b17d623c
child 129 15df78d24302
permissions -rw-r--r--
Implementation of multianewarray bytecode instruction
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@91
    27
import org.netbeans.modules.classfile.Annotation;
jaroslav@91
    28
import org.netbeans.modules.classfile.AnnotationComponent;
jaroslav@94
    29
import org.netbeans.modules.classfile.ArrayElementValue;
jaroslav@2
    30
import static org.netbeans.modules.classfile.ByteCodes.*;
jaroslav@8
    31
import org.netbeans.modules.classfile.CPClassInfo;
jaroslav@8
    32
import org.netbeans.modules.classfile.CPEntry;
jaroslav@8
    33
import org.netbeans.modules.classfile.CPFieldInfo;
jaroslav@4
    34
import org.netbeans.modules.classfile.CPMethodInfo;
jaroslav@21
    35
import org.netbeans.modules.classfile.CPStringInfo;
jaroslav@0
    36
import org.netbeans.modules.classfile.ClassFile;
jaroslav@13
    37
import org.netbeans.modules.classfile.ClassName;
jaroslav@0
    38
import org.netbeans.modules.classfile.Code;
jaroslav@91
    39
import org.netbeans.modules.classfile.ElementValue;
jaroslav@0
    40
import org.netbeans.modules.classfile.Method;
jaroslav@0
    41
import org.netbeans.modules.classfile.Parameter;
jaroslav@91
    42
import org.netbeans.modules.classfile.PrimitiveElementValue;
jaroslav@9
    43
import org.netbeans.modules.classfile.Variable;
jaroslav@0
    44
jaroslav@0
    45
/** Translator of the code inside class files to JavaScript.
jaroslav@0
    46
 *
jaroslav@0
    47
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@0
    48
 */
jaroslav@0
    49
public final class ByteCodeToJavaScript {
jaroslav@0
    50
    private final ClassFile jc;
jaroslav@0
    51
    private final Appendable out;
jaroslav@18
    52
    private final Collection<? super String> references;
jaroslav@0
    53
jaroslav@18
    54
    private ByteCodeToJavaScript(
jaroslav@18
    55
        ClassFile jc, Appendable out, Collection<? super String> references
jaroslav@18
    56
    ) {
jaroslav@0
    57
        this.jc = jc;
jaroslav@0
    58
        this.out = out;
jaroslav@18
    59
        this.references = references;
jaroslav@0
    60
    }
jaroslav@18
    61
jaroslav@18
    62
    /**
jaroslav@18
    63
     * Converts a given class file to a JavaScript version.
jaroslav@18
    64
     *
jaroslav@0
    65
     * @param classFile input stream with code of the .class file
jaroslav@0
    66
     * @param out a {@link StringBuilder} or similar to generate the output to
jaroslav@18
    67
     * @param references a write only collection where the system adds list of
jaroslav@18
    68
     *   other classes that were referenced and should be loaded in order the
jaroslav@18
    69
     *   generated JavaScript code works properly. The names are in internal 
jaroslav@18
    70
     *   JVM form so String is <code>java/lang/String</code>. Can be <code>null</code>
jaroslav@18
    71
     *   if one is not interested in knowing references
jaroslav@91
    72
     * @param scripts write only collection with names of resources to read
jaroslav@97
    73
     * @return the initialization code for this class, if any. Otherwise <code>null</code>
jaroslav@91
    74
     * 
jaroslav@0
    75
     * @throws IOException if something goes wrong during read or write or translating
jaroslav@0
    76
     */
jaroslav@18
    77
    
jaroslav@97
    78
    public static String compile(
jaroslav@18
    79
        InputStream classFile, Appendable out,
jaroslav@91
    80
        Collection<? super String> references,
jaroslav@91
    81
        Collection<? super String> scripts
jaroslav@18
    82
    ) throws IOException {
jaroslav@0
    83
        ClassFile jc = new ClassFile(classFile, true);
jaroslav@91
    84
        final ClassName extraAnn = ClassName.getClassName(ExtraJavaScript.class.getName().replace('.', '/'));
jaroslav@91
    85
        Annotation a = jc.getAnnotation(extraAnn);
jaroslav@91
    86
        if (a != null) {
jaroslav@91
    87
            final ElementValue annVal = a.getComponent("resource").getValue();
jaroslav@91
    88
            String res = ((PrimitiveElementValue)annVal).getValue().getValue().toString();
jaroslav@91
    89
            scripts.add(res);
jaroslav@91
    90
            final AnnotationComponent process = a.getComponent("processByteCode");
jaroslav@93
    91
            if (process != null && "const=0".equals(process.getValue().toString())) {
jaroslav@97
    92
                return null;
jaroslav@91
    93
            }
jaroslav@91
    94
        }
jaroslav@91
    95
        
jaroslav@18
    96
        ByteCodeToJavaScript compiler = new ByteCodeToJavaScript(
jaroslav@18
    97
            jc, out, references
jaroslav@18
    98
        );
jaroslav@21
    99
        List<String> toInitilize = new ArrayList<String>();
jaroslav@0
   100
        for (Method m : jc.getMethods()) {
jaroslav@0
   101
            if (m.isStatic()) {
jaroslav@21
   102
                compiler.generateStaticMethod(m, toInitilize);
jaroslav@10
   103
            } else {
jaroslav@10
   104
                compiler.generateInstanceMethod(m);
jaroslav@0
   105
            }
jaroslav@0
   106
        }
jaroslav@9
   107
        for (Variable v : jc.getVariables()) {
jaroslav@9
   108
            if (v.isStatic()) {
jaroslav@9
   109
                compiler.generateStaticField(v);
jaroslav@9
   110
            }
jaroslav@9
   111
        }
jaroslav@10
   112
        
jaroslav@18
   113
        final String className = jc.getName().getInternalName().replace('/', '_');
jaroslav@13
   114
        out.append("\nfunction ").append(className);
jaroslav@10
   115
        out.append("() {");
jaroslav@10
   116
        for (Variable v : jc.getVariables()) {
jaroslav@10
   117
            if (!v.isStatic()) {
jaroslav@10
   118
                out.append("\n  this." + v.getName() + " = 0;");
jaroslav@10
   119
            }
jaroslav@10
   120
        }
jaroslav@98
   121
        out.append("\n}\n\nfunction ").append(className).append("_proto() {");
jaroslav@98
   122
        out.append("\n  if (").append(className).
jaroslav@98
   123
            append(".prototype.$instOf_").append(className).append(") {");
jaroslav@98
   124
        out.append("\n    return ").append(className).append(".prototype;");
jaroslav@98
   125
        out.append("\n  }");
jaroslav@13
   126
        ClassName sc = jc.getSuperClass();
jaroslav@13
   127
        if (sc != null) {
jaroslav@98
   128
            out.append("\n  ").append(sc.getInternalName().replace('/', '_')).append("_proto();");
jaroslav@98
   129
            out.append("\n  ").append(className)
jaroslav@39
   130
               .append(".prototype = new ").append(sc.getInternalName().replace('/', '_')).append(';');
jaroslav@13
   131
        }
jaroslav@38
   132
        for (Method m : jc.getMethods()) {
jaroslav@102
   133
            if (!m.getName().contains("<init>") && !m.getName().contains("<cinit>")) {
jaroslav@98
   134
                compiler.generateMethodReference("\n  " + className + ".prototype.", m);
jaroslav@38
   135
            }
jaroslav@38
   136
        }
jaroslav@98
   137
        out.append("\n  " + className + ".prototype.$instOf_").append(className).append(" = true;");
jaroslav@40
   138
        for (ClassName superInterface : jc.getInterfaces()) {
jaroslav@98
   139
            out.append("\n  " + className + ".prototype.$instOf_").append(superInterface.getInternalName().replace('/', '_')).append(" = true;");
jaroslav@40
   140
        }
jaroslav@98
   141
        out.append("\n  return ").append(className).append(".prototype;");
jaroslav@98
   142
        out.append("\n}");
jaroslav@98
   143
        out.append("\n").append(className).append("_proto();");
jaroslav@97
   144
        StringBuilder sb = new StringBuilder();
jaroslav@21
   145
        for (String init : toInitilize) {
jaroslav@97
   146
            sb.append("\n").append(init).append("();");
jaroslav@21
   147
        }
jaroslav@97
   148
        return sb.toString();
jaroslav@0
   149
    }
jaroslav@21
   150
    private void generateStaticMethod(Method m, List<String> toInitilize) throws IOException {
jaroslav@94
   151
        if (javaScriptBody(m, true)) {
jaroslav@94
   152
            return;
jaroslav@94
   153
        }
jaroslav@21
   154
        final String mn = findMethodName(m);
jaroslav@1
   155
        out.append("\nfunction ").append(
jaroslav@18
   156
            jc.getName().getInternalName().replace('/', '_')
jaroslav@21
   157
        ).append('_').append(mn);
jaroslav@21
   158
        if (mn.equals("classV")) {
jaroslav@21
   159
            toInitilize.add(jc.getName().getInternalName().replace('/', '_') + '_' + mn);
jaroslav@21
   160
        }
jaroslav@0
   161
        out.append('(');
jaroslav@0
   162
        String space = "";
jaroslav@10
   163
        List<Parameter> args = m.getParameters();
jaroslav@2
   164
        for (int index = 0, i = 0; i < args.size(); i++) {
jaroslav@0
   165
            out.append(space);
jaroslav@2
   166
            out.append("arg").append(String.valueOf(index));
jaroslav@0
   167
            space = ",";
jaroslav@32
   168
            final String desc = findDescriptor(args.get(i).getDescriptor());
jaroslav@3
   169
            if ("D".equals(desc) || "J".equals(desc)) {
jaroslav@2
   170
                index += 2;
jaroslav@2
   171
            } else {
jaroslav@2
   172
                index++;
jaroslav@2
   173
            }
jaroslav@0
   174
        }
jaroslav@5
   175
        out.append(") {").append("\n");
jaroslav@0
   176
        final Code code = m.getCode();
jaroslav@18
   177
        if (code != null) {
jaroslav@18
   178
            int len = code.getMaxLocals();
jaroslav@18
   179
            for (int index = args.size(), i = args.size(); i < len; i++) {
jaroslav@18
   180
                out.append("  var ");
jaroslav@18
   181
                out.append("arg").append(String.valueOf(i)).append(";\n");
jaroslav@18
   182
            }
jaroslav@21
   183
            out.append("  var stack = new Array();\n");
jaroslav@18
   184
            produceCode(code.getByteCodes());
jaroslav@18
   185
        } else {
jaroslav@18
   186
            out.append("  /* no code found for ").append(m.getTypeSignature()).append(" */\n");
jaroslav@0
   187
        }
jaroslav@10
   188
        out.append("}");
jaroslav@10
   189
    }
jaroslav@10
   190
    
jaroslav@38
   191
    private void generateMethodReference(String prefix, Method m) throws IOException {
jaroslav@12
   192
        final String name = findMethodName(m);
jaroslav@38
   193
        out.append(prefix).append(name).append(" = ")
jaroslav@18
   194
           .append(jc.getName().getInternalName().replace('/', '_'))
jaroslav@12
   195
           .append('_').append(name).append(";");
jaroslav@12
   196
    }
jaroslav@12
   197
    
jaroslav@10
   198
    private void generateInstanceMethod(Method m) throws IOException {
jaroslav@94
   199
        if (javaScriptBody(m, false)) {
jaroslav@94
   200
            return;
jaroslav@94
   201
        }
jaroslav@10
   202
        out.append("\nfunction ").append(
jaroslav@18
   203
            jc.getName().getInternalName().replace('/', '_')
jaroslav@10
   204
        ).append('_').append(findMethodName(m));
jaroslav@10
   205
        out.append("(arg0");
jaroslav@10
   206
        String space = ",";
jaroslav@10
   207
        List<Parameter> args = m.getParameters();
jaroslav@10
   208
        for (int index = 1, i = 0; i < args.size(); i++) {
jaroslav@10
   209
            out.append(space);
jaroslav@10
   210
            out.append("arg").append(String.valueOf(index));
jaroslav@32
   211
            final String desc = findDescriptor(args.get(i).getDescriptor());
jaroslav@10
   212
            if ("D".equals(desc) || "J".equals(desc)) {
jaroslav@10
   213
                index += 2;
jaroslav@10
   214
            } else {
jaroslav@10
   215
                index++;
jaroslav@10
   216
            }
jaroslav@10
   217
        }
jaroslav@10
   218
        out.append(") {").append("\n");
jaroslav@10
   219
        final Code code = m.getCode();
jaroslav@18
   220
        if (code != null) {
jaroslav@18
   221
            int len = code.getMaxLocals();
jaroslav@18
   222
            for (int index = args.size(), i = args.size(); i < len; i++) {
jaroslav@18
   223
                out.append("  var ");
jaroslav@18
   224
                out.append("arg").append(String.valueOf(i + 1)).append(";\n");
jaroslav@18
   225
            }
jaroslav@96
   226
            out.append(";\n  var stack = new Array();\n");
jaroslav@18
   227
            produceCode(code.getByteCodes());
jaroslav@18
   228
        } else {
jaroslav@18
   229
            out.append("  /* no code found for ").append(m.getTypeSignature()).append(" */\n");
jaroslav@10
   230
        }
jaroslav@0
   231
        out.append("}");
jaroslav@0
   232
    }
jaroslav@0
   233
jaroslav@0
   234
    private void produceCode(byte[] byteCodes) throws IOException {
jaroslav@10
   235
        out.append("\n  var gt = 0;\n  for(;;) switch(gt) {\n");
jaroslav@0
   236
        for (int i = 0; i < byteCodes.length; i++) {
jaroslav@0
   237
            int prev = i;
jaroslav@10
   238
            out.append("    case " + i).append(": ");
jtulach@128
   239
            final int c = readByte(byteCodes, i);
jaroslav@0
   240
            switch (c) {
jaroslav@2
   241
                case bc_aload_0:
jaroslav@2
   242
                case bc_iload_0:
jaroslav@2
   243
                case bc_lload_0:
jaroslav@2
   244
                case bc_fload_0:
jaroslav@2
   245
                case bc_dload_0:
jaroslav@0
   246
                    out.append("stack.push(arg0);");
jaroslav@0
   247
                    break;
jaroslav@2
   248
                case bc_aload_1:
jaroslav@2
   249
                case bc_iload_1:
jaroslav@2
   250
                case bc_lload_1:
jaroslav@2
   251
                case bc_fload_1:
jaroslav@2
   252
                case bc_dload_1:
jaroslav@0
   253
                    out.append("stack.push(arg1);");
jaroslav@0
   254
                    break;
jaroslav@2
   255
                case bc_aload_2:
jaroslav@2
   256
                case bc_iload_2:
jaroslav@2
   257
                case bc_lload_2:
jaroslav@2
   258
                case bc_fload_2:
jaroslav@2
   259
                case bc_dload_2:
jaroslav@2
   260
                    out.append("stack.push(arg2);");
jaroslav@2
   261
                    break;
jaroslav@3
   262
                case bc_aload_3:
jaroslav@3
   263
                case bc_iload_3:
jaroslav@3
   264
                case bc_lload_3:
jaroslav@3
   265
                case bc_fload_3:
jaroslav@3
   266
                case bc_dload_3:
jaroslav@3
   267
                    out.append("stack.push(arg3);");
jaroslav@3
   268
                    break;
jaroslav@3
   269
                case bc_iload:
jaroslav@3
   270
                case bc_lload:
jaroslav@3
   271
                case bc_fload:
jaroslav@3
   272
                case bc_dload:
jaroslav@3
   273
                case bc_aload: {
jtulach@128
   274
                    final int indx = readByte(byteCodes, ++i);
jaroslav@3
   275
                    out.append("stack.push(arg").append(indx + ");");
jaroslav@3
   276
                    break;
jaroslav@3
   277
                }
jaroslav@31
   278
                case bc_istore:
jaroslav@31
   279
                case bc_lstore:
jaroslav@31
   280
                case bc_fstore:
jaroslav@31
   281
                case bc_dstore:
jaroslav@31
   282
                case bc_astore: {
jtulach@128
   283
                    final int indx = readByte(byteCodes, ++i);
jaroslav@31
   284
                    out.append("arg" + indx).append(" = stack.pop()");
jaroslav@31
   285
                    break;
jaroslav@31
   286
                }
jaroslav@8
   287
                case bc_astore_0:
jaroslav@5
   288
                case bc_istore_0:
jaroslav@5
   289
                case bc_lstore_0:
jaroslav@5
   290
                case bc_fstore_0:
jaroslav@5
   291
                case bc_dstore_0:
jaroslav@5
   292
                    out.append("arg0 = stack.pop();");
jaroslav@5
   293
                    break;
jaroslav@8
   294
                case bc_astore_1:
jaroslav@5
   295
                case bc_istore_1:
jaroslav@5
   296
                case bc_lstore_1:
jaroslav@5
   297
                case bc_fstore_1:
jaroslav@5
   298
                case bc_dstore_1:
jaroslav@5
   299
                    out.append("arg1 = stack.pop();");
jaroslav@5
   300
                    break;
jaroslav@8
   301
                case bc_astore_2:
jaroslav@5
   302
                case bc_istore_2:
jaroslav@5
   303
                case bc_lstore_2:
jaroslav@5
   304
                case bc_fstore_2:
jaroslav@5
   305
                case bc_dstore_2:
jaroslav@5
   306
                    out.append("arg2 = stack.pop();");
jaroslav@5
   307
                    break;
jaroslav@8
   308
                case bc_astore_3:
jaroslav@5
   309
                case bc_istore_3:
jaroslav@5
   310
                case bc_lstore_3:
jaroslav@5
   311
                case bc_fstore_3:
jaroslav@5
   312
                case bc_dstore_3:
jaroslav@5
   313
                    out.append("arg3 = stack.pop();");
jaroslav@5
   314
                    break;
jaroslav@2
   315
                case bc_iadd:
jaroslav@2
   316
                case bc_ladd:
jaroslav@2
   317
                case bc_fadd:
jaroslav@2
   318
                case bc_dadd:
jaroslav@0
   319
                    out.append("stack.push(stack.pop() + stack.pop());");
jaroslav@0
   320
                    break;
jaroslav@2
   321
                case bc_isub:
jaroslav@2
   322
                case bc_lsub:
jaroslav@2
   323
                case bc_fsub:
jaroslav@2
   324
                case bc_dsub:
jaroslav@3
   325
                    out.append("{ var tmp = stack.pop(); stack.push(stack.pop() - tmp); }");
jaroslav@2
   326
                    break;
jaroslav@2
   327
                case bc_imul:
jaroslav@2
   328
                case bc_lmul:
jaroslav@2
   329
                case bc_fmul:
jaroslav@2
   330
                case bc_dmul:
jaroslav@1
   331
                    out.append("stack.push(stack.pop() * stack.pop());");
jaroslav@1
   332
                    break;
jaroslav@3
   333
                case bc_idiv:
jaroslav@3
   334
                case bc_ldiv:
jaroslav@3
   335
                    out.append("{ var tmp = stack.pop(); stack.push(Math.floor(stack.pop() / tmp)); }");
jaroslav@3
   336
                    break;
jaroslav@3
   337
                case bc_fdiv:
jaroslav@3
   338
                case bc_ddiv:
jaroslav@3
   339
                    out.append("{ var tmp = stack.pop(); stack.push(stack.pop() / tmp); }");
jaroslav@3
   340
                    break;
jaroslav@7
   341
                case bc_iand:
jaroslav@7
   342
                case bc_land:
jaroslav@7
   343
                    out.append("stack.push(stack.pop() & stack.pop());");
jaroslav@7
   344
                    break;
jaroslav@7
   345
                case bc_ior:
jaroslav@7
   346
                case bc_lor:
jaroslav@7
   347
                    out.append("stack.push(stack.pop() | stack.pop());");
jaroslav@7
   348
                    break;
jaroslav@6
   349
                case bc_ixor:
jaroslav@6
   350
                case bc_lxor:
jaroslav@6
   351
                    out.append("stack.push(stack.pop() ^ stack.pop());");
jaroslav@6
   352
                    break;
jaroslav@93
   353
                case bc_ineg:
jaroslav@93
   354
                case bc_lneg:
jaroslav@93
   355
                case bc_fneg:
jaroslav@93
   356
                case bc_dneg:
jaroslav@93
   357
                    out.append("stack.push(- stack.pop());");
jaroslav@93
   358
                    break;
jaroslav@93
   359
                case bc_ishl:
jaroslav@93
   360
                case bc_lshl:
jaroslav@93
   361
                    out.append("{ var v = stack.pop(); stack.push(stack.pop() << v); }");
jaroslav@93
   362
                    break;
jaroslav@93
   363
                case bc_ishr:
jaroslav@93
   364
                case bc_lshr:
jaroslav@93
   365
                    out.append("{ var v = stack.pop(); stack.push(stack.pop() >> v); }");
jaroslav@93
   366
                    break;
jaroslav@93
   367
                case bc_iushr:
jaroslav@93
   368
                case bc_lushr:
jaroslav@93
   369
                    out.append("{ var v = stack.pop(); stack.push(stack.pop() >>> v); }");
jaroslav@93
   370
                    break;
jaroslav@5
   371
                case bc_iinc: {
jtulach@128
   372
                    final int varIndx = readByte(byteCodes, ++i);
jaroslav@104
   373
                    final int incrBy = byteCodes[++i];
jaroslav@5
   374
                    if (incrBy == 1) {
jaroslav@5
   375
                        out.append("arg" + varIndx).append("++;");
jaroslav@5
   376
                    } else {
jaroslav@5
   377
                        out.append("arg" + varIndx).append(" += " + incrBy).append(";");
jaroslav@5
   378
                    }
jaroslav@5
   379
                    break;
jaroslav@5
   380
                }
jaroslav@10
   381
                case bc_return:
jaroslav@10
   382
                    out.append("return;");
jaroslav@10
   383
                    break;
jaroslav@2
   384
                case bc_ireturn:
jaroslav@2
   385
                case bc_lreturn:
jaroslav@2
   386
                case bc_freturn:
jaroslav@2
   387
                case bc_dreturn:
jaroslav@10
   388
                case bc_areturn:
jaroslav@0
   389
                    out.append("return stack.pop();");
jaroslav@1
   390
                    break;
jaroslav@2
   391
                case bc_i2l:
jaroslav@2
   392
                case bc_i2f:
jaroslav@2
   393
                case bc_i2d:
jaroslav@2
   394
                case bc_l2i:
jaroslav@3
   395
                    // max int check?
jaroslav@2
   396
                case bc_l2f:
jaroslav@2
   397
                case bc_l2d:
jaroslav@3
   398
                case bc_f2d:
jaroslav@3
   399
                case bc_d2f:
jaroslav@3
   400
                    out.append("/* number conversion */");
jaroslav@3
   401
                    break;
jaroslav@2
   402
                case bc_f2i:
jaroslav@2
   403
                case bc_f2l:
jaroslav@2
   404
                case bc_d2i:
jaroslav@2
   405
                case bc_d2l:
jaroslav@3
   406
                    out.append("stack.push(Math.floor(stack.pop()));");
jaroslav@3
   407
                    break;
jaroslav@2
   408
                case bc_i2b:
jaroslav@2
   409
                case bc_i2c:
jaroslav@2
   410
                case bc_i2s:
jaroslav@2
   411
                    out.append("/* number conversion */");
jaroslav@2
   412
                    break;
jaroslav@46
   413
                case bc_aconst_null:
jaroslav@46
   414
                    out.append("stack.push(null);");
jaroslav@46
   415
                    break;
jaroslav@48
   416
                case bc_iconst_m1:
jaroslav@48
   417
                    out.append("stack.push(-1);");
jaroslav@48
   418
                    break;
jaroslav@4
   419
                case bc_iconst_0:
jaroslav@4
   420
                case bc_dconst_0:
jaroslav@4
   421
                case bc_lconst_0:
jaroslav@4
   422
                case bc_fconst_0:
jaroslav@4
   423
                    out.append("stack.push(0);");
jaroslav@4
   424
                    break;
jaroslav@4
   425
                case bc_iconst_1:
jaroslav@4
   426
                case bc_lconst_1:
jaroslav@4
   427
                case bc_fconst_1:
jaroslav@4
   428
                case bc_dconst_1:
jaroslav@4
   429
                    out.append("stack.push(1);");
jaroslav@4
   430
                    break;
jaroslav@4
   431
                case bc_iconst_2:
jaroslav@4
   432
                case bc_fconst_2:
jaroslav@4
   433
                    out.append("stack.push(2);");
jaroslav@4
   434
                    break;
jaroslav@4
   435
                case bc_iconst_3:
jaroslav@4
   436
                    out.append("stack.push(3);");
jaroslav@4
   437
                    break;
jaroslav@4
   438
                case bc_iconst_4:
jaroslav@4
   439
                    out.append("stack.push(4);");
jaroslav@4
   440
                    break;
jaroslav@4
   441
                case bc_iconst_5:
jaroslav@4
   442
                    out.append("stack.push(5);");
jaroslav@4
   443
                    break;
jaroslav@20
   444
                case bc_ldc: {
jtulach@128
   445
                    int indx = readByte(byteCodes, ++i);
jaroslav@20
   446
                    CPEntry entry = jc.getConstantPool().get(indx);
jaroslav@21
   447
                    String v = encodeConstant(entry);
jaroslav@21
   448
                    out.append("stack.push(").append(v).append(");");
jaroslav@20
   449
                    break;
jaroslav@20
   450
                }
jaroslav@8
   451
                case bc_ldc_w:
jaroslav@8
   452
                case bc_ldc2_w: {
jaroslav@8
   453
                    int indx = readIntArg(byteCodes, i);
jaroslav@8
   454
                    CPEntry entry = jc.getConstantPool().get(indx);
jaroslav@8
   455
                    i += 2;
jaroslav@21
   456
                    String v = encodeConstant(entry);
jaroslav@21
   457
                    out.append("stack.push(").append(v).append(");");
jaroslav@8
   458
                    break;
jaroslav@8
   459
                }
jaroslav@20
   460
                case bc_lcmp:
jaroslav@20
   461
                case bc_fcmpl:
jaroslav@20
   462
                case bc_fcmpg:
jaroslav@20
   463
                case bc_dcmpl:
jaroslav@20
   464
                case bc_dcmpg: {
jaroslav@20
   465
                    out.append("{ var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); }");
jaroslav@20
   466
                    break;
jaroslav@20
   467
                }
jaroslav@104
   468
                case bc_if_acmpeq:
jaroslav@104
   469
                    i = generateIf(byteCodes, i, "===");
jaroslav@104
   470
                    break;
jaroslav@104
   471
                case bc_if_acmpne:
jaroslav@104
   472
                    i = generateIf(byteCodes, i, "!=");
jaroslav@104
   473
                    break;
jaroslav@4
   474
                case bc_if_icmpeq: {
jaroslav@4
   475
                    i = generateIf(byteCodes, i, "==");
jaroslav@4
   476
                    break;
jaroslav@4
   477
                }
jaroslav@7
   478
                case bc_ifeq: {
jaroslav@7
   479
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@7
   480
                    out.append("if (stack.pop() == 0) { gt = " + indx);
jaroslav@7
   481
                    out.append("; continue; }");
jaroslav@7
   482
                    i += 2;
jaroslav@7
   483
                    break;
jaroslav@7
   484
                }
jaroslav@20
   485
                case bc_ifne: {
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@20
   492
                case bc_iflt: {
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@20
   499
                case bc_ifle: {
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@20
   506
                case bc_ifgt: {
jaroslav@20
   507
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@20
   508
                    out.append("if (stack.pop() > 0) { gt = " + indx);
jaroslav@20
   509
                    out.append("; continue; }");
jaroslav@20
   510
                    i += 2;
jaroslav@20
   511
                    break;
jaroslav@20
   512
                }
jaroslav@20
   513
                case bc_ifge: {
jaroslav@20
   514
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@20
   515
                    out.append("if (stack.pop() >= 0) { gt = " + indx);
jaroslav@20
   516
                    out.append("; continue; }");
jaroslav@20
   517
                    i += 2;
jaroslav@20
   518
                    break;
jaroslav@20
   519
                }
jaroslav@16
   520
                case bc_ifnonnull: {
jaroslav@16
   521
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@16
   522
                    out.append("if (stack.pop()) { gt = " + indx);
jaroslav@16
   523
                    out.append("; continue; }");
jaroslav@16
   524
                    i += 2;
jaroslav@16
   525
                    break;
jaroslav@16
   526
                }
jaroslav@16
   527
                case bc_ifnull: {
jaroslav@16
   528
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@16
   529
                    out.append("if (!stack.pop()) { gt = " + indx);
jaroslav@16
   530
                    out.append("; continue; }");
jaroslav@16
   531
                    i += 2;
jaroslav@16
   532
                    break;
jaroslav@16
   533
                }
jaroslav@4
   534
                case bc_if_icmpne:
jaroslav@4
   535
                    i = generateIf(byteCodes, i, "!=");
jaroslav@4
   536
                    break;
jaroslav@4
   537
                case bc_if_icmplt:
jaroslav@4
   538
                    i = generateIf(byteCodes, i, ">");
jaroslav@4
   539
                    break;
jaroslav@4
   540
                case bc_if_icmple:
jaroslav@4
   541
                    i = generateIf(byteCodes, i, ">=");
jaroslav@4
   542
                    break;
jaroslav@4
   543
                case bc_if_icmpgt:
jaroslav@4
   544
                    i = generateIf(byteCodes, i, "<");
jaroslav@4
   545
                    break;
jaroslav@4
   546
                case bc_if_icmpge:
jaroslav@4
   547
                    i = generateIf(byteCodes, i, "<=");
jaroslav@4
   548
                    break;
jaroslav@5
   549
                case bc_goto: {
jaroslav@5
   550
                    int indx = i + readIntArg(byteCodes, i);
jaroslav@5
   551
                    out.append("gt = " + indx).append("; continue;");
jaroslav@5
   552
                    i += 2;
jaroslav@5
   553
                    break;
jaroslav@5
   554
                }
jaroslav@115
   555
                case bc_lookupswitch: {
jtulach@128
   556
                    int table = i / 4 * 4 + 4;
jaroslav@115
   557
                    int dflt = i + readInt4(byteCodes, table);
jaroslav@115
   558
                    table += 4;
jaroslav@115
   559
                    int n = readInt4(byteCodes, table);
jaroslav@115
   560
                    table += 4;
jaroslav@115
   561
                    out.append("switch (stack.pop()) {\n");
jaroslav@115
   562
                    while (n-- > 0) {
jaroslav@115
   563
                        int cnstnt = readInt4(byteCodes, table);
jaroslav@115
   564
                        table += 4;
jaroslav@115
   565
                        int offset = i + readInt4(byteCodes, table);
jaroslav@115
   566
                        table += 4;
jaroslav@115
   567
                        out.append("  case " + cnstnt).append(": gt = " + offset).append("; continue;\n");
jaroslav@115
   568
                    }
jaroslav@115
   569
                    out.append("  default: gt = " + dflt).append("; continue;\n}");
jaroslav@115
   570
                    i = table - 1;
jaroslav@115
   571
                    break;
jaroslav@115
   572
                }
jaroslav@115
   573
                case bc_tableswitch: {
jtulach@128
   574
                    int table = i / 4 * 4 + 4;
jaroslav@115
   575
                    int dflt = i + readInt4(byteCodes, table);
jaroslav@115
   576
                    table += 4;
jaroslav@115
   577
                    int low = readInt4(byteCodes, table);
jaroslav@115
   578
                    table += 4;
jaroslav@115
   579
                    int high = readInt4(byteCodes, table);
jaroslav@115
   580
                    table += 4;
jaroslav@115
   581
                    out.append("switch (stack.pop()) {\n");
jaroslav@115
   582
                    while (low <= high) {
jaroslav@115
   583
                        int offset = i + readInt4(byteCodes, table);
jaroslav@115
   584
                        table += 4;
jaroslav@115
   585
                        out.append("  case " + low).append(": gt = " + offset).append("; continue;\n");
jaroslav@115
   586
                        low++;
jaroslav@115
   587
                    }
jaroslav@115
   588
                    out.append("  default: gt = " + dflt).append("; continue;\n}");
jaroslav@115
   589
                    i = table - 1;
jaroslav@115
   590
                    break;
jaroslav@115
   591
                }
jaroslav@46
   592
                case bc_invokeinterface: {
jaroslav@46
   593
                    i = invokeVirtualMethod(byteCodes, i) + 2;
jaroslav@46
   594
                    break;
jaroslav@46
   595
                }
jaroslav@12
   596
                case bc_invokevirtual:
jaroslav@12
   597
                    i = invokeVirtualMethod(byteCodes, i);
jaroslav@12
   598
                    break;
jaroslav@10
   599
                case bc_invokespecial:
jaroslav@10
   600
                    i = invokeStaticMethod(byteCodes, i, false);
jaroslav@4
   601
                    break;
jaroslav@10
   602
                case bc_invokestatic:
jaroslav@10
   603
                    i = invokeStaticMethod(byteCodes, i, true);
jaroslav@10
   604
                    break;
jaroslav@8
   605
                case bc_new: {
jaroslav@8
   606
                    int indx = readIntArg(byteCodes, i);
jaroslav@8
   607
                    CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@8
   608
                    out.append("stack.push(");
jaroslav@18
   609
                    out.append("new ").append(ci.getClassName().getInternalName().replace('/','_'));
jaroslav@10
   610
                    out.append(");");
jaroslav@18
   611
                    addReference(ci.getClassName().getInternalName());
jaroslav@8
   612
                    i += 2;
jaroslav@8
   613
                    break;
jaroslav@8
   614
                }
jaroslav@21
   615
                case bc_newarray: {
jaroslav@21
   616
                    int type = byteCodes[i++];
jaroslav@21
   617
                    out.append("stack.push(new Array(stack.pop()));");
jaroslav@21
   618
                    break;
jaroslav@21
   619
                }
jaroslav@21
   620
                case bc_anewarray: {
jaroslav@21
   621
                    i += 2; // skip type of array
jaroslav@21
   622
                    out.append("stack.push(new Array(stack.pop()));");
jaroslav@21
   623
                    break;
jaroslav@21
   624
                }
jtulach@128
   625
                case bc_multianewarray: {
jtulach@128
   626
                    i += 2;
jtulach@128
   627
                    int dim = readByte(byteCodes, ++i);
jtulach@128
   628
                    out.append("{ var a0 = new Array(stack.pop());");
jtulach@128
   629
                    for (int d = 1; d < dim; d++) {
jtulach@128
   630
                        out.append("\n  var l" + d).append(" = stack.pop();");
jtulach@128
   631
                        out.append("\n  for (var i" + d).append (" = 0; i" + d).
jtulach@128
   632
                            append(" < a" + (d - 1)).
jtulach@128
   633
                            append(".length; i" + d).append("++) {");
jtulach@128
   634
                        out.append("\n    var a" + d).
jtulach@128
   635
                            append (" = new Array(l" + d).append(");");
jtulach@128
   636
                        out.append("\n    a" + (d - 1)).append("[i" + d).append("] = a" + d).
jtulach@128
   637
                            append(";");
jtulach@128
   638
                    }
jtulach@128
   639
                    for (int d = 1; d < dim; d++) {
jtulach@128
   640
                        out.append("\n  }");
jtulach@128
   641
                    }
jtulach@128
   642
                    out.append("\nstack.push(a0); }");
jtulach@128
   643
                    break;
jtulach@128
   644
                }
jaroslav@21
   645
                case bc_arraylength:
jaroslav@21
   646
                    out.append("stack.push(stack.pop().length);");
jaroslav@21
   647
                    break;
jaroslav@21
   648
                case bc_iastore:
jaroslav@21
   649
                case bc_lastore:
jaroslav@21
   650
                case bc_fastore:
jaroslav@21
   651
                case bc_dastore:
jaroslav@21
   652
                case bc_aastore:
jaroslav@21
   653
                case bc_bastore:
jaroslav@21
   654
                case bc_castore:
jaroslav@21
   655
                case bc_sastore: {
jaroslav@21
   656
                    out.append("{ var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; }");
jaroslav@21
   657
                    break;
jaroslav@21
   658
                }
jaroslav@21
   659
                case bc_iaload:
jaroslav@21
   660
                case bc_laload:
jaroslav@21
   661
                case bc_faload:
jaroslav@21
   662
                case bc_daload:
jaroslav@21
   663
                case bc_aaload:
jaroslav@21
   664
                case bc_baload:
jaroslav@21
   665
                case bc_caload:
jaroslav@21
   666
                case bc_saload: {
jaroslav@21
   667
                    out.append("{ var indx = stack.pop(); stack.push(stack.pop()[indx]); }");
jaroslav@21
   668
                    break;
jaroslav@21
   669
                }
jaroslav@93
   670
                case bc_pop2:
jaroslav@93
   671
                    out.append("stack.pop();");
jaroslav@93
   672
                case bc_pop:
jaroslav@93
   673
                    out.append("stack.pop();");
jaroslav@93
   674
                    break;
jaroslav@8
   675
                case bc_dup:
jaroslav@8
   676
                    out.append("stack.push(stack[stack.length - 1]);");
jaroslav@8
   677
                    break;
jaroslav@8
   678
                case bc_bipush:
jaroslav@8
   679
                    out.append("stack.push(" + byteCodes[++i] + ");");
jaroslav@8
   680
                    break;
jaroslav@31
   681
                case bc_sipush:
jaroslav@31
   682
                    out.append("stack.push(" + readIntArg(byteCodes, i) + ");");
jaroslav@31
   683
                    i += 2;
jaroslav@31
   684
                    break;
jaroslav@8
   685
                case bc_getfield: {
jaroslav@8
   686
                    int indx = readIntArg(byteCodes, i);
jaroslav@8
   687
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@21
   688
                    out.append("stack.push(stack.pop().").append(fi.getFieldName()).append(");");
jaroslav@8
   689
                    i += 2;
jaroslav@8
   690
                    break;
jaroslav@8
   691
                }
jaroslav@9
   692
                case bc_getstatic: {
jaroslav@9
   693
                    int indx = readIntArg(byteCodes, i);
jaroslav@9
   694
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@18
   695
                    final String in = fi.getClassName().getInternalName();
jaroslav@18
   696
                    out.append("stack.push(").append(in.replace('/', '_'));
jaroslav@9
   697
                    out.append('_').append(fi.getFieldName()).append(");");
jaroslav@9
   698
                    i += 2;
jaroslav@18
   699
                    addReference(in);
jaroslav@9
   700
                    break;
jaroslav@9
   701
                }
jaroslav@9
   702
                case bc_putstatic: {
jaroslav@9
   703
                    int indx = readIntArg(byteCodes, i);
jaroslav@9
   704
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@18
   705
                    final String in = fi.getClassName().getInternalName();
jaroslav@18
   706
                    out.append(in.replace('/', '_'));
jaroslav@9
   707
                    out.append('_').append(fi.getFieldName()).append(" = stack.pop();");
jaroslav@9
   708
                    i += 2;
jaroslav@18
   709
                    addReference(in);
jaroslav@9
   710
                    break;
jaroslav@9
   711
                }
jaroslav@10
   712
                case bc_putfield: {
jaroslav@10
   713
                    int indx = readIntArg(byteCodes, i);
jaroslav@10
   714
                    CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
jaroslav@10
   715
                    out.append("{ var v = stack.pop(); stack.pop().")
jaroslav@10
   716
                       .append(fi.getFieldName()).append(" = v; }");
jaroslav@10
   717
                    i += 2;
jaroslav@10
   718
                    break;
jaroslav@10
   719
                }
jaroslav@30
   720
                case bc_checkcast: {
jaroslav@30
   721
                    int indx = readIntArg(byteCodes, i);
jaroslav@30
   722
                    CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@42
   723
                    final String type = ci.getClassName().getType();
jaroslav@42
   724
                    if (!type.startsWith("[")) {
jaroslav@42
   725
                        // no way to check arrays right now
jaroslav@42
   726
                        out.append("if(stack[stack.length - 1].$instOf_")
jaroslav@42
   727
                           .append(type.replace('/', '_'))
jaroslav@42
   728
                           .append(" != 1) throw {};"); // XXX proper exception
jaroslav@42
   729
                    }
jaroslav@30
   730
                    i += 2;
jaroslav@30
   731
                    break;
jaroslav@30
   732
                }
jaroslav@17
   733
                case bc_instanceof: {
jaroslav@17
   734
                    int indx = readIntArg(byteCodes, i);
jaroslav@17
   735
                    CPClassInfo ci = jc.getConstantPool().getClass(indx);
jaroslav@17
   736
                    out.append("stack.push(stack.pop().$instOf_")
jaroslav@18
   737
                       .append(ci.getClassName().getInternalName().replace('/', '_'))
jaroslav@17
   738
                       .append(" ? 1 : 0);");
jaroslav@17
   739
                    i += 2;
jaroslav@30
   740
                    break;
jaroslav@17
   741
                }
jaroslav@104
   742
                case bc_athrow: {
jaroslav@104
   743
                    out.append("{ var t = stack.pop(); stack = new Array(1); stack[0] = t; throw t; }");
jaroslav@104
   744
                    break;
jaroslav@104
   745
                }
jaroslav@104
   746
                default: {
jaroslav@104
   747
                    out.append("throw 'unknown bytecode " + c + "';");
jaroslav@104
   748
                }
jaroslav@8
   749
                    
jaroslav@0
   750
            }
jaroslav@39
   751
            out.append(" //");
jaroslav@0
   752
            for (int j = prev; j <= i; j++) {
jaroslav@0
   753
                out.append(" ");
jtulach@128
   754
                final int cc = readByte(byteCodes, j);
jaroslav@0
   755
                out.append(Integer.toString(cc));
jaroslav@0
   756
            }
jaroslav@39
   757
            out.append("\n");
jaroslav@0
   758
        }
jaroslav@10
   759
        out.append("  }\n");
jaroslav@4
   760
    }
jaroslav@4
   761
jaroslav@4
   762
    private int generateIf(byte[] byteCodes, int i, final String test) throws IOException {
jaroslav@4
   763
        int indx = i + readIntArg(byteCodes, i);
jaroslav@4
   764
        out.append("if (stack.pop() ").append(test).append(" stack.pop()) { gt = " + indx);
jaroslav@4
   765
        out.append("; continue; }");
jaroslav@4
   766
        return i + 2;
jaroslav@4
   767
    }
jaroslav@4
   768
jaroslav@4
   769
    private int readIntArg(byte[] byteCodes, int offsetInstruction) {
jaroslav@5
   770
        final int indxHi = byteCodes[offsetInstruction + 1] << 8;
jaroslav@5
   771
        final int indxLo = byteCodes[offsetInstruction + 2];
jaroslav@5
   772
        return (indxHi & 0xffffff00) | (indxLo & 0xff);
jaroslav@4
   773
    }
jaroslav@115
   774
    private int readInt4(byte[] byteCodes, int offsetInstruction) {
jaroslav@115
   775
        final int d = byteCodes[offsetInstruction + 0] << 24;
jaroslav@115
   776
        final int c = byteCodes[offsetInstruction + 1] << 16;
jaroslav@115
   777
        final int b = byteCodes[offsetInstruction + 2] << 8;
jaroslav@115
   778
        final int a = byteCodes[offsetInstruction + 3];
jaroslav@115
   779
        return (d & 0xff000000) | (c & 0xff0000) | (b & 0xff00) | (a & 0xff);
jaroslav@115
   780
    }
jtulach@128
   781
    private int readByte(byte[] byteCodes, int offsetInstruction) {
jtulach@128
   782
        return (byteCodes[offsetInstruction] + 256) % 256;
jtulach@128
   783
    }
jaroslav@4
   784
    
jaroslav@4
   785
    private static int countArgs(String descriptor, boolean[] hasReturnType, StringBuilder sig) {
jaroslav@4
   786
        int cnt = 0;
jaroslav@4
   787
        int i = 0;
jaroslav@4
   788
        Boolean count = null;
jaroslav@32
   789
        boolean array = false;
jaroslav@10
   790
        int firstPos = sig.length();
jaroslav@4
   791
        while (i < descriptor.length()) {
jaroslav@4
   792
            char ch = descriptor.charAt(i++);
jaroslav@4
   793
            switch (ch) {
jaroslav@4
   794
                case '(':
jaroslav@4
   795
                    count = true;
jaroslav@4
   796
                    continue;
jaroslav@4
   797
                case ')':
jaroslav@4
   798
                    count = false;
jaroslav@4
   799
                    continue;
jaroslav@32
   800
                case 'A':
jaroslav@32
   801
                    array = true;
jaroslav@32
   802
                    break;
jaroslav@4
   803
                case 'B': 
jaroslav@4
   804
                case 'C': 
jaroslav@4
   805
                case 'D': 
jaroslav@4
   806
                case 'F': 
jaroslav@4
   807
                case 'I': 
jaroslav@4
   808
                case 'J': 
jaroslav@4
   809
                case 'S': 
jaroslav@4
   810
                case 'Z': 
jaroslav@4
   811
                    if (count) {
jaroslav@4
   812
                        cnt++;
jaroslav@32
   813
                        if (array) {
jaroslav@32
   814
                            sig.append('A');
jaroslav@32
   815
                        }
jaroslav@4
   816
                        sig.append(ch);
jaroslav@4
   817
                    } else {
jaroslav@4
   818
                        hasReturnType[0] = true;
jaroslav@10
   819
                        sig.insert(firstPos, ch);
jaroslav@32
   820
                        if (array) {
jaroslav@32
   821
                            sig.insert(firstPos, 'A');
jaroslav@32
   822
                        }
jaroslav@4
   823
                    }
jaroslav@93
   824
                    array = false;
jaroslav@4
   825
                    continue;
jaroslav@4
   826
                case 'V': 
jaroslav@4
   827
                    assert !count;
jaroslav@4
   828
                    hasReturnType[0] = false;
jaroslav@10
   829
                    sig.insert(firstPos, 'V');
jaroslav@4
   830
                    continue;
jaroslav@4
   831
                case 'L':
jaroslav@16
   832
                    int next = descriptor.indexOf(';', i);
jaroslav@4
   833
                    if (count) {
jaroslav@4
   834
                        cnt++;
jaroslav@32
   835
                        if (array) {
jaroslav@32
   836
                            sig.append('A');
jaroslav@32
   837
                        }
jaroslav@16
   838
                        sig.append(ch);
jaroslav@16
   839
                        sig.append(descriptor.substring(i, next).replace('/', '_'));
jaroslav@4
   840
                    } else {
jaroslav@16
   841
                        sig.insert(firstPos, descriptor.substring(i, next).replace('/', '_'));
jaroslav@16
   842
                        sig.insert(firstPos, ch);
jaroslav@32
   843
                        if (array) {
jaroslav@33
   844
                            sig.insert(firstPos, 'A');
jaroslav@32
   845
                        }
jaroslav@4
   846
                        hasReturnType[0] = true;
jaroslav@4
   847
                    }
jaroslav@16
   848
                    i = next + 1;
jaroslav@4
   849
                    continue;
jaroslav@4
   850
                case '[':
jaroslav@4
   851
                    //arrays++;
jaroslav@4
   852
                    continue;
jaroslav@4
   853
                default:
jaroslav@4
   854
                    break; // invalid character
jaroslav@4
   855
            }
jaroslav@4
   856
        }
jaroslav@4
   857
        return cnt;
jaroslav@0
   858
    }
jaroslav@9
   859
jaroslav@9
   860
    private void generateStaticField(Variable v) throws IOException {
jaroslav@9
   861
        out.append("\nvar ")
jaroslav@18
   862
           .append(jc.getName().getInternalName().replace('/', '_'))
jaroslav@9
   863
           .append('_').append(v.getName()).append(" = 0;");
jaroslav@9
   864
    }
jaroslav@10
   865
jaroslav@10
   866
    private String findMethodName(Method m) {
jaroslav@42
   867
        StringBuilder name = new StringBuilder();
jaroslav@42
   868
        String descr = m.getDescriptor();
jaroslav@10
   869
        if ("<init>".equals(m.getName())) { // NOI18N
jaroslav@42
   870
            name.append("cons"); // NOI18N
jaroslav@19
   871
        } else if ("<clinit>".equals(m.getName())) { // NOI18N
jaroslav@42
   872
            name.append("class"); // NOI18N
jaroslav@10
   873
        } else {
jaroslav@42
   874
            name.append(m.getName());
jaroslav@10
   875
        } 
jaroslav@42
   876
        
jaroslav@42
   877
        boolean hasReturn[] = { false };
jaroslav@42
   878
        countArgs(findDescriptor(m.getDescriptor()), hasReturn, name);
jaroslav@42
   879
        return name.toString();
jaroslav@10
   880
    }
jaroslav@10
   881
jaroslav@10
   882
    private String findMethodName(CPMethodInfo mi, int[] cnt, boolean[] hasReturn) {
jaroslav@10
   883
        StringBuilder name = new StringBuilder();
jaroslav@42
   884
        String descr = mi.getDescriptor();
jaroslav@10
   885
        if ("<init>".equals(mi.getName())) { // NOI18N
jaroslav@10
   886
            name.append("cons"); // NOI18N
jaroslav@10
   887
        } else {
jaroslav@10
   888
            name.append(mi.getName());
jaroslav@10
   889
        }
jaroslav@32
   890
        cnt[0] = countArgs(findDescriptor(mi.getDescriptor()), hasReturn, name);
jaroslav@10
   891
        return name.toString();
jaroslav@10
   892
    }
jaroslav@10
   893
jaroslav@10
   894
    private int invokeStaticMethod(byte[] byteCodes, int i, boolean isStatic)
jaroslav@10
   895
    throws IOException {
jaroslav@10
   896
        int methodIndex = readIntArg(byteCodes, i);
jaroslav@10
   897
        CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
jaroslav@10
   898
        boolean[] hasReturn = { false };
jaroslav@10
   899
        int[] cnt = { 0 };
jaroslav@10
   900
        String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@11
   901
        out.append("{ ");
jaroslav@11
   902
        for (int j = cnt[0] - 1; j >= 0; j--) {
jaroslav@11
   903
            out.append("var v" + j).append(" = stack.pop(); ");
jaroslav@11
   904
        }
jaroslav@11
   905
        
jaroslav@10
   906
        if (hasReturn[0]) {
jaroslav@10
   907
            out.append("stack.push(");
jaroslav@10
   908
        }
jaroslav@18
   909
        final String in = mi.getClassName().getInternalName();
jaroslav@18
   910
        out.append(in.replace('/', '_'));
jaroslav@102
   911
        if (isStatic) {
jaroslav@102
   912
            out.append(".prototype.");
jaroslav@102
   913
        } else {
jaroslav@102
   914
            out.append('_');
jaroslav@102
   915
        }
jaroslav@10
   916
        out.append(mn);
jaroslav@10
   917
        out.append('(');
jaroslav@10
   918
        String sep = "";
jaroslav@10
   919
        if (!isStatic) {
jaroslav@10
   920
            out.append("stack.pop()");
jaroslav@10
   921
            sep = ", ";
jaroslav@10
   922
        }
jaroslav@10
   923
        for (int j = 0; j < cnt[0]; j++) {
jaroslav@10
   924
            out.append(sep);
jaroslav@11
   925
            out.append("v" + j);
jaroslav@10
   926
            sep = ", ";
jaroslav@10
   927
        }
jaroslav@10
   928
        out.append(")");
jaroslav@10
   929
        if (hasReturn[0]) {
jaroslav@10
   930
            out.append(")");
jaroslav@10
   931
        }
jaroslav@11
   932
        out.append("; }");
jaroslav@10
   933
        i += 2;
jaroslav@18
   934
        addReference(in);
jaroslav@10
   935
        return i;
jaroslav@10
   936
    }
jaroslav@12
   937
    private int invokeVirtualMethod(byte[] byteCodes, int i)
jaroslav@12
   938
    throws IOException {
jaroslav@12
   939
        int methodIndex = readIntArg(byteCodes, i);
jaroslav@12
   940
        CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
jaroslav@12
   941
        boolean[] hasReturn = { false };
jaroslav@12
   942
        int[] cnt = { 0 };
jaroslav@12
   943
        String mn = findMethodName(mi, cnt, hasReturn);
jaroslav@12
   944
        out.append("{ ");
jaroslav@12
   945
        for (int j = cnt[0] - 1; j >= 0; j--) {
jaroslav@12
   946
            out.append("var v" + j).append(" = stack.pop(); ");
jaroslav@12
   947
        }
jaroslav@12
   948
        out.append("var self = stack.pop(); ");
jaroslav@12
   949
        if (hasReturn[0]) {
jaroslav@12
   950
            out.append("stack.push(");
jaroslav@12
   951
        }
jaroslav@12
   952
        out.append("self.");
jaroslav@12
   953
        out.append(mn);
jaroslav@12
   954
        out.append('(');
jaroslav@12
   955
        out.append("self");
jaroslav@12
   956
        for (int j = 0; j < cnt[0]; j++) {
jaroslav@12
   957
            out.append(", ");
jaroslav@12
   958
            out.append("v" + j);
jaroslav@12
   959
        }
jaroslav@12
   960
        out.append(")");
jaroslav@12
   961
        if (hasReturn[0]) {
jaroslav@12
   962
            out.append(")");
jaroslav@12
   963
        }
jaroslav@12
   964
        out.append("; }");
jaroslav@12
   965
        i += 2;
jaroslav@12
   966
        return i;
jaroslav@12
   967
    }
jaroslav@18
   968
    
jaroslav@103
   969
    private void addReference(String cn) throws IOException {
jaroslav@103
   970
        out.append(" /* needs ").append(cn).append(" */");
jaroslav@18
   971
        if (references != null) {
jaroslav@18
   972
            references.add(cn);
jaroslav@18
   973
        }
jaroslav@18
   974
    }
jaroslav@16
   975
jaroslav@33
   976
    private void outType(String d, StringBuilder out) {
jaroslav@33
   977
        int arr = 0;
jaroslav@33
   978
        while (d.charAt(0) == '[') {
jaroslav@33
   979
            out.append('A');
jaroslav@33
   980
            d = d.substring(1);
jaroslav@33
   981
        }
jaroslav@16
   982
        if (d.charAt(0) == 'L') {
jaroslav@16
   983
            assert d.charAt(d.length() - 1) == ';';
jaroslav@16
   984
            out.append(d.replace('/', '_').substring(0, d.length() - 1));
jaroslav@16
   985
        } else {
jaroslav@16
   986
            out.append(d);
jaroslav@16
   987
        }
jaroslav@16
   988
    }
jaroslav@21
   989
jaroslav@21
   990
    private String encodeConstant(CPEntry entry) {
jaroslav@21
   991
        final String v;
jaroslav@93
   992
        if (entry instanceof CPClassInfo) {
jaroslav@93
   993
            v = "new java_lang_Class";
jaroslav@93
   994
        } else if (entry instanceof CPStringInfo) {
jaroslav@21
   995
            v = "\"" + entry.getValue().toString().replace("\"", "\\\"") + "\"";
jaroslav@21
   996
        } else {
jaroslav@21
   997
            v = entry.getValue().toString();
jaroslav@21
   998
        }
jaroslav@21
   999
        return v;
jaroslav@21
  1000
    }
jaroslav@32
  1001
jaroslav@32
  1002
    private String findDescriptor(String d) {
jaroslav@32
  1003
        return d.replace('[', 'A');
jaroslav@32
  1004
    }
jaroslav@94
  1005
jaroslav@94
  1006
    private boolean javaScriptBody(Method m, boolean isStatic) throws IOException {
jaroslav@94
  1007
        final ClassName extraAnn = ClassName.getClassName(JavaScriptBody.class.getName().replace('.', '/'));
jaroslav@94
  1008
        Annotation a = m.getAnnotation(extraAnn);
jaroslav@94
  1009
        if (a != null) {
jaroslav@94
  1010
            final ElementValue annVal = a.getComponent("body").getValue();
jaroslav@94
  1011
            String body = ((PrimitiveElementValue) annVal).getValue().getValue().toString();
jaroslav@94
  1012
            
jaroslav@94
  1013
            final ArrayElementValue arrVal = (ArrayElementValue) a.getComponent("args").getValue();
jaroslav@94
  1014
            final int len = arrVal.getValues().length;
jaroslav@94
  1015
            String[] names = new String[len];
jaroslav@94
  1016
            for (int i = 0; i < len; i++) {
jaroslav@94
  1017
                names[i] = ((PrimitiveElementValue) arrVal.getValues()[i]).getValue().getValue().toString();
jaroslav@94
  1018
            }
jaroslav@94
  1019
            out.append("\nfunction ").append(
jaroslav@94
  1020
                jc.getName().getInternalName().replace('/', '_')).append('_').append(findMethodName(m));
jaroslav@94
  1021
            out.append("(");
jaroslav@94
  1022
            String space;
jaroslav@94
  1023
            int index;
jaroslav@94
  1024
            if (!isStatic) {                
jaroslav@94
  1025
                out.append(names[0]);
jaroslav@94
  1026
                space = ",";
jaroslav@94
  1027
                index = 1;
jaroslav@94
  1028
            } else {
jaroslav@94
  1029
                space = "";
jaroslav@94
  1030
                index = 0;
jaroslav@94
  1031
            }
jaroslav@94
  1032
            List<Parameter> args = m.getParameters();
jaroslav@94
  1033
            for (int i = 0; i < args.size(); i++) {
jaroslav@94
  1034
                out.append(space);
jaroslav@94
  1035
                out.append(names[index]);
jaroslav@94
  1036
                final String desc = findDescriptor(args.get(i).getDescriptor());
jaroslav@94
  1037
                index++;
jaroslav@99
  1038
                space = ",";
jaroslav@94
  1039
            }
jaroslav@94
  1040
            out.append(") {").append("\n");
jaroslav@94
  1041
            out.append(body);
jaroslav@94
  1042
            out.append("\n}\n");
jaroslav@94
  1043
            return true;
jaroslav@94
  1044
        }
jaroslav@94
  1045
        return false;
jaroslav@94
  1046
    }
jaroslav@0
  1047
}