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