X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fxwt%2FBox.java;h=f0645aa66c33361249a5bd9c67a1d9019c8dc805;hb=a3a63e51c36b2877a63308611ae7d53f6d0299ed;hp=51315b99d06dcde3f1b43d6a82c0c13e301b2c09;hpb=2eb02b18773eb30f609e13d633fcc40fe393e8a8;p=org.ibex.core.git diff --git a/src/org/xwt/Box.java b/src/org/xwt/Box.java index 51315b9..f0645aa 100644 --- a/src/org/xwt/Box.java +++ b/src/org/xwt/Box.java @@ -122,63 +122,63 @@ public final class Box extends JSObject { /** The maximum defined width and height of this box */ public static final int dmax = 0; - private short _dmax_0 = 0; - private short _dmax_1 = 0; - public final short dmax(int axis) { return axis == 0 ? _dmax_0 : _dmax_1; } + private int _dmax_0 = 0; + private int _dmax_1 = 0; + public final int dmax(int axis) { return axis == 0 ? _dmax_0 : _dmax_1; } /** The minimum defined width and height of this box */ public static final int dmin = 1; - private short _dmin_0 = 0; - private short _dmin_1 = 0; - public final short dmin(int axis) { return axis == 0 ? _dmin_0 : _dmin_1; } + private int _dmin_0 = 0; + private int _dmin_1 = 0; + public final int dmin(int axis) { return axis == 0 ? _dmin_0 : _dmin_1; } /** The minimum calculated width and height of this box -- unlike dmin, this takes childrens' sizes into account */ public static final int cmin = 2; - private short _cmin_0 = 0; - private short _cmin_1 = 0; - public final short cmin(int axis) { return axis == 0 ? _cmin_0 : _cmin_1; } + private int _cmin_0 = 0; + private int _cmin_1 = 0; + public final int cmin(int axis) { return axis == 0 ? _cmin_0 : _cmin_1; } /** The position of this box, relitave to the parent */ public static final int abs = 3; - private short _abs_0 = 0; - private short _abs_1 = 0; - public final short abs(int axis) { return axis == 0 ? _abs_0 : _abs_1; } + private int _abs_0 = 0; + private int _abs_1 = 0; + public final int abs(int axis) { return axis == 0 ? _abs_0 : _abs_1; } /** The absolute position of this box (ie relitave to the root); set by the parent */ public static final int pos = 4; - private short _pos_0 = 0; - private short _pos_1 = 0; - public final short pos(int axis) { return axis == 0 ? _pos_0 : _pos_1; } + private int _pos_0 = 0; + private int _pos_1 = 0; + public final int pos(int axis) { return axis == 0 ? _pos_0 : _pos_1; } /** The actual size of this box; set by the parent. */ public static final int size = 5; - short _size_0 = 0; - short _size_1 = 0; - public final short size(int axis) { return axis == 0 ? _size_0 : _size_1; } + int _size_0 = 0; + int _size_1 = 0; + public final int size(int axis) { return axis == 0 ? _size_0 : _size_1; } /** The old actual absolute position of this box (ie relitave to the root) */ public static final int oldpos = 6; - private short _oldpos_0 = 0; - private short _oldpos_1 = 0; - public final short oldpos(int axis) { return axis == 0 ? _oldpos_0 : _oldpos_1; } + private int _oldpos_0 = 0; + private int _oldpos_1 = 0; + public final int oldpos(int axis) { return axis == 0 ? _oldpos_0 : _oldpos_1; } /** The old actual size of this box */ public static final int oldsize = 7; - private short _oldsize_0 = 0; - private short _oldsize_1 = 0; - public final short oldsize(int axis) { return axis == 0 ? _oldsize_0 : _oldsize_1; } + private int _oldsize_0 = 0; + private int _oldsize_1 = 0; + public final int oldsize(int axis) { return axis == 0 ? _oldsize_0 : _oldsize_1; } /** The padding along each edge for this box */ public static final int pad = 8; - private short _pad_0 = 0; - private short _pad_1 = 0; - public final short pad(int axis) { return axis == 0 ? _pad_0 : _pad_1; } + private int _pad_0 = 0; + private int _pad_1 = 0; + public final int pad(int axis) { return axis == 0 ? _pad_0 : _pad_1; } /** The dimensions of the text in this box */ public static final int textdim = 9; - private short _textdim_0 = 0; - private short _textdim_1 = 0; - public final short textdim(int axis) { return axis == 0 ? _textdim_0 : _textdim_1; } + private int _textdim_0 = 0; + private int _textdim_1 = 0; + public final int textdim(int axis) { return axis == 0 ? _textdim_0 : _textdim_1; } // Instance Data ///////////////////////////////////////////////////////////////// @@ -234,6 +234,9 @@ public final class Box extends JSObject { /** If true, the Box will force its own size to the natural size of its background image */ boolean sizetoimage = false; + /** If true and tile is false, the background of this image will never be stretched */ + boolean fixedaspect = false; + /** If true, the box will shrink to the smallest vertical size possible */ boolean vshrink = false; @@ -282,8 +285,7 @@ public final class Box extends JSObject { // Methods which enforce/preserve invariants //////////////////////////////////////////// /** This method MUST be used to change geometry values -- it ensures that certain invariants are preserved. */ - public final void set(int which, int axis, int newvalue) { set(which, axis, (short)newvalue); } - public final void set(int which, int axis, short newvalue) { + public final void set(int which, int axis, int newvalue) { // if this Box is the root of the Surface, notify the Surface of size changes if (getParent() == null && surface != null && which == size) @@ -310,16 +312,11 @@ public final class Box extends JSObject { if (which == dmin) set(size, axis, max(size(axis), newvalue)); if (which == dmax) set(size, axis, min(size(axis), newvalue)); - // keep obedience to shrink directives - if (which == cmin || which == textdim || which == pad || which == dmin) - if ((hshrink && axis == 0) || (vshrink && axis == 1)) - set(dmax, axis, max(cmin(axis), (textdim(axis) + 2 * pad(axis)), dmin(axis))); - // keep cmin in line with dmin/dmax/textdim if (which == dmax || which == dmin || which == textdim || which == pad || which == cmin) set(cmin, axis, max( - min(cmin(axis), dmax(axis)), + min(dmax(axis), cmin(axis)), dmin(axis), min(dmax(axis), textdim(axis) + 2 * pad(axis)) ) @@ -355,13 +352,13 @@ public final class Box extends JSObject { /** Ensures that cmin is in sync with the cmin's of our children. This should be called whenever a child is added or * removed, as well as when our pad is changed. */ final void sync_cmin_to_children() { - short co = (short)(2 * pad(o)); - short cxo = (short)(2 * pad(xo)); + int co = (int)(2 * pad(o)); + int cxo = (int)(2 * pad(xo)); for(Box bt = getChild(0); bt != null; bt = bt.nextSibling()) { if (bt.invisible || bt.absolute) continue; co += bt.cmin(o); - cxo = (short)max(bt.cmin(xo) + 2 * pad(xo), cxo); + cxo = (int)max(bt.cmin(xo) + 2 * pad(xo), cxo); } set(cmin, o, co); @@ -410,15 +407,15 @@ public final class Box extends JSObject { } /** loads the image described by string str, possibly blocking for a network load */ - private static ImageDecoder getImage(String str) { - ImageDecoder ret = null; - boolean ispng = false; + static ImageDecoder getImage(String str, final Function callback) { if (str.indexOf(':') == -1) { String s = str; byte[] b = Resources.getResource(Resources.resolve(s + ".png", null)); - if (b == null) return null; - return PNG.decode(new ByteArrayInputStream(b), str); + if (b != null) return PNG.decode(new ByteArrayInputStream(b), str); + b = Resources.getResource(Resources.resolve(s + ".jpeg", null)); + if (b != null) return Platform.decodeJPEG(new ByteArrayInputStream(b), str); + return null; } else { Thread thread = Thread.currentThread(); @@ -426,13 +423,45 @@ public final class Box extends JSObject { if (Log.on) Log.log(Box.class, "HTTP images can not be loaded from the foreground thread"); return null; } + // FIXME: use primitives here ThreadMessage mythread = (ThreadMessage)thread; mythread.setPriority(Thread.MIN_PRIORITY); mythread.done.release(); try { - if (str.endsWith(".png")) ret = PNG.decode(Platform.urlToInputStream(new URL(str)), str); - else ret = GIF.decode(Platform.urlToInputStream(new URL(str)), str); - return ret; + HTTP http = new HTTP(str); + final HTTP.HTTPInputStream in = http.GET(); + final int contentLength = in.getContentLength(); + InputStream is = new FilterInputStream(in) { + int bytesDownloaded = 0; + boolean clear = true; + public int read() throws IOException { + bytesDownloaded++; + return super.read(); + } + public int read(byte[] b, int off, int len) throws IOException { + int ret = super.read(b, off, len); + if (ret != -1) bytesDownloaded += ret; + if (clear && callback != null) { + clear = false; + ThreadMessage.newthread(new JSObject.JSFunction() { + public Object call(Context cx, Scriptable thisObj, Scriptable ctorObj, Object[] args) throws JavaScriptException { + try { + callback.call(cx, null, null, new Object[] { + new Double(bytesDownloaded), new Double(contentLength) }); + } finally { + clear = true; + } + return null; + } + }); + } + return ret; + } + }; + + if (str.endsWith(".gif")) return GIF.decode(is, str); + else if (str.endsWith(".jpeg") || str.endsWith(".jpg")) return Platform.decodeJPEG(is, str); + else return PNG.decode(is, str); } catch (IOException e) { if (Log.on) Log.log(Box.class, "error while trying to load an image from " + str); @@ -452,7 +481,7 @@ public final class Box extends JSObject { Picture ret = null; ret = (Picture)pictureCache.get(os); if (ret != null) return ret; - ImageDecoder id = getImage(os); + ImageDecoder id = getImage(os, null); if (id == null) return null; ret = Platform.createPicture(id); pictureCache.put(os, ret); @@ -473,7 +502,7 @@ public final class Box extends JSObject { if (Log.on) Log.log(Box.class, "unable to load image " + s + " at " + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); return; - } + } if (sizetoimage) syncSizeToImage(); dirty(); } @@ -490,7 +519,7 @@ public final class Box extends JSObject { } else { border = (Picture[])bordercache.get(s); if (border == null) { - ImageDecoder id = getImage(s); + ImageDecoder id = getImage(s, null); if (id == null) { if (Log.on) Log.log(this, "unable to load border image " + s + " at " + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); @@ -599,26 +628,31 @@ public final class Box extends JSObject { } /** creates a new box from an anonymous template; ids is passed through to Template.apply() */ - Box(Template anonymous, Vec pboxes, Vec ptemplates) { + Box(Template anonymous, Vec pboxes, Vec ptemplates, Function callback, int numerator, int denominator) { super(true); - set(dmax, 0, Short.MAX_VALUE); - set(dmax, 1, Short.MAX_VALUE); + set(dmax, 0, Integer.MAX_VALUE); + set(dmax, 1, Integer.MAX_VALUE); template = anonymous; - template.apply(this, pboxes, ptemplates); + template.apply(this, pboxes, ptemplates, callback, numerator, denominator); templatename = null; importlist = null; } /** creates a new box from an unresolved templatename and an importlist; use "box" for an untemplatized box */ - public Box(String templatename, String[] importlist) { + public Box(String templatename, String[] importlist) { this(templatename, importlist, null); } + public Box(String templatename, String[] importlist, Function callback) { super(true); - set(dmax, 0, Short.MAX_VALUE); - set(dmax, 1, Short.MAX_VALUE); + set(dmax, 0, Integer.MAX_VALUE); + set(dmax, 1, Integer.MAX_VALUE); this.importlist = importlist; - template = "box".equals(templatename) ? null : Template.getTemplate(templatename, importlist); - this.templatename = templatename; + if (!"box".equals(templatename)) { + template = Template.getTemplate(templatename, importlist); + if (template == null) + if (Log.on) Log.log(this, "couldn't find template \"" + templatename + "\""); + } if (template != null) { - template.apply(this, null, null); + this.templatename = templatename; + template.apply(this, null, null, callback, 0, template.numUnits()); if (redirect == this && !"self".equals(template.redirect)) redirect = null; } } @@ -629,6 +663,8 @@ public final class Box extends JSObject { /** Checks if the Box's size has changed, dirties it if necessary, and makes sure childrens' sizes are up to date */ void prerender() { + if (invisible) return; + if (getParent() == null) { set(pos, 0, 0); set(pos, 1, 0); @@ -660,10 +696,11 @@ public final class Box extends JSObject { // FASTPATH: if we haven't moved position (just changed size), and we're not a stretched image: if (oldpos(0) == pos(0) && oldpos(1) == pos(1) && (image == null || tile)) { - - int bw = border == null ? 0 : border[2].getWidth(); - int bh = border == null ? 0 : border[0].getHeight(); - + + // we use the max(border, pad) since because of the pad we might be revealing an abs-pos child + int bw = max(border == null ? 0 : border[2].getWidth(), pad(0)); + int bh = max(border == null ? 0 : border[0].getHeight(), pad(1)); + // dirty only the *change* in the area we cover, both on ourselves and on our parent for(Box cur = this; cur != null && (cur == this || cur == this.getParent()); cur = cur.getParent()) { cur.dirty(pos(0) + min(oldsize(0) - bw, size(0) - bw), @@ -693,8 +730,10 @@ public final class Box extends JSObject { set(oldpos, 0, pos(0)); set(oldpos, 1, pos(1)); - if (sizechange || poschange) - if (surface.sizePosChangesSinceLastRender++ > 500) { + if (!sizechange && !poschange) return; + + if (++surface.sizePosChangesSinceLastRender >= 500) { + if (surface.sizePosChangesSinceLastRender == 500) { if (Log.on) Log.log(this, "Warning, more than 500 SizeChange/PosChange traps triggered since last complete render"); if (Log.on) Log.log(this, " interpreter is at " + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); try { @@ -703,12 +742,13 @@ public final class Box extends JSObject { if (Log.on) Log.log(this, "Current trap is at " + f.getSourceName() + ":" + f.getLineNumbers()[0]); } catch (Throwable t) { } } - - if (sizechange) put("SizeChange", null, Boolean.TRUE); - if (poschange) put("PosChange", null, Boolean.TRUE); - if (sizechange || poschange) { - surface.abort = true; - return; + } else { + if (sizechange) put("SizeChange", null, Boolean.TRUE); + if (poschange) put("PosChange", null, Boolean.TRUE); + if (sizechange || poschange) { + surface.abort = true; + return; + } } } @@ -720,8 +760,8 @@ public final class Box extends JSObject { for(Box bt = getChild(0); bt != null; bt = bt.nextSibling()) { if (bt.invisible) continue; if (bt.absolute) { - bt.set(size, o, max(bt.cmin(o), min(size(o) - bt.abs(o) - pad(o), bt.dmax(o)))); - bt.set(size, xo, max(bt.cmin(xo), min(size(xo) - bt.abs(xo) - pad(xo), bt.dmax(xo)))); + bt.set(size, 0, bt.hshrink ? bt.cmin(0) : max(bt.cmin(0), min(size(0) - bt.abs(0) - pad(0), bt.dmax(0)))); + bt.set(size, 1, bt.vshrink ? bt.cmin(1) : max(bt.cmin(1), min(size(1) - bt.abs(1) - pad(1), bt.dmax(1)))); } else if (xo == 0 && bt.hshrink || xo == 1 && bt.vshrink) { bt.set(size, xo, bt.cmin(xo)); } else { @@ -756,15 +796,16 @@ public final class Box extends JSObject { for(Box bt = getChild(0); bt != null; bt = bt.nextSibling()) { if (bt.absolute || bt.invisible) continue; - bt.set(size, o, bound(bt.cmin(o), factor * bt.flex, bt.dmax(o))); + int btmax = (o == 0 && bt.hshrink) || (o == 1 && bt.vshrink) ? bt.cmin(o) : bt.dmax(o); + bt.set(size, o, bound(bt.cmin(o), factor * bt.flex, btmax)); total += bt.size(o); if (factor * bt.flex < bt.cmin(o) && bt.size(o) == bt.cmin(o)) { nextjoint = min(nextjoint, divide_round_up(bt.cmin(o), bt.flex)); - } else if (bt.size(o) < bt.dmax(o)) { + } else if (bt.size(o) < btmax) { remaining_flex += bt.flex; - nextjoint = min(nextjoint, divide_round_up(bt.dmax(o), bt.flex)); + nextjoint = min(nextjoint, divide_round_up(btmax, bt.flex)); } } @@ -781,10 +822,11 @@ public final class Box extends JSObject { // arbitrarily distribute out any leftovers resulting from rounding errors int last = 0; - while(goal > total && total != last) { + while(goal != total && total != last) { last = total; for(Box bt = getChild(0); bt != null; bt = bt.nextSibling()) { - int newsize = bound(bt.cmin(o), bt.size(o) + 1, bt.dmax(o)); + int btmax = (o == 0 && bt.hshrink) || (o == 1 && bt.vshrink) ? bt.cmin(o) : bt.dmax(o); + int newsize = bound(bt.cmin(o), bt.size(o) + (goal > total ? 1 : -1), btmax); total += newsize - bt.size(o); bt.set(size, o, newsize); } @@ -831,8 +873,7 @@ public final class Box extends JSObject { int x1 = max(x, pos(0) + bw); int y1 = max(y, pos(1) + bh); int x2 = min(x + w, pos(0) + size(0) - bw); - int y2 = min(y + h, pos(1) + size(1) - 2); - buf.setClip(0, 0, buf.getWidth(), buf.getHeight()); + int y2 = min(y + h, pos(1) + size(1) - bh); if (y2 - y1 > 0 && x2 - x1 > 0) buf.fillRect(x1,y1,x2,y2,(color & 0xFF000000) != 0 ? color : SpecialBoxProperty.lightGray); } @@ -860,7 +901,6 @@ public final class Box extends JSObject { buf.setClip(x, y, w + x, h + y); if ((color & 0xFF000000) != 0xFF000000) { - // if the color is null, we have to be very careful about drawing the corners //if (Log.verbose) Log.log(this, "WARNING: (color == null && border != null) on box with border " + imageToNameMap.get(border[4])); @@ -917,11 +957,28 @@ public final class Box extends JSObject { buf.setClip(x, y, w + x, h + y); int bw = border == null ? 0 : border[4].getHeight(); int bh = border == null ? 0 : border[4].getWidth(); + + int width = pos(0) + size(0) - bw / 2 - pos(0) + bw / 2; + int height = pos(1) + size(1) - bh / 2 - pos(1) + bh / 2; + + if (fixedaspect) { + int hstretch = width / image.getWidth(); + if (hstretch == 0) hstretch = -1 * image.getWidth() / width; + int vstretch = height / image.getHeight(); + if (vstretch == 0) vstretch = -1 * image.getHeight() / height; + + if (hstretch < vstretch) { + height = image.getHeight() * width / image.getWidth(); + } else { + width = image.getWidth() * height / image.getHeight(); + } + } + buf.drawPicture(image, pos(0) + bw / 2, pos(1) + bh / 2, - pos(0) + size(0) - bw / 2, - pos(1) + size(1) - bh / 2, + pos(0) + bw / 2 + width, + pos(1) + bh / 2 + height, 0, 0, image.getWidth(), image.getHeight()); buf.setClip(0, 0, buf.getWidth(), buf.getHeight()); } @@ -1007,28 +1064,52 @@ public final class Box extends JSObject { * WARNING: O(n) runtime, unless i == numChildren() */ public void put(int i, Scriptable start, Object value) { - if (value == null) { - if (i >= 0 && i < numChildren()) getChild(i).remove(); - return; - } - if (value instanceof RootProxy) { - if (Log.on) Log.log(this, "attempt to reparent a box via its proxy object at " + - Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); - return; - } else if (!(value instanceof Box)) { + + if (value != null && !(value instanceof Box)) { if (Log.on) Log.log(this, "attempt to set a numerical property on a box to anything other than a box at " + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); - return; - } - Box newnode = (Box)value; - if (redirect == null) { - if (Log.on) Log.log(this, "attempt to add a child to a node with a null redirect at " + + + } else if (redirect == null) { + if (Log.on) Log.log(this, "attempt to add/remove children to/from a node with a null redirect at " + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); - return; - } else if (redirect != this) redirect.put(i, null, newnode); - else { + + } else if (redirect != this) { + Box b = value == null ? (Box)redirect.get(i, null) : (Box)value; + redirect.put(i, null, value); + put("0", null, b); + + } else if (value == null) { + if (i >= 0 && i < numChildren()) { + Box b = getChild(i); + b.remove(); + put("0", null, b); + } + + } else if (value instanceof RootProxy) { + if (Log.on) Log.log(this, "attempt to reparent a box via its proxy object at " + + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); + + } else { + Box newnode = (Box)value; + + // check if box being moved is currently target of a redirect + for(Box cur = newnode.getParent(); cur != null; cur = cur.getParent()) + if (cur.redirect == newnode) { + if (Log.on) Log.log(this, "attempt to move a box that is the target of a redirect at "+ + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); + return; + } + + // check for recursive ancestor violation + for(Box cur = this; cur != null; cur = cur.getParent()) + if (cur == newnode) { + if (Log.on) Log.log(this, "attempt to make a node a parent of its own ancestor at " + + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); + return; + } + if (numKids > 15 && children == null) convert_to_array(); - if (newnode.parent != null) newnode.remove(); + newnode.remove(); newnode.parent = this; if (children == null) { @@ -1063,17 +1144,17 @@ public final class Box extends JSObject { } } newnode.setSurface(surface); - + // need both of these in case child was already uncalc'ed newnode.mark_for_prerender(); mark_for_prerender(); - + newnode.dirty(); sync_cmin_to_children(); - } - // note that JavaScript box[0] will invoke put(int i), not put(String s) - put("0", null, newnode); + // note that JavaScript box[0] will invoke put(int i), not put(String s) + put("0", null, newnode); + } } public Object get(String name, Scriptable start) { return get(name, start, false); } @@ -1104,7 +1185,11 @@ public final class Box extends JSObject { SpecialBoxProperty gph = (SpecialBoxProperty)SpecialBoxProperty.specialBoxProperties.get(name); if (gph != null) return gph.get(this); - return super.get(name, start); + Object ret = super.get(name, start); + if (name.startsWith("$") && ret == null) + if (Log.on) Log.log(this, "WARNING: attempt to access " + name + ", but no child with id=\"" + name.substring(1) + "\" found; " + + Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine); + return ret; } /** indicate that we don't want JSObject trying to handle these */ @@ -1118,6 +1203,12 @@ public final class Box extends JSObject { return super.has(name, start); } + public Object[] getIds() { + Object[] ret = new Object[numChildren()]; + for(int i=0; iup instead of down */ static final int divide_round_up(int numerator, int denominator) { + + // cope with bozos who use flex==0.0 + if (denominator == 0) return Integer.MAX_VALUE; + int ret = numerator / denominator; if (ret * denominator < numerator) return ret + 1; return ret;