+ /** 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 void fromRes(final Res r, final Callback callback) {
+ Picture ret = (Picture)cache.get(r);
+ if (ret != null) {
+ callback.call(ret);
+ return;
+ }
+
+ try {
+ // FIXME: put self in background
+ 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;
+ callback.call(ret);
+ } catch (Exception e) {
+ Log.log(Picture.class, e);
+ }
+ }