X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fxwt%2FRes.java;h=0652e09cef976852db4763f430b6e66cb915c040;hb=8c1756ef3fd42cc2f324baf47e13a83f51045efe;hp=1f1a9279e90f20b458962cfedaeeb8595de95d31;hpb=1019725cfa88d9ad5dfabaf178e87da79c9c3e17;p=org.ibex.core.git diff --git a/src/org/xwt/Res.java b/src/org/xwt/Res.java index 1f1a927..0652e09 100644 --- a/src/org/xwt/Res.java +++ b/src/org/xwt/Res.java @@ -8,30 +8,25 @@ import org.xwt.js.*; import org.xwt.util.*; import org.bouncycastle.util.encoders.Base64; -/** base class for XWT resources */ + +/** Base class for XWT resources */ public abstract class Res extends JS { - public String getDescriptiveName() { return ""; } + // Base Class ////////////////////////////////////////////////////////////////////// + + public String typeName() { return "resource"; } - /** cache of subresources so that the equality operator works on them */ + /** so that we get the same subresource each time */ private Hash refCache = null; + /** FIXME: needed? good idea? */ public Template t = null; - public Res getParent() { return null; } - - /** returns an InputStream containing the Resource's contents */ - public InputStream getInputStream() throws IOException { return getInputStream(""); } + public final InputStream getInputStream() throws IOException { return getInputStream(""); } public abstract InputStream getInputStream(String path) throws IOException; - /** graft newResource in place of this resource on its parent */ - public Res graft(Object newResource) { throw new JS.Exn("cannot graft onto this resource"); } - - /** if the path of this resource does not end with extension, return a new one wit it appended */ public Res addExtension(String extension) { return new Ref(this, extension); } - public Object[] keys() { throw new JS.Exn("cannot enumerate a resource"); } - public void put(Object key, Object val) { throw new JS.Exn("cannot put to a resource"); } public Object get(Object key) { if ("".equals(key)) { Template t = Template.getTemplate(addExtension(".xwt")); @@ -45,29 +40,65 @@ public abstract class Res extends JS { return ret; } - public static Res stringToRes(String url) { return stringToRes(url, false); } - public static Res stringToRes(String url, boolean permitLocalFilesystem) { - if (url.indexOf('!') != -1) - return (Res)(new Zip(stringToRes(url.substring(0, url.lastIndexOf('!')))).get(url.substring(url.lastIndexOf('!') + 1))); - if (url.startsWith("http://")) return new HTTP(url); - if (url.startsWith("https://")) return new HTTP(url); - if (url.startsWith("file:") && permitLocalFilesystem) return new File(url.substring(5)); - if (url.startsWith("cab:")) return new CAB(stringToRes(url.substring(4))); - if (url.startsWith("data:")) return new ByteArray(Base64.decode(url.substring(5))); - throw new JS.Exn("invalid resource specifier " + url); + + + // Caching ////////////////////////////////////////////////////////////////////// + + public static class NotCacheableException extends Exception { } + public static NotCacheableException notCacheable = new NotCacheableException(); + + /** if it makes sense to cache a resource, the resource must return a unique key */ + public String getCacheKey() throws NotCacheableException { throw notCacheable; } + + // FIXME: general cleanup + /** subclass from this if you want a CachedInputStream for each path */ + public static class CachedRes extends Res { + private Res parent; + private boolean disk = false; + private String key; + public String getCacheKey() throws NotCacheableException { return key; } + private Hash cachedInputStreams = new Hash(); + public CachedRes(Res p, String s, boolean d) throws NotCacheableException { + this.parent = p; this.disk = d; this.key = p.getCacheKey(); + } + public InputStream getInputStream(String path) throws IOException { + CachedInputStream cis = (CachedInputStream)cachedInputStreams.get(path); + if (cis == null) { + java.io.File f = null; + if (disk) { + f = new java.io.File(System.getProperty("user.home") + + java.io.File.separatorChar + ".xwt" + + java.io.File.separatorChar + "caches" + + java.io.File.separatorChar + + new String(Base64.encode(key.getBytes()))); + Log.log(this, "caching resource in " + f); + new java.io.File(f.getParent()).mkdirs(); + if (f.exists()) return new FileInputStream(f); + } + cis = new CachedInputStream(parent.getInputStream(path), f); + cachedInputStreams.put(path, cis); + } + return cis.getInputStream(); + } } + + // Useful Subclasses ////////////////////////////////////////////////////////////////////// + /** HTTP or HTTPS resource */ public static class HTTP extends Res { private String url; - HTTP(String url) { this.url = url; } + HTTP(String url) { while (url.endsWith("/")) url = url.substring(0, url.length() - 1); this.url = url; } + public String getCacheKey() throws NotCacheableException { return url; } public InputStream getInputStream(String path) throws IOException { return new org.xwt.HTTP(url + path).GET(); } } /** byte arrays */ public static class ByteArray extends Res { private byte[] bytes; - ByteArray(byte[] bytes) { this.bytes = bytes; } + private String cacheKey = null; + ByteArray(byte[] bytes, String cacheKey) { this.bytes = bytes; this.cacheKey = cacheKey; } + public String getCacheKey() throws NotCacheableException { return cacheKey; } public InputStream getInputStream(String path) throws IOException { if (!"".equals(path)) throw new JS.Exn("can't get subresources of a byte[] resource"); return new ByteArrayInputStream(bytes); @@ -77,184 +108,89 @@ public abstract class Res extends JS { /** a file */ public static class File extends Res { private String path; - File(String path) { this.path = path; } + File(String path) { + while (path.endsWith(java.io.File.separatorChar + "")) path = path.substring(0, path.length() - 1); + this.path = path; + } + public String getCacheKey() throws NotCacheableException { throw notCacheable; } // already on the disk! public InputStream getInputStream(String rest) throws IOException { return new FileInputStream((path + rest).replace('/', java.io.File.separatorChar)); } } - /** wrap a Res around a preexisting InputStream */ - public static class IS extends Res { - InputStream parent; - IS(InputStream parent) { this.parent = parent; } - public InputStream getInputStream(String path) { - if (!"".equals(path)) throw new JS.Exn("can't access subresources of IS"); - return parent; - } - } - /** "unwrap" a Zip archive */ public static class Zip extends Res { private Res parent; Zip(Res parent) { this.parent = parent; } + public String getCacheKey() throws NotCacheableException { return parent.getCacheKey() + "!zip:"; } public InputStream getInputStream(String path) throws IOException { if (path.startsWith("/")) path = path.substring(1); - ZipInputStream zis = new ZipInputStream(parent.getInputStream()); + InputStream pis = parent.getInputStream(); + ZipInputStream zis = new ZipInputStream(pis); ZipEntry ze = zis.getNextEntry(); while(ze != null && !ze.getName().equals(path)) ze = zis.getNextEntry(); - if (ze == null) throw new JS.Exn("requested file not found in archive"); - return zis; + if (ze == null) throw new JS.Exn("requested file (" + path + ") not found in archive"); + return new KnownLength.KnownLengthInputStream(zis, (int)ze.getSize()); } } - /** what you get when you reference a subresource */ - public static class Ref extends Res { - Res parent; - Object key; - Ref(Res parent, Object key) { this.parent = parent; this.key = key; } - public String getDescriptiveName() { - String pdn = parent.getDescriptiveName(); - return pdn.equals("") ? key.toString() : (pdn + "." + key.toString()); - } - public Res addExtension(String extension) { - return (key instanceof String && ((String)key).endsWith(extension)) ? this : new Ref(parent, key + extension); - } - public InputStream getInputStream(String path) throws IOException { - return parent.getInputStream("/" + key + path); - } - public Res getParent() { return parent; } - public Res graft(Object newResource) { return new Graft(parent, key, newResource); } - } - - /** shadow resource which replaces the graft */ - public static class Graft extends Res { - Res graftee; - Object replaced_key; - Object replaced_val; - Graft(Res graftee, Object key, Object val) { this.graftee = graftee; replaced_key = key; replaced_val = val; } - public boolean equals(Object o) { return (this == o || graftee.equals(o)); } - public int hashCode() { return graftee.hashCode(); } - public InputStream getInputStream(String s) throws IOException { return graftee.getInputStream(s); } - public Object get(Object key) { return replaced_key.equals(key) ? replaced_val : graftee.get(key); } - public String getDescriptiveName() { return graftee.getDescriptiveName(); } - public Res getParent() { return graftee.getParent(); } - } - - /** unpacks a Microsoft CAB file (possibly embedded in another file; we scan for 'MSCF' */ - public static class CAB extends Res { + /** "unwrap" a Cab archive */ + public static class Cab extends Res { private Res parent; - CAB(Res parent) { this.parent = parent; } - private int swap_endian(int i) { - return ((i & 0xff) << 24) | ((i & 0xff00) << 8) | ((i & 0xff0000) >>> 8) | (i >>> 24); - } + Cab(Res parent) { this.parent = parent; } + public String getCacheKey() throws NotCacheableException { return parent.getCacheKey() + "!cab:"; } public InputStream getInputStream(String path) throws IOException { - InputStream is = parent.getInputStream(); - byte[] scan = new byte[4]; - int ofs = 0; - for(int i=0; i<2; i++) { - // wierdly, .exe files have three MSCF's - while(scan[0] != 'M' || scan[1] != 'S' || scan[2] != 'C' || scan[3] != 'F') { - System.arraycopy(scan, 1, scan, 0, 3); - int read = is.read(); - if (read == -1) throw new JS.Exn("MSCF header tag not found in file"); - scan[3] = (byte)read; - ofs++; - } - scan[0] = 0; - } - Log.log(this, "found MSCF header at offset " + ofs); - return org.xwt.util.CAB.getFileInputStream(is, path, true); + if (path.startsWith("/")) path = path.substring(1); + return new org.xwt.translators.MSPack(parent.getInputStream()).getInputStream(path); } } - public Object callMethod(Object method, Array args, boolean checkOnly) throws JS.Exn { - if (method.equals("getUTF")) { - if (checkOnly) return Boolean.TRUE; - if (args.length() != 0) return null; - try { - CharArrayWriter caw = new CharArrayWriter(); - InputStream is = getInputStream(); - BufferedReader r = new BufferedReader(new InputStreamReader(is)); - char[] buf = new char[1024]; - while(true) { - int numread = r.read(buf, 0, 1024); - if (numread == -1) break; - caw.write(buf, 0, numread); - } - return caw.toString(); - } catch (IOException e) { - if (Log.on) Log.log(Res.class, "IO Exception while reading from file"); - if (Log.on) Log.log(Res.class, e); - throw new JS.Exn("error while reading from Resource"); - } - } else if (method.equals("getDOM")) { - if (checkOnly) return Boolean.TRUE; - if (args.length() != 0) return null; - return new XMLHelper().doParse(); - } - if (checkOnly) return Boolean.FALSE; - return null; + /** the Builtin resource */ + public static class Builtin extends Res { + public Builtin() { }; + public String getCacheKey() throws NotCacheableException { throw notCacheable; } // not cacheable + public InputStream getInputStream(String path) throws IOException { + if (!path.equals("")) throw new IOException("the builtin resource has no subresources"); + return Platform.getBuiltinInputStream(); + } } - private class XMLHelper extends XML { - Vector obStack = new Vector(); - public XMLHelper() { super(BUFFER_SIZE); } - public void startElement(XML.Element c) throws XML.SchemaException { - JS o = new JS.Obj(); - o.put("$name", c.localName); - for(int i=0; i= 1 ? (JS)obStack.elementAt(0) : null; - } + /** what you get when you reference a subresource */ + public static class Ref extends Res { + Res parent; + Object key; + public String toString() { return parent.toString() + "/" + key; } + Ref(Res parent, Object key) { this.parent = parent; this.key = key; } + public String getCacheKey() throws NotCacheableException { return parent.getCacheKey() + "/" + key; } + public Res addExtension(String extension) { + return ((String)key).endsWith(extension) ? this : new Ref(parent, key + extension); } + public InputStream getInputStream(String path) throws IOException { return parent.getInputStream("/" + key + path); } } - public void writeTo(OutputStream os) throws IOException { - InputStream is = getInputStream(); - byte[] buf = new byte[1024]; - while(true) { - int numread = is.read(buf, 0, 1024); - if (numread == -1) break; - if (Log.on) Log.log(this, "wrote " + numread + " bytes"); - os.write(buf, 0, numread); + /** shadow resource which replaces the graft */ + public static class ProgressWatcher extends Res { + final Res watchee; + JSFunction callback; + ProgressWatcher(Res watchee, JSFunction callback) { this.watchee = watchee; this.callback = callback; } + public String getCacheKey() throws NotCacheableException { return watchee.getCacheKey(); } + public InputStream getInputStream(String s) throws IOException { + final InputStream is = watchee.getInputStream(s); + return new FilterInputStream(is) { + int bytesDownloaded = 0; + public int read() throws IOException { + int ret = super.read(); + if (ret != -1) bytesDownloaded++; + return ret; + } + public int read(byte[] b, int off, int len) throws IOException { + int ret = super.read(b, off, len); + if (ret != 1) bytesDownloaded += ret; + Scheduler.add(new Scheduler.Task() { public void perform() { + callback.call(N(bytesDownloaded), + N(is instanceof KnownLength ? ((KnownLength)is).getLength() : 0), null, null, 2); + } }); + return ret; + } + }; } - os.flush(); - - // we have to close this because flush() doesn't work on Win32-GCJ - os.close(); } }