rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Fri, 11 Sep 2015 14:51:09 +0200
branchflow
changeset 1842 dd4dabfead82
parent 1813 5c30fa1c8c5b
permissions -rw-r--r--
Giving the flow analyzer chance to generate the whole function body
     1 /**
     2  * Back 2 Browser Bytecode Translator
     3  * Copyright (C) 2012-2015 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.vm4brwsr.Bck2Brwsr.Flow;
    24 import org.apidesign.vm4brwsr.ByteCodeParser.ClassData;
    25 import org.apidesign.vm4brwsr.ByteCodeParser.FieldData;
    26 import org.apidesign.vm4brwsr.ByteCodeParser.MethodData;
    27 
    28 /** Generator of JavaScript from bytecode of classes on classpath of the VM.
    29  *
    30  * @author Jaroslav Tulach <jtulach@netbeans.org>
    31  */
    32 abstract class VM extends ByteCodeToJavaScript {
    33     protected final ClassDataCache classDataCache;
    34 
    35     private final Bck2Brwsr.Resources resources;
    36     private final ExportedSymbols exportedSymbols;
    37     private final StringBuilder invokerMethods;
    38     private final StringArray asBinary;
    39     private final Flow.Analyzer flow;
    40     int exportedCount;
    41 
    42     private VM(
    43         Appendable out, Bck2Brwsr.Resources resources, 
    44         StringArray explicitlyExported, StringArray asBinary, Flow.Analyzer flow
    45     ) {
    46         super(out);
    47         this.resources = resources;
    48         this.classDataCache = new ClassDataCache(resources);
    49         this.exportedSymbols = new ExportedSymbols(resources, explicitlyExported);
    50         this.invokerMethods = new StringBuilder();
    51         this.asBinary = asBinary;
    52         this.flow = flow;
    53     }
    54 
    55     static {
    56         // uses VMLazy to load dynamic classes
    57         boolean assertsOn = false;
    58         assert assertsOn = true;
    59         if (assertsOn) {
    60             VMLazy.init();
    61             ClassPath.init();
    62         }
    63     }
    64 
    65     @Override
    66     boolean debug(String msg) throws IOException {
    67         return false;
    68     }
    69     
    70     static void compile(Appendable out, 
    71         Bck2Brwsr config
    72     ) throws IOException {
    73         String[] both = config.classes().toArray();
    74         
    75         final StringArray fixedNames = new StringArray();
    76         fixedNames.add(Object.class.getName().replace('.', '/'));
    77         fixedNames.add(Class.class.getName().replace('.', '/'));
    78         fixedNames.add(ArithmeticException.class.getName().replace('.', '/'));
    79         
    80         VM vm;
    81         if (config.isExtension()) {
    82             fixedNames.add(VM.class.getName().replace('.', '/'));
    83             vm = new Extension(out, 
    84                 config.getResources(), both, config.exported(),
    85                 config.allResources(), config.classpath(),
    86                 config.flow()
    87             );
    88         } else {
    89             if (config.includeVM()) {
    90                 fixedNames.add(VM.class.getName().replace('.', '/'));
    91             }
    92             vm = new Standalone(out, 
    93                 config.getResources(), config.exported(),
    94                 config.allResources(),
    95                 config.flow()
    96             );
    97         }            
    98         vm.doCompile(fixedNames.addAndNew(both));
    99     }
   100 
   101     private void doCompile(StringArray names) throws IOException {
   102         generatePrologue();
   103         append(
   104                 "\n  var invoker = {};");
   105         generateBody(names);
   106         append(invokerMethods);
   107         
   108         for (String r : asBinary.toArray()) {
   109             append("\n  ").append(getExportsObject()).append("['registerResource']('");
   110             append(r).append("', '");
   111             InputStream is = this.resources.get(r);
   112             byte[] arr = new byte[is.available()];
   113             int offset = 0;
   114             for (;;) {
   115                 if (offset == arr.length) {
   116                     byte[] tmp = new byte[arr.length * 2];
   117                     System.arraycopy(arr, 0, tmp, 0, arr.length);
   118                     arr = tmp;
   119                 }
   120                 int len = is.read(arr, offset, arr.length - offset);
   121                 if (len == -1) {
   122                     break;
   123                 }
   124                 offset += len;
   125             }
   126             if (offset != arr.length) {
   127                 byte[] tmp = new byte[offset];
   128                 System.arraycopy(arr, 0, tmp, 0, offset);
   129                 arr = tmp;
   130             }
   131             append(btoa(arr));
   132             append("');");
   133         }
   134         
   135         append("\n");
   136         generateEpilogue();
   137     }
   138 
   139     @JavaScriptBody(args = { "arr" }, body = "return btoa(arr);")
   140     private static String btoa(byte[] arr) {
   141         return javax.xml.bind.DatatypeConverter.printBase64Binary(arr);
   142     }
   143 
   144     protected abstract void generatePrologue() throws IOException;
   145 
   146     protected abstract void generateEpilogue() throws IOException;
   147 
   148     protected abstract String getExportsObject();
   149 
   150     protected abstract boolean isExternalClass(String className);
   151 
   152     protected abstract void lazyReference(Appendable out, String n) throws IOException;
   153     
   154     @Override
   155     protected final void declaredClass(ClassData classData, String mangledName)
   156             throws IOException {
   157         if (exportedSymbols.isExported(classData)) {
   158             append("\n").append(getExportsObject()).append("['")
   159                                                .append(mangledName)
   160                                                .append("'] = ")
   161                             .append(accessClass(mangledName))
   162                .append(";\n");
   163             exportedCount++;
   164         }
   165     }
   166 
   167     protected String generateClass(String className) throws IOException {
   168         ClassData classData = classDataCache.getClassData(className);
   169         if (classData == null) {
   170             throw new IOException("Can't find class " + className);
   171         }
   172         return compile(classData);
   173     }
   174 
   175     @Override
   176     protected void declaredField(FieldData fieldData,
   177                                  String destObject,
   178                                  String mangledName) throws IOException {
   179         if (exportedSymbols.isExported(fieldData)) {
   180             exportMember(destObject, mangledName);
   181         }
   182     }
   183 
   184     @Override
   185     protected void declaredMethod(MethodData methodData,
   186                                   String destObject,
   187                                   String mangledName) throws IOException {
   188         if (isHierarchyExported(methodData)) {
   189             exportMember(destObject, mangledName);
   190         }
   191     }
   192 
   193     private void exportMember(String destObject, String memberName)
   194             throws IOException {
   195         append("\n").append(destObject).append("['")
   196         .append(memberName)
   197         .append("'] = m;\n");
   198     }
   199 
   200     private void generateBody(StringArray names) throws IOException {
   201         StringArray processed = new StringArray();
   202         StringArray initCode = new StringArray();
   203         StringArray skipClass = new StringArray();
   204         for (String baseClass : names.toArray()) {
   205             references.add(baseClass);
   206             for (;;) {
   207                 String name = null;
   208                 for (String n : references.toArray()) {
   209                     if (skipClass.contains(n)) {
   210                         continue;
   211                     }
   212                     if (processed.contains(n)) {
   213                         continue;
   214                     }
   215                     name = n;
   216                 }
   217                 if (name == null) {
   218                     break;
   219                 }
   220                 InputStream is = resources.get(name + ".class");
   221                 if (is == null) {
   222                     lazyReference(this, name);
   223                     skipClass.add(name);
   224                     continue;
   225                 }
   226                 try {
   227                     String ic = generateClass(name);
   228                     processed.add(name);
   229                     initCode.add(ic == null ? "" : ic);
   230                 } catch (RuntimeException ex) {
   231                     throw new IOException("Error while compiling " + name + "\n", ex);
   232                 }
   233             }
   234 
   235             for (String resource : scripts.toArray()) {
   236                 while (resource.startsWith("/")) {
   237                     resource = resource.substring(1);
   238                 }
   239                 requireResourceImpl(resource);
   240                 asBinary.remove(resource);
   241             }
   242             scripts = new StringArray();
   243 
   244             StringArray toInit = StringArray.asList(references.toArray());
   245             toInit.reverse();
   246 
   247             for (String ic : toInit.toArray()) {
   248                 int indx = processed.indexOf(ic);
   249                 if (indx >= 0) {
   250                     final String theCode = initCode.toArray()[indx];
   251                     if (!theCode.isEmpty()) {
   252                         append(theCode).append("\n");
   253                     }
   254                     initCode.toArray()[indx] = "";
   255                 }
   256             }
   257         }
   258     }
   259 
   260     final void requireResourceImpl(String resource) throws IOException {
   261         InputStream emul = resources.get(resource);
   262         if (emul == null) {
   263             throw new IOException("Can't find " + resource);
   264         }
   265         append("\n// resource from ").append(resource).append("\n");
   266         readResource(emul, this);
   267         append("\n");
   268     }
   269 
   270     private static void readResource(InputStream emul, Appendable out) throws IOException {
   271         try {
   272             int state = 0;
   273             for (;;) {
   274                 int ch = emul.read();
   275                 if (ch == -1) {
   276                     break;
   277                 }
   278                 if (ch < 0 || ch > 255) {
   279                     throw new IOException("Invalid char in emulation " + ch);
   280                 }
   281                 out.append((char)ch);
   282             }
   283         } finally {
   284             emul.close();
   285         }
   286     }
   287 
   288     static String toString(String name) throws IOException {
   289         StringBuilder sb = new StringBuilder();
   290 //        compile(sb, name);
   291         return sb.toString().toString();
   292     }
   293 
   294     private StringArray scripts = new StringArray();
   295     private StringArray references = new StringArray();
   296     
   297     @Override
   298     protected boolean requireReference(String cn) {
   299         return references.addIfMissing(cn);
   300     }
   301 
   302     @Override
   303     protected void requireScript(String resourcePath) {
   304         scripts.add(resourcePath);
   305     }
   306 
   307     @Override
   308     String assignClass(String className) {
   309         return "vm." + className + " = ";
   310     }
   311     
   312     @Override
   313     String accessClass(String className) {
   314         return "vm." + className;
   315     }
   316 
   317     @Override
   318     protected String accessField(String object, String mangledName,
   319                                  String[] fieldInfoName) throws IOException {
   320         final FieldData field =
   321                 classDataCache.findField(fieldInfoName[0],
   322                                          fieldInfoName[1],
   323                                          fieldInfoName[2]);
   324         return accessNonVirtualMember(object, mangledName,
   325                                       (field != null) ? field.cls : null);
   326     }
   327 
   328     @Override
   329     protected String accessStaticMethod(
   330                              String object,
   331                              String mangledName,
   332                              String[] fieldInfoName) throws IOException {
   333         final MethodData method =
   334                 classDataCache.findMethod(fieldInfoName[0],
   335                                           fieldInfoName[1],
   336                                           fieldInfoName[2]);
   337         return accessNonVirtualMember(object, mangledName,
   338                                       (method != null) ? method.cls : null);
   339     }
   340 
   341     @Override
   342     protected String accessVirtualMethod(
   343             String object, 
   344             String mangledName, 
   345             String[] fieldInfoName, 
   346             int params
   347     ) throws IOException {
   348         final ClassData referencedClass =
   349                 classDataCache.getClassData(fieldInfoName[0]);
   350         final MethodData method =
   351                 classDataCache.findMethod(referencedClass,
   352                                           fieldInfoName[1],
   353                                           fieldInfoName[2]);
   354 
   355         if ((method != null)
   356                 && !isExternalClass(method.cls.getClassName())
   357                 && (((method.access & ByteCodeParser.ACC_FINAL) != 0)
   358                         || ((referencedClass.getAccessFlags()
   359                                  & ByteCodeParser.ACC_FINAL) != 0)
   360                         || !isHierarchyExported(method))) {
   361             return object + "." + mangledName + '(';
   362         }
   363 
   364         return accessThroughInvoker(object, mangledName, params);
   365     }
   366 
   367     private String accessThroughInvoker(String object, String mangledName, int params) 
   368     throws IOException {
   369         String def = "\n  invoker." + mangledName + " = function(target";
   370         if (invokerMethods.indexOf(def) == -1) {
   371             invokerMethods.append(def);
   372             for (int j = 0; j < params; j++) {
   373                 invokerMethods.append(", p").append(j);
   374             }
   375             invokerMethods.append(") {\n    return target['").
   376                 append(mangledName).append("'](");
   377             for (int j = 0; j < params; j++) {
   378                 if (j > 0) {
   379                     invokerMethods.append(",");
   380                 }
   381                 invokerMethods.append("p").append(j);
   382             }
   383             invokerMethods.append(");\n  };");
   384         }
   385         return "invoker." + mangledName + '(' + object + (params > 1 ? "," : "");
   386     }
   387 
   388     private boolean isHierarchyExported(final MethodData methodData)
   389             throws IOException {
   390         if (exportedSymbols.isExported(methodData)) {
   391             return true;
   392         }
   393         if ((methodData.access & (ByteCodeParser.ACC_PRIVATE
   394                                       | ByteCodeParser.ACC_STATIC)) != 0) {
   395             return false;
   396         }
   397 
   398         final ExportedMethodFinder exportedMethodFinder =
   399                 new ExportedMethodFinder(exportedSymbols);
   400 
   401         classDataCache.findMethods(
   402                 methodData.cls,
   403                 methodData.getName(),
   404                 methodData.getInternalSig(),
   405                 exportedMethodFinder);
   406 
   407         return (exportedMethodFinder.getFound() != null);
   408     }
   409 
   410     private String accessNonVirtualMember(String object,
   411                                           String mangledName,
   412                                           ClassData declaringClass) {
   413         if (declaringClass == null) {
   414             return object + "['" + mangledName + "']";
   415         }
   416         final String className = declaringClass.getClassName();
   417         if (
   418             "java/lang/Object".equals(className) ||
   419             "java/lang/reflect/Array".equals(className) ||
   420             isExternalClass(className)
   421         ) {
   422             return object + "['" + mangledName + "']";
   423         }
   424         return object + "." + mangledName;
   425     }
   426 
   427     @Override
   428     protected Flow checkFlow(MethodData byteCodes) throws IOException {
   429         if (flow == null) {
   430             return null;
   431         }
   432         Flow f = new Flow(byteCodes, this);
   433         return flow.analyze(f) ? f : null;
   434     }
   435 
   436     private final class ExportedMethodFinder
   437             implements ClassDataCache.TraversalCallback<MethodData> {
   438         private final ExportedSymbols exportedSymbols;
   439         private MethodData found;
   440 
   441         public ExportedMethodFinder(final ExportedSymbols exportedSymbols) {
   442             this.exportedSymbols = exportedSymbols;
   443         }
   444 
   445         @Override
   446         public boolean traverse(final MethodData methodData) {
   447             try {
   448                 if (
   449                     exportedSymbols.isExported(methodData) ||
   450                     isExternalClass(methodData.cls.getClassName())
   451                 ) {
   452                     found = methodData;
   453                     return false;
   454                 }
   455             } catch (final IOException e) {
   456             }
   457 
   458             return true;
   459         }
   460 
   461         public MethodData getFound() {
   462             return found;
   463         }
   464     }
   465 
   466     private static final class Standalone extends VM {
   467         private Standalone(Appendable out,
   468             Bck2Brwsr.Resources resources, 
   469             StringArray explicitlyExported, StringArray asBinary, 
   470             Flow.Analyzer flow
   471         ) {
   472             super(out, resources, explicitlyExported, asBinary, flow);
   473         }
   474 
   475         @Override
   476         protected void generatePrologue() throws IOException {
   477             append("(function VM(global) {var fillInVMSkeleton = function(vm) {");
   478         }
   479 
   480         @Override
   481         protected void generateEpilogue() throws IOException {
   482             append(
   483                   "  return vm;\n"
   484                 + "  };\n"
   485                 + "  var extensions = [];\n"
   486                 + "  function replaceAll(s, target, replacement) {\n"
   487                 + "    var pos = 0;\n"
   488                 + "    for (;;) {\n"
   489                 + "      var indx = s.indexOf(target, pos);\n"
   490                 + "      if (indx === -1) {\n"
   491                 + "        return s;\n"
   492                 + "      }\n"
   493                 + "      pos = indx + replacement.length;\n"
   494                 + "      s = s.substring(0, indx) + replacement + s.substring(indx + target.length);\n"
   495                 + "    }\n"
   496                 + "  }\n"
   497                 + "  function mangleClass(name) {\n"
   498                 + "    name = replaceAll(name, '_', '_1');\n"
   499                 + "    name = replaceAll(name, '.', '_');\n"
   500                 + "    return name;\n"
   501                 + "  };\n"
   502                 + "  var pending = [];\n"
   503                 + "  var pendingClasses = [];\n"
   504                 + "  function extensionLoaded(ev) {\n"
   505                 + "    var at = pending.indexOf(ev.target);\n"
   506                 + "    pending.splice(at, 1);\n"
   507                 + "    if (pending.length === 0) {\n"
   508                 + "      for (var i = 0; i < pendingClasses.length; i += 3) {\n"
   509                 + "        invokeMethod(pendingClasses[i], pendingClasses[i + 1], pendingClasses[i + 2]);\n"
   510                 + "      }\n"
   511                 + "      pendingClasses = [];\n"
   512                 + "    }\n"
   513                 + "  }\n"
   514                 + "  function invokeMethod(vm, n, args) {\n"
   515                 + "    var clazz = vm.loadClass(n);\n"
   516                 + "    if (args) {\n"
   517                 + "      var seek = args[0];\n"
   518                 + "      var prefix = seek.indexOf('__') == -1 ? seek + '__' : seek;\n"
   519                 + "      args = Array.prototype.slice.call(args, 1);\n"
   520                 + "      var found = '';\n"
   521                 + "      for (var m in clazz) {\n"
   522                 + "        if (m.indexOf(prefix) === 0) {\n"
   523                 + "          return clazz[m].apply(null, args);\n"
   524                 + "        }\n"
   525                 + "        found += m.toString() + '\\n'\n"
   526                 + "      }\n"
   527                 + "      throw 'Cannot find ' + seek + ' in ' + n + ' found:\\n' + found;\n"
   528                 + "    }\n"
   529                 + "  }\n"
   530                 + "  function extensionError(ev) {\n"
   531                 + "    console.log('error loading ' + ev.target.src);\n"
   532                 + "    extensionLoaded(ev);\n"
   533                 + "  }\n"
   534                 + "  function loadExtension(url) {\n"
   535                 + "      if (url.substring(url.length - 4) == '.jar')\n"
   536                 + "        url = url.substring(0, url.length - 4) + '.js';\n"
   537                 + "      var script = document.createElement('script');\n"
   538                 + "      script.type = 'text/javascript';\n"
   539                 + "      script.src = url;\n"
   540                 + "      script.onload = extensionLoaded;\n"
   541                 + "      script.onerror = extensionError;\n"
   542                 + "      document.getElementsByTagName('head')[0].appendChild(script);\n"
   543                 + "      pending.push(script);\n"
   544                 + "  }\n"
   545                 + "  global.bck2brwsr = function() {\n"
   546                 + "    var args = Array.prototype.slice.apply(arguments);\n"
   547                 + "    var resources = {};\n"
   548                 + "    function registerResource(n, a64) {\n"
   549                 + "      var frm = atob || window.atob;\n"
   550                 + "      var str = frm(a64);\n"
   551                 + "      var arr = [];\n"
   552                 + "      for (var i = 0; i < str.length; i++) {\n"
   553                 + "        var ch = str.charCodeAt(i) & 0xff;\n"
   554                 + "        if (ch > 127) ch -= 256;\n"
   555                 + "        arr.push(ch);\n"
   556                 + "      }\n"
   557                 + "      if (!resources[n]) resources[n] = [arr];\n"
   558                 + "      else resources[n].push(arr);\n"
   559                 + "    }\n"
   560                 + "    var vm = fillInVMSkeleton({ 'registerResource' : registerResource });\n"
   561                 + "    function initVM() {\n"
   562                 + "      var clsArray = vm['java_lang_reflect_Array'];\n"
   563                 + "      if (clsArray) clsArray(false);\n"
   564                 + "    }\n"
   565                 + "    for (var i = 0; i < extensions.length; ++i) {\n"
   566                 + "      extensions[i](vm);\n"
   567                 + "    }\n"
   568                 + "    vm['registerResource'] = null;\n"
   569                 + "    var knownExtensions = extensions.length;\n"
   570                 + "    var loader = {};\n"
   571                 + "    var loadBytes = function(name, skip) {\n"
   572                 + "      skip = typeof skip == 'number' ? skip : 0;\n"
   573                 + "      var arr = resources[name];\n"
   574                 + "      if (arr) {\n"
   575                 + "        var arrSize = arr.length;\n"
   576                 + "        if (skip < arrSize) return arr[skip];\n"
   577                 + "        skip -= arrSize;\n"
   578                 + "      } else {\n"
   579                 + "        var arrSize = 0;\n"
   580                 + "      };\n"
   581                 + "      for (var i = 0; i < args.length; i++) {\n"
   582                 + "        var at = args[i];\n"
   583                 + "        if(!at) continue;\n"
   584                 + "        var ret;\n"
   585                 + "        if (typeof at === 'string' && at.substring(at.length - 3) === '.js') {\n"
   586                 + "          loadExtension(at);\n"
   587                 + "          args[i] = null;\n"
   588                 + "        } else if (typeof at === 'function') ret = at(name, skip);\n"
   589                 + "        else {\n"
   590                 + "          var cp = vm['org_apidesign_vm4brwsr_ClassPath'];\n"
   591                 + "          if (!cp) throw 'Core Java library not registered. Cannot load from ' + at;\n"
   592                 + "          ret = cp(false).\n"
   593                 + "            loadBytes___3BLjava_lang_String_2Ljava_lang_Object_2II(name, args, i, skip);\n"
   594                 + "        }\n"
   595                 + "        if (ret) return ret;\n"
   596                 + "      }\n"
   597                 + "      while (knownExtensions < extensions.length) {\n"
   598                 + "        vm['registerResource'] = registerResource;\n"
   599                 + "        extensions[knownExtensions++](vm);\n"
   600                 + "        vm['registerResource'] = null;\n"
   601                 + "        initVM();\n"
   602                 + "      }\n"
   603                 + "      var arr = resources[name];\n"
   604                 + "      return (arr && arr.length > arrSize) ? arr[arrSize] : null;\n"
   605                 + "    }\n"
   606                 + "    var reload = function(name, arr, keep) {\n"
   607                 + "      if (!arr) throw 'Cannot find ' + name;\n"
   608                 + "      var lazy = vm['org_apidesign_vm4brwsr_VMLazy'];\n"
   609                 + "      if (!lazy) throw 'No bck2brwsr VM module to compile ' + name;\n"
   610                 + "      if (!keep) {\n"
   611                 + "        var attr = mangleClass(name);\n"
   612                 + "        delete vm[attr];\n"
   613                 + "      }\n"
   614                 + "      return lazy(false)\n"
   615                 + "        ['load__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2_3B']\n"
   616                 + "        (vm, name, args, arr);\n"
   617                 + "    };\n"
   618                 + "    var loadClass = function(name) {\n"
   619                 + "      var attr = mangleClass(name);\n"
   620                 + "      var fn = vm[attr];\n"
   621                 + "      if (fn) return fn(false);\n"
   622                 + "      try {\n"
   623                 + "        var arr = loadBytes(replaceAll(name, '.', '/') + '.class');\n"
   624                 + "        return reload(name, arr, true);\n"
   625                 + "      } catch (err) {\n"
   626                 + "        fn = vm[attr];\n"
   627                 + "        if (fn) return fn(false);\n"
   628                 + "        throw err;\n"
   629                 + "      }\n"
   630                 + "    }\n"
   631                 + "    if (vm['loadClass']) {\n"
   632                 + "      throw 'Cannot initialize the bck2brwsr VM twice!';\n"
   633                 + "    }\n"
   634                 + "    vm['loadClass'] = loadClass;\n"
   635                 + "    vm['_reload'] = reload;\n"
   636                 + "    vm['loadBytes'] = loadBytes;\n"
   637                 + "    initVM();\n"
   638                 + "    loader.loadClass = function(name) {\n"
   639                 + "      if (pending.length === 0) {\n"
   640                 + "        try {\n"
   641                 + "          var c = loadClass(name);\n"
   642                 + "          c['invoke'] = function() {\n"
   643                 + "            return invokeMethod(vm, name, arguments);\n"
   644                 + "          };\n"
   645                 + "          return c;\n"
   646                 + "        } catch (err) {\n"
   647                 + "          if (pending.length === 0) throw err;\n"
   648                 + "        }\n"
   649                 + "      }\n"
   650                 + "      pendingClasses.push(vm);\n"
   651                 + "      pendingClasses.push(name);\n"
   652                 + "      pendingClasses.push(null);\n"
   653                 + "      return {\n"
   654                 + "        'invoke' : function() {\n"
   655                 + "          if (pending.length === 0) {\n"
   656                 + "            invokeMethod(vm, name, arguments);\n"
   657                 + "            return;\n"
   658                 + "          }\n"
   659                 + "          pendingClasses.push(vm);\n"
   660                 + "          pendingClasses.push(name);\n"
   661                 + "          pendingClasses.push(arguments);\n"
   662                 + "        }\n"
   663                 + "      };\n"
   664                 + "    }\n"
   665                 + "    return loader;\n"
   666                 + "  };\n");
   667             append(
   668                   "  global.bck2brwsr.register = function(config, extension) {\n"
   669                 + "    if (!config || config['magic'] !== 'kafíčko') {\n"
   670                 + "      console.log('Will not register: ' + extension);\n"
   671                 + "      return false;\n"
   672                 + "    }\n"
   673                 + "    extensions.push(extension);\n"
   674                 + "    var cp = config['classpath'];\n"
   675                 + "    if (cp) for (var i = 0; i < cp.length; i++) {\n"
   676                 + "      loadExtension(cp[i]);\n"
   677                 + "    }\n"
   678                 + "    return null;\n"
   679                 + "  };\n");
   680             append("}(this));");
   681         }
   682 
   683         @Override
   684         protected String getExportsObject() {
   685             return "vm";
   686         }
   687 
   688         @Override
   689         protected boolean isExternalClass(String className) {
   690             return false;
   691         }
   692         
   693         @Override
   694         protected void lazyReference(Appendable out, String n) throws IOException {
   695             String cls = n.replace('/', '_');
   696             String dot = n.replace('/', '.');
   697 
   698             out.append("\nvm.").append(cls).append(" = function() {");
   699             out.append("\n  var instance = arguments.length == 0 || arguments[0] === true;");
   700             out.append("\n  delete vm.").append(cls).append(";");
   701             out.append("\n  var c = vm.loadClass('").append(dot).append("');");
   702             out.append("\n  return vm.").append(cls).append("(instance);");
   703             out.append("\n}");
   704         }
   705 
   706         @Override
   707         protected void requireResource(String resourcePath) throws IOException {
   708             requireResourceImpl(resourcePath);
   709         }
   710     }
   711 
   712     private static final class Extension extends VM {
   713         private final StringArray extensionClasses;
   714         private final StringArray classpath;
   715 
   716         private Extension(Appendable out, Bck2Brwsr.Resources resources,
   717             String[] extClassesArray, StringArray explicitlyExported,
   718             StringArray asBinary, StringArray classpath, Flow.Analyzer flow
   719         ) throws IOException {
   720             super(out, resources, explicitlyExported, asBinary, flow);
   721             this.extensionClasses = StringArray.asList(extClassesArray);
   722             this.classpath = classpath;
   723         }
   724 
   725         @Override
   726         protected void generatePrologue() throws IOException {
   727             append(
   728                   "bck2brwsr.register({\n"
   729                 + "  'magic' : 'kafíčko'"
   730             );
   731             if (classpath != null && classpath.toArray().length > 0) {
   732                 append(
   733                   ",\n  'classpath' : [\n"
   734                 );
   735                 String sep = "    ";
   736                 for (String s : classpath.toArray()) {
   737                     append(sep).append("'").append(s).append("'");
   738                     sep = ",\n    ";
   739                 }
   740                 append(
   741                   "\n  ]"
   742                 );
   743             }
   744             append(
   745                   "\n}, function(exports) {\n"
   746                 + "  var vm = {};\n");
   747             append("  function link(n, assign) {\n"
   748                 + "    return function() {\n"
   749                 + "      var cls = n['replace__Ljava_lang_String_2CC']"
   750                                        + "('/', '_').toString();\n"
   751                 + "      var dot = n['replace__Ljava_lang_String_2CC']"
   752                                        + "('/', '.').toString();\n"
   753                 + "      exports.loadClass(dot);\n"
   754                 + "      assign(exports[cls]);\n"
   755                 + "      return exports[cls](arguments);\n"
   756                 + "    };\n"
   757                 + "  };\n"
   758             );
   759         }
   760 
   761         @Override
   762         protected void generateEpilogue() throws IOException {
   763             append("});");
   764             if (exportedCount == 0) {
   765                 throw new IOException("Creating library without any exported symbols is useless!");
   766             }
   767         }
   768 
   769         @Override
   770         protected String generateClass(String className) throws IOException {
   771             if (isExternalClass(className)) {
   772                 final String cls = className.replace('/', '_');
   773                 append("\n").append(assignClass(cls))
   774                    .append("link('")
   775                    .append(className)
   776                    .append("', function(f) { ").append(assignClass(cls)).append(" f; });");
   777 
   778                 return null;
   779             }
   780 
   781             return super.generateClass(className);
   782         }
   783 
   784         @Override
   785         protected String getExportsObject() {
   786             return "exports";
   787         }
   788 
   789         @Override
   790         protected boolean isExternalClass(String className) {
   791             return !extensionClasses.contains(className);
   792         }
   793         
   794         @Override
   795         protected void lazyReference(Appendable out, String n) throws IOException {
   796             String cls = n.replace('/', '_');
   797 
   798             out.append("\nvm.").append(cls).append(" = function() {");
   799             out.append("\n  var instance = arguments.length == 0 || arguments[0] === true;");
   800             out.append("\n  delete vm.").append(cls).append(";");
   801             out.append("\n  return link('").append(n).append("', function(f) { vm.");
   802             out.append(cls).append(" = f;})(instance);");
   803             out.append("\n}");
   804         }
   805 
   806         @Override
   807         protected void requireResource(String resourcePath) throws IOException {
   808             requireResourceImpl(resourcePath);
   809         }
   810     }
   811 }