rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Thu, 22 May 2014 10:48:09 +0200
branchclosure
changeset 1584 7b6295731c30
parent 1583 89b6b369c13d
child 1587 bf08bd96d408
permissions -rw-r--r--
Static compilator demo is capable to load itself from individual extension files
jaroslav@106
     1
/**
jaroslav@106
     2
 * Back 2 Browser Bytecode Translator
jaroslav@106
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@106
     4
 *
jaroslav@106
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@106
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@106
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@106
     8
 *
jaroslav@106
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@106
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@106
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@106
    12
 * GNU General Public License for more details.
jaroslav@106
    13
 *
jaroslav@106
    14
 * You should have received a copy of the GNU General Public License
jaroslav@106
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@106
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@106
    17
 */
jaroslav@29
    18
package org.apidesign.vm4brwsr;
jaroslav@29
    19
jaroslav@29
    20
import java.io.IOException;
jaroslav@29
    21
import java.io.InputStream;
jaroslav@1495
    22
import org.apidesign.bck2brwsr.core.JavaScriptBody;
lubomir@1029
    23
import org.apidesign.vm4brwsr.ByteCodeParser.ClassData;
lubomir@1083
    24
import org.apidesign.vm4brwsr.ByteCodeParser.FieldData;
lubomir@1083
    25
import org.apidesign.vm4brwsr.ByteCodeParser.MethodData;
jaroslav@29
    26
jaroslav@29
    27
/** Generator of JavaScript from bytecode of classes on classpath of the VM.
jaroslav@29
    28
 *
jaroslav@29
    29
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@29
    30
 */
lubomir@1020
    31
abstract class VM extends ByteCodeToJavaScript {
lubomir@1084
    32
    protected final ClassDataCache classDataCache;
lubomir@1084
    33
lubomir@1084
    34
    private final Bck2Brwsr.Resources resources;
lubomir@1029
    35
    private final ExportedSymbols exportedSymbols;
lubomir@1085
    36
    private final StringArray invokerMethods;
lubomir@1029
    37
jaroslav@1491
    38
    private VM(Appendable out, Bck2Brwsr.Resources resources, StringArray explicitlyExported) {
jtulach@162
    39
        super(out);
lubomir@1029
    40
        this.resources = resources;
lubomir@1084
    41
        this.classDataCache = new ClassDataCache(resources);
jaroslav@1491
    42
        this.exportedSymbols = new ExportedSymbols(resources, explicitlyExported);
lubomir@1085
    43
        this.invokerMethods = new StringArray();
lubomir@869
    44
    }
lubomir@869
    45
jaroslav@277
    46
    static {
jaroslav@277
    47
        // uses VMLazy to load dynamic classes
jaroslav@671
    48
        boolean assertsOn = false;
jaroslav@671
    49
        assert assertsOn = true;
jaroslav@671
    50
        if (assertsOn) {
jaroslav@671
    51
            VMLazy.init();
jaroslav@1550
    52
            ClassPath.init();
jaroslav@671
    53
        }
jaroslav@277
    54
    }
jaroslav@399
    55
jaroslav@399
    56
    @Override
jaroslav@399
    57
    boolean debug(String msg) throws IOException {
jaroslav@399
    58
        return false;
jaroslav@399
    59
    }
jaroslav@277
    60
    
jaroslav@1491
    61
    static void compile(Appendable out, 
jaroslav@1493
    62
        Bck2Brwsr config
jaroslav@1491
    63
    ) throws IOException {
jaroslav@1583
    64
        String[] both = config.classes().toArray();
jaroslav@1491
    65
        
lubomir@1143
    66
        final StringArray fixedNames = new StringArray();
jaroslav@1584
    67
        fixedNames.add(Class.class.getName().replace('.', '/'));
jaroslav@1584
    68
        fixedNames.add(ArithmeticException.class.getName().replace('.', '/'));
jaroslav@1584
    69
        
jaroslav@1584
    70
        VM vm;
jaroslav@1584
    71
        if (config.isExtension()) {
jaroslav@1584
    72
            fixedNames.add(VM.class.getName().replace('.', '/'));
jaroslav@1584
    73
            vm = new Extension(out, config.getResources(), both, config.exported());
jaroslav@1584
    74
        } else {
jaroslav@1584
    75
            if (config.includeVM()) {
jaroslav@1584
    76
                fixedNames.add(VM.class.getName().replace('.', '/'));
jaroslav@1584
    77
            }
jaroslav@1584
    78
            vm = new Standalone(out, config.getResources(), config.exported());
jaroslav@1584
    79
        }            
jaroslav@1495
    80
        vm.doCompile(fixedNames.addAndNew(both), config.allResources());
jaroslav@29
    81
    }
lubomir@869
    82
jaroslav@1495
    83
    private void doCompile(StringArray names, StringArray asBinary) throws IOException {
lubomir@1020
    84
        generatePrologue();
jaroslav@1513
    85
        append(
jaroslav@1508
    86
                "\n  var invoker = {};");
lubomir@1029
    87
        generateBody(names);
lubomir@1085
    88
        for (String invokerMethod: invokerMethods.toArray()) {
jaroslav@1513
    89
            append("\n  invoker." + invokerMethod + " = function(target) {"
jaroslav@1508
    90
                + "\n    return function() {"
jaroslav@1508
    91
                + "\n      return target['" + invokerMethod + "'].apply(target, arguments);"
jaroslav@1508
    92
                + "\n    };"
jaroslav@1508
    93
                + "\n  };"
jaroslav@1508
    94
            );
lubomir@1085
    95
        }
jaroslav@1495
    96
        
jaroslav@1495
    97
        for (String r : asBinary.toArray()) {
jaroslav@1558
    98
            append("\n  ").append(getExportsObject()).append("['registerResource']('");
jaroslav@1513
    99
            append(r).append("', '");
jaroslav@1495
   100
            InputStream is = this.resources.get(r);
jaroslav@1495
   101
            byte[] arr = new byte[is.available()];
jaroslav@1520
   102
            int offset = 0;
jaroslav@1520
   103
            for (;;) {
jaroslav@1520
   104
                if (offset == arr.length) {
jaroslav@1520
   105
                    byte[] tmp = new byte[arr.length * 2];
jaroslav@1520
   106
                    System.arraycopy(arr, 0, tmp, 0, arr.length);
jaroslav@1520
   107
                    arr = tmp;
jaroslav@1520
   108
                }
jaroslav@1520
   109
                int len = is.read(arr, offset, arr.length - offset);
jaroslav@1520
   110
                if (len == -1) {
jaroslav@1520
   111
                    break;
jaroslav@1520
   112
                }
jaroslav@1520
   113
                offset += len;
jaroslav@1520
   114
            }
jaroslav@1520
   115
            if (offset != arr.length) {
jaroslav@1520
   116
                byte[] tmp = new byte[offset];
jaroslav@1520
   117
                System.arraycopy(arr, 0, tmp, 0, offset);
jaroslav@1520
   118
                arr = tmp;
jaroslav@1495
   119
            }
jaroslav@1513
   120
            append(btoa(arr));
jaroslav@1513
   121
            append("');");
jaroslav@1495
   122
        }
jaroslav@1495
   123
        
jaroslav@1513
   124
        append("\n");
lubomir@1020
   125
        generateEpilogue();
lubomir@869
   126
    }
lubomir@869
   127
jaroslav@1495
   128
    @JavaScriptBody(args = { "arr" }, body = "return btoa(arr);")
jaroslav@1495
   129
    private static String btoa(byte[] arr) {
jaroslav@1495
   130
        return javax.xml.bind.DatatypeConverter.printBase64Binary(arr);
jaroslav@1495
   131
    }
jaroslav@1495
   132
lubomir@1020
   133
    protected abstract void generatePrologue() throws IOException;
lubomir@1020
   134
lubomir@1020
   135
    protected abstract void generateEpilogue() throws IOException;
lubomir@1020
   136
lubomir@1094
   137
    protected abstract String getExportsObject();
lubomir@1029
   138
lubomir@1094
   139
    protected abstract boolean isExternalClass(String className);
lubomir@1029
   140
lubomir@1029
   141
    @Override
lubomir@1029
   142
    protected final void declaredClass(ClassData classData, String mangledName)
lubomir@1029
   143
            throws IOException {
lubomir@1029
   144
        if (exportedSymbols.isExported(classData)) {
jaroslav@1513
   145
            append("\n").append(getExportsObject()).append("['")
lubomir@1029
   146
                                               .append(mangledName)
lubomir@1029
   147
                                               .append("'] = ")
lubomir@1029
   148
                            .append(accessClass(mangledName))
lubomir@1029
   149
               .append(";\n");
lubomir@1029
   150
        }
lubomir@1029
   151
    }
lubomir@1029
   152
lubomir@1094
   153
    protected String generateClass(String className) throws IOException {
lubomir@1094
   154
        ClassData classData = classDataCache.getClassData(className);
lubomir@1094
   155
        if (classData == null) {
lubomir@1094
   156
            throw new IOException("Can't find class " + className);
lubomir@1094
   157
        }
lubomir@1094
   158
        return compile(classData);
lubomir@1094
   159
    }
lubomir@1094
   160
lubomir@1083
   161
    @Override
lubomir@1083
   162
    protected void declaredField(FieldData fieldData,
lubomir@1083
   163
                                 String destObject,
lubomir@1083
   164
                                 String mangledName) throws IOException {
lubomir@1083
   165
        if (exportedSymbols.isExported(fieldData)) {
lubomir@1083
   166
            exportMember(destObject, mangledName);
lubomir@1083
   167
        }
lubomir@1083
   168
    }
lubomir@1083
   169
lubomir@1083
   170
    @Override
lubomir@1083
   171
    protected void declaredMethod(MethodData methodData,
lubomir@1083
   172
                                  String destObject,
lubomir@1083
   173
                                  String mangledName) throws IOException {
lubomir@1087
   174
        if (isHierarchyExported(methodData)) {
lubomir@1083
   175
            exportMember(destObject, mangledName);
lubomir@1083
   176
        }
lubomir@1083
   177
    }
lubomir@1083
   178
lubomir@1083
   179
    private void exportMember(String destObject, String memberName)
lubomir@1083
   180
            throws IOException {
jaroslav@1513
   181
        append("\n").append(destObject).append("['")
lubomir@1083
   182
                                           .append(memberName)
lubomir@1083
   183
                                           .append("'] = ")
lubomir@1083
   184
                        .append(destObject).append(".").append(memberName)
lubomir@1083
   185
           .append(";\n");
lubomir@1083
   186
    }
lubomir@1083
   187
lubomir@1029
   188
    private void generateBody(StringArray names) throws IOException {
jtulach@162
   189
        StringArray processed = new StringArray();
jtulach@162
   190
        StringArray initCode = new StringArray();
jaroslav@1344
   191
        StringArray skipClass = new StringArray();
jtulach@162
   192
        for (String baseClass : names.toArray()) {
jaroslav@272
   193
            references.add(baseClass);
jaroslav@97
   194
            for (;;) {
jaroslav@97
   195
                String name = null;
jaroslav@272
   196
                for (String n : references.toArray()) {
jaroslav@1344
   197
                    if (skipClass.contains(n)) {
jaroslav@1344
   198
                        continue;
jaroslav@1344
   199
                    }
jtulach@162
   200
                    if (processed.contains(n)) {
jaroslav@97
   201
                        continue;
jaroslav@97
   202
                    }
jaroslav@97
   203
                    name = n;
jaroslav@97
   204
                }
jaroslav@97
   205
                if (name == null) {
jaroslav@97
   206
                    break;
jaroslav@97
   207
                }
jaroslav@1513
   208
                InputStream is = resources.get(name + ".class");
jaroslav@97
   209
                if (is == null) {
jaroslav@1509
   210
                    lazyReference(this, name);
jaroslav@1344
   211
                    skipClass.add(name);
jaroslav@1344
   212
                    continue;
jaroslav@97
   213
                }
jaroslav@97
   214
                try {
lubomir@1029
   215
                    String ic = generateClass(name);
jtulach@162
   216
                    processed.add(name);
jtulach@162
   217
                    initCode.add(ic == null ? "" : ic);
jaroslav@97
   218
                } catch (RuntimeException ex) {
jaroslav@1509
   219
                    throw new IOException("Error while compiling " + name + "\n", ex);
jaroslav@97
   220
                }
jaroslav@29
   221
            }
jaroslav@97
   222
jaroslav@272
   223
            for (String resource : scripts.toArray()) {
jaroslav@250
   224
                while (resource.startsWith("/")) {
jaroslav@250
   225
                    resource = resource.substring(1);
jaroslav@250
   226
                }
lubomir@1029
   227
                InputStream emul = resources.get(resource);
jaroslav@250
   228
                if (emul == null) {
jaroslav@250
   229
                    throw new IOException("Can't find " + resource);
jaroslav@250
   230
                }
jaroslav@1509
   231
                readResource(emul, this);
jaroslav@250
   232
            }
jaroslav@272
   233
            scripts = new StringArray();
lubomir@1020
   234
jaroslav@272
   235
            StringArray toInit = StringArray.asList(references.toArray());
jtulach@162
   236
            toInit.reverse();
jtulach@129
   237
jtulach@162
   238
            for (String ic : toInit.toArray()) {
jtulach@162
   239
                int indx = processed.indexOf(ic);
jtulach@162
   240
                if (indx >= 0) {
jaroslav@833
   241
                    final String theCode = initCode.toArray()[indx];
jaroslav@833
   242
                    if (!theCode.isEmpty()) {
jaroslav@1509
   243
                        append(theCode).append("\n");
jaroslav@833
   244
                    }
jtulach@162
   245
                    initCode.toArray()[indx] = "";
jaroslav@91
   246
                }
jaroslav@91
   247
            }
jaroslav@29
   248
        }
jaroslav@29
   249
    }
lubomir@1020
   250
jaroslav@90
   251
    private static void readResource(InputStream emul, Appendable out) throws IOException {
jaroslav@90
   252
        try {
jaroslav@90
   253
            int state = 0;
jaroslav@90
   254
            for (;;) {
jaroslav@90
   255
                int ch = emul.read();
jaroslav@90
   256
                if (ch == -1) {
jaroslav@90
   257
                    break;
jaroslav@90
   258
                }
jaroslav@90
   259
                if (ch < 0 || ch > 255) {
jaroslav@90
   260
                    throw new IOException("Invalid char in emulation " + ch);
jaroslav@90
   261
                }
jaroslav@90
   262
                switch (state) {
jaroslav@90
   263
                    case 0: 
jaroslav@90
   264
                        if (ch == '/') {
jaroslav@90
   265
                            state = 1;
jaroslav@90
   266
                        } else {
jaroslav@90
   267
                            out.append((char)ch);
jaroslav@90
   268
                        }
jaroslav@90
   269
                        break;
jaroslav@90
   270
                    case 1:
jaroslav@90
   271
                        if (ch == '*') {
jaroslav@90
   272
                            state = 2;
jaroslav@90
   273
                        } else {
jaroslav@90
   274
                            out.append('/').append((char)ch);
jaroslav@90
   275
                            state = 0;
jaroslav@90
   276
                        }
jaroslav@90
   277
                        break;
jaroslav@90
   278
                    case 2:
jaroslav@90
   279
                        if (ch == '*') {
jaroslav@90
   280
                            state = 3;
jaroslav@90
   281
                        }
jaroslav@90
   282
                        break;
jaroslav@90
   283
                    case 3:
jaroslav@90
   284
                        if (ch == '/') {
jaroslav@90
   285
                            state = 0;
jaroslav@90
   286
                        } else {
jaroslav@90
   287
                            state = 2;
jaroslav@90
   288
                        }
jaroslav@90
   289
                        break;
jaroslav@90
   290
                }
jaroslav@90
   291
            }
jaroslav@90
   292
        } finally {
jaroslav@90
   293
            emul.close();
jaroslav@90
   294
        }
jaroslav@90
   295
    }
jaroslav@93
   296
jaroslav@136
   297
    static String toString(String name) throws IOException {
jaroslav@136
   298
        StringBuilder sb = new StringBuilder();
jaroslav@298
   299
//        compile(sb, name);
jaroslav@136
   300
        return sb.toString().toString();
jaroslav@136
   301
    }
jtulach@162
   302
jtulach@162
   303
    private StringArray scripts = new StringArray();
jtulach@162
   304
    private StringArray references = new StringArray();
jtulach@162
   305
    
jtulach@162
   306
    @Override
jtulach@162
   307
    protected boolean requireReference(String cn) {
jtulach@162
   308
        if (references.contains(cn)) {
jtulach@162
   309
            return false;
jtulach@162
   310
        }
jtulach@162
   311
        references.add(cn);
jtulach@162
   312
        return true;
jtulach@162
   313
    }
jtulach@162
   314
jtulach@162
   315
    @Override
jtulach@162
   316
    protected void requireScript(String resourcePath) {
jtulach@162
   317
        scripts.add(resourcePath);
jtulach@162
   318
    }
jaroslav@274
   319
jaroslav@274
   320
    @Override
jaroslav@274
   321
    String assignClass(String className) {
jaroslav@274
   322
        return "vm." + className + " = ";
jaroslav@274
   323
    }
jaroslav@274
   324
    
jaroslav@274
   325
    @Override
jaroslav@274
   326
    String accessClass(String className) {
jaroslav@274
   327
        return "vm." + className;
jaroslav@274
   328
    }
lubomir@869
   329
lubomir@869
   330
    @Override
lubomir@1085
   331
    protected String accessField(String object, String mangledName,
lubomir@1085
   332
                                 String[] fieldInfoName) throws IOException {
lubomir@1085
   333
        final FieldData field =
lubomir@1085
   334
                classDataCache.findField(fieldInfoName[0],
lubomir@1085
   335
                                         fieldInfoName[1],
lubomir@1085
   336
                                         fieldInfoName[2]);
lubomir@1085
   337
        return accessNonVirtualMember(object, mangledName,
lubomir@1085
   338
                                      (field != null) ? field.cls : null);
lubomir@1085
   339
    }
lubomir@1085
   340
lubomir@1085
   341
    @Override
lubomir@1085
   342
    protected String accessStaticMethod(
lubomir@1085
   343
                             String object,
lubomir@1085
   344
                             String mangledName,
lubomir@1085
   345
                             String[] fieldInfoName) throws IOException {
lubomir@1085
   346
        final MethodData method =
lubomir@1085
   347
                classDataCache.findMethod(fieldInfoName[0],
lubomir@1085
   348
                                          fieldInfoName[1],
lubomir@1085
   349
                                          fieldInfoName[2]);
lubomir@1085
   350
        return accessNonVirtualMember(object, mangledName,
lubomir@1085
   351
                                      (method != null) ? method.cls : null);
lubomir@1085
   352
    }
lubomir@1085
   353
lubomir@1085
   354
    @Override
lubomir@1085
   355
    protected String accessVirtualMethod(
lubomir@1085
   356
                             String object,
lubomir@1085
   357
                             String mangledName,
lubomir@1085
   358
                             String[] fieldInfoName) throws IOException {
lubomir@1085
   359
        final ClassData referencedClass =
lubomir@1084
   360
                classDataCache.getClassData(fieldInfoName[0]);
lubomir@1085
   361
        final MethodData method =
lubomir@1085
   362
                classDataCache.findMethod(referencedClass,
lubomir@1085
   363
                                          fieldInfoName[1],
lubomir@1085
   364
                                          fieldInfoName[2]);
lubomir@1085
   365
lubomir@1085
   366
        if ((method != null)
lubomir@1094
   367
                && !isExternalClass(method.cls.getClassName())
lubomir@1085
   368
                && (((method.access & ByteCodeParser.ACC_FINAL) != 0)
lubomir@1085
   369
                        || ((referencedClass.getAccessFlags()
lubomir@1085
   370
                                 & ByteCodeParser.ACC_FINAL) != 0)
lubomir@1087
   371
                        || !isHierarchyExported(method))) {
lubomir@1085
   372
            return object + "." + mangledName;
lubomir@1084
   373
        }
lubomir@1084
   374
lubomir@1085
   375
        return accessThroughInvoker(object, mangledName);
lubomir@1085
   376
    }
lubomir@1085
   377
lubomir@1085
   378
    private String accessThroughInvoker(String object, String mangledName) {
lubomir@1085
   379
        if (!invokerMethods.contains(mangledName)) {
lubomir@1085
   380
            invokerMethods.add(mangledName);
lubomir@1085
   381
        }
lubomir@1085
   382
        return "invoker." + mangledName + '(' + object + ')';
lubomir@1085
   383
    }
lubomir@1085
   384
lubomir@1087
   385
    private boolean isHierarchyExported(final MethodData methodData)
lubomir@1087
   386
            throws IOException {
lubomir@1087
   387
        if (exportedSymbols.isExported(methodData)) {
lubomir@1087
   388
            return true;
lubomir@1087
   389
        }
lubomir@1087
   390
        if ((methodData.access & (ByteCodeParser.ACC_PRIVATE
lubomir@1087
   391
                                      | ByteCodeParser.ACC_STATIC)) != 0) {
lubomir@1087
   392
            return false;
lubomir@1087
   393
        }
lubomir@1087
   394
lubomir@1087
   395
        final ExportedMethodFinder exportedMethodFinder =
lubomir@1087
   396
                new ExportedMethodFinder(exportedSymbols);
lubomir@1087
   397
lubomir@1087
   398
        classDataCache.findMethods(
lubomir@1087
   399
                methodData.cls,
lubomir@1087
   400
                methodData.getName(),
lubomir@1087
   401
                methodData.getInternalSig(),
lubomir@1087
   402
                exportedMethodFinder);
lubomir@1087
   403
lubomir@1087
   404
        return (exportedMethodFinder.getFound() != null);
lubomir@1087
   405
    }
lubomir@1087
   406
lubomir@1094
   407
    private String accessNonVirtualMember(String object,
lubomir@1094
   408
                                          String mangledName,
lubomir@1094
   409
                                          ClassData declaringClass) {
lubomir@1094
   410
        return ((declaringClass != null)
lubomir@1094
   411
                    && !isExternalClass(declaringClass.getClassName()))
lubomir@1094
   412
                            ? object + "." + mangledName
lubomir@1094
   413
                            : object + "['" + mangledName + "']";
lubomir@1084
   414
    }
lubomir@1084
   415
lubomir@1087
   416
    private static final class ExportedMethodFinder
lubomir@1087
   417
            implements ClassDataCache.TraversalCallback<MethodData> {
lubomir@1087
   418
        private final ExportedSymbols exportedSymbols;
lubomir@1087
   419
        private MethodData found;
lubomir@1087
   420
lubomir@1087
   421
        public ExportedMethodFinder(final ExportedSymbols exportedSymbols) {
lubomir@1087
   422
            this.exportedSymbols = exportedSymbols;
lubomir@1087
   423
        }
lubomir@1087
   424
lubomir@1087
   425
        @Override
lubomir@1087
   426
        public boolean traverse(final MethodData methodData) {
lubomir@1087
   427
            try {
lubomir@1087
   428
                if (exportedSymbols.isExported(methodData)) {
lubomir@1087
   429
                    found = methodData;
lubomir@1087
   430
                    return false;
lubomir@1087
   431
                }
lubomir@1087
   432
            } catch (final IOException e) {
lubomir@1087
   433
            }
lubomir@1087
   434
lubomir@1087
   435
            return true;
lubomir@1087
   436
        }
lubomir@1087
   437
lubomir@1087
   438
        public MethodData getFound() {
lubomir@1087
   439
            return found;
lubomir@1087
   440
        }
lubomir@1087
   441
    }
lubomir@1087
   442
lubomir@1020
   443
    private static final class Standalone extends VM {
jaroslav@1491
   444
        private Standalone(Appendable out, Bck2Brwsr.Resources resources, StringArray explicitlyExported) {
jaroslav@1491
   445
            super(out, resources, explicitlyExported);
lubomir@1020
   446
        }
lubomir@1020
   447
lubomir@1020
   448
        @Override
lubomir@1020
   449
        protected void generatePrologue() throws IOException {
jaroslav@1513
   450
            append("(function VM(global) {var fillInVMSkeleton = function(vm) {");
lubomir@1020
   451
        }
lubomir@1020
   452
lubomir@1020
   453
        @Override
lubomir@1020
   454
        protected void generateEpilogue() throws IOException {
jaroslav@1513
   455
            append(
lubomir@1020
   456
                  "  return vm;\n"
lubomir@1020
   457
                + "  };\n"
lubomir@1029
   458
                + "  var extensions = [];\n"
jaroslav@1580
   459
                + "  function replaceAll(s, target, replacement) {\n"
jaroslav@1580
   460
                + "    var pos = 0;\n"
jaroslav@1580
   461
                + "    for (;;) {\n"
jaroslav@1580
   462
                + "      var indx = s.indexOf(target, pos);\n"
jaroslav@1580
   463
                + "      if (indx === -1) {\n"
jaroslav@1580
   464
                + "        return s;\n"
jaroslav@1580
   465
                + "      }\n"
jaroslav@1580
   466
                + "      pos = indx + replacement.length;\n"
jaroslav@1580
   467
                + "      s = s.substring(0, indx) + replacement + s.substring(indx + target.length);\n"
jaroslav@1580
   468
                + "    }\n"
jaroslav@1580
   469
                + "  }\n"
jaroslav@1514
   470
                + "  function mangleClass(name) {\n"
jaroslav@1580
   471
                + "    name = replaceAll(name, '_', '_1');\n"
jaroslav@1580
   472
                + "    name = replaceAll(name, '.', '_');\n"
jaroslav@1580
   473
                + "    return name;\n"
jaroslav@1514
   474
                + "  };\n"
lubomir@1020
   475
                + "  global.bck2brwsr = function() {\n"
lubomir@1020
   476
                + "    var args = Array.prototype.slice.apply(arguments);\n"
jaroslav@1495
   477
                + "    var resources = {};\n"
jaroslav@1495
   478
                + "    function registerResource(n, a64) {\n"
jaroslav@1495
   479
                + "      var str = atob(a64);\n"
jaroslav@1495
   480
                + "      var arr = [];\n"
jaroslav@1496
   481
                + "      for (var i = 0; i < str.length; i++) {\n"
jaroslav@1496
   482
                + "        var ch = str.charCodeAt(i) & 0xff;\n"
jaroslav@1496
   483
                + "        if (ch > 127) ch -= 256;\n"
jaroslav@1496
   484
                + "        arr.push(ch);\n"
jaroslav@1496
   485
                + "      }\n"
jaroslav@1495
   486
                + "      if (!resources[n]) resources[n] = [arr];\n"
jaroslav@1495
   487
                + "      else resources[n].push(arr);\n"
jaroslav@1495
   488
                + "    }\n"
jaroslav@1495
   489
                + "    var vm = fillInVMSkeleton({ 'registerResource' : registerResource });\n"
jaroslav@1584
   490
                + "    function initVM() {\n"
jaroslav@1584
   491
                + "      var clsArray = vm['java_lang_reflect_Array'];\n"
jaroslav@1584
   492
                + "      if (clsArray) clsArray(false);\n"
jaroslav@1584
   493
                + "    }\n"
lubomir@1029
   494
                + "    for (var i = 0; i < extensions.length; ++i) {\n"
lubomir@1029
   495
                + "      extensions[i](vm);\n"
lubomir@1029
   496
                + "    }\n"
jaroslav@1558
   497
                + "    vm['registerResource'] = null;\n"
jaroslav@1489
   498
                + "    var knownExtensions = extensions.length;\n"
lubomir@1020
   499
                + "    var loader = {};\n"
jaroslav@1577
   500
                + "    var loadBytes = function(name, skip) {\n"
jaroslav@1577
   501
                + "      skip = typeof skip == 'number' ? skip : 0;\n"
jaroslav@1577
   502
                + "      var arr = resources[name];\n"
jaroslav@1577
   503
                + "      if (arr) {\n"
jaroslav@1577
   504
                + "        var arrSize = arr.length;\n"
jaroslav@1577
   505
                + "        if (skip < arrSize) return arr[skip];\n"
jaroslav@1577
   506
                + "        skip -= arrSize;\n"
jaroslav@1577
   507
                + "      } else {\n"
jaroslav@1577
   508
                + "        var arrSize = 0;\n"
jaroslav@1577
   509
                + "      };\n"
jaroslav@1581
   510
                + "      for (var i = 0; i < args.length; i++) {\n"
jaroslav@1581
   511
                + "        var at = args[i];\n"
jaroslav@1581
   512
                + "        var ret;\n"
jaroslav@1581
   513
                + "        if (typeof at === 'function') ret = at(name, skip);\n"
jaroslav@1581
   514
                + "        else ret = vm['org_apidesign_vm4brwsr_ClassPath'](false).\n"
jaroslav@1581
   515
                + "          loadBytes___3BLjava_lang_String_2Ljava_lang_Object_2II(name, args, i, skip);\n"
jaroslav@1581
   516
                + "        if (ret !== null) return ret;\n"
jaroslav@1581
   517
                + "      }\n"
jaroslav@1577
   518
                + "      while (knownExtensions < extensions.length) {\n"
jaroslav@1577
   519
                + "        vm['registerResource'] = registerResource;\n"
jaroslav@1577
   520
                + "        extensions[knownExtensions++](vm);\n"
jaroslav@1577
   521
                + "        vm['registerResource'] = null;\n"
jaroslav@1584
   522
                + "        initVM();\n"
jaroslav@1577
   523
                + "      }\n"
jaroslav@1577
   524
                + "      var arr = resources[name];\n"
jaroslav@1577
   525
                + "      return (arr && arr.length > arrSize) ? arr[arrSize] : null;\n"
jaroslav@1577
   526
                + "    }\n"
jaroslav@1578
   527
                + "    var reload = function(name, arr, keep) {;\n"
jaroslav@1578
   528
                + "      if (!keep) {\n"
jaroslav@1578
   529
                + "        var attr = mangleClass(name);\n"
jaroslav@1578
   530
                + "        delete vm[attr];\n"
jaroslav@1578
   531
                + "      }\n"
jaroslav@1578
   532
                + "      return vm['org_apidesign_vm4brwsr_VMLazy'](false)\n"
jaroslav@1578
   533
                + "        ['load__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2_3B']\n"
jaroslav@1579
   534
                + "        (vm, name, args, arr);\n"
jaroslav@1578
   535
                + "    };\n"
lubomir@1020
   536
                + "    loader.loadClass = function(name) {\n"
jaroslav@1514
   537
                + "      var attr = mangleClass(name);\n"
lubomir@1020
   538
                + "      var fn = vm[attr];\n"
lubomir@1020
   539
                + "      if (fn) return fn(false);\n"
jaroslav@1489
   540
                + "      try {\n"
jaroslav@1584
   541
                + "        var arr = loadBytes(replaceAll(name, '.', '/') + '.class');\n"
jaroslav@1578
   542
                + "        return reload(name, arr, true);\n"
jaroslav@1489
   543
                + "      } catch (err) {\n"
jaroslav@1489
   544
                + "        fn = vm[attr];\n"
jaroslav@1489
   545
                + "        if (fn) return fn(false);\n"
jaroslav@1489
   546
                + "        throw err;\n"
jaroslav@1489
   547
                + "      }\n"
lubomir@1020
   548
                + "    }\n"
jaroslav@1578
   549
                + "    if (vm['loadClass']) {\n"
lubomir@1020
   550
                + "      throw 'Cannot initialize the bck2brwsr VM twice!';\n"
lubomir@1020
   551
                + "    }\n"
jaroslav@1578
   552
                + "    vm['loadClass'] = loader.loadClass;\n"
jaroslav@1578
   553
                + "    vm['_reload'] = reload;\n"
jaroslav@1578
   554
                + "    vm['loadBytes'] = loadBytes;\n"
jaroslav@1584
   555
                + "    initVM();\n"
lubomir@1020
   556
                + "    return loader;\n"
lubomir@1020
   557
                + "  };\n");
jaroslav@1513
   558
            append(
jaroslav@1489
   559
                  "  global.bck2brwsr.registerExtension = function(extension) {\n"
lubomir@1029
   560
                + "    extensions.push(extension);\n"
jaroslav@1489
   561
                + "    return null;\n"
lubomir@1029
   562
                + "  };\n");
jaroslav@1513
   563
            append("}(this));");
lubomir@1020
   564
        }
lubomir@1020
   565
lubomir@1020
   566
        @Override
lubomir@1094
   567
        protected String getExportsObject() {
lubomir@1094
   568
            return "vm";
lubomir@1029
   569
        }
lubomir@1029
   570
lubomir@1029
   571
        @Override
lubomir@1094
   572
        protected boolean isExternalClass(String className) {
lubomir@1094
   573
            return false;
lubomir@1020
   574
        }
lubomir@1020
   575
    }
lubomir@1020
   576
lubomir@1020
   577
    private static final class Extension extends VM {
lubomir@1094
   578
        private final StringArray extensionClasses;
lubomir@1094
   579
lubomir@1094
   580
        private Extension(Appendable out, Bck2Brwsr.Resources resources,
jaroslav@1491
   581
                          String[] extClassesArray, StringArray explicitlyExported) {
jaroslav@1491
   582
            super(out, resources, explicitlyExported);
lubomir@1094
   583
            this.extensionClasses = StringArray.asList(extClassesArray);
lubomir@1020
   584
        }
lubomir@1020
   585
lubomir@1020
   586
        @Override
lubomir@1020
   587
        protected void generatePrologue() throws IOException {
jaroslav@1513
   588
            append("bck2brwsr.registerExtension(function(exports) {\n"
lubomir@1020
   589
                           + "  var vm = {};\n");
jaroslav@1542
   590
            append("  function link(n) {\n"
jaroslav@1542
   591
                + "    return function() {\n"
jaroslav@1542
   592
                + "      var cls = n['replace__Ljava_lang_String_2CC']"
jaroslav@1542
   593
                                       + "('/', '_').toString();\n"
jaroslav@1542
   594
                + "      var dot = n['replace__Ljava_lang_String_2CC']"
jaroslav@1542
   595
                                       + "('/', '.').toString();\n"
jaroslav@1542
   596
                + "      exports.loadClass(dot);\n"
jaroslav@1542
   597
                + "      vm[cls] = exports[cls];\n"
jaroslav@1542
   598
                + "      return vm[cls](arguments);\n"
jaroslav@1542
   599
                + "    };\n"
jaroslav@1542
   600
                + "  };\n"
jaroslav@1542
   601
            );
lubomir@1020
   602
        }
lubomir@1020
   603
lubomir@1020
   604
        @Override
lubomir@1020
   605
        protected void generateEpilogue() throws IOException {
jaroslav@1513
   606
            append("});");
lubomir@1020
   607
        }
lubomir@1020
   608
lubomir@1020
   609
        @Override
lubomir@1029
   610
        protected String generateClass(String className) throws IOException {
lubomir@1094
   611
            if (isExternalClass(className)) {
jaroslav@1513
   612
                append("\n").append(assignClass(
lubomir@1029
   613
                                            className.replace('/', '_')))
jaroslav@1542
   614
                   .append("link('")
lubomir@1029
   615
                   .append(className)
jaroslav@1542
   616
                   .append("');");
lubomir@1029
   617
lubomir@1029
   618
                return null;
lubomir@1029
   619
            }
lubomir@1029
   620
lubomir@1094
   621
            return super.generateClass(className);
lubomir@1029
   622
        }
lubomir@1029
   623
lubomir@1029
   624
        @Override
lubomir@1029
   625
        protected String getExportsObject() {
lubomir@1020
   626
            return "exports";
lubomir@1020
   627
        }
lubomir@1094
   628
lubomir@1094
   629
        @Override
lubomir@1094
   630
        protected boolean isExternalClass(String className) {
lubomir@1094
   631
            return !extensionClasses.contains(className);
lubomir@1094
   632
        }
lubomir@869
   633
    }
jaroslav@1367
   634
    
jaroslav@1367
   635
    private static void lazyReference(Appendable out, String n) throws IOException {
jaroslav@1367
   636
        String cls = n.replace('/', '_');
jaroslav@1367
   637
        String dot = n.replace('/', '.');
jaroslav@1367
   638
        
jaroslav@1367
   639
        out.append("\nvm.").append(cls).append(" = function() {");
jaroslav@1367
   640
        out.append("\n  var instance = arguments.length == 0 || arguments[0] === true;");
jaroslav@1367
   641
        out.append("\n  delete vm.").append(cls).append(";");
jaroslav@1367
   642
        out.append("\n  var c = vm.loadClass('").append(dot).append("');");
jaroslav@1367
   643
        out.append("\n  return vm.").append(cls).append("(instance);");
jaroslav@1367
   644
        out.append("\n}");
jaroslav@1367
   645
    }
jaroslav@29
   646
}