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