vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Tue, 25 Sep 2012 12:26:29 +0200
changeset 30 7efb52f76270
parent 22 b9318fe303cd
child 31 3072c9fab69c
permissions -rw-r--r--
Support for casts
     1 /*
     2 Java 4 Browser Bytecode Translator
     3 Copyright (C) 2012-2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
     4 
     5 This program is free software: you can redistribute it and/or modify
     6 it under the terms of the GNU General Public License as published by
     7 the Free Software Foundation, version 2 of the License.
     8 
     9 This program is distributed in the hope that it will be useful,
    10 but WITHOUT ANY WARRANTY; without even the implied warranty of
    11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    12 GNU General Public License for more details.
    13 
    14 You should have received a copy of the GNU General Public License
    15 along with this program. Look for COPYING file in the top folder.
    16 If not, see http://opensource.org/licenses/GPL-2.0.
    17 */
    18 package org.apidesign.vm4brwsr;
    19 
    20 import java.io.IOException;
    21 import java.io.InputStream;
    22 import java.util.ArrayList;
    23 import java.util.Collection;
    24 import java.util.List;
    25 import static org.netbeans.modules.classfile.ByteCodes.*;
    26 import org.netbeans.modules.classfile.CPClassInfo;
    27 import org.netbeans.modules.classfile.CPEntry;
    28 import org.netbeans.modules.classfile.CPFieldInfo;
    29 import org.netbeans.modules.classfile.CPMethodInfo;
    30 import org.netbeans.modules.classfile.CPStringInfo;
    31 import org.netbeans.modules.classfile.ClassFile;
    32 import org.netbeans.modules.classfile.ClassName;
    33 import org.netbeans.modules.classfile.Code;
    34 import org.netbeans.modules.classfile.Method;
    35 import org.netbeans.modules.classfile.Parameter;
    36 import org.netbeans.modules.classfile.Variable;
    37 
    38 /** Translator of the code inside class files to JavaScript.
    39  *
    40  * @author Jaroslav Tulach <jtulach@netbeans.org>
    41  */
    42 public final class ByteCodeToJavaScript {
    43     private final ClassFile jc;
    44     private final Appendable out;
    45     private final Collection<? super String> references;
    46 
    47     private ByteCodeToJavaScript(
    48         ClassFile jc, Appendable out, Collection<? super String> references
    49     ) {
    50         this.jc = jc;
    51         this.out = out;
    52         this.references = references;
    53     }
    54 
    55     /**
    56      * Converts a given class file to a JavaScript version.
    57      *
    58      * @param classFile input stream with code of the .class file
    59      * @param out a {@link StringBuilder} or similar to generate the output to
    60      * @param references a write only collection where the system adds list of
    61      *   other classes that were referenced and should be loaded in order the
    62      *   generated JavaScript code works properly. The names are in internal 
    63      *   JVM form so String is <code>java/lang/String</code>. Can be <code>null</code>
    64      *   if one is not interested in knowing references
    65      * @throws IOException if something goes wrong during read or write or translating
    66      */
    67     
    68     public static void compile(
    69         InputStream classFile, Appendable out,
    70         Collection<? super String> references
    71     ) throws IOException {
    72         ClassFile jc = new ClassFile(classFile, true);
    73         ByteCodeToJavaScript compiler = new ByteCodeToJavaScript(
    74             jc, out, references
    75         );
    76         List<String> toInitilize = new ArrayList<String>();
    77         for (Method m : jc.getMethods()) {
    78             if (m.isStatic()) {
    79                 compiler.generateStaticMethod(m, toInitilize);
    80             } else {
    81                 compiler.generateInstanceMethod(m);
    82             }
    83         }
    84         for (Variable v : jc.getVariables()) {
    85             if (v.isStatic()) {
    86                 compiler.generateStaticField(v);
    87             }
    88         }
    89         
    90         final String className = jc.getName().getInternalName().replace('/', '_');
    91         out.append("\nfunction ").append(className);
    92         out.append("() {");
    93         for (Method m : jc.getMethods()) {
    94             if (!m.isStatic()) {
    95                 compiler.generateMethodReference(m);
    96             }
    97         }
    98         for (Variable v : jc.getVariables()) {
    99             if (!v.isStatic()) {
   100                 out.append("\n  this." + v.getName() + " = 0;");
   101             }
   102         }
   103         out.append("\n  this.$instOf_").append(className).append(" = true;");
   104         for (ClassName superInterface : jc.getInterfaces()) {
   105             out.append("\n  this.$instOf_").append(superInterface.getInternalName().replace('/', '_')).append(" = true;");
   106         }
   107         out.append("\n}");
   108         ClassName sc = jc.getSuperClass();
   109         if (sc != null) {
   110             out.append("\n").append(className)
   111                .append(".prototype = new ").append(sc.getInternalName().replace('/', '_'));
   112         }
   113         for (String init : toInitilize) {
   114             out.append("\n").append(init).append("();");
   115         }
   116     }
   117     private void generateStaticMethod(Method m, List<String> toInitilize) throws IOException {
   118         final String mn = findMethodName(m);
   119         out.append("\nfunction ").append(
   120             jc.getName().getInternalName().replace('/', '_')
   121         ).append('_').append(mn);
   122         if (mn.equals("classV")) {
   123             toInitilize.add(jc.getName().getInternalName().replace('/', '_') + '_' + mn);
   124         }
   125         out.append('(');
   126         String space = "";
   127         List<Parameter> args = m.getParameters();
   128         for (int index = 0, i = 0; i < args.size(); i++) {
   129             out.append(space);
   130             out.append("arg").append(String.valueOf(index));
   131             space = ",";
   132             final String desc = args.get(i).getDescriptor();
   133             if ("D".equals(desc) || "J".equals(desc)) {
   134                 index += 2;
   135             } else {
   136                 index++;
   137             }
   138         }
   139         out.append(") {").append("\n");
   140         final Code code = m.getCode();
   141         if (code != null) {
   142             int len = code.getMaxLocals();
   143             for (int index = args.size(), i = args.size(); i < len; i++) {
   144                 out.append("  var ");
   145                 out.append("arg").append(String.valueOf(i)).append(";\n");
   146             }
   147             out.append("  var stack = new Array();\n");
   148             produceCode(code.getByteCodes());
   149         } else {
   150             out.append("  /* no code found for ").append(m.getTypeSignature()).append(" */\n");
   151         }
   152         out.append("}");
   153     }
   154     
   155     private void generateMethodReference(Method m) throws IOException {
   156         final String name = findMethodName(m);
   157         out.append("\n  this.").append(name).append(" = ")
   158            .append(jc.getName().getInternalName().replace('/', '_'))
   159            .append('_').append(name).append(";");
   160     }
   161     
   162     private void generateInstanceMethod(Method m) throws IOException {
   163         out.append("\nfunction ").append(
   164             jc.getName().getInternalName().replace('/', '_')
   165         ).append('_').append(findMethodName(m));
   166         out.append("(arg0");
   167         String space = ",";
   168         List<Parameter> args = m.getParameters();
   169         for (int index = 1, i = 0; i < args.size(); i++) {
   170             out.append(space);
   171             out.append("arg").append(String.valueOf(index));
   172             final String desc = args.get(i).getDescriptor();
   173             if ("D".equals(desc) || "J".equals(desc)) {
   174                 index += 2;
   175             } else {
   176                 index++;
   177             }
   178         }
   179         out.append(") {").append("\n");
   180         final Code code = m.getCode();
   181         if (code != null) {
   182             int len = code.getMaxLocals();
   183             for (int index = args.size(), i = args.size(); i < len; i++) {
   184                 out.append("  var ");
   185                 out.append("arg").append(String.valueOf(i + 1)).append(";\n");
   186             }
   187             out.append(";\n  var stack = new Array(");
   188             out.append(Integer.toString(code.getMaxStack()));
   189             out.append(");\n");
   190             produceCode(code.getByteCodes());
   191         } else {
   192             out.append("  /* no code found for ").append(m.getTypeSignature()).append(" */\n");
   193         }
   194         out.append("}");
   195     }
   196 
   197     private void produceCode(byte[] byteCodes) throws IOException {
   198         out.append("\n  var gt = 0;\n  for(;;) switch(gt) {\n");
   199         for (int i = 0; i < byteCodes.length; i++) {
   200             int prev = i;
   201             out.append("    case " + i).append(": ");
   202             final int c = (byteCodes[i] + 256) % 256;
   203             switch (c) {
   204                 case bc_aload_0:
   205                 case bc_iload_0:
   206                 case bc_lload_0:
   207                 case bc_fload_0:
   208                 case bc_dload_0:
   209                     out.append("stack.push(arg0);");
   210                     break;
   211                 case bc_aload_1:
   212                 case bc_iload_1:
   213                 case bc_lload_1:
   214                 case bc_fload_1:
   215                 case bc_dload_1:
   216                     out.append("stack.push(arg1);");
   217                     break;
   218                 case bc_aload_2:
   219                 case bc_iload_2:
   220                 case bc_lload_2:
   221                 case bc_fload_2:
   222                 case bc_dload_2:
   223                     out.append("stack.push(arg2);");
   224                     break;
   225                 case bc_aload_3:
   226                 case bc_iload_3:
   227                 case bc_lload_3:
   228                 case bc_fload_3:
   229                 case bc_dload_3:
   230                     out.append("stack.push(arg3);");
   231                     break;
   232                 case bc_iload:
   233                 case bc_lload:
   234                 case bc_fload:
   235                 case bc_dload:
   236                 case bc_aload: {
   237                     final int indx = (byteCodes[++i] + 256) % 256;
   238                     out.append("stack.push(arg").append(indx + ");");
   239                     break;
   240                 }
   241                 case bc_astore_0:
   242                 case bc_istore_0:
   243                 case bc_lstore_0:
   244                 case bc_fstore_0:
   245                 case bc_dstore_0:
   246                     out.append("arg0 = stack.pop();");
   247                     break;
   248                 case bc_astore_1:
   249                 case bc_istore_1:
   250                 case bc_lstore_1:
   251                 case bc_fstore_1:
   252                 case bc_dstore_1:
   253                     out.append("arg1 = stack.pop();");
   254                     break;
   255                 case bc_astore_2:
   256                 case bc_istore_2:
   257                 case bc_lstore_2:
   258                 case bc_fstore_2:
   259                 case bc_dstore_2:
   260                     out.append("arg2 = stack.pop();");
   261                     break;
   262                 case bc_astore_3:
   263                 case bc_istore_3:
   264                 case bc_lstore_3:
   265                 case bc_fstore_3:
   266                 case bc_dstore_3:
   267                     out.append("arg3 = stack.pop();");
   268                     break;
   269                 case bc_iadd:
   270                 case bc_ladd:
   271                 case bc_fadd:
   272                 case bc_dadd:
   273                     out.append("stack.push(stack.pop() + stack.pop());");
   274                     break;
   275                 case bc_isub:
   276                 case bc_lsub:
   277                 case bc_fsub:
   278                 case bc_dsub:
   279                     out.append("{ var tmp = stack.pop(); stack.push(stack.pop() - tmp); }");
   280                     break;
   281                 case bc_imul:
   282                 case bc_lmul:
   283                 case bc_fmul:
   284                 case bc_dmul:
   285                     out.append("stack.push(stack.pop() * stack.pop());");
   286                     break;
   287                 case bc_idiv:
   288                 case bc_ldiv:
   289                     out.append("{ var tmp = stack.pop(); stack.push(Math.floor(stack.pop() / tmp)); }");
   290                     break;
   291                 case bc_fdiv:
   292                 case bc_ddiv:
   293                     out.append("{ var tmp = stack.pop(); stack.push(stack.pop() / tmp); }");
   294                     break;
   295                 case bc_iand:
   296                 case bc_land:
   297                     out.append("stack.push(stack.pop() & stack.pop());");
   298                     break;
   299                 case bc_ior:
   300                 case bc_lor:
   301                     out.append("stack.push(stack.pop() | stack.pop());");
   302                     break;
   303                 case bc_ixor:
   304                 case bc_lxor:
   305                     out.append("stack.push(stack.pop() ^ stack.pop());");
   306                     break;
   307                 case bc_iinc: {
   308                     final int varIndx = (byteCodes[++i] + 256) % 256;
   309                     final int incrBy = (byteCodes[++i] + 256) % 256;
   310                     if (incrBy == 1) {
   311                         out.append("arg" + varIndx).append("++;");
   312                     } else {
   313                         out.append("arg" + varIndx).append(" += " + incrBy).append(";");
   314                     }
   315                     break;
   316                 }
   317                 case bc_return:
   318                     out.append("return;");
   319                     break;
   320                 case bc_ireturn:
   321                 case bc_lreturn:
   322                 case bc_freturn:
   323                 case bc_dreturn:
   324                 case bc_areturn:
   325                     out.append("return stack.pop();");
   326                     break;
   327                 case bc_i2l:
   328                 case bc_i2f:
   329                 case bc_i2d:
   330                 case bc_l2i:
   331                     // max int check?
   332                 case bc_l2f:
   333                 case bc_l2d:
   334                 case bc_f2d:
   335                 case bc_d2f:
   336                     out.append("/* number conversion */");
   337                     break;
   338                 case bc_f2i:
   339                 case bc_f2l:
   340                 case bc_d2i:
   341                 case bc_d2l:
   342                     out.append("stack.push(Math.floor(stack.pop()));");
   343                     break;
   344                 case bc_i2b:
   345                 case bc_i2c:
   346                 case bc_i2s:
   347                     out.append("/* number conversion */");
   348                     break;
   349                 case bc_iconst_0:
   350                 case bc_dconst_0:
   351                 case bc_lconst_0:
   352                 case bc_fconst_0:
   353                     out.append("stack.push(0);");
   354                     break;
   355                 case bc_iconst_1:
   356                 case bc_lconst_1:
   357                 case bc_fconst_1:
   358                 case bc_dconst_1:
   359                     out.append("stack.push(1);");
   360                     break;
   361                 case bc_iconst_2:
   362                 case bc_fconst_2:
   363                     out.append("stack.push(2);");
   364                     break;
   365                 case bc_iconst_3:
   366                     out.append("stack.push(3);");
   367                     break;
   368                 case bc_iconst_4:
   369                     out.append("stack.push(4);");
   370                     break;
   371                 case bc_iconst_5:
   372                     out.append("stack.push(5);");
   373                     break;
   374                 case bc_ldc: {
   375                     int indx = byteCodes[++i];
   376                     CPEntry entry = jc.getConstantPool().get(indx);
   377                     String v = encodeConstant(entry);
   378                     out.append("stack.push(").append(v).append(");");
   379                     break;
   380                 }
   381                 case bc_ldc_w:
   382                 case bc_ldc2_w: {
   383                     int indx = readIntArg(byteCodes, i);
   384                     CPEntry entry = jc.getConstantPool().get(indx);
   385                     i += 2;
   386                     String v = encodeConstant(entry);
   387                     out.append("stack.push(").append(v).append(");");
   388                     break;
   389                 }
   390                 case bc_lcmp:
   391                 case bc_fcmpl:
   392                 case bc_fcmpg:
   393                 case bc_dcmpl:
   394                 case bc_dcmpg: {
   395                     out.append("{ var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); }");
   396                     break;
   397                 }
   398                 case bc_if_icmpeq: {
   399                     i = generateIf(byteCodes, i, "==");
   400                     break;
   401                 }
   402                 case bc_ifeq: {
   403                     int indx = i + readIntArg(byteCodes, i);
   404                     out.append("if (stack.pop() == 0) { gt = " + indx);
   405                     out.append("; continue; }");
   406                     i += 2;
   407                     break;
   408                 }
   409                 case bc_ifne: {
   410                     int indx = i + readIntArg(byteCodes, i);
   411                     out.append("if (stack.pop() != 0) { gt = " + indx);
   412                     out.append("; continue; }");
   413                     i += 2;
   414                     break;
   415                 }
   416                 case bc_iflt: {
   417                     int indx = i + readIntArg(byteCodes, i);
   418                     out.append("if (stack.pop() < 0) { gt = " + indx);
   419                     out.append("; continue; }");
   420                     i += 2;
   421                     break;
   422                 }
   423                 case bc_ifle: {
   424                     int indx = i + readIntArg(byteCodes, i);
   425                     out.append("if (stack.pop() <= 0) { gt = " + indx);
   426                     out.append("; continue; }");
   427                     i += 2;
   428                     break;
   429                 }
   430                 case bc_ifgt: {
   431                     int indx = i + readIntArg(byteCodes, i);
   432                     out.append("if (stack.pop() > 0) { gt = " + indx);
   433                     out.append("; continue; }");
   434                     i += 2;
   435                     break;
   436                 }
   437                 case bc_ifge: {
   438                     int indx = i + readIntArg(byteCodes, i);
   439                     out.append("if (stack.pop() >= 0) { gt = " + indx);
   440                     out.append("; continue; }");
   441                     i += 2;
   442                     break;
   443                 }
   444                 case bc_ifnonnull: {
   445                     int indx = i + readIntArg(byteCodes, i);
   446                     out.append("if (stack.pop()) { gt = " + indx);
   447                     out.append("; continue; }");
   448                     i += 2;
   449                     break;
   450                 }
   451                 case bc_ifnull: {
   452                     int indx = i + readIntArg(byteCodes, i);
   453                     out.append("if (!stack.pop()) { gt = " + indx);
   454                     out.append("; continue; }");
   455                     i += 2;
   456                     break;
   457                 }
   458                 case bc_if_icmpne:
   459                     i = generateIf(byteCodes, i, "!=");
   460                     break;
   461                 case bc_if_icmplt:
   462                     i = generateIf(byteCodes, i, ">");
   463                     break;
   464                 case bc_if_icmple:
   465                     i = generateIf(byteCodes, i, ">=");
   466                     break;
   467                 case bc_if_icmpgt:
   468                     i = generateIf(byteCodes, i, "<");
   469                     break;
   470                 case bc_if_icmpge:
   471                     i = generateIf(byteCodes, i, "<=");
   472                     break;
   473                 case bc_goto: {
   474                     int indx = i + readIntArg(byteCodes, i);
   475                     out.append("gt = " + indx).append("; continue;");
   476                     i += 2;
   477                     break;
   478                 }
   479                 case bc_invokeinterface:
   480                 case bc_invokevirtual:
   481                     i = invokeVirtualMethod(byteCodes, i);
   482                     break;
   483                 case bc_invokespecial:
   484                     i = invokeStaticMethod(byteCodes, i, false);
   485                     break;
   486                 case bc_invokestatic:
   487                     i = invokeStaticMethod(byteCodes, i, true);
   488                     break;
   489                 case bc_new: {
   490                     int indx = readIntArg(byteCodes, i);
   491                     CPClassInfo ci = jc.getConstantPool().getClass(indx);
   492                     out.append("stack.push(");
   493                     out.append("new ").append(ci.getClassName().getInternalName().replace('/','_'));
   494                     out.append(");");
   495                     addReference(ci.getClassName().getInternalName());
   496                     i += 2;
   497                     break;
   498                 }
   499                 case bc_newarray: {
   500                     int type = byteCodes[i++];
   501                     out.append("stack.push(new Array(stack.pop()));");
   502                     break;
   503                 }
   504                 case bc_anewarray: {
   505                     i += 2; // skip type of array
   506                     out.append("stack.push(new Array(stack.pop()));");
   507                     break;
   508                 }
   509                 case bc_arraylength:
   510                     out.append("stack.push(stack.pop().length);");
   511                     break;
   512                 case bc_iastore:
   513                 case bc_lastore:
   514                 case bc_fastore:
   515                 case bc_dastore:
   516                 case bc_aastore:
   517                 case bc_bastore:
   518                 case bc_castore:
   519                 case bc_sastore: {
   520                     out.append("{ var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; }");
   521                     break;
   522                 }
   523                 case bc_iaload:
   524                 case bc_laload:
   525                 case bc_faload:
   526                 case bc_daload:
   527                 case bc_aaload:
   528                 case bc_baload:
   529                 case bc_caload:
   530                 case bc_saload: {
   531                     out.append("{ var indx = stack.pop(); stack.push(stack.pop()[indx]); }");
   532                     break;
   533                 }
   534                 case bc_dup:
   535                     out.append("stack.push(stack[stack.length - 1]);");
   536                     break;
   537                 case bc_bipush:
   538                     out.append("stack.push(" + byteCodes[++i] + ");");
   539                     break;
   540                 case bc_getfield: {
   541                     int indx = readIntArg(byteCodes, i);
   542                     CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
   543                     out.append("stack.push(stack.pop().").append(fi.getFieldName()).append(");");
   544                     i += 2;
   545                     break;
   546                 }
   547                 case bc_getstatic: {
   548                     int indx = readIntArg(byteCodes, i);
   549                     CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
   550                     final String in = fi.getClassName().getInternalName();
   551                     out.append("stack.push(").append(in.replace('/', '_'));
   552                     out.append('_').append(fi.getFieldName()).append(");");
   553                     i += 2;
   554                     addReference(in);
   555                     break;
   556                 }
   557                 case bc_putstatic: {
   558                     int indx = readIntArg(byteCodes, i);
   559                     CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
   560                     final String in = fi.getClassName().getInternalName();
   561                     out.append(in.replace('/', '_'));
   562                     out.append('_').append(fi.getFieldName()).append(" = stack.pop();");
   563                     i += 2;
   564                     addReference(in);
   565                     break;
   566                 }
   567                 case bc_putfield: {
   568                     int indx = readIntArg(byteCodes, i);
   569                     CPFieldInfo fi = (CPFieldInfo) jc.getConstantPool().get(indx);
   570                     out.append("{ var v = stack.pop(); stack.pop().")
   571                        .append(fi.getFieldName()).append(" = v; }");
   572                     i += 2;
   573                     break;
   574                 }
   575                 case bc_checkcast: {
   576                     int indx = readIntArg(byteCodes, i);
   577                     CPClassInfo ci = jc.getConstantPool().getClass(indx);
   578                     out.append("if(stack[stack.length - 1].$instOf_")
   579                        .append(ci.getClassName().getInternalName().replace('/', '_'))
   580                        .append(" != 1) throw {};"); // XXX proper exception
   581                     i += 2;
   582                     break;
   583                 }
   584                 case bc_instanceof: {
   585                     int indx = readIntArg(byteCodes, i);
   586                     CPClassInfo ci = jc.getConstantPool().getClass(indx);
   587                     out.append("stack.push(stack.pop().$instOf_")
   588                        .append(ci.getClassName().getInternalName().replace('/', '_'))
   589                        .append(" ? 1 : 0);");
   590                     i += 2;
   591                     break;
   592                 }
   593                     
   594             }
   595             out.append(" /*");
   596             for (int j = prev; j <= i; j++) {
   597                 out.append(" ");
   598                 final int cc = (byteCodes[j] + 256) % 256;
   599                 out.append(Integer.toString(cc));
   600             }
   601             out.append("*/\n");
   602         }
   603         out.append("  }\n");
   604     }
   605 
   606     private int generateIf(byte[] byteCodes, int i, final String test) throws IOException {
   607         int indx = i + readIntArg(byteCodes, i);
   608         out.append("if (stack.pop() ").append(test).append(" stack.pop()) { gt = " + indx);
   609         out.append("; continue; }");
   610         return i + 2;
   611     }
   612 
   613     private int readIntArg(byte[] byteCodes, int offsetInstruction) {
   614         final int indxHi = byteCodes[offsetInstruction + 1] << 8;
   615         final int indxLo = byteCodes[offsetInstruction + 2];
   616         return (indxHi & 0xffffff00) | (indxLo & 0xff);
   617     }
   618     
   619     private static int countArgs(String descriptor, boolean[] hasReturnType, StringBuilder sig) {
   620         int cnt = 0;
   621         int i = 0;
   622         Boolean count = null;
   623         int firstPos = sig.length();
   624         while (i < descriptor.length()) {
   625             char ch = descriptor.charAt(i++);
   626             switch (ch) {
   627                 case '(':
   628                     count = true;
   629                     continue;
   630                 case ')':
   631                     count = false;
   632                     continue;
   633                 case 'B': 
   634                 case 'C': 
   635                 case 'D': 
   636                 case 'F': 
   637                 case 'I': 
   638                 case 'J': 
   639                 case 'S': 
   640                 case 'Z': 
   641                     if (count) {
   642                         cnt++;
   643                         sig.append(ch);
   644                     } else {
   645                         hasReturnType[0] = true;
   646                         sig.insert(firstPos, ch);
   647                     }
   648                     continue;
   649                 case 'V': 
   650                     assert !count;
   651                     hasReturnType[0] = false;
   652                     sig.insert(firstPos, 'V');
   653                     continue;
   654                 case 'L':
   655                     int next = descriptor.indexOf(';', i);
   656                     if (count) {
   657                         cnt++;
   658                         sig.append(ch);
   659                         sig.append(descriptor.substring(i, next).replace('/', '_'));
   660                     } else {
   661                         sig.insert(firstPos, descriptor.substring(i, next).replace('/', '_'));
   662                         sig.insert(firstPos, ch);
   663                         hasReturnType[0] = true;
   664                     }
   665                     i = next + 1;
   666                     continue;
   667                 case '[':
   668                     //arrays++;
   669                     continue;
   670                 default:
   671                     break; // invalid character
   672             }
   673         }
   674         return cnt;
   675     }
   676 
   677     private void generateStaticField(Variable v) throws IOException {
   678         out.append("\nvar ")
   679            .append(jc.getName().getInternalName().replace('/', '_'))
   680            .append('_').append(v.getName()).append(" = 0;");
   681     }
   682 
   683     private String findMethodName(Method m) {
   684         StringBuilder tmp = new StringBuilder();
   685         if ("<init>".equals(m.getName())) { // NOI18N
   686             tmp.append("consV"); // NOI18N
   687         } else if ("<clinit>".equals(m.getName())) { // NOI18N
   688             tmp.append("classV"); // NOI18N
   689         } else {
   690             tmp.append(m.getName());
   691             outType(m.getReturnType(), tmp);
   692         } 
   693         List<Parameter> args = m.getParameters();
   694         for (Parameter t : args) {
   695             outType(t.getDescriptor(), tmp);
   696         }
   697         return tmp.toString();
   698     }
   699 
   700     private String findMethodName(CPMethodInfo mi, int[] cnt, boolean[] hasReturn) {
   701         StringBuilder name = new StringBuilder();
   702         if ("<init>".equals(mi.getName())) { // NOI18N
   703             name.append("cons"); // NOI18N
   704         } else {
   705             name.append(mi.getName());
   706         }
   707         cnt[0] = countArgs(mi.getDescriptor(), hasReturn, name);
   708         return name.toString();
   709     }
   710 
   711     private int invokeStaticMethod(byte[] byteCodes, int i, boolean isStatic)
   712     throws IOException {
   713         int methodIndex = readIntArg(byteCodes, i);
   714         CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
   715         boolean[] hasReturn = { false };
   716         int[] cnt = { 0 };
   717         String mn = findMethodName(mi, cnt, hasReturn);
   718         out.append("{ ");
   719         for (int j = cnt[0] - 1; j >= 0; j--) {
   720             out.append("var v" + j).append(" = stack.pop(); ");
   721         }
   722         
   723         if (hasReturn[0]) {
   724             out.append("stack.push(");
   725         }
   726         final String in = mi.getClassName().getInternalName();
   727         out.append(in.replace('/', '_'));
   728         out.append('_');
   729         out.append(mn);
   730         out.append('(');
   731         String sep = "";
   732         if (!isStatic) {
   733             out.append("stack.pop()");
   734             sep = ", ";
   735         }
   736         for (int j = 0; j < cnt[0]; j++) {
   737             out.append(sep);
   738             out.append("v" + j);
   739             sep = ", ";
   740         }
   741         out.append(")");
   742         if (hasReturn[0]) {
   743             out.append(")");
   744         }
   745         out.append("; }");
   746         i += 2;
   747         addReference(in);
   748         return i;
   749     }
   750     private int invokeVirtualMethod(byte[] byteCodes, int i)
   751     throws IOException {
   752         int methodIndex = readIntArg(byteCodes, i);
   753         CPMethodInfo mi = (CPMethodInfo) jc.getConstantPool().get(methodIndex);
   754         boolean[] hasReturn = { false };
   755         int[] cnt = { 0 };
   756         String mn = findMethodName(mi, cnt, hasReturn);
   757         out.append("{ ");
   758         for (int j = cnt[0] - 1; j >= 0; j--) {
   759             out.append("var v" + j).append(" = stack.pop(); ");
   760         }
   761         out.append("var self = stack.pop(); ");
   762         if (hasReturn[0]) {
   763             out.append("stack.push(");
   764         }
   765         out.append("self.");
   766         out.append(mn);
   767         out.append('(');
   768         out.append("self");
   769         for (int j = 0; j < cnt[0]; j++) {
   770             out.append(", ");
   771             out.append("v" + j);
   772         }
   773         out.append(")");
   774         if (hasReturn[0]) {
   775             out.append(")");
   776         }
   777         out.append("; }");
   778         i += 2;
   779         return i;
   780     }
   781     
   782     private void addReference(String cn) {
   783         if (references != null) {
   784             references.add(cn);
   785         }
   786     }
   787 
   788     private void outType(final String d, StringBuilder out) {
   789         if (d.charAt(0) == 'L') {
   790             assert d.charAt(d.length() - 1) == ';';
   791             out.append(d.replace('/', '_').substring(0, d.length() - 1));
   792         } else {
   793             out.append(d);
   794         }
   795     }
   796 
   797     private String encodeConstant(CPEntry entry) {
   798         final String v;
   799         if (entry instanceof CPStringInfo) {
   800             v = "\"" + entry.getValue().toString().replace("\"", "\\\"") + "\"";
   801         } else {
   802             v = entry.getValue().toString();
   803         }
   804         return v;
   805     }
   806 }