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