+
+ /** Pictures, cache keyed by Res instance */
+ private static Cache cache = new Cache(100);
+ private static GIF gif = new GIF();
+
+ public static class Holder {
+ public Picture picture = null;
+ }
+
+ /** turns a resource into a Picture.Source and passes it to the callback */
+ public static Holder fromRes(final Res r, final Scheduler.Task callback) {
+ Holder ret = (Holder)cache.get(r);
+ if (ret == null) {
+ ret = new Holder();
+ cache.put(r, ret);
+ if (callback == null) return null;
+ }
+ final Holder holder = 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 p = null;
+ InputStream pbis = new ByteArrayInputStream(b);
+ if ((b[0] & 0xff) == 'G') p = gif.fromInputStream(pbis, "some picture");
+ else if ((b[0] & 0xff) == 137) p = new PNG().fromInputStream(pbis, "some picture");
+ else if ((b[0] & 0xff) == 0xff) p = Platform.decodeJPEG(pbis, "some picture");
+ else throw new JS.Exn("couldn't figure out image type from first byte");
+ p.res = r;
+ holder.picture = p;
+ Scheduler.add(callback);
+ } catch (Exception e) {
+ Log.log(Picture.class, e);
+ } } });
+ } catch (IOException e) {
+ Log.log(Picture.class, e);
+ return;
+ }
+ } }.start();
+ return ret;
+ }