8538d397c099992d6bea7f23a33141b996c9f558
[org.ibex.core.git] / src / org / xwt / Picture.java
1 // Copyright 2003 Adam Megacz, see the COPYING file for licensing [GPL]
2 package org.xwt;
3 import java.io.*;
4 import org.xwt.js.*;
5 import org.xwt.util.*;
6 import org.xwt.translators.*;
7
8 /** 
9  *    The in-memory representation of a PNG or GIF image. It is
10  *    read-only. It is usually passed to PixelBuffer.drawPicture()
11  *
12  *    Implementations of the Platform class should return objects
13  *    supporting this interface from the createPicture() method. These
14  *    implementations may choose to implement caching strategies (for
15  *    example, using a Pixmap on X11).
16  */
17 public class Picture {
18
19     public Picture() { this.res = null; }
20     public Picture(Res r) { this.res = r; }
21     private static Cache cache = new Cache(100);   ///< Picture, keyed by the Res that loaded them
22
23     public Res res = null;                         ///< the resource we were loaded from
24     public int width = -1;                         ///< the width of the image
25     public int height = -1;                        ///< the height of the image
26     public int[] data = null;                      ///< argb samples
27     public boolean isLoaded = false;               ///< true iff the image is fully loaded
28     
29     /** turns a resource into a Picture.Source and passes it to the callback */
30     public static Picture load(final Res r, final Scheduler.Task callback) {
31         Picture ret = (Picture)cache.get(r);
32         if (ret == null) cache.put(r, ret = Platform.createPicture(r));
33         final Picture p = ret;
34         if (!ret.isLoaded && callback != null)
35             new java.lang.Thread() { public void run() {
36                 // get the InputStream for the image
37                 InputStream in = null;
38                 try {
39                     in = r.getInputStream();
40                 } catch (IOException e) {
41                     e.printStackTrace();
42                     Log.log(Picture.class, e);
43                     
44                     in = null;
45                     if (r instanceof Res.Ref) {
46                         // add extensions to the resource, looking for the image
47                         Res.Ref ref = (Res.Ref)r;
48                         Res newr;
49
50                         String[] exts = new String[] { ".png", ".jpeg", ".gif" };
51                         for (int i=0; i < exts.length && in == null; i++) {
52                             newr = ref.addExtension(exts[i]);
53                             try { in = newr.getInputStream(); }
54                             catch (IOException f) { in = null; }
55                         }
56                     }
57                 }
58         
59                 // could not find image
60                 if (in == null) { Log.log(Picture.class, "couldn't load image for resource " + r); return; }
61
62                 try {
63                     PushbackInputStream pbis = new PushbackInputStream(in);
64                     int firstByte = pbis.read();
65                     if (firstByte == -1) throw new JSExn("empty stream reading image");
66                     pbis.unread(firstByte);
67                     if ((firstByte & 0xff) == 'G') GIF.load(pbis, p);
68                     else if ((firstByte & 0xff) == 137)  PNG.load(pbis, p);
69                     else if ((firstByte & 0xff) == 0xff) Platform.decodeJPEG(pbis, p);
70                     else throw new JSExn("couldn't figure out image type from first byte");
71                     p.isLoaded = true;
72                     Scheduler.add(callback);
73                 } catch (Exception e) {
74                     Log.log(this, "exception while loading image");
75                     Log.log(this, e);
76                 }
77             } }.start();
78
79         return ret;
80     }
81 }