vm/src/main/java/org/apidesign/vm4brwsr/ByteCodeToJavaScript.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sun, 03 Feb 2013 22:58:42 +0100
branchreflection
changeset 654 26a86cc00224
parent 652 f095ea52f417
child 655 044c72732424
permissions -rw-r--r--
Correct getDeclaringClass for returned methods
     1 /**
     2  * Back 2 Browser Bytecode Translator
     3  * Copyright (C) 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 org.apidesign.bck2brwsr.core.JavaScriptBody;
    23 import org.apidesign.javap.AnnotationParser;
    24 import org.apidesign.javap.ClassData;
    25 import org.apidesign.javap.FieldData;
    26 import org.apidesign.javap.MethodData;
    27 import org.apidesign.javap.StackMapIterator;
    28 import static org.apidesign.javap.RuntimeConstants.*;
    29 import org.apidesign.javap.TrapData;
    30 import org.apidesign.javap.TrapDataIterator;
    31 
    32 /** Translator of the code inside class files to JavaScript.
    33  *
    34  * @author Jaroslav Tulach <jtulach@netbeans.org>
    35  */
    36 abstract class ByteCodeToJavaScript {
    37     private ClassData jc;
    38     final Appendable out;
    39 
    40     protected ByteCodeToJavaScript(Appendable out) {
    41         this.out = out;
    42     }
    43     
    44     /* Collects additional required resources.
    45      * 
    46      * @param internalClassName classes that were referenced and should be loaded in order the
    47      *   generated JavaScript code works properly. The names are in internal 
    48      *   JVM form so String is <code>java/lang/String</code>. 
    49      */
    50     protected abstract boolean requireReference(String internalClassName);
    51     
    52     /*
    53      * @param resourcePath name of resources to read
    54      */
    55     protected abstract void requireScript(String resourcePath) throws IOException;
    56     
    57     /** Allows subclasses to redefine what field a function representing a
    58      * class gets assigned. By default it returns the suggested name followed
    59      * by <code>" = "</code>;
    60      * 
    61      * @param className suggested name of the class
    62      */
    63     /* protected */ String assignClass(String className) {
    64         return className + " = ";
    65     }
    66     /* protected */ String accessClass(String classOperation) {
    67         return classOperation;
    68     }
    69     
    70     /** Prints out a debug message. 
    71      * 
    72      * @param msg the message
    73      * @return true if the message has been printed
    74      * @throws IOException 
    75      */
    76     boolean debug(String msg) throws IOException {
    77         out.append(msg);
    78         return true;
    79     }
    80 
    81     /**
    82      * Converts a given class file to a JavaScript version.
    83      *
    84      * @param classFile input stream with code of the .class file
    85      * @return the initialization code for this class, if any. Otherwise <code>null</code>
    86      * 
    87      * @throws IOException if something goes wrong during read or write or translating
    88      */
    89     
    90     public String compile(InputStream classFile) throws IOException {
    91         this.jc = new ClassData(classFile);
    92         if (jc.getMajor_version() < 50) {
    93             throw new IOException("Can't compile " + jc.getClassName() + ". Class file version " + jc.getMajor_version() + "."
    94                 + jc.getMinor_version() + " - recompile with -target 1.6 (at least)."
    95             );
    96         }
    97         byte[] arrData = jc.findAnnotationData(true);
    98         String[] arr = findAnnotation(arrData, jc, 
    99             "org.apidesign.bck2brwsr.core.ExtraJavaScript", 
   100             "resource", "processByteCode"
   101         );
   102         if (arr != null) {
   103             requireScript(arr[0]);
   104             if ("0".equals(arr[1])) {
   105                 return null;
   106             }
   107         }
   108         String[] proto = findAnnotation(arrData, jc, 
   109             "org.apidesign.bck2brwsr.core.JavaScriptPrototype", 
   110             "container", "prototype"
   111         );
   112         StringArray toInitilize = new StringArray();
   113         final String className = className(jc);
   114         out.append("\n\n").append(assignClass(className));
   115         out.append("function CLS() {");
   116         out.append("\n  if (!CLS.prototype.$instOf_").append(className).append(") {");
   117         if (proto == null) {
   118             String sc = jc.getSuperClassName(); // with _
   119             out.append("\n    var pp = ").
   120                 append(accessClass(sc.replace('/', '_'))).append("(true);");
   121             out.append("\n    var p = CLS.prototype = pp;");
   122             out.append("\n    var c = p;");
   123             out.append("\n    var sprcls = pp.constructor.$class;");
   124         } else {
   125             out.append("\n    var p = CLS.prototype = ").append(proto[1]).append(";");
   126             if (proto[0] == null) {
   127                 proto[0] = "p";
   128             }
   129             out.append("\n    var c = ").append(proto[0]).append(";");
   130             out.append("\n    var sprcls = null;");
   131         }
   132         for (FieldData v : jc.getFields()) {
   133             if (v.isStatic()) {
   134                 out.append("\n  CLS.").append(v.getName()).append(initField(v));
   135             } else {
   136                 out.append("\n  c._").append(v.getName()).append(" = function (v) {")
   137                    .append("  if (arguments.length == 1) this.fld_").
   138                     append(className).append('_').append(v.getName())
   139                    .append(" = v; return this.fld_").
   140                     append(className).append('_').append(v.getName())
   141                    .append("; };");
   142             }
   143         }
   144         for (MethodData m : jc.getMethods()) {
   145             byte[] onlyArr = m.findAnnotationData(true);
   146             String[] only = findAnnotation(onlyArr, jc, 
   147                 "org.apidesign.bck2brwsr.core.JavaScriptOnly", 
   148                 "name", "value"
   149             );
   150             if (only != null) {
   151                 if (only[0] != null && only[1] != null) {
   152                     out.append("\n    p.").append(only[0]).append(" = ")
   153                         .append(only[1]).append(";");
   154                 }
   155                 continue;
   156             }
   157             String prefix;
   158             String mn;
   159             if (m.isStatic()) {
   160                 prefix = "\n    c.";
   161                 mn = generateStaticMethod(prefix, m, toInitilize);
   162             } else {
   163                 if (m.isConstructor()) {
   164                     prefix = "\n    CLS.";
   165                     mn = generateInstanceMethod(prefix, m);
   166                 } else {
   167                     prefix = "\n    c.";
   168                     mn = generateInstanceMethod(prefix, m);
   169                 }
   170             }
   171             byte[] runAnno = m.findAnnotationData(false);
   172             if (runAnno != null) {
   173                 out.append(prefix).append(mn).append(".anno = {");
   174                 generateAnno(jc, out, runAnno);
   175                 out.append("\n    };");
   176             }
   177             out.append(prefix).append(mn).append(".access = " + m.getAccess()).append(";");
   178             out.append(prefix).append(mn).append(".cls = CLS;");
   179         }
   180         out.append("\n    c.constructor = CLS;");
   181         out.append("\n    c.$instOf_").append(className).append(" = true;");
   182         for (String superInterface : jc.getSuperInterfaces()) {
   183             out.append("\n    c.$instOf_").append(superInterface.replace('/', '_')).append(" = true;");
   184         }
   185         out.append("\n    CLS.$class = ");
   186         out.append(accessClass("java_lang_Class(true);"));
   187         out.append("\n    CLS.$class.jvmName = '").append(jc.getClassName()).append("';");
   188         out.append("\n    CLS.$class.superclass = sprcls;");
   189         out.append("\n    CLS.$class.access = ").append(jc.getAccessFlags()+";");
   190         out.append("\n    CLS.$class.cnstr = CLS;");
   191         byte[] classAnno = jc.findAnnotationData(false);
   192         if (classAnno != null) {
   193             out.append("\n    CLS.$class.anno = {");
   194             generateAnno(jc, out, classAnno);
   195             out.append("\n    };");
   196         }
   197         out.append("\n  }");
   198         out.append("\n  if (arguments.length === 0) {");
   199         out.append("\n    if (!(this instanceof CLS)) {");
   200         out.append("\n      return new CLS();");
   201         out.append("\n    }");
   202         for (FieldData v : jc.getFields()) {
   203             byte[] onlyArr = v.findAnnotationData(true);
   204             String[] only = findAnnotation(onlyArr, jc, 
   205                 "org.apidesign.bck2brwsr.core.JavaScriptOnly", 
   206                 "name", "value"
   207             );
   208             if (only != null) {
   209                 if (only[0] != null && only[1] != null) {
   210                     out.append("\n    p.").append(only[0]).append(" = ")
   211                         .append(only[1]).append(";");
   212                 }
   213                 continue;
   214             }
   215             if (!v.isStatic()) {
   216                 out.append("\n    this.fld_").
   217                     append(className).append('_').
   218                     append(v.getName()).append(initField(v));
   219             }
   220         }
   221         out.append("\n    return this;");
   222         out.append("\n  }");
   223         out.append("\n  return arguments[0] ? new CLS() : CLS.prototype;");
   224         out.append("\n};");
   225         StringBuilder sb = new StringBuilder();
   226         for (String init : toInitilize.toArray()) {
   227             sb.append("\n").append(init).append("();");
   228         }
   229         return sb.toString();
   230     }
   231     private String generateStaticMethod(String prefix, MethodData m, StringArray toInitilize) throws IOException {
   232         String jsb = javaScriptBody(prefix, m, true);
   233         if (jsb != null) {
   234             return jsb;
   235         }
   236         final String mn = findMethodName(m, new StringBuilder());
   237         if (mn.equals("class__V")) {
   238             toInitilize.add(accessClass(className(jc)) + "(false)." + mn);
   239         }
   240         generateMethod(prefix, mn, m);
   241         return mn;
   242     }
   243 
   244     private String generateInstanceMethod(String prefix, MethodData m) throws IOException {
   245         String jsb = javaScriptBody(prefix, m, false);
   246         if (jsb != null) {
   247             return jsb;
   248         }
   249         final String mn = findMethodName(m, new StringBuilder());
   250         generateMethod(prefix, mn, m);
   251         return mn;
   252     }
   253 
   254     private void generateMethod(String prefix, String name, MethodData m)
   255             throws IOException {
   256         final StackMapIterator stackMapIterator = m.createStackMapIterator();
   257         TrapDataIterator trap = m.getTrapDataIterator();
   258         final LocalsMapper lmapper =
   259                 new LocalsMapper(stackMapIterator.getArguments());
   260 
   261         out.append(prefix).append(name).append(" = function(");
   262         lmapper.outputArguments(out, m.isStatic());
   263         out.append(") {").append("\n");
   264 
   265         final byte[] byteCodes = m.getCode();
   266         if (byteCodes == null) {
   267             out.append("  throw 'no code found for ")
   268                .append(jc.getClassName()).append('.')
   269                .append(m.getName()).append("';\n");
   270             out.append("};");
   271             return;
   272         }
   273 
   274         final StackMapper smapper = new StackMapper();
   275 
   276         if (!m.isStatic()) {
   277             out.append("  var ").append(" lcA0 = this;\n");
   278         }
   279 
   280         int lastStackFrame = -1;
   281         TrapData[] previousTrap = null;
   282         boolean wide = false;
   283         
   284         out.append("\n  var gt = 0;\n  for(;;) switch(gt) {\n");
   285         for (int i = 0; i < byteCodes.length; i++) {
   286             int prev = i;
   287             stackMapIterator.advanceTo(i);
   288             boolean changeInCatch = trap.advanceTo(i);
   289             if (changeInCatch || lastStackFrame != stackMapIterator.getFrameIndex()) {
   290                 if (previousTrap != null) {
   291                     generateCatch(previousTrap);
   292                     previousTrap = null;
   293                 }
   294             }
   295             if (lastStackFrame != stackMapIterator.getFrameIndex()) {
   296                 lastStackFrame = stackMapIterator.getFrameIndex();
   297                 lmapper.syncWithFrameLocals(stackMapIterator.getFrameLocals());
   298                 smapper.syncWithFrameStack(stackMapIterator.getFrameStack());
   299                 out.append("    case " + i).append(": ");            
   300                 changeInCatch = true;
   301             } else {
   302                 debug("    /* " + i + " */ ");
   303             }
   304             if (changeInCatch && trap.useTry()) {
   305                 out.append("try {");
   306                 previousTrap = trap.current();
   307             }
   308             final int c = readUByte(byteCodes, i);
   309             switch (c) {
   310                 case opc_aload_0:
   311                     emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(0));
   312                     break;
   313                 case opc_iload_0:
   314                     emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(0));
   315                     break;
   316                 case opc_lload_0:
   317                     emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(0));
   318                     break;
   319                 case opc_fload_0:
   320                     emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(0));
   321                     break;
   322                 case opc_dload_0:
   323                     emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(0));
   324                     break;
   325                 case opc_aload_1:
   326                     emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(1));
   327                     break;
   328                 case opc_iload_1:
   329                     emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(1));
   330                     break;
   331                 case opc_lload_1:
   332                     emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(1));
   333                     break;
   334                 case opc_fload_1:
   335                     emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(1));
   336                     break;
   337                 case opc_dload_1:
   338                     emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(1));
   339                     break;
   340                 case opc_aload_2:
   341                     emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(2));
   342                     break;
   343                 case opc_iload_2:
   344                     emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(2));
   345                     break;
   346                 case opc_lload_2:
   347                     emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(2));
   348                     break;
   349                 case opc_fload_2:
   350                     emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(2));
   351                     break;
   352                 case opc_dload_2:
   353                     emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(2));
   354                     break;
   355                 case opc_aload_3:
   356                     emit(out, "var @1 = @2;", smapper.pushA(), lmapper.getA(3));
   357                     break;
   358                 case opc_iload_3:
   359                     emit(out, "var @1 = @2;", smapper.pushI(), lmapper.getI(3));
   360                     break;
   361                 case opc_lload_3:
   362                     emit(out, "var @1 = @2;", smapper.pushL(), lmapper.getL(3));
   363                     break;
   364                 case opc_fload_3:
   365                     emit(out, "var @1 = @2;", smapper.pushF(), lmapper.getF(3));
   366                     break;
   367                 case opc_dload_3:
   368                     emit(out, "var @1 = @2;", smapper.pushD(), lmapper.getD(3));
   369                     break;
   370                 case opc_iload: {
   371                     ++i;
   372                     final int indx = wide ? readUShort(byteCodes, i++)
   373                                           : readUByte(byteCodes, i);
   374                     wide = false;
   375                     emit(out, "var @1 = @2;",
   376                          smapper.pushI(), lmapper.getI(indx));
   377                     break;
   378                 }
   379                 case opc_lload: {
   380                     ++i;
   381                     final int indx = wide ? readUShort(byteCodes, i++)
   382                                           : readUByte(byteCodes, i);
   383                     wide = false;
   384                     emit(out, "var @1 = @2;",
   385                          smapper.pushL(), lmapper.getL(indx));
   386                     break;
   387                 }
   388                 case opc_fload: {
   389                     ++i;
   390                     final int indx = wide ? readUShort(byteCodes, i++)
   391                                           : readUByte(byteCodes, i);
   392                     wide = false;
   393                     emit(out, "var @1 = @2;",
   394                          smapper.pushF(), lmapper.getF(indx));
   395                     break;
   396                 }
   397                 case opc_dload: {
   398                     ++i;
   399                     final int indx = wide ? readUShort(byteCodes, i++)
   400                                           : readUByte(byteCodes, i);
   401                     wide = false;
   402                     emit(out, "var @1 = @2;",
   403                          smapper.pushD(), lmapper.getD(indx));
   404                     break;
   405                 }
   406                 case opc_aload: {
   407                     ++i;
   408                     final int indx = wide ? readUShort(byteCodes, i++)
   409                                           : readUByte(byteCodes, i);
   410                     wide = false;
   411                     emit(out, "var @1 = @2;",
   412                          smapper.pushA(), lmapper.getA(indx));
   413                     break;
   414                 }
   415                 case opc_istore: {
   416                     ++i;
   417                     final int indx = wide ? readUShort(byteCodes, i++)
   418                                           : readUByte(byteCodes, i);
   419                     wide = false;
   420                     emit(out, "var @1 = @2;",
   421                          lmapper.setI(indx), smapper.popI());
   422                     break;
   423                 }
   424                 case opc_lstore: {
   425                     ++i;
   426                     final int indx = wide ? readUShort(byteCodes, i++)
   427                                           : readUByte(byteCodes, i);
   428                     wide = false;
   429                     emit(out, "var @1 = @2;",
   430                          lmapper.setL(indx), smapper.popL());
   431                     break;
   432                 }
   433                 case opc_fstore: {
   434                     ++i;
   435                     final int indx = wide ? readUShort(byteCodes, i++)
   436                                           : readUByte(byteCodes, i);
   437                     wide = false;
   438                     emit(out, "var @1 = @2;",
   439                          lmapper.setF(indx), smapper.popF());
   440                     break;
   441                 }
   442                 case opc_dstore: {
   443                     ++i;
   444                     final int indx = wide ? readUShort(byteCodes, i++)
   445                                           : readUByte(byteCodes, i);
   446                     wide = false;
   447                     emit(out, "var @1 = @2;",
   448                          lmapper.setD(indx), smapper.popD());
   449                     break;
   450                 }
   451                 case opc_astore: {
   452                     ++i;
   453                     final int indx = wide ? readUShort(byteCodes, i++)
   454                                           : readUByte(byteCodes, i);
   455                     wide = false;
   456                     emit(out, "var @1 = @2;",
   457                          lmapper.setA(indx), smapper.popA());
   458                     break;
   459                 }
   460                 case opc_astore_0:
   461                     emit(out, "var @1 = @2;", lmapper.setA(0), smapper.popA());
   462                     break;
   463                 case opc_istore_0:
   464                     emit(out, "var @1 = @2;", lmapper.setI(0), smapper.popI());
   465                     break;
   466                 case opc_lstore_0:
   467                     emit(out, "var @1 = @2;", lmapper.setL(0), smapper.popL());
   468                     break;
   469                 case opc_fstore_0:
   470                     emit(out, "var @1 = @2;", lmapper.setF(0), smapper.popF());
   471                     break;
   472                 case opc_dstore_0:
   473                     emit(out, "var @1 = @2;", lmapper.setD(0), smapper.popD());
   474                     break;
   475                 case opc_astore_1:
   476                     emit(out, "var @1 = @2;", lmapper.setA(1), smapper.popA());
   477                     break;
   478                 case opc_istore_1:
   479                     emit(out, "var @1 = @2;", lmapper.setI(1), smapper.popI());
   480                     break;
   481                 case opc_lstore_1:
   482                     emit(out, "var @1 = @2;", lmapper.setL(1), smapper.popL());
   483                     break;
   484                 case opc_fstore_1:
   485                     emit(out, "var @1 = @2;", lmapper.setF(1), smapper.popF());
   486                     break;
   487                 case opc_dstore_1:
   488                     emit(out, "var @1 = @2;", lmapper.setD(1), smapper.popD());
   489                     break;
   490                 case opc_astore_2:
   491                     emit(out, "var @1 = @2;", lmapper.setA(2), smapper.popA());
   492                     break;
   493                 case opc_istore_2:
   494                     emit(out, "var @1 = @2;", lmapper.setI(2), smapper.popI());
   495                     break;
   496                 case opc_lstore_2:
   497                     emit(out, "var @1 = @2;", lmapper.setL(2), smapper.popL());
   498                     break;
   499                 case opc_fstore_2:
   500                     emit(out, "var @1 = @2;", lmapper.setF(2), smapper.popF());
   501                     break;
   502                 case opc_dstore_2:
   503                     emit(out, "var @1 = @2;", lmapper.setD(2), smapper.popD());
   504                     break;
   505                 case opc_astore_3:
   506                     emit(out, "var @1 = @2;", lmapper.setA(3), smapper.popA());
   507                     break;
   508                 case opc_istore_3:
   509                     emit(out, "var @1 = @2;", lmapper.setI(3), smapper.popI());
   510                     break;
   511                 case opc_lstore_3:
   512                     emit(out, "var @1 = @2;", lmapper.setL(3), smapper.popL());
   513                     break;
   514                 case opc_fstore_3:
   515                     emit(out, "var @1 = @2;", lmapper.setF(3), smapper.popF());
   516                     break;
   517                 case opc_dstore_3:
   518                     emit(out, "var @1 = @2;", lmapper.setD(3), smapper.popD());
   519                     break;
   520                 case opc_iadd:
   521                     emit(out, "@1 = @1.add32(@2);", smapper.getI(1), smapper.popI());
   522                     break;
   523                 case opc_ladd:
   524                     emit(out, "@1 += @2;", smapper.getL(1), smapper.popL());
   525                     break;
   526                 case opc_fadd:
   527                     emit(out, "@1 += @2;", smapper.getF(1), smapper.popF());
   528                     break;
   529                 case opc_dadd:
   530                     emit(out, "@1 += @2;", smapper.getD(1), smapper.popD());
   531                     break;
   532                 case opc_isub:
   533                     emit(out, "@1 = @1.sub32(@2);", smapper.getI(1), smapper.popI());
   534                     break;
   535                 case opc_lsub:
   536                     emit(out, "@1 -= @2;", smapper.getL(1), smapper.popL());
   537                     break;
   538                 case opc_fsub:
   539                     emit(out, "@1 -= @2;", smapper.getF(1), smapper.popF());
   540                     break;
   541                 case opc_dsub:
   542                     emit(out, "@1 -= @2;", smapper.getD(1), smapper.popD());
   543                     break;
   544                 case opc_imul:
   545                     emit(out, "@1 = @1.mul32(@2);", smapper.getI(1), smapper.popI());
   546                     break;
   547                 case opc_lmul:
   548                     emit(out, "@1 *= @2;", smapper.getL(1), smapper.popL());
   549                     break;
   550                 case opc_fmul:
   551                     emit(out, "@1 *= @2;", smapper.getF(1), smapper.popF());
   552                     break;
   553                 case opc_dmul:
   554                     emit(out, "@1 *= @2;", smapper.getD(1), smapper.popD());
   555                     break;
   556                 case opc_idiv:
   557                     emit(out, "@1 = Math.floor(@1 / @2);",
   558                          smapper.getI(1), smapper.popI());
   559                     break;
   560                 case opc_ldiv:
   561                     emit(out, "@1 = Math.floor(@1 / @2);",
   562                          smapper.getL(1), smapper.popL());
   563                     break;
   564                 case opc_fdiv:
   565                     emit(out, "@1 /= @2;", smapper.getF(1), smapper.popF());
   566                     break;
   567                 case opc_ddiv:
   568                     emit(out, "@1 /= @2;", smapper.getD(1), smapper.popD());
   569                     break;
   570                 case opc_irem:
   571                     emit(out, "@1 %= @2;", smapper.getI(1), smapper.popI());
   572                     break;
   573                 case opc_lrem:
   574                     emit(out, "@1 %= @2;", smapper.getL(1), smapper.popL());
   575                     break;
   576                 case opc_frem:
   577                     emit(out, "@1 %= @2;", smapper.getF(1), smapper.popF());
   578                     break;
   579                 case opc_drem:
   580                     emit(out, "@1 %= @2;", smapper.getD(1), smapper.popD());
   581                     break;
   582                 case opc_iand:
   583                     emit(out, "@1 &= @2;", smapper.getI(1), smapper.popI());
   584                     break;
   585                 case opc_land:
   586                     emit(out, "@1 &= @2;", smapper.getL(1), smapper.popL());
   587                     break;
   588                 case opc_ior:
   589                     emit(out, "@1 |= @2;", smapper.getI(1), smapper.popI());
   590                     break;
   591                 case opc_lor:
   592                     emit(out, "@1 |= @2;", smapper.getL(1), smapper.popL());
   593                     break;
   594                 case opc_ixor:
   595                     emit(out, "@1 ^= @2;", smapper.getI(1), smapper.popI());
   596                     break;
   597                 case opc_lxor:
   598                     emit(out, "@1 ^= @2;", smapper.getL(1), smapper.popL());
   599                     break;
   600                 case opc_ineg:
   601                     emit(out, "@1 = -@1;", smapper.getI(0));
   602                     break;
   603                 case opc_lneg:
   604                     emit(out, "@1 = -@1;", smapper.getL(0));
   605                     break;
   606                 case opc_fneg:
   607                     emit(out, "@1 = -@1;", smapper.getF(0));
   608                     break;
   609                 case opc_dneg:
   610                     emit(out, "@1 = -@1;", smapper.getD(0));
   611                     break;
   612                 case opc_ishl:
   613                     emit(out, "@1 <<= @2;", smapper.getI(1), smapper.popI());
   614                     break;
   615                 case opc_lshl:
   616                     emit(out, "@1 <<= @2;", smapper.getL(1), smapper.popI());
   617                     break;
   618                 case opc_ishr:
   619                     emit(out, "@1 >>= @2;", smapper.getI(1), smapper.popI());
   620                     break;
   621                 case opc_lshr:
   622                     emit(out, "@1 >>= @2;", smapper.getL(1), smapper.popI());
   623                     break;
   624                 case opc_iushr:
   625                     emit(out, "@1 >>>= @2;", smapper.getI(1), smapper.popI());
   626                     break;
   627                 case opc_lushr:
   628                     emit(out, "@1 >>>= @2;", smapper.getL(1), smapper.popI());
   629                     break;
   630                 case opc_iinc: {
   631                     ++i;
   632                     final int varIndx = wide ? readUShort(byteCodes, i++)
   633                                              : readUByte(byteCodes, i);
   634                     ++i;
   635                     final int incrBy = wide ? readIntArg(byteCodes, i++)
   636                                             : byteCodes[i];
   637                     wide = false;
   638                     if (incrBy == 1) {
   639                         emit(out, "@1++;", lmapper.getI(varIndx));
   640                     } else {
   641                         emit(out, "@1 += @2;",
   642                              lmapper.getI(varIndx),
   643                              Integer.toString(incrBy));
   644                     }
   645                     break;
   646                 }
   647                 case opc_return:
   648                     emit(out, "return;");
   649                     break;
   650                 case opc_ireturn:
   651                     emit(out, "return @1;", smapper.popI());
   652                     break;
   653                 case opc_lreturn:
   654                     emit(out, "return @1;", smapper.popL());
   655                     break;
   656                 case opc_freturn:
   657                     emit(out, "return @1;", smapper.popF());
   658                     break;
   659                 case opc_dreturn:
   660                     emit(out, "return @1;", smapper.popD());
   661                     break;
   662                 case opc_areturn:
   663                     emit(out, "return @1;", smapper.popA());
   664                     break;
   665                 case opc_i2l:
   666                     emit(out, "var @2 = @1;", smapper.popI(), smapper.pushL());
   667                     break;
   668                 case opc_i2f:
   669                     emit(out, "var @2 = @1;", smapper.popI(), smapper.pushF());
   670                     break;
   671                 case opc_i2d:
   672                     emit(out, "var @2 = @1;", smapper.popI(), smapper.pushD());
   673                     break;
   674                 case opc_l2i:
   675                     emit(out, "var @2 = @1;", smapper.popL(), smapper.pushI());
   676                     break;
   677                     // max int check?
   678                 case opc_l2f:
   679                     emit(out, "var @2 = @1;", smapper.popL(), smapper.pushF());
   680                     break;
   681                 case opc_l2d:
   682                     emit(out, "var @2 = @1;", smapper.popL(), smapper.pushD());
   683                     break;
   684                 case opc_f2d:
   685                     emit(out, "var @2 = @1;", smapper.popF(), smapper.pushD());
   686                     break;
   687                 case opc_d2f:
   688                     emit(out, "var @2 = @1;", smapper.popD(), smapper.pushF());
   689                     break;
   690                 case opc_f2i:
   691                     emit(out, "var @2 = Math.floor(@1);",
   692                          smapper.popF(), smapper.pushI());
   693                     break;
   694                 case opc_f2l:
   695                     emit(out, "var @2 = Math.floor(@1);",
   696                          smapper.popF(), smapper.pushL());
   697                     break;
   698                 case opc_d2i:
   699                     emit(out, "var @2 = Math.floor(@1);",
   700                          smapper.popD(), smapper.pushI());
   701                     break;
   702                 case opc_d2l:
   703                     emit(out, "var @2 = Math.floor(@1);",
   704                          smapper.popD(), smapper.pushL());
   705                     break;
   706                 case opc_i2b:
   707                     emit(out, "var @1 = @1.toInt8();", smapper.getI(0));
   708                     break;
   709                 case opc_i2c:
   710                     out.append("{ /* number conversion */ }");
   711                     break;
   712                 case opc_i2s:
   713                     emit(out, "var @1 = @1.toInt16();", smapper.getI(0));
   714                     break;
   715                 case opc_aconst_null:
   716                     emit(out, "var @1 = null;", smapper.pushA());
   717                     break;
   718                 case opc_iconst_m1:
   719                     emit(out, "var @1 = -1;", smapper.pushI());
   720                     break;
   721                 case opc_iconst_0:
   722                     emit(out, "var @1 = 0;", smapper.pushI());
   723                     break;
   724                 case opc_dconst_0:
   725                     emit(out, "var @1 = 0;", smapper.pushD());
   726                     break;
   727                 case opc_lconst_0:
   728                     emit(out, "var @1 = 0;", smapper.pushL());
   729                     break;
   730                 case opc_fconst_0:
   731                     emit(out, "var @1 = 0;", smapper.pushF());
   732                     break;
   733                 case opc_iconst_1:
   734                     emit(out, "var @1 = 1;", smapper.pushI());
   735                     break;
   736                 case opc_lconst_1:
   737                     emit(out, "var @1 = 1;", smapper.pushL());
   738                     break;
   739                 case opc_fconst_1:
   740                     emit(out, "var @1 = 1;", smapper.pushF());
   741                     break;
   742                 case opc_dconst_1:
   743                     emit(out, "var @1 = 1;", smapper.pushD());
   744                     break;
   745                 case opc_iconst_2:
   746                     emit(out, "var @1 = 2;", smapper.pushI());
   747                     break;
   748                 case opc_fconst_2:
   749                     emit(out, "var @1 = 2;", smapper.pushF());
   750                     break;
   751                 case opc_iconst_3:
   752                     emit(out, "var @1 = 3;", smapper.pushI());
   753                     break;
   754                 case opc_iconst_4:
   755                     emit(out, "var @1 = 4;", smapper.pushI());
   756                     break;
   757                 case opc_iconst_5:
   758                     emit(out, "var @1 = 5;", smapper.pushI());
   759                     break;
   760                 case opc_ldc: {
   761                     int indx = readUByte(byteCodes, ++i);
   762                     String v = encodeConstant(indx);
   763                     int type = VarType.fromConstantType(jc.getTag(indx));
   764                     emit(out, "var @1 = @2;", smapper.pushT(type), v);
   765                     break;
   766                 }
   767                 case opc_ldc_w:
   768                 case opc_ldc2_w: {
   769                     int indx = readIntArg(byteCodes, i);
   770                     i += 2;
   771                     String v = encodeConstant(indx);
   772                     int type = VarType.fromConstantType(jc.getTag(indx));
   773                     emit(out, "var @1 = @2;", smapper.pushT(type), v);
   774                     break;
   775                 }
   776                 case opc_lcmp:
   777                     emit(out, "var @3 = (@2 == @1) ? 0 : ((@2 < @1) ? -1 : 1);",
   778                          smapper.popL(), smapper.popL(), smapper.pushI());
   779                     break;
   780                 case opc_fcmpl:
   781                 case opc_fcmpg:
   782                     emit(out, "var @3 = (@2 == @1) ? 0 : ((@2 < @1) ? -1 : 1);",
   783                          smapper.popF(), smapper.popF(), smapper.pushI());
   784                     break;
   785                 case opc_dcmpl:
   786                 case opc_dcmpg:
   787                     emit(out, "var @3 = (@2 == @1) ? 0 : ((@2 < @1) ? -1 : 1);",
   788                          smapper.popD(), smapper.popD(), smapper.pushI());
   789                     break;
   790                 case opc_if_acmpeq:
   791                     i = generateIf(byteCodes, i, smapper.popA(), smapper.popA(),
   792                                    "===");
   793                     break;
   794                 case opc_if_acmpne:
   795                     i = generateIf(byteCodes, i, smapper.popA(), smapper.popA(),
   796                                    "!=");
   797                     break;
   798                 case opc_if_icmpeq:
   799                     i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
   800                                    "==");
   801                     break;
   802                 case opc_ifeq: {
   803                     int indx = i + readIntArg(byteCodes, i);
   804                     emit(out, "if (@1 == 0) { gt = @2; continue; }",
   805                          smapper.popI(), Integer.toString(indx));
   806                     i += 2;
   807                     break;
   808                 }
   809                 case opc_ifne: {
   810                     int indx = i + readIntArg(byteCodes, i);
   811                     emit(out, "if (@1 != 0) { gt = @2; continue; }",
   812                          smapper.popI(), Integer.toString(indx));
   813                     i += 2;
   814                     break;
   815                 }
   816                 case opc_iflt: {
   817                     int indx = i + readIntArg(byteCodes, i);
   818                     emit(out, "if (@1 < 0) { gt = @2; continue; }",
   819                          smapper.popI(), Integer.toString(indx));
   820                     i += 2;
   821                     break;
   822                 }
   823                 case opc_ifle: {
   824                     int indx = i + readIntArg(byteCodes, i);
   825                     emit(out, "if (@1 <= 0) { gt = @2; continue; }",
   826                          smapper.popI(), Integer.toString(indx));
   827                     i += 2;
   828                     break;
   829                 }
   830                 case opc_ifgt: {
   831                     int indx = i + readIntArg(byteCodes, i);
   832                     emit(out, "if (@1 > 0) { gt = @2; continue; }",
   833                          smapper.popI(), Integer.toString(indx));
   834                     i += 2;
   835                     break;
   836                 }
   837                 case opc_ifge: {
   838                     int indx = i + readIntArg(byteCodes, i);
   839                     emit(out, "if (@1 >= 0) { gt = @2; continue; }",
   840                          smapper.popI(), Integer.toString(indx));
   841                     i += 2;
   842                     break;
   843                 }
   844                 case opc_ifnonnull: {
   845                     int indx = i + readIntArg(byteCodes, i);
   846                     emit(out, "if (@1 !== null) { gt = @2; continue; }",
   847                          smapper.popA(), Integer.toString(indx));
   848                     i += 2;
   849                     break;
   850                 }
   851                 case opc_ifnull: {
   852                     int indx = i + readIntArg(byteCodes, i);
   853                     emit(out, "if (@1 === null) { gt = @2; continue; }",
   854                          smapper.popA(), Integer.toString(indx));
   855                     i += 2;
   856                     break;
   857                 }
   858                 case opc_if_icmpne:
   859                     i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
   860                                    "!=");
   861                     break;
   862                 case opc_if_icmplt:
   863                     i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
   864                                    "<");
   865                     break;
   866                 case opc_if_icmple:
   867                     i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
   868                                    "<=");
   869                     break;
   870                 case opc_if_icmpgt:
   871                     i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
   872                                    ">");
   873                     break;
   874                 case opc_if_icmpge:
   875                     i = generateIf(byteCodes, i, smapper.popI(), smapper.popI(),
   876                                    ">=");
   877                     break;
   878                 case opc_goto: {
   879                     int indx = i + readIntArg(byteCodes, i);
   880                     emit(out, "gt = @1; continue;", Integer.toString(indx));
   881                     i += 2;
   882                     break;
   883                 }
   884                 case opc_lookupswitch: {
   885                     int table = i / 4 * 4 + 4;
   886                     int dflt = i + readInt4(byteCodes, table);
   887                     table += 4;
   888                     int n = readInt4(byteCodes, table);
   889                     table += 4;
   890                     out.append("switch (").append(smapper.popI()).append(") {\n");
   891                     while (n-- > 0) {
   892                         int cnstnt = readInt4(byteCodes, table);
   893                         table += 4;
   894                         int offset = i + readInt4(byteCodes, table);
   895                         table += 4;
   896                         out.append("  case " + cnstnt).append(": gt = " + offset).append("; continue;\n");
   897                     }
   898                     out.append("  default: gt = " + dflt).append("; continue;\n}");
   899                     i = table - 1;
   900                     break;
   901                 }
   902                 case opc_tableswitch: {
   903                     int table = i / 4 * 4 + 4;
   904                     int dflt = i + readInt4(byteCodes, table);
   905                     table += 4;
   906                     int low = readInt4(byteCodes, table);
   907                     table += 4;
   908                     int high = readInt4(byteCodes, table);
   909                     table += 4;
   910                     out.append("switch (").append(smapper.popI()).append(") {\n");
   911                     while (low <= high) {
   912                         int offset = i + readInt4(byteCodes, table);
   913                         table += 4;
   914                         out.append("  case " + low).append(": gt = " + offset).append("; continue;\n");
   915                         low++;
   916                     }
   917                     out.append("  default: gt = " + dflt).append("; continue;\n}");
   918                     i = table - 1;
   919                     break;
   920                 }
   921                 case opc_invokeinterface: {
   922                     i = invokeVirtualMethod(byteCodes, i, smapper) + 2;
   923                     break;
   924                 }
   925                 case opc_invokevirtual:
   926                     i = invokeVirtualMethod(byteCodes, i, smapper);
   927                     break;
   928                 case opc_invokespecial:
   929                     i = invokeStaticMethod(byteCodes, i, smapper, false);
   930                     break;
   931                 case opc_invokestatic:
   932                     i = invokeStaticMethod(byteCodes, i, smapper, true);
   933                     break;
   934                 case opc_new: {
   935                     int indx = readIntArg(byteCodes, i);
   936                     String ci = jc.getClassName(indx);
   937                     emit(out, "var @1 = new @2;",
   938                          smapper.pushA(), accessClass(ci.replace('/', '_')));
   939                     addReference(ci);
   940                     i += 2;
   941                     break;
   942                 }
   943                 case opc_newarray:
   944                     int atype = readUByte(byteCodes, ++i);
   945                     String jvmType;
   946                     switch (atype) {
   947                         case 4: jvmType = "[Z"; break;
   948                         case 5: jvmType = "[C"; break;
   949                         case 6: jvmType = "[F"; break;
   950                         case 7: jvmType = "[D"; break;
   951                         case 8: jvmType = "[B"; break;
   952                         case 9: jvmType = "[S"; break;
   953                         case 10: jvmType = "[I"; break;
   954                         case 11: jvmType = "[J"; break;
   955                         default: throw new IllegalStateException("Array type: " + atype);
   956                     }
   957                     emit(out, "var @2 = Array.prototype.newArray__Ljava_lang_Object_2ZLjava_lang_String_2I(true, '@3', @1);",
   958                          smapper.popI(), smapper.pushA(), jvmType);
   959                     break;
   960                 case opc_anewarray: {
   961                     int type = readIntArg(byteCodes, i);
   962                     i += 2;
   963                     String typeName = jc.getClassName(type);
   964                     if (typeName.startsWith("[")) {
   965                         typeName = "[" + typeName;
   966                     } else {
   967                         typeName = "[L" + typeName + ";";
   968                     }
   969                     emit(out, "var @2 = Array.prototype.newArray__Ljava_lang_Object_2ZLjava_lang_String_2I(false, '@3', @1);",
   970                          smapper.popI(), smapper.pushA(), typeName);
   971                     break;
   972                 }
   973                 case opc_multianewarray: {
   974                     int type = readIntArg(byteCodes, i);
   975                     i += 2;
   976                     String typeName = jc.getClassName(type);
   977                     int dim = readUByte(byteCodes, ++i);
   978                     StringBuilder dims = new StringBuilder();
   979                     dims.append('[');
   980                     for (int d = 0; d < dim; d++) {
   981                         if (d != 0) {
   982                             dims.append(",");
   983                         }
   984                         dims.append(smapper.popI());
   985                     }
   986                     dims.append(']');
   987                     emit(out, "var @2 = Array.prototype.multiNewArray__Ljava_lang_Object_2Ljava_lang_String_2_3II('@3', @1, 0);",
   988                          dims.toString(), smapper.pushA(), typeName);
   989                     break;
   990                 }
   991                 case opc_arraylength:
   992                     emit(out, "var @2 = @1.length;",
   993                          smapper.popA(), smapper.pushI());
   994                     break;
   995                 case opc_lastore:
   996                     emit(out, "@3.at(@2, @1);",
   997                          smapper.popL(), smapper.popI(), smapper.popA());
   998                     break;
   999                 case opc_fastore:
  1000                     emit(out, "@3.at(@2, @1);",
  1001                          smapper.popF(), smapper.popI(), smapper.popA());
  1002                     break;
  1003                 case opc_dastore:
  1004                     emit(out, "@3.at(@2, @1);",
  1005                          smapper.popD(), smapper.popI(), smapper.popA());
  1006                     break;
  1007                 case opc_aastore:
  1008                     emit(out, "@3.at(@2, @1);",
  1009                          smapper.popA(), smapper.popI(), smapper.popA());
  1010                     break;
  1011                 case opc_iastore:
  1012                 case opc_bastore:
  1013                 case opc_castore:
  1014                 case opc_sastore:
  1015                     emit(out, "@3.at(@2, @1);",
  1016                          smapper.popI(), smapper.popI(), smapper.popA());
  1017                     break;
  1018                 case opc_laload:
  1019                     emit(out, "var @3 = @2.at(@1);",
  1020                          smapper.popI(), smapper.popA(), smapper.pushL());
  1021                     break;
  1022                 case opc_faload:
  1023                     emit(out, "var @3 = @2.at(@1);",
  1024                          smapper.popI(), smapper.popA(), smapper.pushF());
  1025                     break;
  1026                 case opc_daload:
  1027                     emit(out, "var @3 = @2.at(@1);",
  1028                          smapper.popI(), smapper.popA(), smapper.pushD());
  1029                     break;
  1030                 case opc_aaload:
  1031                     emit(out, "var @3 = @2.at(@1);",
  1032                          smapper.popI(), smapper.popA(), smapper.pushA());
  1033                     break;
  1034                 case opc_iaload:
  1035                 case opc_baload:
  1036                 case opc_caload:
  1037                 case opc_saload:
  1038                     emit(out, "var @3 = @2.at(@1);",
  1039                          smapper.popI(), smapper.popA(), smapper.pushI());
  1040                     break;
  1041                 case opc_pop:
  1042                 case opc_pop2:
  1043                     smapper.pop(1);
  1044                     debug("/* pop */");
  1045                     break;
  1046                 case opc_dup: {
  1047                     final Variable v = smapper.get(0);
  1048                     emit(out, "var @1 = @2;", smapper.pushT(v.getType()), v);
  1049                     break;
  1050                 }
  1051                 case opc_dup2: {
  1052                     final Variable vi1 = smapper.get(0);
  1053 
  1054                     if (vi1.isCategory2()) {
  1055                         emit(out, "var @1 = @2;",
  1056                              smapper.pushT(vi1.getType()), vi1);
  1057                     } else {
  1058                         final Variable vi2 = smapper.get(1);
  1059                         emit(out, "var @1 = @2, @3 = @4;",
  1060                              smapper.pushT(vi2.getType()), vi2,
  1061                              smapper.pushT(vi1.getType()), vi1);
  1062                     }
  1063                     break;
  1064                 }
  1065                 case opc_dup_x1: {
  1066                     final Variable vi1 = smapper.pop();
  1067                     final Variable vi2 = smapper.pop();
  1068                     final Variable vo3 = smapper.pushT(vi1.getType());
  1069                     final Variable vo2 = smapper.pushT(vi2.getType());
  1070                     final Variable vo1 = smapper.pushT(vi1.getType());
  1071 
  1072                     emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
  1073                          vo1, vi1, vo2, vi2, vo3, vo1);
  1074                     break;
  1075                 }
  1076                 case opc_dup2_x1: {
  1077                     final Variable vi1 = smapper.pop();
  1078                     final Variable vi2 = smapper.pop();
  1079 
  1080                     if (vi1.isCategory2()) {
  1081                         final Variable vo3 = smapper.pushT(vi1.getType());
  1082                         final Variable vo2 = smapper.pushT(vi2.getType());
  1083                         final Variable vo1 = smapper.pushT(vi1.getType());
  1084 
  1085                         emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
  1086                              vo1, vi1, vo2, vi2, vo3, vo1);
  1087                     } else {
  1088                         final Variable vi3 = smapper.pop();
  1089                         final Variable vo5 = smapper.pushT(vi2.getType());
  1090                         final Variable vo4 = smapper.pushT(vi1.getType());
  1091                         final Variable vo3 = smapper.pushT(vi3.getType());
  1092                         final Variable vo2 = smapper.pushT(vi2.getType());
  1093                         final Variable vo1 = smapper.pushT(vi1.getType());
  1094 
  1095                         emit(out, "var @1 = @2, @3 = @4, @5 = @6,",
  1096                              vo1, vi1, vo2, vi2, vo3, vi3);
  1097                         emit(out, " @1 = @2, @3 = @4;",
  1098                              vo4, vo1, vo5, vo2);
  1099                     }
  1100                     break;
  1101                 }
  1102                 case opc_dup_x2: {
  1103                     final Variable vi1 = smapper.pop();
  1104                     final Variable vi2 = smapper.pop();
  1105 
  1106                     if (vi2.isCategory2()) {
  1107                         final Variable vo3 = smapper.pushT(vi1.getType());
  1108                         final Variable vo2 = smapper.pushT(vi2.getType());
  1109                         final Variable vo1 = smapper.pushT(vi1.getType());
  1110 
  1111                         emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
  1112                              vo1, vi1, vo2, vi2, vo3, vo1);
  1113                     } else {
  1114                         final Variable vi3 = smapper.pop();
  1115                         final Variable vo4 = smapper.pushT(vi1.getType());
  1116                         final Variable vo3 = smapper.pushT(vi3.getType());
  1117                         final Variable vo2 = smapper.pushT(vi2.getType());
  1118                         final Variable vo1 = smapper.pushT(vi1.getType());
  1119 
  1120                         emit(out, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8;",
  1121                              vo1, vi1, vo2, vi2, vo3, vi3, vo4, vo1);
  1122                     }
  1123                     break;
  1124                 }
  1125                 case opc_dup2_x2: {
  1126                     final Variable vi1 = smapper.pop();
  1127                     final Variable vi2 = smapper.pop();
  1128 
  1129                     if (vi1.isCategory2()) {
  1130                         if (vi2.isCategory2()) {
  1131                             final Variable vo3 = smapper.pushT(vi1.getType());
  1132                             final Variable vo2 = smapper.pushT(vi2.getType());
  1133                             final Variable vo1 = smapper.pushT(vi1.getType());
  1134 
  1135                             emit(out, "var @1 = @2, @3 = @4, @5 = @6;",
  1136                                  vo1, vi1, vo2, vi2, vo3, vo1);
  1137                         } else {
  1138                             final Variable vi3 = smapper.pop();
  1139                             final Variable vo4 = smapper.pushT(vi1.getType());
  1140                             final Variable vo3 = smapper.pushT(vi3.getType());
  1141                             final Variable vo2 = smapper.pushT(vi2.getType());
  1142                             final Variable vo1 = smapper.pushT(vi1.getType());
  1143 
  1144                             emit(out, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8;",
  1145                                  vo1, vi1, vo2, vi2, vo3, vi3, vo4, vo1);
  1146                         }
  1147                     } else {
  1148                         final Variable vi3 = smapper.pop();
  1149 
  1150                         if (vi3.isCategory2()) {
  1151                             final Variable vo5 = smapper.pushT(vi2.getType());
  1152                             final Variable vo4 = smapper.pushT(vi1.getType());
  1153                             final Variable vo3 = smapper.pushT(vi3.getType());
  1154                             final Variable vo2 = smapper.pushT(vi2.getType());
  1155                             final Variable vo1 = smapper.pushT(vi1.getType());
  1156 
  1157                             emit(out, "var @1 = @2, @3 = @4, @5 = @6,",
  1158                                  vo1, vi1, vo2, vi2, vo3, vi3);
  1159                             emit(out, " @1 = @2, @3 = @4;",
  1160                                  vo4, vo1, vo5, vo2);
  1161                         } else {
  1162                             final Variable vi4 = smapper.pop();
  1163                             final Variable vo6 = smapper.pushT(vi2.getType());
  1164                             final Variable vo5 = smapper.pushT(vi1.getType());
  1165                             final Variable vo4 = smapper.pushT(vi4.getType());
  1166                             final Variable vo3 = smapper.pushT(vi3.getType());
  1167                             final Variable vo2 = smapper.pushT(vi2.getType());
  1168                             final Variable vo1 = smapper.pushT(vi1.getType());
  1169                             
  1170                             emit(out, "var @1 = @2, @3 = @4, @5 = @6, @7 = @8,",
  1171                                  vo1, vi1, vo2, vi2, vo3, vi3, vo4, vi4);
  1172                             emit(out, " @1 = @2, @3 = @4;",
  1173                                  vo5, vo1, vo6, vo2);
  1174                         }
  1175                     }
  1176                     break;
  1177                 }
  1178                 case opc_swap: {
  1179                     final Variable vi1 = smapper.get(0);
  1180                     final Variable vi2 = smapper.get(1);
  1181 
  1182                     if (vi1.getType() == vi2.getType()) {
  1183                         final Variable tmp = smapper.pushT(vi1.getType());
  1184 
  1185                         emit(out, "var @1 = @2, @2 = @3, @3 = @1;",
  1186                              tmp, vi1, vi2);
  1187                         smapper.pop(1);
  1188                     } else {
  1189                         smapper.pop(2);
  1190                         smapper.pushT(vi1.getType());
  1191                         smapper.pushT(vi2.getType());
  1192                     }
  1193                     break;
  1194                 }
  1195                 case opc_bipush:
  1196                     emit(out, "var @1 = @2;",
  1197                          smapper.pushI(), Integer.toString(byteCodes[++i]));
  1198                     break;
  1199                 case opc_sipush:
  1200                     emit(out, "var @1 = @2;",
  1201                          smapper.pushI(),
  1202                          Integer.toString(readIntArg(byteCodes, i)));
  1203                     i += 2;
  1204                     break;
  1205                 case opc_getfield: {
  1206                     int indx = readIntArg(byteCodes, i);
  1207                     String[] fi = jc.getFieldInfoName(indx);
  1208                     final int type = VarType.fromFieldType(fi[2].charAt(0));
  1209                     final String mangleClass = mangleSig(fi[0]);
  1210                     final String mangleClassAccess = accessClass(mangleClass);
  1211                     emit(out, "var @2 = @4(false)._@3.call(@1);",
  1212                          smapper.popA(),
  1213                          smapper.pushT(type), fi[1], mangleClassAccess
  1214                     );
  1215                     i += 2;
  1216                     break;
  1217                 }
  1218                 case opc_putfield: {
  1219                     int indx = readIntArg(byteCodes, i);
  1220                     String[] fi = jc.getFieldInfoName(indx);
  1221                     final int type = VarType.fromFieldType(fi[2].charAt(0));
  1222                     final String mangleClass = mangleSig(fi[0]);
  1223                     final String mangleClassAccess = accessClass(mangleClass);
  1224                     emit(out, "@4(false)._@3.call(@2, @1);",
  1225                          smapper.popT(type),
  1226                          smapper.popA(), fi[1], 
  1227                          mangleClassAccess
  1228                     );
  1229                     i += 2;
  1230                     break;
  1231                 }
  1232                 case opc_getstatic: {
  1233                     int indx = readIntArg(byteCodes, i);
  1234                     String[] fi = jc.getFieldInfoName(indx);
  1235                     final int type = VarType.fromFieldType(fi[2].charAt(0));
  1236                     emit(out, "var @1 = @2(false).constructor.@3;",
  1237                          smapper.pushT(type),
  1238                          accessClass(fi[0].replace('/', '_')), fi[1]);
  1239                     i += 2;
  1240                     addReference(fi[0]);
  1241                     break;
  1242                 }
  1243                 case opc_putstatic: {
  1244                     int indx = readIntArg(byteCodes, i);
  1245                     String[] fi = jc.getFieldInfoName(indx);
  1246                     final int type = VarType.fromFieldType(fi[2].charAt(0));
  1247                     emit(out, "@1(false).constructor.@2 = @3;",
  1248                          accessClass(fi[0].replace('/', '_')), fi[1],
  1249                          smapper.popT(type));
  1250                     i += 2;
  1251                     addReference(fi[0]);
  1252                     break;
  1253                 }
  1254                 case opc_checkcast: {
  1255                     int indx = readIntArg(byteCodes, i);
  1256                     final String type = jc.getClassName(indx);
  1257                     if (!type.startsWith("[")) {
  1258                         emit(out,
  1259                              "if (@1 !== null && !@1.$instOf_@2) throw {};",
  1260                              smapper.getA(0), type.replace('/', '_'));
  1261                     } else {
  1262                         emit(out, "vm.java_lang_Class(false).forName__Ljava_lang_Class_2Ljava_lang_String_2('@2').cast__Ljava_lang_Object_2Ljava_lang_Object_2(@1);",
  1263                              smapper.getA(0), type
  1264                         );
  1265                     }
  1266                     i += 2;
  1267                     break;
  1268                 }
  1269                 case opc_instanceof: {
  1270                     int indx = readIntArg(byteCodes, i);
  1271                     final String type = jc.getClassName(indx);
  1272                     if (!type.startsWith("[")) {
  1273                         emit(out, "var @2 = @1.$instOf_@3 ? 1 : 0;",
  1274                              smapper.popA(), smapper.pushI(),
  1275                              type.replace('/', '_'));
  1276                     } else {
  1277                         emit(out, "var @2 = vm.java_lang_Class(false).forName__Ljava_lang_Class_2Ljava_lang_String_2('@3').isInstance__ZLjava_lang_Object_2(@1);",
  1278                             smapper.popA(), smapper.pushI(),
  1279                             type
  1280                         );
  1281                     }
  1282                     i += 2;
  1283                     break;
  1284                 }
  1285                 case opc_athrow: {
  1286                     final Variable v = smapper.popA();
  1287                     smapper.clear();
  1288 
  1289                     emit(out, "{ var @1 = @2; throw @2; }",
  1290                          smapper.pushA(), v);
  1291                     break;
  1292                 }
  1293 
  1294                 case opc_monitorenter: {
  1295                     out.append("/* monitor enter */");
  1296                     smapper.popA();
  1297                     break;
  1298                 }
  1299 
  1300                 case opc_monitorexit: {
  1301                     out.append("/* monitor exit */");
  1302                     smapper.popA();
  1303                     break;
  1304                 }
  1305 
  1306                 case opc_wide:
  1307                     wide = true;
  1308                     break;
  1309 
  1310                 default: {
  1311                     wide = false;
  1312                     emit(out, "throw 'unknown bytecode @1';",
  1313                          Integer.toString(c));
  1314                 }
  1315             }
  1316             if (debug(" //")) {
  1317                 for (int j = prev; j <= i; j++) {
  1318                     out.append(" ");
  1319                     final int cc = readUByte(byteCodes, j);
  1320                     out.append(Integer.toString(cc));
  1321                 }
  1322             }
  1323             out.append("\n");            
  1324         }
  1325         if (previousTrap != null) {
  1326             generateCatch(previousTrap);
  1327         }
  1328         out.append("  }\n");
  1329         out.append("};");
  1330     }
  1331 
  1332     private int generateIf(byte[] byteCodes, int i,
  1333                            final Variable v2, final Variable v1,
  1334                            final String test) throws IOException {
  1335         int indx = i + readIntArg(byteCodes, i);
  1336         out.append("if (").append(v1)
  1337            .append(' ').append(test).append(' ')
  1338            .append(v2).append(") { gt = " + indx)
  1339            .append("; continue; }");
  1340         return i + 2;
  1341     }
  1342 
  1343     private int readIntArg(byte[] byteCodes, int offsetInstruction) {
  1344         final int indxHi = byteCodes[offsetInstruction + 1] << 8;
  1345         final int indxLo = byteCodes[offsetInstruction + 2];
  1346         return (indxHi & 0xffffff00) | (indxLo & 0xff);
  1347     }
  1348     private int readInt4(byte[] byteCodes, int offsetInstruction) {
  1349         final int d = byteCodes[offsetInstruction + 0] << 24;
  1350         final int c = byteCodes[offsetInstruction + 1] << 16;
  1351         final int b = byteCodes[offsetInstruction + 2] << 8;
  1352         final int a = byteCodes[offsetInstruction + 3];
  1353         return (d & 0xff000000) | (c & 0xff0000) | (b & 0xff00) | (a & 0xff);
  1354     }
  1355     private int readUByte(byte[] byteCodes, int offsetInstruction) {
  1356         return byteCodes[offsetInstruction] & 0xff;
  1357     }
  1358 
  1359     private int readUShort(byte[] byteCodes, int offsetInstruction) {
  1360         return ((byteCodes[offsetInstruction] & 0xff) << 8)
  1361                     | (byteCodes[offsetInstruction + 1] & 0xff);
  1362     }
  1363 
  1364     private static void countArgs(String descriptor, char[] returnType, StringBuilder sig, StringBuilder cnt) {
  1365         int i = 0;
  1366         Boolean count = null;
  1367         boolean array = false;
  1368         sig.append("__");
  1369         int firstPos = sig.length();
  1370         while (i < descriptor.length()) {
  1371             char ch = descriptor.charAt(i++);
  1372             switch (ch) {
  1373                 case '(':
  1374                     count = true;
  1375                     continue;
  1376                 case ')':
  1377                     count = false;
  1378                     continue;
  1379                 case 'B': 
  1380                 case 'C': 
  1381                 case 'D': 
  1382                 case 'F': 
  1383                 case 'I': 
  1384                 case 'J': 
  1385                 case 'S': 
  1386                 case 'Z': 
  1387                     if (count) {
  1388                         if (array) {
  1389                             sig.append("_3");
  1390                         }
  1391                         sig.append(ch);
  1392                         if (ch == 'J' || ch == 'D') {
  1393                             cnt.append('1');
  1394                         } else {
  1395                             cnt.append('0');
  1396                         }
  1397                     } else {
  1398                         sig.insert(firstPos, ch);
  1399                         if (array) {
  1400                             returnType[0] = '[';
  1401                             sig.insert(firstPos, "_3");
  1402                         } else {
  1403                             returnType[0] = ch;
  1404                         }
  1405                     }
  1406                     array = false;
  1407                     continue;
  1408                 case 'V': 
  1409                     assert !count;
  1410                     returnType[0] = 'V';
  1411                     sig.insert(firstPos, 'V');
  1412                     continue;
  1413                 case 'L':
  1414                     int next = descriptor.indexOf(';', i);
  1415                     String realSig = mangleSig(descriptor, i - 1, next + 1);
  1416                     if (count) {
  1417                         if (array) {
  1418                             sig.append("_3");
  1419                         }
  1420                         sig.append(realSig);
  1421                         cnt.append('0');
  1422                     } else {
  1423                         sig.insert(firstPos, realSig);
  1424                         if (array) {
  1425                             sig.insert(firstPos, "_3");
  1426                         }
  1427                         returnType[0] = 'L';
  1428                     }
  1429                     i = next + 1;
  1430                     array = false;
  1431                     continue;
  1432                 case '[':
  1433                     array = true;
  1434                     continue;
  1435                 default:
  1436                     throw new IllegalStateException("Invalid char: " + ch);
  1437             }
  1438         }
  1439     }
  1440     
  1441     static String mangleSig(String sig) {
  1442         return mangleSig(sig, 0, sig.length());
  1443     }
  1444     
  1445     private static String mangleSig(String txt, int first, int last) {
  1446         StringBuilder sb = new StringBuilder();
  1447         for (int i = first; i < last; i++) {
  1448             final char ch = txt.charAt(i);
  1449             switch (ch) {
  1450                 case '/': sb.append('_'); break;
  1451                 case '_': sb.append("_1"); break;
  1452                 case ';': sb.append("_2"); break;
  1453                 case '[': sb.append("_3"); break;
  1454                 default: sb.append(ch); break;
  1455             }
  1456         }
  1457         return sb.toString();
  1458     }
  1459 
  1460     private static String findMethodName(MethodData m, StringBuilder cnt) {
  1461         StringBuilder name = new StringBuilder();
  1462         if ("<init>".equals(m.getName())) { // NOI18N
  1463             name.append("cons"); // NOI18N
  1464         } else if ("<clinit>".equals(m.getName())) { // NOI18N
  1465             name.append("class"); // NOI18N
  1466         } else {
  1467             name.append(m.getName());
  1468         } 
  1469         
  1470         countArgs(m.getInternalSig(), new char[1], name, cnt);
  1471         return name.toString();
  1472     }
  1473 
  1474     static String findMethodName(String[] mi, StringBuilder cnt, char[] returnType) {
  1475         StringBuilder name = new StringBuilder();
  1476         String descr = mi[2];//mi.getDescriptor();
  1477         String nm= mi[1];
  1478         if ("<init>".equals(nm)) { // NOI18N
  1479             name.append("cons"); // NOI18N
  1480         } else {
  1481             name.append(nm);
  1482         }
  1483         countArgs(descr, returnType, name, cnt);
  1484         return name.toString();
  1485     }
  1486 
  1487     private int invokeStaticMethod(byte[] byteCodes, int i, final StackMapper mapper, boolean isStatic)
  1488     throws IOException {
  1489         int methodIndex = readIntArg(byteCodes, i);
  1490         String[] mi = jc.getFieldInfoName(methodIndex);
  1491         char[] returnType = { 'V' };
  1492         StringBuilder cnt = new StringBuilder();
  1493         String mn = findMethodName(mi, cnt, returnType);
  1494 
  1495         final int numArguments = isStatic ? cnt.length() : cnt.length() + 1;
  1496         final Variable[] vars = new Variable[numArguments];
  1497 
  1498         for (int j = numArguments - 1; j >= 0; --j) {
  1499             vars[j] = mapper.pop();
  1500         }
  1501 
  1502         if (returnType[0] != 'V') {
  1503             out.append("var ")
  1504                .append(mapper.pushT(VarType.fromFieldType(returnType[0])))
  1505                .append(" = ");
  1506         }
  1507 
  1508         final String in = mi[0];
  1509         out.append(accessClass(in.replace('/', '_')));
  1510         out.append("(false).");
  1511         if (mn.startsWith("cons_")) {
  1512             out.append("constructor.");
  1513         }
  1514         out.append(mn);
  1515         if (isStatic) {
  1516             out.append('(');
  1517         } else {
  1518             out.append(".call(");
  1519         }
  1520         if (numArguments > 0) {
  1521             out.append(vars[0]);
  1522             for (int j = 1; j < numArguments; ++j) {
  1523                 out.append(", ");
  1524                 out.append(vars[j]);
  1525             }
  1526         }
  1527         out.append(");");
  1528         i += 2;
  1529         addReference(in);
  1530         return i;
  1531     }
  1532     private int invokeVirtualMethod(byte[] byteCodes, int i, final StackMapper mapper)
  1533     throws IOException {
  1534         int methodIndex = readIntArg(byteCodes, i);
  1535         String[] mi = jc.getFieldInfoName(methodIndex);
  1536         char[] returnType = { 'V' };
  1537         StringBuilder cnt = new StringBuilder();
  1538         String mn = findMethodName(mi, cnt, returnType);
  1539 
  1540         final int numArguments = cnt.length() + 1;
  1541         final Variable[] vars = new Variable[numArguments];
  1542 
  1543         for (int j = numArguments - 1; j >= 0; --j) {
  1544             vars[j] = mapper.pop();
  1545         }
  1546 
  1547         if (returnType[0] != 'V') {
  1548             out.append("var ")
  1549                .append(mapper.pushT(VarType.fromFieldType(returnType[0])))
  1550                .append(" = ");
  1551         }
  1552 
  1553         out.append(vars[0]).append('.');
  1554         out.append(mn);
  1555         out.append('(');
  1556         String sep = "";
  1557         for (int j = 1; j < numArguments; ++j) {
  1558             out.append(sep);
  1559             out.append(vars[j]);
  1560             sep = ", ";
  1561         }
  1562         out.append(");");
  1563         i += 2;
  1564         return i;
  1565     }
  1566 
  1567     private void addReference(String cn) throws IOException {
  1568         if (requireReference(cn)) {
  1569             debug(" /* needs " + cn + " */");
  1570         }
  1571     }
  1572 
  1573     private void outType(String d, StringBuilder out) {
  1574         int arr = 0;
  1575         while (d.charAt(0) == '[') {
  1576             out.append('A');
  1577             d = d.substring(1);
  1578         }
  1579         if (d.charAt(0) == 'L') {
  1580             assert d.charAt(d.length() - 1) == ';';
  1581             out.append(d.replace('/', '_').substring(0, d.length() - 1));
  1582         } else {
  1583             out.append(d);
  1584         }
  1585     }
  1586 
  1587     private String encodeConstant(int entryIndex) throws IOException {
  1588         String[] classRef = { null };
  1589         String s = jc.stringValue(entryIndex, classRef);
  1590         if (classRef[0] != null) {
  1591             if (classRef[0].startsWith("[")) {
  1592                 s = accessClass("java_lang_Class") + "(false).forName__Ljava_lang_Class_2Ljava_lang_String_2('" + classRef[0] + "');";
  1593             } else {
  1594                 addReference(classRef[0]);
  1595                 s = accessClass(s.replace('/', '_')) + "(false).constructor.$class";
  1596             }
  1597         }
  1598         return s;
  1599     }
  1600 
  1601     private String javaScriptBody(String prefix, MethodData m, boolean isStatic) throws IOException {
  1602         byte[] arr = m.findAnnotationData(true);
  1603         if (arr == null) {
  1604             return null;
  1605         }
  1606         final String jvmType = "Lorg/apidesign/bck2brwsr/core/JavaScriptBody;";
  1607         class P extends AnnotationParser {
  1608             public P() {
  1609                 super(false, true);
  1610             }
  1611             
  1612             int cnt;
  1613             String[] args = new String[30];
  1614             String body;
  1615             
  1616             @Override
  1617             protected void visitAttr(String type, String attr, String at, String value) {
  1618                 if (type.equals(jvmType)) {
  1619                     if ("body".equals(attr)) {
  1620                         body = value;
  1621                     } else if ("args".equals(attr)) {
  1622                         args[cnt++] = value;
  1623                     } else {
  1624                         throw new IllegalArgumentException(attr);
  1625                     }
  1626                 }
  1627             }
  1628         }
  1629         P p = new P();
  1630         p.parse(arr, jc);
  1631         if (p.body == null) {
  1632             return null;
  1633         }
  1634         StringBuilder cnt = new StringBuilder();
  1635         final String mn = findMethodName(m, cnt);
  1636         out.append(prefix).append(mn);
  1637         out.append(" = function(");
  1638         String space = "";
  1639         int index = 0;
  1640         for (int i = 0; i < cnt.length(); i++) {
  1641             out.append(space);
  1642             space = outputArg(out, p.args, index);
  1643             index++;
  1644         }
  1645         out.append(") {").append("\n");
  1646         out.append(p.body);
  1647         out.append("\n}\n");
  1648         return mn;
  1649     }
  1650     private static String className(ClassData jc) {
  1651         //return jc.getName().getInternalName().replace('/', '_');
  1652         return jc.getClassName().replace('/', '_');
  1653     }
  1654     
  1655     private static String[] findAnnotation(
  1656         byte[] arr, ClassData cd, final String className, 
  1657         final String... attrNames
  1658     ) throws IOException {
  1659         if (arr == null) {
  1660             return null;
  1661         }
  1662         final String[] values = new String[attrNames.length];
  1663         final boolean[] found = { false };
  1664         final String jvmType = "L" + className.replace('.', '/') + ";";
  1665         AnnotationParser ap = new AnnotationParser(false, true) {
  1666             @Override
  1667             protected void visitAttr(String type, String attr, String at, String value) {
  1668                 if (type.equals(jvmType)) {
  1669                     found[0] = true;
  1670                     for (int i = 0; i < attrNames.length; i++) {
  1671                         if (attrNames[i].equals(attr)) {
  1672                             values[i] = value;
  1673                         }
  1674                     }
  1675                 }
  1676             }
  1677             
  1678         };
  1679         ap.parse(arr, cd);
  1680         return found[0] ? values : null;
  1681     }
  1682 
  1683     private CharSequence initField(FieldData v) {
  1684         final String is = v.getInternalSig();
  1685         if (is.length() == 1) {
  1686             switch (is.charAt(0)) {
  1687                 case 'S':
  1688                 case 'J':
  1689                 case 'B':
  1690                 case 'Z':
  1691                 case 'C':
  1692                 case 'I': return " = 0;";
  1693                 case 'F': 
  1694                 case 'D': return " = 0.0;";
  1695                 default:
  1696                     throw new IllegalStateException(is);
  1697             }
  1698         }
  1699         return " = null;";
  1700     }
  1701 
  1702     private static void generateAnno(ClassData cd, final Appendable out, byte[] data) throws IOException {
  1703         AnnotationParser ap = new AnnotationParser(true, false) {
  1704             int[] cnt = new int[32];
  1705             int depth;
  1706             
  1707             @Override
  1708             protected void visitAnnotationStart(String type) throws IOException {
  1709                 if (cnt[depth]++ > 0) {
  1710                     out.append(",");
  1711                 }
  1712                 out.append('"').append(type).append("\" : {\n");
  1713                 cnt[++depth] = 0;
  1714             }
  1715 
  1716             @Override
  1717             protected void visitAnnotationEnd(String type) throws IOException {
  1718                 out.append("\n}\n");
  1719                 depth--;
  1720             }
  1721 
  1722             @Override
  1723             protected void visitValueStart(String attrName, char type) throws IOException {
  1724                 if (cnt[depth]++ > 0) {
  1725                     out.append(",\n");
  1726                 }
  1727                 cnt[++depth] = 0;
  1728                 if (attrName != null) {
  1729                     out.append(attrName).append(" : ");
  1730                 }
  1731                 if (type == '[') {
  1732                     out.append("[");
  1733                 }
  1734             }
  1735 
  1736             @Override
  1737             protected void visitValueEnd(String attrName, char type) throws IOException {
  1738                 if (type == '[') {
  1739                     out.append("]");
  1740                 }
  1741                 depth--;
  1742             }
  1743             
  1744             @Override
  1745             protected void visitAttr(String type, String attr, String attrType, String value) 
  1746             throws IOException {
  1747                 if (attr == null && value == null) {
  1748                     return;
  1749                 }
  1750                 out.append(value);
  1751             }
  1752         };
  1753         ap.parse(data, cd);
  1754     }
  1755 
  1756     private static String outputArg(Appendable out, String[] args, int indx) throws IOException {
  1757         final String name = args[indx];
  1758         if (name == null) {
  1759             return "";
  1760         }
  1761         if (name.contains(",")) {
  1762             throw new IOException("Wrong parameter with ',': " + name);
  1763         }
  1764         out.append(name);
  1765         return ",";
  1766     }
  1767 
  1768     private static void emit(final Appendable out,
  1769                              final String format,
  1770                              final CharSequence... params) throws IOException {
  1771         final int length = format.length();
  1772 
  1773         int processed = 0;
  1774         int paramOffset = format.indexOf('@');
  1775         while ((paramOffset != -1) && (paramOffset < (length - 1))) {
  1776             final char paramChar = format.charAt(paramOffset + 1);
  1777             if ((paramChar >= '1') && (paramChar <= '9')) {
  1778                 final int paramIndex = paramChar - '0' - 1;
  1779 
  1780                 out.append(format, processed, paramOffset);
  1781                 out.append(params[paramIndex]);
  1782 
  1783                 ++paramOffset;
  1784                 processed = paramOffset + 1;
  1785             }
  1786 
  1787             paramOffset = format.indexOf('@', paramOffset + 1);
  1788         }
  1789 
  1790         out.append(format, processed, length);
  1791     }
  1792 
  1793     private void generateCatch(TrapData[] traps) throws IOException {
  1794         out.append("} catch (e) {\n");
  1795         int finallyPC = -1;
  1796         for (TrapData e : traps) {
  1797             if (e == null) {
  1798                 break;
  1799             }
  1800             if (e.catch_cpx != 0) { //not finally
  1801                 final String classInternalName = jc.getClassName(e.catch_cpx);
  1802                 addReference(classInternalName);
  1803                 if ("java/lang/Throwable".equals(classInternalName)) {
  1804                     out.append("if (e.$instOf_java_lang_Throwable) {");
  1805                     out.append("  var stA0 = e;");
  1806                     out.append("} else {");
  1807                     out.append("  var stA0 = vm.java_lang_Throwable(true);");
  1808                     out.append("  vm.java_lang_Throwable.cons__VLjava_lang_String_2.call(stA0, e.toString());");
  1809                     out.append("}");
  1810                     out.append("gt=" + e.handler_pc + "; continue;");
  1811                 } else {
  1812                     out.append("if (e.$instOf_" + classInternalName.replace('/', '_') + ") {");
  1813                     out.append("gt=" + e.handler_pc + "; var stA0 = e; continue;");
  1814                     out.append("}\n");
  1815                 }
  1816             } else {
  1817                 finallyPC = e.handler_pc;
  1818             }
  1819         }
  1820         if (finallyPC == -1) {
  1821             out.append("throw e;");
  1822         } else {
  1823             out.append("gt=" + finallyPC + "; var stA0 = e; continue;");
  1824         }
  1825         out.append("\n}");
  1826     }
  1827 }