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