2003/11/13 05:04:22

[org.ibex.core.git] / src / org / xwt / Picture.java

diff --git a/src/org/xwt/Picture.java b/src/org/xwt/Picture.java
index da65368..942bf03 100644 (file)
--- a/src/org/xwt/Picture.java
+++ b/src/org/xwt/Picture.java
@@ -20,33 +20,6 @@ import org.xwt.translators.*;
  */
 public abstract class Picture {
 
-    /** Pictures, cached by Res */
-    private static Cache cache = new Cache();
-
-    private static GIF gif = new GIF();
-    
-    /** turns a resource into a Picture.Source */
-    public static Picture fromRes(Res r) {
-        Picture ret = (Picture)cache.get(r);
-        if (ret == null) {
-            try {
-                PushbackInputStream pbis = new PushbackInputStream(r.getInputStream());
-                int c = pbis.read();
-                pbis.unread(c);
-                if (c == 'G') ret = gif.fromInputStream(pbis, r.getDescriptiveName());
-                else if (c == 137) ret = new PNG().fromInputStream(pbis, r.getDescriptiveName());
-                else if (c == 0xff) ret = Platform.decodeJPEG(pbis, r.getDescriptiveName());
-                else throw new JS.Exn("couldn't figure out image type from first byte");
-                cache.put(r, ret);
-                ret.res = r;
-            } catch (IOException e) {
-                Log.logJS(Picture.class, e);
-                return null;
-            }
-        }
-        return ret;
-    }
-
     /** the resource that created this Picture */
     public Res res = null;
 
@@ -56,4 +29,37 @@ public abstract class Picture {
     /** the width of the picture */
     public abstract int getWidth();
 
+    /** Pictures, cache keyed by Res instance */
+    private static Cache cache = new Cache();
+    private static GIF gif = new GIF();
+    
+    /** turns a resource into a Picture.Source and passes it to the callback */
+    public static Picture fromRes(final Res r, final Callback callback) {
+        Picture ret = (Picture)cache.get(r);
+        if (ret != null) return ret;
+        if (callback != null)
+            new java.lang.Thread() { public void run() {
+                try {
+                    final byte[] b = InputStreamToByteArray.convert(r.getInputStream());
+                    Scheduler.add(new Scheduler.Task() { public void perform() {
+                        try {
+                            Picture ret = null;
+                            InputStream pbis = new ByteArrayInputStream(b);
+                            if ((b[0] & 0xff) == 'G') ret = gif.fromInputStream(pbis, r.getDescriptiveName());
+                            else if ((b[0] & 0xff) == 137) ret = new PNG().fromInputStream(pbis, r.getDescriptiveName());
+                            else if ((b[0] & 0xff) == 0xff) ret = Platform.decodeJPEG(pbis, r.getDescriptiveName());
+                            else throw new JS.Exn("couldn't figure out image type from first byte");
+                            ret.res = r;
+                            cache.put(r, ret);
+                            callback.call(ret);
+                        } catch (Exception e) {
+                            Log.log(Picture.class, e);
+                        } } });
+                } catch (IOException e) {
+                    Log.log(Picture.class, e);
+                    return;
+                }
+            } }.start();
+        return null;
+    }
 }