vm/src/main/java/org/apidesign/vm4brwsr/Zips.java
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Wed, 06 Feb 2013 17:22:14 +0100
branchemul
changeset 690 8929a6558ae4
parent 672 add357fd6c5c
child 702 fa42b3d8cbbc
permissions -rw-r--r--
Class-Path elements are separated by spaces
jaroslav@644
     1
/**
jaroslav@644
     2
 * Back 2 Browser Bytecode Translator
jaroslav@644
     3
 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>
jaroslav@644
     4
 *
jaroslav@644
     5
 * This program is free software: you can redistribute it and/or modify
jaroslav@644
     6
 * it under the terms of the GNU General Public License as published by
jaroslav@644
     7
 * the Free Software Foundation, version 2 of the License.
jaroslav@644
     8
 *
jaroslav@644
     9
 * This program is distributed in the hope that it will be useful,
jaroslav@644
    10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
jaroslav@644
    11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
jaroslav@644
    12
 * GNU General Public License for more details.
jaroslav@644
    13
 *
jaroslav@644
    14
 * You should have received a copy of the GNU General Public License
jaroslav@644
    15
 * along with this program. Look for COPYING file in the top folder.
jaroslav@644
    16
 * If not, see http://opensource.org/licenses/GPL-2.0.
jaroslav@644
    17
 */
jaroslav@644
    18
package org.apidesign.vm4brwsr;
jaroslav@644
    19
jaroslav@672
    20
import java.io.ByteArrayInputStream;
jaroslav@644
    21
import java.io.IOException;
jaroslav@672
    22
import java.io.InputStream;
jaroslav@644
    23
import java.net.URL;
jaroslav@644
    24
import java.util.zip.ZipEntry;
jaroslav@644
    25
import java.util.zip.ZipInputStream;
jaroslav@644
    26
import org.apidesign.bck2brwsr.core.JavaScriptBody;
jaroslav@644
    27
jaroslav@644
    28
/** Conversion from classpath to load function.
jaroslav@644
    29
 *
jaroslav@644
    30
 * @author Jaroslav Tulach <jtulach@netbeans.org>
jaroslav@644
    31
 */
jaroslav@644
    32
final class Zips {
jaroslav@644
    33
    private Zips() {
jaroslav@644
    34
    }
jaroslav@644
    35
    
jaroslav@644
    36
    public static void init() {
jaroslav@644
    37
    }
jaroslav@644
    38
    
jaroslav@644
    39
    public static byte[] loadFromCp(Object[] classpath, String res) {
jaroslav@644
    40
        for (int i = 0; i < classpath.length; i++) {
jaroslav@644
    41
            Object c = classpath[i];
jaroslav@644
    42
            if (c instanceof String) {
jaroslav@644
    43
                try {
jaroslav@672
    44
                    String url = (String)c;
jaroslav@672
    45
                    final Zips z = toZip(url);
jaroslav@672
    46
                    c = classpath[i] = z;
jaroslav@672
    47
                    final byte[] man = z.findRes("META-INF/MANIFEST.MF");
jaroslav@672
    48
                    if (man != null) {
jaroslav@672
    49
                        processClassPathAttr(man, url, classpath);
jaroslav@672
    50
                    }
jaroslav@644
    51
                } catch (IOException ex) {
jaroslav@644
    52
                    classpath[i] = ex;
jaroslav@644
    53
                }
jaroslav@644
    54
            }
jaroslav@644
    55
            if (c instanceof Zips) {
jaroslav@644
    56
                Object checkRes = ((Zips)c).findRes(res);
jaroslav@644
    57
                if (checkRes instanceof byte[]) {
jaroslav@644
    58
                    return (byte[])checkRes;
jaroslav@644
    59
                }
jaroslav@644
    60
            }
jaroslav@644
    61
        }
jaroslav@644
    62
        return null;
jaroslav@644
    63
    }
jaroslav@644
    64
jaroslav@644
    65
    @JavaScriptBody(args = { "res" }, body = "var r = this[res]; return r ? r : null;")
jaroslav@644
    66
    private native byte[] findRes(String res);
jaroslav@644
    67
jaroslav@644
    68
    @JavaScriptBody(args = { "res", "arr" }, body = "this[res] = arr;")
jaroslav@644
    69
    private native void putRes(String res, byte[] arr);
jaroslav@644
    70
    
jaroslav@644
    71
    private static Zips toZip(String path) throws IOException {
jaroslav@644
    72
        URL u = new URL(path);
jaroslav@644
    73
        ZipInputStream zip = new ZipInputStream(u.openStream());
jaroslav@644
    74
        Zips z = new Zips();
jaroslav@644
    75
        for (;;) {
jaroslav@644
    76
            ZipEntry entry = zip.getNextEntry();
jaroslav@644
    77
            if (entry == null) {
jaroslav@644
    78
                break;
jaroslav@644
    79
            }
jaroslav@644
    80
            byte[] arr = new byte[4096];
jaroslav@644
    81
            int offset = 0;
jaroslav@644
    82
            for (;;) {
jaroslav@644
    83
                int len = zip.read(arr, offset, arr.length - offset);
jaroslav@644
    84
                if (len == -1) {
jaroslav@644
    85
                    break;
jaroslav@644
    86
                }
jaroslav@644
    87
                offset += len;
jaroslav@644
    88
                if (offset == arr.length) {
jaroslav@644
    89
                    enlargeArray(arr, arr.length + 4096);
jaroslav@644
    90
                }
jaroslav@644
    91
            }
jaroslav@644
    92
            sliceArray(arr, offset);
jaroslav@644
    93
            z.putRes(entry.getName(), arr);
jaroslav@644
    94
        }
jaroslav@644
    95
        return z;
jaroslav@644
    96
    }
jaroslav@644
    97
jaroslav@672
    98
    private static void processClassPathAttr(final byte[] man, String url, Object[] classpath) throws IOException {
jaroslav@672
    99
        try (InputStream is = initIS(new ByteArrayInputStream(man))) {
jaroslav@672
   100
            String cp = is.toString();
jaroslav@672
   101
            if (cp == null) {
jaroslav@672
   102
                return;
jaroslav@672
   103
            }
jaroslav@690
   104
            cp = cp.trim();
jaroslav@672
   105
            for (int p = 0; p < cp.length();) {
jaroslav@690
   106
                int n = cp.indexOf(' ', p);
jaroslav@672
   107
                if (n == -1) {
jaroslav@672
   108
                    n = cp.length();
jaroslav@672
   109
                }
jaroslav@672
   110
                String el = cp.substring(p, n);
jaroslav@672
   111
                URL u = new URL(new URL(url), el);
jaroslav@672
   112
                classpath = addToArray(classpath, u.toString());
jaroslav@690
   113
                p = n + 1;
jaroslav@672
   114
            }
jaroslav@672
   115
        }
jaroslav@672
   116
    }
jaroslav@672
   117
jaroslav@672
   118
    private static InputStream initIS(InputStream is) throws IOException {
jaroslav@672
   119
        return new ParseCPAttr(is);
jaroslav@672
   120
    }
jaroslav@672
   121
    
jaroslav@672
   122
    private static Object[] addToArray(Object[] arr, String value) {
jaroslav@672
   123
        final int last = arr.length;
jaroslav@672
   124
        Object[] ret = enlargeArray(arr, last + 1);
jaroslav@672
   125
        ret[last] = value;
jaroslav@672
   126
        return ret;
jaroslav@672
   127
    }
jaroslav@672
   128
jaroslav@672
   129
    @JavaScriptBody(args = { "arr", "len" }, body = "while (arr.length < len) arr.push(null); return arr;throw('Arr: ' + arr);")
jaroslav@672
   130
    private static native Object[] enlargeArray(Object[] arr, int len);
jaroslav@644
   131
    @JavaScriptBody(args = { "arr", "len" }, body = "while (arr.length < len) arr.push(0);")
jaroslav@644
   132
    private static native void enlargeArray(byte[] arr, int len);
jaroslav@644
   133
jaroslav@644
   134
    @JavaScriptBody(args = { "arr", "len" }, body = "arr.splice(len, arr.length - len);")
jaroslav@644
   135
    private static native void sliceArray(byte[] arr, int len);
jaroslav@644
   136
    
jaroslav@644
   137
    
jaroslav@644
   138
}