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