rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Thu, 27 Nov 2014 20:23:35 +0100
changeset 1730 795b040ac8f2
parent 1722 fd3a354d6e8f
child 1732 5ab1cb07a530
permissions -rw-r--r--
Generating a library script that does not export a single class is probably a bit silly. Throw an exception.
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;
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@1722
   266
        readResource(emul, this);
jaroslav@1722
   267
    }
jaroslav@1722
   268
jaroslav@90
   269
    private static void readResource(InputStream emul, Appendable out) throws IOException {
jaroslav@90
   270
        try {
jaroslav@90
   271
            int state = 0;
jaroslav@90
   272
            for (;;) {
jaroslav@90
   273
                int ch = emul.read();
jaroslav@90
   274
                if (ch == -1) {
jaroslav@90
   275
                    break;
jaroslav@90
   276
                }
jaroslav@90
   277
                if (ch < 0 || ch > 255) {
jaroslav@90
   278
                    throw new IOException("Invalid char in emulation " + ch);
jaroslav@90
   279
                }
jaroslav@90
   280
                switch (state) {
jaroslav@90
   281
                    case 0: 
jaroslav@90
   282
                        if (ch == '/') {
jaroslav@90
   283
                            state = 1;
jaroslav@90
   284
                        } else {
jaroslav@90
   285
                            out.append((char)ch);
jaroslav@90
   286
                        }
jaroslav@90
   287
                        break;
jaroslav@90
   288
                    case 1:
jaroslav@90
   289
                        if (ch == '*') {
jaroslav@90
   290
                            state = 2;
jaroslav@90
   291
                        } else {
jaroslav@90
   292
                            out.append('/').append((char)ch);
jaroslav@90
   293
                            state = 0;
jaroslav@90
   294
                        }
jaroslav@90
   295
                        break;
jaroslav@90
   296
                    case 2:
jaroslav@90
   297
                        if (ch == '*') {
jaroslav@90
   298
                            state = 3;
jaroslav@90
   299
                        }
jaroslav@90
   300
                        break;
jaroslav@90
   301
                    case 3:
jaroslav@90
   302
                        if (ch == '/') {
jaroslav@90
   303
                            state = 0;
jaroslav@90
   304
                        } else {
jaroslav@90
   305
                            state = 2;
jaroslav@90
   306
                        }
jaroslav@90
   307
                        break;
jaroslav@90
   308
                }
jaroslav@90
   309
            }
jaroslav@90
   310
        } finally {
jaroslav@90
   311
            emul.close();
jaroslav@90
   312
        }
jaroslav@90
   313
    }
jaroslav@93
   314
jaroslav@136
   315
    static String toString(String name) throws IOException {
jaroslav@136
   316
        StringBuilder sb = new StringBuilder();
jaroslav@298
   317
//        compile(sb, name);
jaroslav@136
   318
        return sb.toString().toString();
jaroslav@136
   319
    }
jtulach@162
   320
jtulach@162
   321
    private StringArray scripts = new StringArray();
jtulach@162
   322
    private StringArray references = new StringArray();
jtulach@162
   323
    
jtulach@162
   324
    @Override
jtulach@162
   325
    protected boolean requireReference(String cn) {
jtulach@162
   326
        if (references.contains(cn)) {
jtulach@162
   327
            return false;
jtulach@162
   328
        }
jtulach@162
   329
        references.add(cn);
jtulach@162
   330
        return true;
jtulach@162
   331
    }
jtulach@162
   332
jtulach@162
   333
    @Override
jtulach@162
   334
    protected void requireScript(String resourcePath) {
jtulach@162
   335
        scripts.add(resourcePath);
jtulach@162
   336
    }
jaroslav@274
   337
jaroslav@274
   338
    @Override
jaroslav@274
   339
    String assignClass(String className) {
jaroslav@274
   340
        return "vm." + className + " = ";
jaroslav@274
   341
    }
jaroslav@274
   342
    
jaroslav@274
   343
    @Override
jaroslav@274
   344
    String accessClass(String className) {
jaroslav@274
   345
        return "vm." + className;
jaroslav@274
   346
    }
lubomir@869
   347
lubomir@869
   348
    @Override
lubomir@1085
   349
    protected String accessField(String object, String mangledName,
lubomir@1085
   350
                                 String[] fieldInfoName) throws IOException {
lubomir@1085
   351
        final FieldData field =
lubomir@1085
   352
                classDataCache.findField(fieldInfoName[0],
lubomir@1085
   353
                                         fieldInfoName[1],
lubomir@1085
   354
                                         fieldInfoName[2]);
lubomir@1085
   355
        return accessNonVirtualMember(object, mangledName,
lubomir@1085
   356
                                      (field != null) ? field.cls : null);
lubomir@1085
   357
    }
lubomir@1085
   358
lubomir@1085
   359
    @Override
lubomir@1085
   360
    protected String accessStaticMethod(
lubomir@1085
   361
                             String object,
lubomir@1085
   362
                             String mangledName,
lubomir@1085
   363
                             String[] fieldInfoName) throws IOException {
lubomir@1085
   364
        final MethodData method =
lubomir@1085
   365
                classDataCache.findMethod(fieldInfoName[0],
lubomir@1085
   366
                                          fieldInfoName[1],
lubomir@1085
   367
                                          fieldInfoName[2]);
lubomir@1085
   368
        return accessNonVirtualMember(object, mangledName,
lubomir@1085
   369
                                      (method != null) ? method.cls : null);
lubomir@1085
   370
    }
lubomir@1085
   371
lubomir@1085
   372
    @Override
lubomir@1085
   373
    protected String accessVirtualMethod(
jaroslav@1613
   374
            String object, 
jaroslav@1613
   375
            String mangledName, 
jaroslav@1613
   376
            String[] fieldInfoName, 
jaroslav@1613
   377
            int params
jaroslav@1613
   378
    ) throws IOException {
lubomir@1085
   379
        final ClassData referencedClass =
lubomir@1084
   380
                classDataCache.getClassData(fieldInfoName[0]);
lubomir@1085
   381
        final MethodData method =
lubomir@1085
   382
                classDataCache.findMethod(referencedClass,
lubomir@1085
   383
                                          fieldInfoName[1],
lubomir@1085
   384
                                          fieldInfoName[2]);
lubomir@1085
   385
lubomir@1085
   386
        if ((method != null)
lubomir@1094
   387
                && !isExternalClass(method.cls.getClassName())
lubomir@1085
   388
                && (((method.access & ByteCodeParser.ACC_FINAL) != 0)
lubomir@1085
   389
                        || ((referencedClass.getAccessFlags()
lubomir@1085
   390
                                 & ByteCodeParser.ACC_FINAL) != 0)
lubomir@1087
   391
                        || !isHierarchyExported(method))) {
jaroslav@1613
   392
            return object + "." + mangledName + '(';
lubomir@1084
   393
        }
lubomir@1084
   394
jaroslav@1613
   395
        return accessThroughInvoker(object, mangledName, params > 1 ? "," : "");
lubomir@1085
   396
    }
lubomir@1085
   397
jaroslav@1613
   398
    private String accessThroughInvoker(String object, String mangledName, String sep) {
lubomir@1085
   399
        if (!invokerMethods.contains(mangledName)) {
lubomir@1085
   400
            invokerMethods.add(mangledName);
lubomir@1085
   401
        }
jaroslav@1613
   402
        return "invoker." + mangledName + '(' + object + sep;
lubomir@1085
   403
    }
lubomir@1085
   404
lubomir@1087
   405
    private boolean isHierarchyExported(final MethodData methodData)
lubomir@1087
   406
            throws IOException {
lubomir@1087
   407
        if (exportedSymbols.isExported(methodData)) {
lubomir@1087
   408
            return true;
lubomir@1087
   409
        }
lubomir@1087
   410
        if ((methodData.access & (ByteCodeParser.ACC_PRIVATE
lubomir@1087
   411
                                      | ByteCodeParser.ACC_STATIC)) != 0) {
lubomir@1087
   412
            return false;
lubomir@1087
   413
        }
lubomir@1087
   414
lubomir@1087
   415
        final ExportedMethodFinder exportedMethodFinder =
lubomir@1087
   416
                new ExportedMethodFinder(exportedSymbols);
lubomir@1087
   417
lubomir@1087
   418
        classDataCache.findMethods(
lubomir@1087
   419
                methodData.cls,
lubomir@1087
   420
                methodData.getName(),
lubomir@1087
   421
                methodData.getInternalSig(),
lubomir@1087
   422
                exportedMethodFinder);
lubomir@1087
   423
lubomir@1087
   424
        return (exportedMethodFinder.getFound() != null);
lubomir@1087
   425
    }
lubomir@1087
   426
lubomir@1094
   427
    private String accessNonVirtualMember(String object,
lubomir@1094
   428
                                          String mangledName,
lubomir@1094
   429
                                          ClassData declaringClass) {
jaroslav@1709
   430
        if (declaringClass == null) {
jaroslav@1709
   431
            return object + "['" + mangledName + "']";
jaroslav@1709
   432
        }
jaroslav@1709
   433
        final String className = declaringClass.getClassName();
jaroslav@1709
   434
        if (
jaroslav@1709
   435
            "java/lang/Object".equals(className) ||
jaroslav@1709
   436
            "java/lang/reflect/Array".equals(className) ||
jaroslav@1709
   437
            isExternalClass(className)
jaroslav@1709
   438
        ) {
jaroslav@1709
   439
            return object + "['" + mangledName + "']";
jaroslav@1709
   440
        }
jaroslav@1709
   441
        return object + "." + mangledName;
lubomir@1084
   442
    }
lubomir@1084
   443
jaroslav@1611
   444
    private final class ExportedMethodFinder
lubomir@1087
   445
            implements ClassDataCache.TraversalCallback<MethodData> {
lubomir@1087
   446
        private final ExportedSymbols exportedSymbols;
lubomir@1087
   447
        private MethodData found;
lubomir@1087
   448
lubomir@1087
   449
        public ExportedMethodFinder(final ExportedSymbols exportedSymbols) {
lubomir@1087
   450
            this.exportedSymbols = exportedSymbols;
lubomir@1087
   451
        }
lubomir@1087
   452
lubomir@1087
   453
        @Override
lubomir@1087
   454
        public boolean traverse(final MethodData methodData) {
lubomir@1087
   455
            try {
jaroslav@1611
   456
                if (
jaroslav@1611
   457
                    exportedSymbols.isExported(methodData) ||
jaroslav@1611
   458
                    isExternalClass(methodData.cls.getClassName())
jaroslav@1611
   459
                ) {
lubomir@1087
   460
                    found = methodData;
lubomir@1087
   461
                    return false;
lubomir@1087
   462
                }
lubomir@1087
   463
            } catch (final IOException e) {
lubomir@1087
   464
            }
lubomir@1087
   465
lubomir@1087
   466
            return true;
lubomir@1087
   467
        }
lubomir@1087
   468
lubomir@1087
   469
        public MethodData getFound() {
lubomir@1087
   470
            return found;
lubomir@1087
   471
        }
lubomir@1087
   472
    }
lubomir@1087
   473
lubomir@1020
   474
    private static final class Standalone extends VM {
jaroslav@1587
   475
        private Standalone(Appendable out,
jaroslav@1587
   476
            Bck2Brwsr.Resources resources, 
jaroslav@1587
   477
            StringArray explicitlyExported, StringArray asBinary
jaroslav@1587
   478
        ) {
jaroslav@1587
   479
            super(out, resources, explicitlyExported, asBinary);
lubomir@1020
   480
        }
lubomir@1020
   481
lubomir@1020
   482
        @Override
lubomir@1020
   483
        protected void generatePrologue() throws IOException {
jaroslav@1513
   484
            append("(function VM(global) {var fillInVMSkeleton = function(vm) {");
lubomir@1020
   485
        }
lubomir@1020
   486
lubomir@1020
   487
        @Override
lubomir@1020
   488
        protected void generateEpilogue() throws IOException {
jaroslav@1513
   489
            append(
lubomir@1020
   490
                  "  return vm;\n"
lubomir@1020
   491
                + "  };\n"
lubomir@1029
   492
                + "  var extensions = [];\n"
jaroslav@1580
   493
                + "  function replaceAll(s, target, replacement) {\n"
jaroslav@1580
   494
                + "    var pos = 0;\n"
jaroslav@1580
   495
                + "    for (;;) {\n"
jaroslav@1580
   496
                + "      var indx = s.indexOf(target, pos);\n"
jaroslav@1580
   497
                + "      if (indx === -1) {\n"
jaroslav@1580
   498
                + "        return s;\n"
jaroslav@1580
   499
                + "      }\n"
jaroslav@1580
   500
                + "      pos = indx + replacement.length;\n"
jaroslav@1580
   501
                + "      s = s.substring(0, indx) + replacement + s.substring(indx + target.length);\n"
jaroslav@1580
   502
                + "    }\n"
jaroslav@1580
   503
                + "  }\n"
jaroslav@1514
   504
                + "  function mangleClass(name) {\n"
jaroslav@1580
   505
                + "    name = replaceAll(name, '_', '_1');\n"
jaroslav@1580
   506
                + "    name = replaceAll(name, '.', '_');\n"
jaroslav@1580
   507
                + "    return name;\n"
jaroslav@1514
   508
                + "  };\n"
jaroslav@1608
   509
                + "  var pending = [];\n"
jaroslav@1608
   510
                + "  var pendingClasses = [];\n"
jaroslav@1608
   511
                + "  function extensionLoaded(ev) {\n"
jaroslav@1608
   512
                + "    var at = pending.indexOf(ev.target);\n"
jaroslav@1608
   513
                + "    pending.splice(at, 1);\n"
jaroslav@1608
   514
                + "    if (pending.length === 0) {\n"
jaroslav@1609
   515
                + "      for (var i = 0; i < pendingClasses.length; i += 3) {\n"
jaroslav@1609
   516
                + "        invokeMethod(pendingClasses[i], pendingClasses[i + 1], pendingClasses[i + 2]);\n"
jaroslav@1608
   517
                + "      }\n"
jaroslav@1608
   518
                + "      pendingClasses = [];\n"
jaroslav@1608
   519
                + "    }\n"
jaroslav@1608
   520
                + "  }\n"
jaroslav@1609
   521
                + "  function invokeMethod(vm, n, args) {\n"
jaroslav@1609
   522
                + "    var clazz = vm.loadClass(n);\n"
jaroslav@1609
   523
                + "    if (args) {\n"
jaroslav@1609
   524
                + "      var seek = args[0];\n"
jaroslav@1609
   525
                + "      var prefix = seek.indexOf('__') == -1 ? seek + '__' : seek;\n"
jaroslav@1609
   526
                + "      args = Array.prototype.slice.call(args, 1);\n"
jaroslav@1609
   527
                + "      var found = '';\n"
jaroslav@1609
   528
                + "      for (var m in clazz) {\n"
jaroslav@1609
   529
                + "        if (m.indexOf(prefix) === 0) {\n"
jaroslav@1609
   530
                + "          return clazz[m].apply(null, args);\n"
jaroslav@1609
   531
                + "        }\n"
jaroslav@1609
   532
                + "        found += m.toString() + '\\n'\n"
jaroslav@1609
   533
                + "      }\n"
jaroslav@1609
   534
                + "      throw 'Cannot find ' + seek + ' in ' + n + ' found:\\n' + found;\n"
jaroslav@1609
   535
                + "    }\n"
jaroslav@1609
   536
                + "  }\n"
jaroslav@1608
   537
                + "  function extensionError(ev) {\n"
jaroslav@1608
   538
                + "    console.log('error loading ' + ev.target.src);\n"
jaroslav@1608
   539
                + "    extensionLoaded(ev);\n"
jaroslav@1608
   540
                + "  }\n"
jaroslav@1604
   541
                + "  function loadExtension(url) {\n"
jaroslav@1604
   542
                + "      if (url.substring(url.length - 4) == '.jar')\n"
jaroslav@1604
   543
                + "        url = url.substring(0, url.length - 4) + '.js';\n"
jaroslav@1590
   544
                + "      var script = document.createElement('script');\n"
jaroslav@1590
   545
                + "      script.type = 'text/javascript';\n"
jaroslav@1608
   546
                + "      script.src = url;\n"
jaroslav@1608
   547
                + "      script.onload = extensionLoaded;\n"
jaroslav@1608
   548
                + "      script.onerror = extensionError;\n"
jaroslav@1590
   549
                + "      document.getElementsByTagName('head')[0].appendChild(script);\n"
jaroslav@1608
   550
                + "      pending.push(script);\n"
jaroslav@1604
   551
                + "  }\n"
jaroslav@1604
   552
                + "  global.bck2brwsr = function() {\n"
jaroslav@1604
   553
                + "    var args = Array.prototype.slice.apply(arguments);\n"
jaroslav@1604
   554
                + "    var resources = {};\n"
jaroslav@1495
   555
                + "    function registerResource(n, a64) {\n"
jaroslav@1720
   556
                + "      var frm = atob || window.atob;\n"
jaroslav@1720
   557
                + "      var str = frm(a64);\n"
jaroslav@1495
   558
                + "      var arr = [];\n"
jaroslav@1496
   559
                + "      for (var i = 0; i < str.length; i++) {\n"
jaroslav@1496
   560
                + "        var ch = str.charCodeAt(i) & 0xff;\n"
jaroslav@1496
   561
                + "        if (ch > 127) ch -= 256;\n"
jaroslav@1496
   562
                + "        arr.push(ch);\n"
jaroslav@1496
   563
                + "      }\n"
jaroslav@1495
   564
                + "      if (!resources[n]) resources[n] = [arr];\n"
jaroslav@1495
   565
                + "      else resources[n].push(arr);\n"
jaroslav@1495
   566
                + "    }\n"
jaroslav@1495
   567
                + "    var vm = fillInVMSkeleton({ 'registerResource' : registerResource });\n"
jaroslav@1584
   568
                + "    function initVM() {\n"
jaroslav@1584
   569
                + "      var clsArray = vm['java_lang_reflect_Array'];\n"
jaroslav@1584
   570
                + "      if (clsArray) clsArray(false);\n"
jaroslav@1584
   571
                + "    }\n"
lubomir@1029
   572
                + "    for (var i = 0; i < extensions.length; ++i) {\n"
lubomir@1029
   573
                + "      extensions[i](vm);\n"
lubomir@1029
   574
                + "    }\n"
jaroslav@1558
   575
                + "    vm['registerResource'] = null;\n"
jaroslav@1489
   576
                + "    var knownExtensions = extensions.length;\n"
lubomir@1020
   577
                + "    var loader = {};\n"
jaroslav@1577
   578
                + "    var loadBytes = function(name, skip) {\n"
jaroslav@1577
   579
                + "      skip = typeof skip == 'number' ? skip : 0;\n"
jaroslav@1577
   580
                + "      var arr = resources[name];\n"
jaroslav@1577
   581
                + "      if (arr) {\n"
jaroslav@1577
   582
                + "        var arrSize = arr.length;\n"
jaroslav@1577
   583
                + "        if (skip < arrSize) return arr[skip];\n"
jaroslav@1577
   584
                + "        skip -= arrSize;\n"
jaroslav@1577
   585
                + "      } else {\n"
jaroslav@1577
   586
                + "        var arrSize = 0;\n"
jaroslav@1577
   587
                + "      };\n"
jaroslav@1581
   588
                + "      for (var i = 0; i < args.length; i++) {\n"
jaroslav@1581
   589
                + "        var at = args[i];\n"
jaroslav@1591
   590
                + "        if(!at) continue;\n"
jaroslav@1581
   591
                + "        var ret;\n"
jaroslav@1590
   592
                + "        if (typeof at === 'string' && at.substring(at.length - 3) === '.js') {\n"
jaroslav@1590
   593
                + "          loadExtension(at);\n"
jaroslav@1590
   594
                + "          args[i] = null;\n"
jaroslav@1590
   595
                + "        } else if (typeof at === 'function') ret = at(name, skip);\n"
jaroslav@1589
   596
                + "        else {\n"
jaroslav@1589
   597
                + "          var cp = vm['org_apidesign_vm4brwsr_ClassPath'];\n"
jaroslav@1589
   598
                + "          if (!cp) throw 'Core Java library not registered. Cannot load from ' + at;\n"
jaroslav@1589
   599
                + "          ret = cp(false).\n"
jaroslav@1589
   600
                + "            loadBytes___3BLjava_lang_String_2Ljava_lang_Object_2II(name, args, i, skip);\n"
jaroslav@1589
   601
                + "        }\n"
jaroslav@1590
   602
                + "        if (ret) return ret;\n"
jaroslav@1581
   603
                + "      }\n"
jaroslav@1577
   604
                + "      while (knownExtensions < extensions.length) {\n"
jaroslav@1577
   605
                + "        vm['registerResource'] = registerResource;\n"
jaroslav@1577
   606
                + "        extensions[knownExtensions++](vm);\n"
jaroslav@1577
   607
                + "        vm['registerResource'] = null;\n"
jaroslav@1584
   608
                + "        initVM();\n"
jaroslav@1577
   609
                + "      }\n"
jaroslav@1577
   610
                + "      var arr = resources[name];\n"
jaroslav@1577
   611
                + "      return (arr && arr.length > arrSize) ? arr[arrSize] : null;\n"
jaroslav@1577
   612
                + "    }\n"
jaroslav@1604
   613
                + "    var reload = function(name, arr, keep) {\n"
jaroslav@1604
   614
                + "      if (!arr) throw 'Cannot find ' + name;\n"
jaroslav@1604
   615
                + "      var lazy = vm['org_apidesign_vm4brwsr_VMLazy'];\n"
jaroslav@1604
   616
                + "      if (!lazy) throw 'No bck2brwsr VM module to compile ' + name;\n"
jaroslav@1578
   617
                + "      if (!keep) {\n"
jaroslav@1578
   618
                + "        var attr = mangleClass(name);\n"
jaroslav@1578
   619
                + "        delete vm[attr];\n"
jaroslav@1578
   620
                + "      }\n"
jaroslav@1604
   621
                + "      return lazy(false)\n"
jaroslav@1578
   622
                + "        ['load__Ljava_lang_Object_2Ljava_lang_Object_2Ljava_lang_String_2_3Ljava_lang_Object_2_3B']\n"
jaroslav@1579
   623
                + "        (vm, name, args, arr);\n"
jaroslav@1578
   624
                + "    };\n"
jaroslav@1608
   625
                + "    var loadClass = function(name) {\n"
jaroslav@1514
   626
                + "      var attr = mangleClass(name);\n"
lubomir@1020
   627
                + "      var fn = vm[attr];\n"
lubomir@1020
   628
                + "      if (fn) return fn(false);\n"
jaroslav@1489
   629
                + "      try {\n"
jaroslav@1584
   630
                + "        var arr = loadBytes(replaceAll(name, '.', '/') + '.class');\n"
jaroslav@1578
   631
                + "        return reload(name, arr, true);\n"
jaroslav@1489
   632
                + "      } catch (err) {\n"
jaroslav@1489
   633
                + "        fn = vm[attr];\n"
jaroslav@1489
   634
                + "        if (fn) return fn(false);\n"
jaroslav@1489
   635
                + "        throw err;\n"
jaroslav@1489
   636
                + "      }\n"
lubomir@1020
   637
                + "    }\n"
jaroslav@1578
   638
                + "    if (vm['loadClass']) {\n"
lubomir@1020
   639
                + "      throw 'Cannot initialize the bck2brwsr VM twice!';\n"
lubomir@1020
   640
                + "    }\n"
jaroslav@1608
   641
                + "    vm['loadClass'] = loadClass;\n"
jaroslav@1578
   642
                + "    vm['_reload'] = reload;\n"
jaroslav@1578
   643
                + "    vm['loadBytes'] = loadBytes;\n"
jaroslav@1584
   644
                + "    initVM();\n"
jaroslav@1608
   645
                + "    loader.loadClass = function(name) {\n"
jaroslav@1608
   646
                + "      if (pending.length === 0) {\n"
jaroslav@1608
   647
                + "        try {\n"
jaroslav@1609
   648
                + "          var c = loadClass(name);\n"
jaroslav@1609
   649
                + "          c['invoke'] = function() {\n"
jaroslav@1609
   650
                + "            return invokeMethod(vm, name, arguments);\n"
jaroslav@1609
   651
                + "          };\n"
jaroslav@1609
   652
                + "          return c;\n"
jaroslav@1608
   653
                + "        } catch (err) {\n"
jaroslav@1608
   654
                + "          if (pending.length === 0) throw err;\n"
jaroslav@1608
   655
                + "        }\n"
jaroslav@1608
   656
                + "      }\n"
jaroslav@1608
   657
                + "      pendingClasses.push(vm);\n"
jaroslav@1608
   658
                + "      pendingClasses.push(name);\n"
jaroslav@1609
   659
                + "      pendingClasses.push(null);\n"
jaroslav@1609
   660
                + "      return {\n"
jaroslav@1609
   661
                + "        'invoke' : function() {\n"
jaroslav@1609
   662
                + "          if (pending.length === 0) {\n"
jaroslav@1609
   663
                + "            invokeMethod(vm, name, arguments);\n"
jaroslav@1609
   664
                + "            return;\n"
jaroslav@1609
   665
                + "          }\n"
jaroslav@1609
   666
                + "          pendingClasses.push(vm);\n"
jaroslav@1609
   667
                + "          pendingClasses.push(name);\n"
jaroslav@1609
   668
                + "          pendingClasses.push(arguments);\n"
jaroslav@1609
   669
                + "        }\n"
jaroslav@1609
   670
                + "      };\n"
jaroslav@1608
   671
                + "    }\n"
lubomir@1020
   672
                + "    return loader;\n"
lubomir@1020
   673
                + "  };\n");
jaroslav@1513
   674
            append(
jaroslav@1598
   675
                  "  global.bck2brwsr.register = function(config, extension) {\n"
jaroslav@1598
   676
                + "    if (!config || config['magic'] !== 'kafíčko') {\n"
jaroslav@1598
   677
                + "      console.log('Will not register: ' + extension);\n"
jaroslav@1598
   678
                + "      return false;\n"
jaroslav@1598
   679
                + "    }\n"
lubomir@1029
   680
                + "    extensions.push(extension);\n"
jaroslav@1604
   681
                + "    var cp = config['classpath'];\n"
jaroslav@1604
   682
                + "    if (cp) for (var i = 0; i < cp.length; i++) {\n"
jaroslav@1604
   683
                + "      loadExtension(cp[i]);\n"
jaroslav@1604
   684
                + "    }\n"
jaroslav@1489
   685
                + "    return null;\n"
lubomir@1029
   686
                + "  };\n");
jaroslav@1513
   687
            append("}(this));");
lubomir@1020
   688
        }
lubomir@1020
   689
lubomir@1020
   690
        @Override
lubomir@1094
   691
        protected String getExportsObject() {
lubomir@1094
   692
            return "vm";
lubomir@1029
   693
        }
lubomir@1029
   694
lubomir@1029
   695
        @Override
lubomir@1094
   696
        protected boolean isExternalClass(String className) {
lubomir@1094
   697
            return false;
lubomir@1020
   698
        }
jaroslav@1693
   699
        
jaroslav@1693
   700
        @Override
jaroslav@1693
   701
        protected void lazyReference(Appendable out, String n) throws IOException {
jaroslav@1693
   702
            String cls = n.replace('/', '_');
jaroslav@1693
   703
            String dot = n.replace('/', '.');
jaroslav@1693
   704
jaroslav@1693
   705
            out.append("\nvm.").append(cls).append(" = function() {");
jaroslav@1693
   706
            out.append("\n  var instance = arguments.length == 0 || arguments[0] === true;");
jaroslav@1693
   707
            out.append("\n  delete vm.").append(cls).append(";");
jaroslav@1693
   708
            out.append("\n  var c = vm.loadClass('").append(dot).append("');");
jaroslav@1693
   709
            out.append("\n  return vm.").append(cls).append("(instance);");
jaroslav@1693
   710
            out.append("\n}");
jaroslav@1693
   711
        }
jaroslav@1722
   712
jaroslav@1722
   713
        @Override
jaroslav@1722
   714
        protected void requireResource(String resourcePath) throws IOException {
jaroslav@1722
   715
            requireResourceImpl(resourcePath);
jaroslav@1722
   716
        }
lubomir@1020
   717
    }
lubomir@1020
   718
lubomir@1020
   719
    private static final class Extension extends VM {
lubomir@1094
   720
        private final StringArray extensionClasses;
jaroslav@1604
   721
        private final StringArray classpath;
lubomir@1094
   722
lubomir@1094
   723
        private Extension(Appendable out, Bck2Brwsr.Resources resources,
jaroslav@1587
   724
            String[] extClassesArray, StringArray explicitlyExported,
jaroslav@1604
   725
            StringArray asBinary, StringArray classpath
jaroslav@1730
   726
        ) throws IOException {
jaroslav@1587
   727
            super(out, resources, explicitlyExported, asBinary);
lubomir@1094
   728
            this.extensionClasses = StringArray.asList(extClassesArray);
jaroslav@1604
   729
            this.classpath = classpath;
lubomir@1020
   730
        }
lubomir@1020
   731
lubomir@1020
   732
        @Override
lubomir@1020
   733
        protected void generatePrologue() throws IOException {
jaroslav@1604
   734
            append(
jaroslav@1604
   735
                  "bck2brwsr.register({\n"
jaroslav@1604
   736
                + "  'magic' : 'kafíčko'"
jaroslav@1604
   737
            );
jaroslav@1604
   738
            if (classpath != null && classpath.toArray().length > 0) {
jaroslav@1604
   739
                append(
jaroslav@1604
   740
                  ",\n  'classpath' : [\n"
jaroslav@1604
   741
                );
jaroslav@1604
   742
                String sep = "    ";
jaroslav@1604
   743
                for (String s : classpath.toArray()) {
jaroslav@1604
   744
                    append(sep).append("'").append(s).append("'");
jaroslav@1604
   745
                    sep = ",\n    ";
jaroslav@1604
   746
                }
jaroslav@1604
   747
                append(
jaroslav@1604
   748
                  "\n  ]"
jaroslav@1604
   749
                );
jaroslav@1604
   750
            }
jaroslav@1604
   751
            append(
jaroslav@1604
   752
                  "\n}, function(exports) {\n"
jaroslav@1604
   753
                + "  var vm = {};\n");
jaroslav@1705
   754
            append("  function link(n, assign) {\n"
jaroslav@1542
   755
                + "    return function() {\n"
jaroslav@1542
   756
                + "      var cls = n['replace__Ljava_lang_String_2CC']"
jaroslav@1542
   757
                                       + "('/', '_').toString();\n"
jaroslav@1542
   758
                + "      var dot = n['replace__Ljava_lang_String_2CC']"
jaroslav@1542
   759
                                       + "('/', '.').toString();\n"
jaroslav@1542
   760
                + "      exports.loadClass(dot);\n"
jaroslav@1705
   761
                + "      assign(exports[cls]);\n"
jaroslav@1705
   762
                + "      return exports[cls](arguments);\n"
jaroslav@1542
   763
                + "    };\n"
jaroslav@1542
   764
                + "  };\n"
jaroslav@1542
   765
            );
lubomir@1020
   766
        }
lubomir@1020
   767
lubomir@1020
   768
        @Override
lubomir@1020
   769
        protected void generateEpilogue() throws IOException {
jaroslav@1513
   770
            append("});");
jaroslav@1730
   771
            if (exportedCount == 0) {
jaroslav@1730
   772
                throw new IOException("Creating library without any exported symbols is useless!");
jaroslav@1730
   773
            }
lubomir@1020
   774
        }
lubomir@1020
   775
lubomir@1020
   776
        @Override
lubomir@1029
   777
        protected String generateClass(String className) throws IOException {
lubomir@1094
   778
            if (isExternalClass(className)) {
jaroslav@1705
   779
                final String cls = className.replace('/', '_');
jaroslav@1705
   780
                append("\n").append(assignClass(cls))
jaroslav@1542
   781
                   .append("link('")
lubomir@1029
   782
                   .append(className)
jaroslav@1705
   783
                   .append("', function(f) { ").append(assignClass(cls)).append(" f; });");
lubomir@1029
   784
lubomir@1029
   785
                return null;
lubomir@1029
   786
            }
lubomir@1029
   787
lubomir@1094
   788
            return super.generateClass(className);
lubomir@1029
   789
        }
lubomir@1029
   790
lubomir@1029
   791
        @Override
lubomir@1029
   792
        protected String getExportsObject() {
lubomir@1020
   793
            return "exports";
lubomir@1020
   794
        }
lubomir@1094
   795
lubomir@1094
   796
        @Override
lubomir@1094
   797
        protected boolean isExternalClass(String className) {
lubomir@1094
   798
            return !extensionClasses.contains(className);
lubomir@1094
   799
        }
jaroslav@1367
   800
        
jaroslav@1693
   801
        @Override
jaroslav@1693
   802
        protected void lazyReference(Appendable out, String n) throws IOException {
jaroslav@1693
   803
            String cls = n.replace('/', '_');
jaroslav@1693
   804
jaroslav@1693
   805
            out.append("\nvm.").append(cls).append(" = function() {");
jaroslav@1693
   806
            out.append("\n  var instance = arguments.length == 0 || arguments[0] === true;");
jaroslav@1693
   807
            out.append("\n  delete vm.").append(cls).append(";");
jaroslav@1705
   808
            out.append("\n  return link('").append(n).append("', function(f) { vm.");
jaroslav@1705
   809
            out.append(cls).append(" = f;})(instance);");
jaroslav@1693
   810
            out.append("\n}");
jaroslav@1693
   811
        }
jaroslav@1722
   812
jaroslav@1722
   813
        @Override
jaroslav@1722
   814
        protected void requireResource(String resourcePath) throws IOException {
jaroslav@1722
   815
            requireResourceImpl(resourcePath);
jaroslav@1722
   816
        }
jaroslav@1367
   817
    }
jaroslav@29
   818
}