X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Fxwt%2FBox.java;h=864d332ed0f2a31e5f80e77d20638316ef368805;hb=7f5df8070a5551fe66abd11a589677e285ca62f8;hp=a18d888a35b0c896251692cd89bb623bccb063a0;hpb=345865827e473f64410c7e3c07e73d20a8db7c4f;p=org.ibex.core.git diff --git a/src/org/xwt/Box.java b/src/org/xwt/Box.java index a18d888..864d332 100644 --- a/src/org/xwt/Box.java +++ b/src/org/xwt/Box.java @@ -1,11 +1,21 @@ // Copyright 2002 Adam Megacz, see the COPYING file for licensing [GPL] package org.xwt; +// FEATURE: reflow before allowing js to read from width/height +// FEATURE: fastpath for rows=1/cols=1 +// FEATURE: mark to reflow starting with a certain child +// FEATURE: separate mark_for_reflow and mark_for_resize +// FEATURE: make all methods final +// FEATURE: use a linked list for the "frontier" when packing +// FEATURE: or else have a way to mark a column "same as last one"? +// FEATURE: reintroduce surface.abort + import java.io.*; import java.net.*; import java.util.*; import org.xwt.js.*; import org.xwt.util.*; +import org.xwt.translators.*; /** *

@@ -13,1497 +23,678 @@ import org.xwt.util.*; * rendering logic. *

* - *

- * This is the real meat of XWT. Part of its monolithic design is for - * performance reasons: deep inheritance heirarchies are slow, and - * neither javago nor GCJ can inline across class boundaries. - *

- * - *

The rendering process consists of two phases:

- * - *
  1. Prerendering pipeline: a set of methods that - * traverse the tree (DFS, postorder) immediately before - * rendering. These methods calculate the appropriate size - * and position for all boxes. If no changes requiring a - * re-prerender have been made to a box or any of its - * descendants, needs_prerender will be false, and the box - * and its descendants will be skipped. - * - *
  2. Rendering pipeline: a second set of methods that - * traverses the tree (DFS, preorder) and renders each Box - * onto the associated Surface. The render() method takes a - * region (x,y,w,h) as an argument, and will only render - * onto pixels within that region. Boxes which lie - * completely outside that region will be skipped. - *
- * - *

- * Either of these two phases may abort at any time by setting - * surface.abort to true. Currently, there are two reasons - * for aborting: a SizeChange or PosChange was - * triggered in the prerender phase (which ran scripts which modified - * the boxtree's composition, requiring another prerender pass), or - * else the user resized the surface. In either case, the - * [pre]rendering process is halted as soon as possible and - * re-started from the beginning. - *

- * - *

Why are these done as seperate passes over the box tree?

- * - *
  1. Sometimes we need to make several trips through - * prerender()SizeChange - * or PosChange. Calling prerender() is - * cheap; calling render() is expensive. - * - *
  2. Even if no SizeChange or PosChange traps are - * triggered, updates to the size and position of boxes in - * the prerender phase can cause additional regions to be - * added to the dirty list. If the prerender and render - * passes were integrated, this might cause some screen - * regions to be painted twice (or more) in a single pass, - * which hurts performance. + *

    The rendering process consists of four phases; each requires + * one DFS pass over the tree

    + *
    1. repacking: children of a box are packed into columns + * and rows according to their colspan/rowspan attributes and + * ordering. + *
      1. reconstraining: Minimum and maximum sizes of columns are computed. + *
      2. resizing: width/height and x/y positions of children + * are assigned, and PosChange/SizeChanges are triggered. + *
      3. repainting: children draw their content onto the PixelBuffer. *
      * - *

      - * A box's _cmin_* variables hold the minimum possible - * dimensions of this box, taking into account the size of its - * children (and their children). The cmin variables must be kept in - * sync with its other geometric properties and the geometric - * properties of its children at all times -- they are not - * periodically recomputed during the [pre]rendering process, as size - * and pos are. If any data changes which might invalidate the cmin, - * the method sync_cmin_to_children() must be invoked - * immediately. - *

      - * - *

      - * A note on coordinates: the Box class represents regions - * internally as x,y,w,h tuples, even though the DoubleBuffer class - * uses x1,y1,x2,y2 tuples. - *

      + * The first three passes together are called the reflow phase. + * Reflowing is done in a seperate pass since PosChanges and + * SizeChanges trigger an Surface.abort; if rendering were done in the same + * pass, rendering work done prior to the Surface.abort would be wasted. */ -public final class Box extends JS.Scope { - - - // Static Data ////////////////////////////////////////////////////////////// - - /** a pool of one-element Object[]'s */ - private static Queue singleObjects = new Queue(100); - - /** caches images, keyed on resource name or url */ - public static Hash pictureCache = new Hash(); - - /** cache of border objects */ - static Hash bordercache = new Hash(); - - /** stores image names, keyed on image object */ - static Hash imageToNameMap = new Hash(); - - /** the empty object, used for get-traps */ - private static JS.Array emptyobj = new JS.Array(); - - - // Instance Data: Templates //////////////////////////////////////////////////////// - - /** the unresolved name of the first template applied to this node [ignoring preapply's], or null if this template was specified anonymously */ - String templatename = null; - - /** the importlist which was used to resolve templatename, or null if this template was specified anonymously */ - String[] importlist = Template.defaultImportList; - - /** the template instance that resulted from resolving templatename using importlist, or the anonymous template applied */ - Template template = null; - - - // Instance Data: Geometry //////////////////////////////////////////////////////// - - /** The number of elements in the geom array */ - public static final int NUMINTS = 10; - - /** The maximum defined width and height of this box */ - public static final int dmax = 0; - 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 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 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 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 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; - 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 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 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 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 int _textdim_0 = 0; - private int _textdim_1 = 0; - public final int textdim(int axis) { return axis == 0 ? _textdim_0 : _textdim_1; } - - - // Instance Data ///////////////////////////////////////////////////////////////// - - /** This box's mouseinside property, as defined in the reference */ - boolean mouseinside = false; - - /** If redirect is enabled, this holds the Box redirected to */ +public abstract class Box extends JSScope implements JSTrap.JSTrappable { + + // Macros ////////////////////////////////////////////////////////////////////// + + //#define LENGTH int + //#define MARK_REPACK for(Box b2 = this; b2 != null && !b2.test(REPACK); b2 = b2.parent) b2.set(REPACK); + //#define MARK_REPACK_b for(Box b2 = b; b2 != null && !b2.test(REPACK); b2 = b2.parent) b2.set(REPACK); + //#define MARK_REPACK_parent for(Box b2 = parent; b2 != null && !b2.test(REPACK); b2 = b2.parent) b2.set(REPACK); + //#define MARK_REFLOW for(Box b2 = this; b2 != null && !b2.test(REFLOW); b2 = b2.parent) b2.set(REFLOW); + //#define MARK_REFLOW_b for(Box b2 = b; b2 != null && !b2.test(REFLOW); b2 = b2.parent) b2.set(REFLOW); + //#define MARK_RESIZE for(Box b2 = this; b2 != null && !b2.test(RESIZE); b2 = b2.parent) b2.set(RESIZE); + //#define MARK_RESIZE_b for(Box b2 = b; b2 != null && !b2.test(RESIZE); b2 = b2.parent) b2.set(RESIZE); + //#define CHECKSET_SHORT(prop) short nu = (short)toInt(value); if (nu == prop) break; prop = nu; + //#define CHECKSET_INT(prop) int nu = toInt(value); if (nu == prop) break; prop = nu; + //#define CHECKSET_FLAG(flag) boolean nu = toBoolean(value); if (nu == test(flag)) break; if (nu) set(flag); else clear(flag); + //#define CHECKSET_BOOLEAN(prop) boolean nu = toBoolean(value); if (nu == prop) break; prop = nu; + //#define CHECKSET_STRING(prop) if ((value==null&&prop==null)||(value!=null&&value.equals(prop))) break; prop=(String)value; + + protected Box() { super(null); } + + static Hash boxToCursor = new Hash(500, 3); + public static final int MAX_LENGTH = Integer.MAX_VALUE; + + // Flags ////////////////////////////////////////////////////////////////////// + + static final int MOUSEINSIDE = 0x00000001; + static final int VISIBLE = 0x00000002; + static final int PACKED = 0x00000004; + static final int HSHRINK = 0x00000008; + static final int VSHRINK = 0x00000010; + static final int BLACK = 0x00000020; // for red-black code + + static final int FIXED = 0x00000040; + static final boolean ROWS = true; + static final boolean COLS = false; + + static final int ISROOT = 0x00000080; + static final int REPACK = 0x00000100; + static final int REFLOW = 0x00000200; + static final int RESIZE = 0x00000400; + static final int RECONSTRAIN = 0x00000800; + static final int ALIGN_TOP = 0x00001000; + static final int ALIGN_BOTTOM = 0x00002000; + static final int ALIGN_LEFT = 0x00004000; + static final int ALIGN_RIGHT = 0x00008000; + static final int ALIGNS = 0x0000f000; + static final int CURSOR = 0x00010000; // if true, this box has a cursor in the cursor hash; FEATURE: GC issues? + static final int NOCLIP = 0x00020000; + + + // Instance Data ////////////////////////////////////////////////////////////////////// + + Box parent = null; Box redirect = this; - - /** the Box's font, null inherits from parent -- you must call textupdate() after changing this */ - String font = null; - - /** if font == null, this might be a cached copy of the inherited ancestor font */ - String cachedFont = null; - - /** The surface for us to render on; null if none; INVARIANT: surface == getParent().surface */ - Surface surface = null; - - /** Our alignment: top/left == -1, center == 0, bottom/right == +1 */ - byte align = 0; - - /** Our background image; to set this, use setImage() */ - public Picture image; - - /** The flex for this box */ - int flex = 1; - - /** The orientation, horizontal == 0, vertical == 1 */ - byte o = 0; - - /** The opposite of the orientation */ - byte xo = 1; - - /** The id of this Box */ - public String id = ""; - - /** The text of this Box -- you must call textupdate() after changing this */ - String text = ""; - - /** The color of the text in this Box in 00RRGGBB form -- default is black */ - int textcolor = 0xFF000000; - - /** The background color of this box in AARRGGBB form -- default is clear; alpha is all-or-nothing */ - int color = 0x00000000; - - /** Holds four "strip images" -- 0=top, 1=bottom, 2=left, 3=right, 4=all */ - Picture[] border = null; - - /** true iff the box's background image should be tiled */ - boolean tile = false; - - /** True iff the Box is invisible */ - public boolean invisible = false; - - /** 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; - - /** If true, the box will shrink to the smallest horizontal size possible */ - boolean hshrink = false; - - /** If true, the box will be positioned absolutely */ - boolean absolute = false; - - /** True iff the Box must be run through the prerender() pipeline before render()ing;
      - * INVARIANT: if (needs_prerender) then getParent().needs_prerender. **/ - boolean needs_prerender = true; - - /** The cursor for this Box -- only meaningful on the root Box */ - public String cursor = null; - - /** Any traps placed on this Box */ - public Hash traps = null; - - - // Instance Data: IndexOf //////////////////////////////////////////////////////////// - - /** The indexof() Function; created lazily */ - public JS.Function indexof = null; - public JS.Function indexof() { if (indexof == null) indexof = new IndexOf(); return indexof; } - - /** a trivial private class to serve as the box.indexof function object */ - private class IndexOf extends JS.Function { - public IndexOf() { this.setSeal(true); } - public Object _call(JS.Array args) throws JS.Exn { - if (args.length() != 1 || args.elementAt(0) == null || !(args.elementAt(0) instanceof Box)) return new Integer(-1); - Box b = (Box)args.elementAt(0); - if (b.getParent() != Box.this) { - if (redirect == null || redirect == Box.this) return new Integer(-1); - return Box.this.redirect.indexof().call(args); - } - return new Integer(b.getIndexInParent()); - } - } - - - // 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) { - - // if this Box is the root of the Surface, notify the Surface of size changes - if (getParent() == null && surface != null && which == size) - surface._setSize(axis == 0 ? newvalue : size(0), axis == 1 ? newvalue : size(1)); - - if (getParent() == null && surface != null && (which == dmin || which == dmax)) - surface.setLimits(dmin(0), dmin(1), dmax(0), dmax(1)); - - switch(which) { - case dmin: if (dmin(axis) == newvalue) return; if (axis == 0) _dmin_0 = newvalue; else _dmin_1 = newvalue; break; - case dmax: if (dmax(axis) == newvalue) return; if (axis == 0) _dmax_0 = newvalue; else _dmax_1 = newvalue; break; - case cmin: if (cmin(axis) == newvalue) return; if (axis == 0) _cmin_0 = newvalue; else _cmin_1 = newvalue; break; - case abs: if (abs(axis) == newvalue) return; if (axis == 0) _abs_0 = newvalue; else _abs_1 = newvalue; break; - case pos: if (pos(axis) == newvalue) return; if (axis == 0) _pos_0 = newvalue; else _pos_1 = newvalue; break; - case size: if (size(axis) == newvalue) return; if (axis == 0) _size_0 = newvalue; else _size_1 = newvalue; break; - case oldpos: if (oldpos(axis) == newvalue) return; if (axis == 0) _oldpos_0 = newvalue; else _oldpos_1 = newvalue; break; - case oldsize: if (oldsize(axis) == newvalue) return; if (axis == 0) _oldsize_0 = newvalue; else _oldsize_1 = newvalue; break; - case pad: if (pad(axis) == newvalue) return; if (axis == 0) _pad_0 = newvalue; else _pad_1 = newvalue; break; - case textdim: if (textdim(axis) == newvalue) return; if (axis == 0) _textdim_0 = newvalue; else _textdim_1 = newvalue; break; - default: return; - } - - // size must always agree with dmin/dmax - if (which == dmin) set(size, axis, max(size(axis), newvalue)); - if (which == dmax) set(size, axis, min(size(axis), newvalue)); - - // keep cmin in line with dmin/dmax/textdim - if (which == dmax || which == dmin || which == textdim || which == pad || which == cmin) - set(cmin, axis, - max( - min(dmax(axis), cmin(axis)), - dmin(axis), - min(dmax(axis), textdim(axis) + 2 * pad(axis)) - ) - ); - - // if the pad changes, update cmin - if (which == pad) sync_cmin_to_children(); - - // needed in the shrink case, since dmin may have been the deciding factor in calculating cmin - if ((vshrink || hshrink) && (which == dmin || which == textdim || which == pad)) sync_cmin_to_children(); - - // if the cmin changes, we need to be re-prerendered - if (which == cmin) mark_for_prerender(); - - // if the absolute position of a box changes, its parent needs to be re-prerendered (to update the child's position) - if (which == abs && getParent() != null) getParent().mark_for_prerender(); - - // if our cmin changes, then our parent's needs to be recalculated - if (getParent() != null && which == cmin) { - mark_for_prerender(); - getParent().sync_cmin_to_children(); - } - - } - - /** Marks this node and all its ancestors so that they will be prerender()ed */ - public final void mark_for_prerender() { - if (needs_prerender) return; - needs_prerender = true; - if (getParent() != null) getParent().mark_for_prerender(); - } - - /** 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() { - 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 = (int)max(bt.cmin(xo) + 2 * pad(xo), cxo); - } - - set(cmin, o, co); - set(cmin, xo, cxo); - } - - /** must be called after changes to image or border if sizetoimage is true */ - public void syncSizeToImage() { - set(dmax, 0, (image == null ? 0 : image.getWidth()) + (border == null ? 0 : border[2].getWidth()) * 2); - set(dmax, 1, (image == null ? 0 : image.getHeight()) + (border == null ? 0 : border[0].getHeight()) * 2); - set(dmin, 0, (image == null ? 0 : image.getWidth()) + (border == null ? 0 : border[2].getWidth()) * 2); - set(dmin, 1, (image == null ? 0 : image.getHeight()) + (border == null ? 0 : border[0].getHeight()) * 2); - } - - /** returns the actual font that should be used to render this box */ - private String font() { - if (font != null) return font; - if (font == null && cachedFont != null) return cachedFont; - if (getParent() != null) return cachedFont = getParent().font(); - return cachedFont = Platform.getDefaultFont(); - } - - /** this must be called when a box's font changes */ - void fontChanged() { - textupdate(); - for(Box b = getChild(0); b != null; b = b.nextSibling()) - if (b.font == null) { - b.cachedFont = font(); - b.fontChanged(); - } - } - - /** This must be called when font or text is changed */ - void textupdate() { - if (text.equals("")) { - set(textdim, 0, 0); - set(textdim, 1, 0); - } else { - XWF xwf = XWF.getXWF(font()); - if (xwf == null) { - set(textdim, 0, Platform.stringWidth(font(), text)); - set(textdim, 1, (Platform.getMaxAscent(font()) + Platform.getMaxDescent(font()))); - } else { - set(textdim, 0, xwf.stringWidth(text)); - set(textdim, 1, (xwf.getMaxAscent() + xwf.getMaxDescent())); - } - } - } - + int flags = VISIBLE | PACKED | REPACK | REFLOW | RESIZE | FIXED /* ROWS */; + + private String text = null; + private Font font = null; + private Picture.Holder texture; + private short strokewidth = 1; + private int fillcolor = 0x00000000; + private int strokecolor = 0xFF000000; + + // specified directly by user + public LENGTH minwidth = 0; + public LENGTH maxwidth = MAX_LENGTH; + public LENGTH minheight = 0; + public LENGTH maxheight = MAX_LENGTH; + private short rows = 1; + private short cols = 0; + private short rowspan = 1; + private short colspan = 1; + + // computed during reflow + private short row = 0; + private short col = 0; + public LENGTH x = 0; + public LENGTH y = 0; + public LENGTH width = 0; + public LENGTH height = 0; + private LENGTH contentwidth = 0; // == max(minwidth, textwidth, sum(child.contentwidth)) + private LENGTH contentheight = 0; + + /* + private VectorGraphics.VectorPath path = null; + private VectorGraphics.Affine transform = null; + private VectorGraphics.RasterPath rpath = null; + private VectorGraphics.Affine rtransform = null; + */ // Instance Methods ///////////////////////////////////////////////////////////////////// - /** Changes the Surface that this Box draws on. */ - protected void setSurface(Surface newSurface) { - if (surface == newSurface) return; - mouseinside = false; - if ((is_trapped("KeyPressed") || is_trapped("KeyReleased")) && surface != null) - surface.keywatchers.removeElement(this); - surface = newSurface; - if ((is_trapped("KeyPressed") || is_trapped("KeyReleased")) && surface != null) - surface.keywatchers.addElement(this); - for(Box i = getChild(0); i != null; i = i.nextSibling()) i.setSurface(surface); - if (numChildren() == 0) mark_for_prerender(); - } - - /** loads the image described by string str, possibly blocking for a network load */ - 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 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(); - if (!(thread instanceof ThreadMessage)) { - 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 { - 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 JS.Function() { - public Object _call(JS.Array args_) throws JS.Exn { - try { - JS.Array args = new JS.Array(); - args.addElement(new Double(bytesDownloaded)); - args.addElement(new Double(contentLength)); - callback.call(args); - } 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); - if (Log.on) Log.log(Box.class, e); - return null; - - } finally { - MessageQueue.add(mythread); - mythread.setPriority(Thread.NORM_PRIORITY); - mythread.go.block(); - } - } - } - - /** gets an Image using getImage(), adds it to the cache, and creates a Picture from it */ - public static Picture getPicture(String os) { - Picture ret = null; - ret = (Picture)pictureCache.get(os); - if (ret != null) return ret; - ImageDecoder id = getImage(os, null); - if (id == null) return null; - ret = Platform.createPicture(id); - pictureCache.put(os, ret); - imageToNameMap.put(ret, os); - return ret; - } - - /** Sets the image; argument should be a fully qualified s name or an URL */ - void setImage(String s) { - if ((s == null && image == null) || (s != null && image != null && s.equals(imageToNameMap.get(image)))) return; - if (s == null || s.equals("")) { - image = null; - if (sizetoimage) syncSizeToImage(); - dirty(); - } else { - image = getPicture(s); - if (image == null) { - if (Log.on) Log.log(Box.class, "unable to load image " + s + " at " + JS.getCurrentFunctionSourceName()); - return; - } - if (sizetoimage) syncSizeToImage(); - dirty(); - } - } - - /** Sets the border; argument should be a fully qualified resource name or an URL */ - void setBorder(String s) { - if ((s == null && border == null) || (s != null && border != null && s.equals(imageToNameMap.get(border)))) return; - if (s == null || s.equals("")) { - border = null; - if (sizetoimage) syncSizeToImage(); - dirty(); - - } else { - border = (Picture[])bordercache.get(s); - if (border == null) { - ImageDecoder id = getImage(s, null); - if (id == null) { - if (Log.on) Log.log(this, "unable to load border image " + s + " at " + JS.getCurrentFunctionSourceName()); - return; - } - int[] data = id.getData(); - int w = id.getWidth(); - int h = id.getHeight(); - int hpad = w / 2; - int vpad = h / 2; - - int[][] dat = new int[4][]; - dat[0] = new int[100 * vpad]; - dat[1] = new int[100 * vpad]; - dat[2] = new int[100 * hpad]; - dat[3] = new int[100 * hpad]; - - for(int i=0; i<100; i++) { - for(int j=0; jmouseinside and check - * to see if this node requires any Enter, Leave, or Move notifications. - * - * @param forceleave set to true by the box's parent if the mouse is inside an older - * sibling, which is covering up this box. - */ + public void putAndTriggerJSTraps(Object key, Object value) { + JSContext.invokeTrap(this, key, value); + } + + /** update MOUSEINSIDE, check for Enter/Leave/Move */ void Move(int oldmousex, int oldmousey, int mousex, int mousey) { Move(oldmousex, oldmousey, mousex, mousey, false); } void Move(int oldmousex, int oldmousey, int mousex, int mousey, boolean forceleave) { - - boolean wasinside = mouseinside; - boolean isinside = !invisible && inside(mousex, mousey) && !forceleave; - mouseinside = isinside; - + boolean wasinside = test(MOUSEINSIDE); + boolean isinside = test(VISIBLE) && inside(mousex, mousey) && !forceleave; + if (isinside) set(MOUSEINSIDE); else clear(MOUSEINSIDE); if (!wasinside && !isinside) return; - if (!wasinside && isinside && is_trapped("Enter")) put("Enter", this); - else if (wasinside && !isinside && is_trapped("Leave")) put("Leave", this); - else if (wasinside && isinside && (mousex != oldmousex || mousey != oldmousey) && is_trapped("Move")) put("Move", this); - - if (isinside && cursor != null && surface != null) surface.cursor = cursor; - - // if the mouse has moved into our padding region, it is considered 'outside' all our children - if (!(mousex >= pos(0) + pad(0) && mousey >= pos(1) + pad(1) && - mousex < pos(0) + size(0) - pad(0) && mousey < pos(1) + size(1) + pad(1))) forceleave = true; - - for(Box b = getChild(numChildren() - 1); b != null; b = b.prevSibling()) { - b.Move(oldmousex, oldmousey, mousex, mousey, forceleave); - if (b.inside(mousex, mousey)) forceleave = true; + if (isinside && test(CURSOR)) Surface.fromBox(getRoot()).cursor = (String)boxToCursor.get(this); + if (!wasinside && isinside && getTrap("Enter") != null) putAndTriggerJSTraps("Enter", T); + else if (wasinside && !isinside && getTrap("Leave") != null) putAndTriggerJSTraps("Leave", T); + else if (wasinside && isinside && (mousex != oldmousex || mousey != oldmousey) && getTrap("Move")!= null) + putAndTriggerJSTraps("Move", T); + for(Box b = getChild(numchildren - 1); b != null; b = b.prevSibling()) { + b.Move(oldmousex - b.x, oldmousey - b.y, mousex - b.x, mousey - b.y, forceleave); + if (b.inside(mousex - b.x, mousey - b.y)) forceleave = true; + } + } + + + // Reflow //////////////////////////////////////////////////////////////////////////////////////// + + // static stuff so we don't have to keep reallocating + private static int[] numRowsInCol = new int[65535]; + private static LENGTH[] colWidth = new LENGTH[65535]; + private static LENGTH[] colMaxWidth = new LENGTH[65535]; + private static LENGTH[] rowHeight = new LENGTH[65535]; + private static LENGTH[] rowMaxHeight = new LENGTH[65535]; + static { for(int i=0; i r) continue; + if (col != 0 && col + min(cols, child.colspan) > cols) break; + if (++numclear < min(cols, child.colspan)) continue; + for(int i=col - numclear + 1; i <= col; i++) numRowsInCol[i] += child.rowspan; + child.col = col; child.row = r; + rows = (short)max(rows, child.row + child.rowspan); + child = child.nextPackedSibling(); + } + } + for(int i=0; iids is passed through to Template.apply() */ - Box(Template anonymous, Vec pboxes, Vec ptemplates, Function callback, int numerator, int denominator) { - super(null); - set(dmax, 0, Integer.MAX_VALUE); - set(dmax, 1, Integer.MAX_VALUE); - template = anonymous; - template.apply(this, pboxes, ptemplates, callback, numerator, denominator); - templatename = null; - importlist = null; - } + //#repeat contentwidth/contentheight colWidth/rowHeight colspan/rowspan col/row cols/rows minwidth/minheight \ + // textwidth/textheight maxwidth/maxheight + contentwidth = 0; + for(Box child = firstPackedChild(); child != null; child = child.nextPackedSibling()) + colWidth[child.col] = max(colWidth[child.col], child.contentwidth / child.colspan); + for(int i=0; i= 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 " + JS.getCurrentFunctionSourceName()); - /* - try { - Trap t = sizechange ? Trap.getTrap(this, "SizeChange") : Trap.getTrap(this, "PosChange"); - InterpretedFunction f = (InterpretedFunction)t.f; - if (Log.on) Log.log(this, "Current trap is at " + f.getSourceName() + ":" + f.getLineNumbers()[0]); - } catch (Throwable t) { } - */ + try { if (sizechange) putAndTriggerJSTraps("SizeChange", T); /*Surface.abort = true;*/ } + catch (Exception e) { Log.log(this, e); } + try { if (poschange) putAndTriggerJSTraps("PosChange", T); /*Surface.abort = true;*/ } + catch (Exception e) { Log.log(this, e); } + } + } + + private void resize_children() { + + //#repeat col/row colspan/rowspan contentwidth/contentheight x/y width/height colMaxWidth/rowMaxHeight colWidth/rowHeight \ + // HSHRINK/VSHRINK maxwidth/maxheight cols/rows minwidth/minheight colWidth/rowHeight x_slack/y_slack + // PHASE 1: compute column min/max sizes + int x_slack = width; + for(int i=0; i 0 && cols > 0 && startslack != x_slack;) { + int increment = max(1, x_slack / cols); + startslack = x_slack; + for(short col=0; col < cols; col++) { + int diff = min(colMaxWidth[col], colWidth[col] + increment) - colWidth[col]; + x_slack -= diff; + colWidth[col] += diff; } - - if (remaining_flex == 0) { - if (nextjoint <= factor) break; - factor = nextjoint; + } + //#end + + // Phase 3: assign childrens' actual sizes + for(Box child = getChild(0); child != null; child = child.nextSibling()) { + if (!child.test(VISIBLE)) continue; + int child_width, child_height, child_x, child_y; + if (!child.test(PACKED)) { + child_x = child.x; + child_y = child.y; + child_width = child.test(HSHRINK) ? child.contentwidth : min(child.maxwidth, width - child.x); + child_height = child.test(VSHRINK) ? child.contentheight : min(child.maxheight, height - child.y); + child_width = max(child.minwidth, child_width); + child_height = max(child.minheight, child_height); } else { - factor = min((goal - total + factor * remaining_flex) / remaining_flex, nextjoint); + int unbounded; + //#repeat col/row colspan/rowspan contentwidth/contentheight width/height colMaxWidth/rowMaxHeight \ + // child_x/child_y x/y HSHRINK/VSHRINK maxwidth/maxheight cols/rows minwidth/minheight x_slack/y_slack \ + // colWidth/rowHeight child_width/child_height ALIGN_RIGHT/ALIGN_BOTTOM ALIGN_LEFT/ALIGN_TOP + unbounded = 0; + for(int i = child.col; i < child.col + child.colspan; i++) unbounded += colWidth[i]; + child_width = bound(child.contentwidth, unbounded, child.test(HSHRINK) ? child.contentwidth : child.maxwidth); + child_x = test(ALIGN_RIGHT) ? x_slack : test(ALIGN_LEFT) ? 0 : x_slack / 2; + for(int i=0; i < child.col; i++) child_x += colWidth[i]; + if (child_width > unbounded) child_x -= (child_width - unbounded) / 2; + //#end } - - if (goal - total <= remaining_flex) break; + child.resize(child_x, child_y, child_width, child_height); } - // arbitrarily distribute out any leftovers resulting from rounding errors - int last = 0; - while(goal != total && total != last) { - last = total; - for(Box bt = getChild(0); bt != null; bt = bt.nextSibling()) { - 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); - } - } + // cleanup + for(int i=0; i 0 && x2 - x1 > 0) - buf.fillRect(x1,y1,x2,y2,(color & 0xFF000000) != 0 ? color : SpecialBoxProperty.lightGray); + if (!test(NOCLIP)) { + cx1 = max(cx1, parent == null ? 0 : globalx); + cy1 = max(cy1, parent == null ? 0 : globaly); + cx2 = min(cx2, globalx + width); + cy2 = min(cy2, globaly + height); + if (cx2 <= cx1 || cy2 <= cy1) return; } - if (image != null) { - if (tile) renderTiledImage(x, y, w, h, buf); - else renderStretchedImage(x, y, w, h, buf); - } + if ((fillcolor & 0xFF000000) != 0x00000000) + buf.fillTrapezoid(globalx, globalx + width, globaly, globalx, globalx + width, globaly + height, fillcolor); - if (text != null && !text.equals("")) renderText(x, y, w, h, buf); + if (texture != null && texture.picture != null) + for(int x = globalx; x < cx2; x += texture.picture.getWidth()) + for(int y = globaly; y < cy2; y += texture.picture.getHeight()) + buf.drawPicture(texture.picture, x, y, cx1, cy1, cx2, cy2); - // now subtract the pad region from the clip region before proceeding - int x2 = max(x, pos(0) + pad(0)); - int y2 = max(y, pos(1) + pad(1)); - int w2 = min(x + w, pos(0) + size(0) - pad(0)) - x2; - int h2 = min(y + h, pos(1) + size(1) - pad(1)) - y2; + if (text != null && !text.equals("") && font != null) + if (font.rasterizeGlyphs(text, buf, strokecolor, globalx, globaly, cx1, cy1, cx2, cy2, null) == -1) + font.rasterizeGlyphs(text, buf, strokecolor, globalx, globaly, cx1, cy1, cx2, cy2, + new Scheduler.Task() { public void perform() { Box b = Box.this; MARK_REFLOW_b; dirty(); }}); for(Box b = getChild(0); b != null; b = b.nextSibling()) - b.render(x2, y2, w2, h2, buf); - } - - private void renderBorder(int x, int y, int w, int h, DoubleBuffer buf) { - int bw = border[4].getWidth(); - int bh = border[4].getHeight(); - 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])); - - // upper left corner - buf.drawPicture(border[4], - pos(0), pos(1), pos(0) + bw / 2, pos(1) + bh / 2, - 0, 0, bw / 2, bh / 2); - - // upper right corner - buf.drawPicture(border[4], - pos(0) + size(0) - bw / 2, pos(1), pos(0) + size(0), pos(1) + bh / 2, - bw - bw / 2, 0, bw, bh / 2); - - // lower left corner - buf.drawPicture(border[4], - pos(0), pos(1) + size(1) - bh / 2, pos(0) + bw / 2, pos(1) + size(1), - 0, bh - bh / 2, bw / 2, bh); - - // lower right corner - buf.drawPicture(border[4], - pos(0) + size(0) - bw / 2, pos(1) + size(1) - bh / 2, pos(0) + size(0), pos(1) + size(1), - bw - bw / 2, bh - bh / 2, bw, bh); - - } else { - buf.drawPicture(border[4], pos(0), pos(1)); // upper left corner - buf.drawPicture(border[4], pos(0) + size(0) - bw, pos(1)); // upper right corner - buf.drawPicture(border[4], pos(0), pos(1) + size(1) - bh); // lower left corner - buf.drawPicture(border[4], pos(0) + size(0) - bw, pos(1) + size(1) - bh); // lower right corner - - } - - // top and bottom edges - buf.setClip(max(x, pos(0) + bw / 2), y, min(x + w, pos(0) + size(0) - bw / 2), h + y); - for(int i = max(x, pos(0) + bw / 2); i + 100 < min(x + w, pos(0) + size(0) - bw / 2); i += 100) { - buf.drawPicture(border[0], i, pos(1)); - buf.drawPicture(border[1], i, pos(1) + size(1) - bh / 2); - } - buf.drawPicture(border[0], min(x + w, pos(0) + size(0) - bw / 2) - 100, pos(1)); - buf.drawPicture(border[1], min(x + w, pos(0) + size(0) - bw / 2) - 100, pos(1) + size(1) - bh / 2); - - // left and right edges - buf.setClip(x, max(y, pos(1) + bh / 2), w + x, min(y + h, pos(1) + size(1) - bh / 2)); - for(int i = max(y, pos(1) + bh / 2); i + 100 < min(y + h, pos(1) + size(1) - bh / 2); i += 100) { - buf.drawPicture(border[2], pos(0), i); - buf.drawPicture(border[3], pos(0) + size(0) - bw / 2, i); - } - buf.drawPicture(border[2], pos(0), min(y + h, pos(1) + size(1) - bh / 2) - 100); - buf.drawPicture(border[3], pos(0) + size(0) - bw / 2, min(y + h, pos(1) + size(1) - bh / 2) - 100); - - buf.setClip(0, 0, buf.getWidth(), buf.getHeight()); - } - - void renderStretchedImage(int x, int y, int w, int h, DoubleBuffer buf) { - 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) + bw / 2 + width, - pos(1) + bh / 2 + height, - 0, 0, image.getWidth(), image.getHeight()); - buf.setClip(0, 0, buf.getWidth(), buf.getHeight()); + b.render(globalx, globaly, cx1, cy1, cx2, cy2, buf, null); } + + + // Methods to implement org.xwt.js.JS ////////////////////////////////////// - void renderTiledImage(int x, int y, int w, int h, DoubleBuffer buf) { - int iw = image.getWidth(); - int ih = image.getHeight(); - int bh = border == null ? 0 : border[4].getWidth(); - int bw = border == null ? 0 : border[4].getHeight(); - - for(int i=(x - pos(0) - bw)/iw; i <= (x + w - pos(0) - bw)/iw; i++) { - for(int j=(y - pos(1) - bh)/ih; j<= (y + h - pos(1) - bh)/ih; j++) { - - int dx1 = max(i * iw + pos(0), x); - int dy1 = max(j * ih + pos(1), y); - int dx2 = min((i+1) * iw + pos(0), x + w); - int dy2 = min((j+1) * ih + pos(1), y + h); - - int sx1 = dx1 - (i*iw) - pos(0); - int sy1 = dy1 - (j*ih) - pos(1); - int sx2 = dx2 - (i*iw) - pos(0); - int sy2 = dy2 - (j*ih) - pos(1); - - if (dx2 - dx1 > 0 && dy2 - dy1 > 0 && sx2 - sx1 > 0 && sy2 - sy1 > 0) - buf.drawPicture(image, dx1, dy1, dx2, dy2, sx1, sy1, sx2, sy2); - } - } - - } - - void renderText(int x, int y, int w, int h, DoubleBuffer buf) { - - if ((textcolor & 0xFF000000) == 0x00000000) return; - buf.setClip(x, y, w + x, h + y); - - XWF xwf = XWF.getXWF(font()); - if (xwf != null) { - xwf.drawString(buf, text, - pos(0) + pad(0), - pos(1) + pad(1) + xwf.getMaxAscent() - 1, - textcolor); - } else { - buf.drawString(font(), text, - pos(0) + pad(0), - pos(1) + pad(1) + Platform.getMaxAscent(font()) - 1, - textcolor); - } - - buf.setClip(0, 0, buf.getWidth(), buf.getHeight()); - - int i=0; while(i i) { - for(int j = pos(0) + pad(0); j < pos(0) + pad(0) + textdim(0); j += 2) - buf.fillRect(j, pos(1) + pad(1) + (xwf == null ? Platform.getMaxAscent(font()) : xwf.getMaxAscent()) + 2, - j + 1, pos(1) + pad(1) + (xwf == null ? Platform.getMaxAscent(font()) : xwf.getMaxAscent()) + 2 + 1, - textcolor); - - } else if (font().lastIndexOf('u') > i) { - buf.fillRect(pos(0) + pad(0), - pos(1) + pad(1) + (xwf == null ? Platform.getMaxAscent(font()) : xwf.getMaxAscent()) + 2, - pos(0) + pad(0) + textdim(0), - pos(1) + pad(1) + (xwf == null ? Platform.getMaxAscent(font()) : xwf.getMaxAscent()) + 2 + 1, - textcolor); - } - - } - - - // Methods to implement org.mozilla.javascript.Scriptable ////////////////////////////////////// - - /** Returns the i_th child */ - public Object get(int i) { - if (redirect == null) return null; - if (redirect != this) return redirect.get(i); - return i >= numChildren() ? null : getChild(i); - } - - /** - * Inserts value as child i; calls remove() if necessary. - * This method handles "reinserting" one of your children properly. - * INVARIANT: after completion, getChild(min(i, numChildren())) == newnode - * WARNING: O(n) runtime, unless i == numChildren() - */ - public void put(int i, Object value) { - - 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 " + JS.getCurrentFunctionSourceName()); - - } else if (redirect == null) { - if (Log.on) Log.log(this, "attempt to add/remove children to/from a node with a null redirect at " + JS.getCurrentFunctionSourceName()); - } else if (redirect != this) { - Box b = value == null ? (Box)redirect.get(i) : (Box)value; - redirect.put(i, value); - put("0", b); - - } else if (value == null) { - if (i >= 0 && i < numChildren()) { - Box b = getChild(i); - b.remove(); - put("0", b); - } - - } else if (value instanceof RootProxy) { - if (Log.on) Log.log(this, "attempt to reparent a box via its proxy object at " + JS.getCurrentFunctionSourceName()); - - } 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 "+ - JS.getCurrentFunctionSourceName()); - 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 " + - JS.getCurrentFunctionSourceName()); - if (Log.on) Log.log(this, "box == " + this + " ancestor == " + newnode); - return; - } - - if (numKids > 15 && children == null) convert_to_array(); - newnode.remove(); - newnode.parent = this; - - if (children == null) { - if (firstKid == null) { - firstKid = newnode; - newnode.prevSibling = newnode; - newnode.nextSibling = newnode; - } else if (i >= numKids) { - newnode.prevSibling = firstKid.prevSibling; - newnode.nextSibling = firstKid; - firstKid.prevSibling.nextSibling = newnode; - firstKid.prevSibling = newnode; - } else { - Box cur = firstKid; - for(int j=0; j= children.size()) { - newnode.indexInParent = children.size(); - children.addElement(newnode); - } else { - children.insertElementAt(newnode, i); - for(int j=i; j 0 && s.charAt(0) == '#') try { + // FEATURE alpha + return 0xFF000000 | + (Integer.parseInt(s.substring(1, 3), 16) << 16) | + (Integer.parseInt(s.substring(3, 5), 16) << 8) | + Integer.parseInt(s.substring(5, 7), 16); + } catch (NumberFormatException e) { + Log.log(Box.class, "invalid color " + s); + return 0; + } + else return 0; // FEATURE: error? + } + + private static String colorToString(int argb) { + if ((argb & 0xFF000000) == 0) return null; + String red = Integer.toHexString((argb & 0x00FF0000) >> 16); + String green = Integer.toHexString((argb & 0x0000FF00) >> 8); + String blue = Integer.toHexString(argb & 0x000000FF); + if (red.length() < 2) red = "0" + red; + if (blue.length() < 2) blue = "0" + blue; + if (green.length() < 2) green = "0" + green; + return "#" + red + green + blue; + } + + /** figures out what box in this subtree of the Box owns the pixel at x,y relitave to the Surface */ + public static Box whoIs(Box cur, int x, int y) { + + if (cur.parent != null) throw new Error("whoIs may only be invoked on the root box of a surface"); + int globalx = 0; + int globaly = 0; + + // WARNING: this method is called from the event-queueing thread -- it may run concurrently with + // ANY part of XWT, and is UNSYNCHRONIZED for performance reasons. BE CAREFUL HERE. + + if (!cur.test(VISIBLE)) return null; + if (!cur.inside(x - globalx, y - globaly)) return cur.parent == null ? cur : null; + OUTER: while(true) { + for(int i=cur.numchildren - 1; i>=0; i--) { + Box child = cur.getChild(i); + if (child == null) continue; // since this method is unsynchronized, we have to double-check + globalx += child.x; + globaly += child.y; + if (child.test(VISIBLE) && child.inside(x - globalx, y - globaly)) { cur = child; continue OUTER; } + globalx -= child.x; + globaly -= child.y; } + break; } + return cur; } - // Tree Manipulation ///////////////////////////////////////////////////////////////////// + // Trivial Helper Methods (should be inlined) ///////////////////////////////////////// - /** The parent of this node */ - private Box parent = null; - - // Variables used in Vector mode */ - /** INVARIANT: if (parent != null) parent.children.elementAt(indexInParent) == this */ - private int indexInParent; - private Vec children = null; - - // Variables used in linked-list mode - private int numKids = 0; - private Box nextSibling = null; - private Box prevSibling = null; - private Box firstKid = null; - - // when we get more than 15 children, we switch to array-mode - private void convert_to_array() { - children = new Vec(numKids); - Box cur = firstKid; - do { - children.addElement(cur); - cur.indexInParent = children.size() - 1; - cur = cur.nextSibling; - } while (cur != firstKid); - } - - /** remove this node from its parent; INVARIANT: whenever the parent of a node is changed, remove() gets called. */ - public void remove() { - cachedFont = null; - if (parent == null) { - if (surface != null) surface.dispose(true); - return; - } - Box oldparent = getParent(); - if (oldparent == null) return; - mark_for_prerender(); - dirty(); - mouseinside = false; - - if (parent.children != null) { - parent.children.removeElementAt(indexInParent); - for(int j=indexInParent; jb) return a; else return b; } + static final int max(int a, int b) { if (a>b) return a; else return b; } + static final float max(float a, float b) { if (a>b) return a; else return b; } - // note that JavaScript box[0] will invoke put(int i), not put(String s) - if (oldparent != null) oldparent.put("0", this); - } + static final int min(int a, int b, int c) { if (a<=b && a<=c) return a; else if (b<=c && b<=a) return b; else return c; } + static final int max(int a, int b, int c) { if (a>=b && a>=c) return a; else if (b>=c && b>=a) return b; else return c; } + static final int bound(int a, int b, int c) { if (c < b) return c; if (a > b) return a; return b; } + final boolean inside(int x, int y) { return test(VISIBLE) && x >= 0 && y >= 0 && x < width && y < height; } - /** returns our next sibling (parent[ourindex + 1]) */ - public final Box nextSibling() { - if (parent == null) return null; - if (parent.children == null) { - if (nextSibling == parent.firstKid) return null; - return nextSibling; - } else { - if (indexInParent >= parent.children.size() - 1) return null; - return (Box)parent.children.elementAt(indexInParent + 1); - } - } - - /** returns our next sibling (parent[ourindex + 1]) */ - public final Box prevSibling() { - if (parent == null) return null; - if (parent.children == null) { - if (this == parent.firstKid) return null; - return prevSibling; - } else { - if (indexInParent == 0) return null; - return (Box)parent.children.elementAt(indexInParent - 1); - } - } - - /** Returns the parent of this node */ - public Box getParent() { return parent; } - - /** Returns ith child */ - public Box getChild(int i) { - if (children == null) { - if (firstKid == null) return null; - if (i >= numKids) return null; - if (i == numKids - 1) return firstKid.prevSibling; - Box cur = firstKid; - for(int j=0; j= children.size() || i < 0) return null; - return (Box)children.elementAt(i); - } - } + protected final void set(int mask) { flags |= mask; } + protected final void set(int mask, boolean setclear) { if (setclear) set(mask); else clear(mask); } + protected final void clear(int mask) { flags &= ~mask; } + protected final boolean test(int mask) { return ((flags & mask) == mask); } - /** Returns the number of children */ - public int numChildren() { - if (children == null) { - if (firstKid == null) return 0; - int i=1; - for(Box cur = firstKid.nextSibling; cur != firstKid; i++) cur = cur.nextSibling; - return i; - } else { - return children.size(); - } - } - - /** Returns our index in our parent */ - public int getIndexInParent() { - if (parent == null) return 0; - if (parent.children == null) { - int i = 0; - for(Box cur = this; cur != parent.firstKid; i++) cur = cur.prevSibling; - return i; - } else { - return indexInParent; - } - } - - /** returns the root of the surface that this box belongs to */ - public final Box getRoot() { - if (getParent() == null && surface != null) return this; - if (getParent() == null) return null; - return getParent().getRoot(); - } - + protected Box left = null; + protected Box right = null; + protected Box rootChild = null; + protected Box peerTree_parent = null; + public abstract Box peerTree_leftmost(); + public abstract Box peerTree_rightmost(); + public abstract Box insertBeforeMe(Box cell); + public abstract Box insertAfterMe(Box cell); + protected abstract Box fixAfterInsertion(); + protected abstract Box fixAfterDeletion(); + protected abstract Box rotateLeft(); + protected abstract Box rotateRight(); + protected abstract int numPeerChildren(); +} - // Root Proxy /////////////////////////////////////////////////////////////////////////////// - RootProxy myproxy = null; - public JS getRootProxy() { - if (myproxy == null) myproxy = new RootProxy(this); - return myproxy; - } - private static class RootProxy extends JS { - Box box; - RootProxy(Box b) { this.box = b; } - public Object get(Object name) { return box.get(name); } - public void put(Object name, Object value) { box.put(name, value, false, this); } - public Object[] keys() { return box.keys(); } - } - // Trivial Helper Methods (should be inlined) ///////////////////////////////////////// - /** helper, included in this class so it can be inlined */ - static final int min(int a, int b) { - if (ab) return a; - else return b; - } - - /** helper, included in this class so it can be inlined */ - static final int min(int a, int b, int c) { - if (a<=b && a<=c) return a; - else if (b<=c && b<=a) return b; - else return c; - } - - /** helper, included in this class so it can be inlined */ - static final int max(int a, int b, int c) { - if (a>=b && a>=c) return a; - else if (b>=c && b>=a) return b; - else return c; - } - - /** helper, included in this class so it can be inlined */ - static final int bound(int a, int b, int c) { - if (c < b) return c; - if (a > b) return a; - return b; - } - - /** returns numerator/denominator, but rounds up 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; + /* + offset_x = 0; + if (path != null) { + if (rpath == null) rpath = path.realize(transform == null ? VectorGraphics.Affine.identity() : transform); + if ((flags & HSHRINK) != 0) contentwidth = max(contentwidth, rpath.boundingBoxWidth()); + if ((flags & VSHRINK) != 0) contentheight = max(contentheight, rpath.boundingBoxHeight()); + // FIXME: separate offset_x needed for the path + } + // #repeat x1/y1 x2/y2 x3/y3 x4/y4 contentwidth/contentheight left/top right/bottom + int x1 = transform == null ? 0 : (int)transform.multiply_px(0, 0); + int x2 = transform == null ? 0 : (int)transform.multiply_px(contentwidth, 0); + int x3 = transform == null ? contentwidth : (int)transform.multiply_px(contentwidth, contentheight); + int x4 = transform == null ? contentwidth : (int)transform.multiply_px(0, contentheight); + int left = min(min(x1, x2), min(x3, x4)); + int right = max(max(x1, x2), max(x3, x4)); + contentwidth = max(contentwidth, right - left); + offset_x = -1 * left; + // #end + */ - int ret = numerator / denominator; - if (ret * denominator < numerator) return ret + 1; - return ret; - } - /** Simple helper function to determine if the point x,y falls within this node's actual current geometry */ - boolean inside(int x, int y) { - if (invisible) return false; - return (x >= pos(0) && y >= pos(1) && x < pos(0) + size(0) && y < pos(1) + size(1)); - } - - /** figures out what box in this subtree of the Box owns the pixel at x,y relitave to the Surface - * - * IMPORTANT: this method gets called from the event-queueing thread, since we need to determine which box is - * underneath the mouse as early as possible. Because of this, we have to do some extra checks, as the - * Box tree may be in flux. - */ - Box whoIs(int x, int y) { - if (invisible) return null; - if (!inside(x,y)) return getParent() == null ? this : null; - - // We do this because whoIs is unsynchronized (for - // speed), yet is sometimes called while the structure of the - // Box is in flux. - for(int i=numChildren() - 1; i>=0; i--) { - - Box child = getChild(i); - if (child == null) continue; - - Box bt = child.whoIs(x,y); - if (bt != null) return bt; + /* + if (path != null) { + if (rtransform == null) rpath = null; + else if (!rtransform.equalsIgnoringTranslation(a)) rpath = null; + else { + rpath.translate((int)(a.e - rtransform.e), (int)(a.f - rtransform.f)); + rtransform = a.copy(); + } + if (rpath == null) rpath = path.realize((rtransform = a) == null ? VectorGraphics.Affine.identity() : a); + if ((strokecolor & 0xff000000) != 0) rpath.stroke(buf, 1, strokecolor); + if ((fillcolor & 0xff000000) != 0) rpath.fill(buf, new VectorGraphics.SingleColorPaint(fillcolor)); } - return this; - } - -} - +*/ +/* + VectorGraphics.Affine a2 = VectorGraphics.Affine.translate(b.x, b.y); + if (transform != null) a2.multiply(transform); + a2.multiply(VectorGraphics.Affine.translate(offset_x, offset_y)); + a2.multiply(a); +*/