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