X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fxwt%2FPicture.java;h=4cbd299f6bbb9f090652d2173f681a7e6a6168fc;hb=7e9239a7088d4cd772a31a76e1a53e1c681638bc;hp=942bf0309926644be5bea9f919d95ae6b89aefe6;hpb=67eeff476179a91ae930ea89cbecde22132ca532;p=org.ibex.core.git

diff --git a/src/org/xwt/Picture.java b/src/org/xwt/Picture.java
index 942bf03..4cbd299 100644
--- a/src/org/xwt/Picture.java
+++ b/src/org/xwt/Picture.java
@@ -1,4 +1,4 @@
-// Copyright 2003 Adam Megacz, see the COPYING file for licensing [GPL]
+// Copyright 2004 Adam Megacz, see the COPYING file for licensing [GPL]
 package org.xwt;
 import java.io.*;
 import org.xwt.js.*;
@@ -6,60 +6,73 @@ import org.xwt.util.*;
 import org.xwt.translators.*;
 
 /** 
- *    <p>
  *    The in-memory representation of a PNG or GIF image. It is
  *    read-only. It is usually passed to PixelBuffer.drawPicture()
- *    </p>
  *
- *    <p>
  *    Implementations of the Platform class should return objects
  *    supporting this interface from the createPicture() method. These
  *    implementations may choose to implement caching strategies (for
  *    example, using a Pixmap on X11).
- *    </p>
  */
-public abstract class Picture {
+public class Picture {
 
-    /** the resource that created this Picture */
-    public Res res = null;
+    public Picture() { this.res = null; }
+    public Picture(Stream r) { this.res = r; }
+    private static Cache cache = new Cache(100);   ///< Picture, keyed by the Stream that loaded them
 
-    /** the height of the picture */
-    public abstract int getHeight();
-    
-    /** 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();
+    public Stream res = null;                         ///< the resource we were loaded from
+    public int width = -1;                         ///< the width of the image
+    public int height = -1;                        ///< the height of the image
+    public int[] data = null;                      ///< argb samples
+    public boolean isLoaded = false;               ///< true iff the image is fully loaded
     
     /** turns a resource into a Picture.Source and passes it to the callback */
-    public static Picture fromRes(final Res r, final Callback callback) {
+    public static Picture load(final Stream r, final Scheduler.Task callback) {
         Picture ret = (Picture)cache.get(r);
-        if (ret != null) return ret;
-        if (callback != null)
+        if (ret == null) cache.put(r, ret = Platform.createPicture(r));
+        final Picture p = ret;
+        if (!ret.isLoaded && callback != null)
             new java.lang.Thread() { public void run() {
+                // get the InputStream for the image
+                InputStream in = null;
                 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);
-                        } } });
+                    in = r.getInputStream();
                 } catch (IOException e) {
-                    Log.log(Picture.class, e);
-                    return;
+                    in = null;
+                    if (r instanceof Stream.Ref) {
+                        // add extensions to the resource, looking for the image
+                        Stream.Ref ref = (Stream.Ref)r;
+                        Stream newr;
+
+                        String[] exts = new String[] { ".png", ".jpeg", ".gif" };
+                        for (int i=0; i < exts.length && in == null; i++) {
+                            newr = ref.addExtension(exts[i]);
+                            try { in = newr.getInputStream(); }
+                            catch (IOException f) { in = null; }
+                        }
+                    }
+                }
+        
+                // could not find image
+                if (in == null) { Log.info(Picture.class, "couldn't load image for resource " + r); return; }
+
+                try {
+                    PushbackInputStream pbis = new PushbackInputStream(in);
+                    int firstByte = pbis.read();
+                    if (firstByte == -1) throw new JSExn("empty stream reading image");
+                    pbis.unread(firstByte);
+                    if ((firstByte & 0xff) == 'G') GIF.load(pbis, p);
+                    else if ((firstByte & 0xff) == 137)  PNG.load(pbis, p);
+                    else if ((firstByte & 0xff) == 0xff) Platform.decodeJPEG(pbis, p);
+                    else throw new JSExn("couldn't figure out image type from first byte");
+                    p.isLoaded = true;
+                    Scheduler.add(callback);
+                } catch (Exception e) {
+                    Log.info(this, "exception while loading image");
+                    Log.info(this, e);
                 }
             } }.start();
-        return null;
+
+        return ret;
     }
 }