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