src/org/xwt/Box.java.pp

   1 // Copyright 2002 Adam Megacz, see the COPYING file for licensing [GPL]
   2 package org.xwt;
   3
   4 //     **** This file must be preprocessed before compilation ****
   5
   6 // RULE: coordinates on non-static methods are ALWAYS relative to the
   7 // upper-left hand corner of <tt>this</tt>
   8
   9 // FEATURE: reflow before allowing js to read from width/height
  10 // FEATURE: fastpath for rows=1/cols=1
  11 // FEATURE: reflow starting with a certain child
  12 // FEATURE: separate mark_for_reflow and mark_for_resize
  13
  14 import java.io.*;
  15 import java.net.*;
  16 import java.util.*;
  17 import org.xwt.js.*;
  18 import org.xwt.util.*;
  19 import org.xwt.translators.*;
  20
  21 /**
  22  *  <p>
  23  *  Encapsulates the data for a single XWT box as well as all layout
  24  *  rendering logic.
  25  *  </p>
  26  *
  27  *  <p>
  28  *  This is the real meat of XWT. Part of its monolithic design is for
  29  *  performance reasons: deep inheritance heirarchies are slow, and
  30  *  neither javago nor GCJ can inline across class boundaries.
  31  *  </p>
  32  *
  33  *  <p>The rendering process consists of three phases; each requires
  34  *     one DFS pass over the tree</p>
  35  *
  36  *  <ol><li> <b>repacking</b>: children of a box are packed into columns
  37  *           and rows according to their colspan/rowspan attributes and
  38  *           ordering.  Minimum and maximum sizes of columns are computed.
  39  *
  40  *      <li> <b>resizing</b>: width/height and x/y positions of children
  41  *           are assigned.  If a PosChange or SizeChange is triggered,
  42  *           <tt>Surface.abort</tt> will be set and the resizing process will
  43  *           Surface.abort.
  44  *
  45  *      <li> <b>repainting</b>: children draw their content onto the
  46  *           buffer.
  47  *  </ol>
  48  *
  49  *  The first two passes together are called the <i>reflow</i> phase.
  50  *
  51  *  Reflowing is done in a seperate pass since PosChanges and
  52  *  SizeChanges trigger an Surface.abort; if rendering were done in the same
  53  *  pass, rendering work done prior to the Surface.abort would be wasted.
  54  *
  55  *  The two passes are repack and resize.  Together they are known as
  56  *  reflow.  Repacking assigns boxes to the appropriate grid
  57  *  coordinates within the parents and computes
  58  *  contentwidth/contentheight.  Resize computes actual size and
  59  *  position.
  60  *
  61  *  A note on coordinates: the Box class represents regions
  62  *  internally as x,y,w,h tuples, even though the PixelBuffer class
  63  *  uses x1,y1,x2,y2 tuples.
  64  */
  65 public final class Box extends JS.Scope {
  66
  67     public Box() { super(null); }
  68
  69
  70     // Misc instance data ////////////////////////////////////////////////////////////////
  71
  72     static int sizePosChangesSinceLastRender = 0;
  73
  74
  75     // Misc instance data ////////////////////////////////////////////////////////////////
  76
  77     boolean needs_reflow = true;
  78     //#define MARK_FOR_REFLOW_this for(Box b2 = this; b2 != null && !b2.needs_reflow; b2 = b2.parent) b2.needs_reflow = true;
  79     //#define MARK_FOR_REFLOW_b for(Box b2 = b; b2 != null && !b2.needs_reflow; b2 = b2.parent) b2.needs_reflow = true;
  80     //#define MARK_FOR_REFLOW_b_parent for(Box b2 = b.parent; b2 != null && !b2.needs_reflow; b2 = b2.parent) b2.needs_reflow = true;
  81
  82     Box redirect = this;
  83     Surface surface = null;               // null on all non-root boxen
  84
  85     // Flags ///////////////////////////////////////////////////////////////////////////////
  86     short flags = 0;
  87     static int MOUSEINSIDE_FLAG  = 0x00000001;
  88     static int INVISIBLE_FLAG    = 0x00000002;
  89     static int ABSOLUTE_FLAG     = 0x00000004;
  90     static int HSHRINK_FLAG      = 0x00000008;
  91     static int VSHRINK_FLAG      = 0x00000010;
  92     static int TILE_FLAG         = 0x00000020;
  93     static int FONT_CHANGED_FLAG = 0x00000040;  // set when font changes, cleared during repack
  94     static int ISROOT_FLAG       = 0x00000080;
  95
  96
  97     // Geometry ////////////////////////////////////////////////////////////////////////////
  98
  99     // xwt can be compiled with 16-bit lengths to save memory on small devices
 100     //#define LENGTH int
 101     //#define MAX_LENGTH Integer.MAX_VALUE
 102     //#define MIN_LENGTH Integer.MIN_VALUE
 103
 104     // always correct (set directly by user)
 105     LENGTH minwidth = 0;
 106     LENGTH minheight = 0;
 107     LENGTH maxwidth = MAX_LENGTH;
 108     LENGTH maxheight = MAX_LENGTH;
 109     private LENGTH hpad = 0;
 110     private LENGTH vpad = 0;
 111     private String text = null;
 112     private Res font = null;
 113     private int fontsize = 10;
 114     private LENGTH textwidth = 0;
 115     private LENGTH textheight = 0;
 116
 117     // FEATURE: use shorts
 118     private int rows = 1;
 119     private int cols = 0;
 120     private int rowspan = 1;
 121     private int colspan = 1;
 122
 123     // computed during reflow
 124     public LENGTH x = 0;
 125     public LENGTH y = 0;
 126     public LENGTH width = 0;
 127     public LENGTH height = 0;
 128     private int row = 0;  // FEATURE use a short
 129     private int col = 0;  // FEATURE use a short
 130     private LENGTH contentwidth = 0;             // == max(minwidth, textwidth+pad, sum(child.contentwidth) + pad)
 131     private LENGTH contentheight = 0;
 132
 133
 134     // Rendering Properties ///////////////////////////////////////////////////////////
 135
 136     //private SVG.VP path = null;
 137     //private SVG.Paint fill = null;
 138     //private SVG.Paint stroke = null;
 139
 140     private Picture image;                       // will disappear
 141     private int fillcolor = 0x00000000;          // will become SVG.Paint
 142     private int strokecolor = 0xFF000000;        // will become SVG.Paint
 143
 144     private String cursor = null;                // the cursor for this box
 145
 146
 147     // Instance Methods /////////////////////////////////////////////////////////////////////
 148
 149     /** Adds the intersection of (x,y,w,h) and the node's current actual geometry to the Surface's dirty list */
 150     public final void dirty() { dirty(0, 0, width, height); }
 151     public final void dirty(int x, int y, int w, int h) {
 152         for(Box cur = this; cur != null; cur = cur.parent) {
 153             w = min(x + w, cur.width) - max(x, 0);
 154             h = min(y + h, cur.height) - max(y, 0);
 155             x = max(x, 0);
 156             y = max(y, 0);
 157             if (w <= 0 || h <= 0) return;
 158             if (cur.parent == null && cur.surface != null) cur.surface.dirty(x, y, w, h);
 159             x += cur.x;
 160             y += cur.y;
 161         }
 162     }
 163
 164     /**
 165      *  Given an old and new mouse position, this will update <tt>mouseinside</tt> and check
 166      *  to see if this node requires any Enter, Leave, or Move notifications.
 167      *
 168      *  @param forceleave set to true by the box's parent if the mouse is inside an older
 169      *                    sibling, which is covering up this box.
 170      */
 171     void Move(int oldmousex, int oldmousey, int mousex, int mousey) { Move(oldmousex, oldmousey, mousex, mousey, false); }
 172     void Move(int oldmousex, int oldmousey, int mousex, int mousey, boolean forceleave) {
 173
 174         boolean wasinside = (flags & MOUSEINSIDE_FLAG) != 0;
 175         boolean isinside = !((flags & INVISIBLE_FLAG) != 0) && inside(mousex, mousey) && !forceleave;
 176         if (isinside) flags |= MOUSEINSIDE_FLAG; else flags &= ~MOUSEINSIDE_FLAG;
 177
 178         if (!wasinside && !isinside) return;
 179
 180         if (!wasinside && isinside && get("Enter", Trap.class) != null) put("Enter", Boolean.TRUE);
 181         else if (wasinside && !isinside && get("Leave", Trap.class) != null) put("Leave", Boolean.TRUE);
 182         else if (wasinside && isinside && (mousex != oldmousex || mousey != oldmousey) && get("Move", Trap.class) != null)
 183             put("Move", Boolean.TRUE);
 184
 185         if (isinside && cursor != null) getRoot().cursor = cursor;
 186
 187         // if the mouse has moved into our padding region, it is considered 'outside' all our children
 188         if (!(mousex >= hpad && mousey >= vpad && mousex < width - hpad && mousey < height + vpad)) forceleave = true;
 189
 190         for(Box b = getChild(numChildren() - 1); b != null; b = b.prevSibling()) {
 191             b.Move(oldmousex - b.x, oldmousey - b.y, mousex - b.x, mousey - b.y, forceleave);
 192             if (b.inside(mousex - b.x, mousey - b.y)) forceleave = true;
 193         }
 194     }
 195
 196
 197     // Reflow ////////////////////////////////////////////////////////////////////////////////////////
 198
 199     void reflow() {
 200         repack();
 201         if (Surface.abort) return;
 202         resize(x, y, width, height);
 203     }
 204
 205     /** Checks if the Box's size has changed, dirties it if necessary, and makes sure childrens' sizes are up to date */
 206     void repack() {
 207         if (!needs_reflow) return;
 208         if (numChildren() == 0) {
 209             contentwidth = max(textwidth + 2 * hpad, minwidth);
 210             contentheight = max(textheight + 2 * vpad, minheight);
 211             return;
 212         }
 213
 214         // --- Phase 0 ----------------------------------------------------------------------
 215         // recurse
 216         for(Box child = getChild(0); child != null; child = child.nextSibling()) {
 217             if (((flags & FONT_CHANGED_FLAG) != 0) && child.font == null) {
 218                 child.flags |= FONT_CHANGED_FLAG;
 219                 child.needs_reflow = true;
 220             }
 221             child.repack();
 222             if (Surface.abort) { MARK_FOR_REFLOW_this; return; }
 223         }
 224         flags &= ~FONT_CHANGED_FLAG;
 225
 226         // --- Phase 1 ----------------------------------------------------------------------
 227         // assign children to their row/column positions (assuming constrained columns)
 228         if ((rows == 0 && cols == 0) || (rows != 0 && cols != 0)) throw new Error("rows == " + rows + "   cols == " + cols);
 229         //#repeat x/y y/x width/height col/row row/col cols/rows rows/cols colspan/rowspan rowspan/colspan colWidth/rowHeight numRowsInCol/numColsInRow INNER/INNER2 maxwidth/maxheight minwidth/minheight contentwidth/contentheight colMaxWidth/rowMaxHeight OUTER/OUTER2 INNER/INNER2
 230         if (rows == 0) {
 231             int[] numRowsInCol = new int[cols];           // the number of cells occupied in each column
 232             Box child = getChild(0);
 233             for(; child != null && (((child.flags & ABSOLUTE_FLAG) != 0) || ((child.flags & INVISIBLE_FLAG) != 0)); child = child.nextSibling());
 234             OUTER: for(int row=0; child != null; row++) {
 235                 for(int col=0; child != null && col < cols;) {
 236                     INNER: while(true) {  // scan across the row, looking for an unoccupied gap at least as wide as the child
 237                         while(col < cols && numRowsInCol[col] > row) col++;
 238                         for(int i=col; i < cols && i < col + min(cols, child.colspan); i++)
 239                             if (numRowsInCol[col] > row) { col = i + 1; continue INNER; }
 240                         break;
 241                     }
 242                     if (col + min(cols, child.colspan) > cols) break;
 243                     for(int i=col; i < col + min(cols, child.colspan); i++) numRowsInCol[i] += child.rowspan;
 244                     child.col = col;
 245                     child.row = row;
 246                     col += min(cols, child.colspan);
 247                     child = child.nextSibling();
 248                     for(; child != null && (((child.flags & ABSOLUTE_FLAG) != 0) || ((child.flags & INVISIBLE_FLAG) != 0)); child = child.nextSibling());
 249                 }
 250             }
 251         }
 252         //#end
 253
 254         // --- Phase 2 ----------------------------------------------------------------------
 255         // compute the min/max sizes of the columns and rows and set our contentwidth
 256         //#repeat x/y y/x width/height col/row cols/rows colspan/rowspan colWidth/rowHeight maxwidth/maxheight minwidth/minheight contentwidth/contentheight colMaxWidth/rowMaxHeight numCols/numRows hpad/vpad
 257         contentwidth = 2 * hpad;
 258         int numCols = cols;
 259         if (numCols == 0)
 260             for(Box child = getChild(0); child != null; child = child.nextSibling())
 261                 numCols = max(numCols, child.col + child.colspan);
 262         LENGTH[] colWidth = new LENGTH[numCols];
 263         for(Box child = getChild(0); child != null; child = child.nextSibling())
 264             if (!(((child.flags & ABSOLUTE_FLAG) != 0) || ((child.flags & INVISIBLE_FLAG) != 0)))
 265                 colWidth[child.col] = max(colWidth[child.col], child.contentwidth / child.colspan);
 266         for(int col=0; col<numCols; col++) contentwidth += colWidth[col];
 267         contentwidth = max(textwidth + 2 * hpad, contentwidth);
 268         contentwidth = bound(minwidth, contentwidth, maxwidth);
 269         //#end
 270     }
 271
 272
 273     void resize(LENGTH x, LENGTH y, LENGTH width, LENGTH height) {
 274
 275         // --- Phase 1 ----------------------------------------------------------------------
 276         // run PosChange/SizeChange, dirty as needed
 277         if (x != this.x || y != this.y || width != this.width || height != this.height) {
 278             (parent == null ? this : parent).dirty(this.x, this.y, this.width, this.height);
 279             boolean sizechange = false, poschange = false;
 280             if ((this.width != width || this.height != height) && get("SizeChange", Trap.class) != null) sizechange = true;
 281             if ((this.x != x || this.y != y) && get("PosChange", Trap.class) != null) poschange = true;
 282             this.width = width; this.height = height; this.x = x; this.y = y;
 283             dirty();
 284             if (sizechange || poschange)
 285                 if (sizePosChangesSinceLastRender == 500) {
 286                     if (Log.on) Log.logJS(this, "Warning, more than 500 SizeChange/PosChange traps triggered since last complete render");
 287                 } else {
 288                     sizePosChangesSinceLastRender++;
 289                     if (sizechange) put("SizeChange", Boolean.TRUE);
 290                     if (poschange) put("PosChange", Boolean.TRUE);
 291                     Surface.abort = true;
 292                     return;
 293                 }
 294             needs_reflow = true;
 295         }
 296
 297         // --- short circuit ----------------------------------------------------------------
 298         if (!needs_reflow) return;
 299         needs_reflow = false;
 300         if (numChildren() == 0) return;
 301
 302         // --- Phase 2 ----------------------------------------------------------------------
 303         // compute the min/max sizes of the columns and rows and set initial width/height to minimums
 304
 305         //#repeat x/y y/x width/height col/row cols/rows colspan/rowspan colWidth/rowHeight maxwidth/maxheight minwidth/minheight contentwidth/contentheight colMaxWidth/rowMaxHeight marginWidth/marginHeight numCols/numRows
 306         int numCols = cols;
 307         if (numCols == 0)
 308             for(Box child = getChild(0); child != null; child = child.nextSibling())
 309                 numCols = max(numCols, child.col + child.colspan);
 310         LENGTH[] colWidth = new LENGTH[numCols];
 311         LENGTH[] colMaxWidth = new LENGTH[numCols];
 312         int marginWidth = width;
 313         for(int i=0; i<colMaxWidth.length; i++) colMaxWidth[i] = -1;
 314         //#end
 315
 316         for(Box child = getChild(0); child != null; child = child.nextSibling()) {
 317             if (((child.flags & ABSOLUTE_FLAG) != 0) || ((child.flags & INVISIBLE_FLAG) != 0)) continue;
 318             //#repeat x/y y/x width/height col/row cols/rows colspan/rowspan colWidth/rowHeight maxwidth/maxheight minwidth/minheight contentwidth/contentheight colMaxWidth/rowMaxHeight HSHRINK_FLAG/VSHRINK_FLAG numCols/numRows
 319             colWidth[child.col] = max(colWidth[child.col], child.contentwidth / child.colspan);
 320             for(int i=child.col; i<child.col+child.colspan && i<numCols; i++)
 321                 colMaxWidth[i] = max(colMaxWidth[i], (((child.flags & HSHRINK_FLAG) != 0) ? child.contentwidth : child.maxwidth) / child.colspan);
 322             //#end
 323         }
 324
 325         //#repeat x/y y/x width/height col/row cols/rows colspan/rowspan colWidth/rowHeight maxwidth/maxheight minwidth/minheight contentwidth/contentheight colMaxWidth/rowMaxHeight marginWidth/marginHeight
 326         for(int i=0; i<colMaxWidth.length; i++) if (colMaxWidth[i] == -1) colMaxWidth[i] = MAX_LENGTH;
 327
 328         for(int i=0; i<colMaxWidth.length; i++) {
 329             if (colMaxWidth[i] == MAX_LENGTH) { marginWidth = 0; break; }
 330             marginWidth -= colMaxWidth[i];
 331             if (marginWidth < 0) { marginWidth = 0; break; }
 332         }
 333         //#end
 334
 335
 336         // --- Phase 3 ----------------------------------------------------------------------
 337         // hand out the slack
 338         int slack;
 339         //#repeat x/y y/x width/height col/row cols/rows colspan/rowspan colWidth/rowHeight maxwidth/maxheight minwidth/minheight contentwidth/contentheight colMaxWidth/rowMaxHeight numCols/numRows hpad/vpad
 340         slack = width - 2 * hpad;
 341         for(int i=0; i<numCols; i++) slack -= colWidth[i];
 342         if (numChildren() > 0)
 343             while(slack > 0) {
 344                 // FEATURE: inefficient
 345                 int startslack = slack;
 346                 int increment = max(1, slack / numCols);
 347                 for(int col=0; col < numCols && slack > 0; col++) {
 348                     slack += colWidth[col];
 349                     colWidth[col] = min(colMaxWidth[col], colWidth[col] + increment);
 350                     slack -= colWidth[col];
 351                 }
 352                 if (slack == startslack) break;
 353             }
 354         //#end
 355
 356
 357         // --- Phase 4 ----------------------------------------------------------------------
 358         // assign children's new sizes and positions and recurse
 359         for(Box child = getChild(0); child != null; child = child.nextSibling()) {
 360             if ((child.flags & INVISIBLE_FLAG) != 0) continue;
 361             int child_x = 0, child_y = 0, child_width = 0, child_height = 0;
 362             if ((child.flags & ABSOLUTE_FLAG) != 0) {
 363                 child_x = child.x;
 364                 child_y = child.y;
 365                 child_width = ((child.flags & HSHRINK_FLAG) != 0) ? child.contentwidth : min(child.maxwidth, width - child.x - hpad);
 366                 child_height = ((child.flags & VSHRINK_FLAG) != 0) ? child.contentheight : min(child.maxheight, height - child.y - vpad);
 367             } else {
 368                 int diff;
 369                 //#repeat x/y y/x width/height col/row cols/rows colspan/rowspan colWidth/rowHeight maxwidth/maxheight minwidth/minheight contentwidth/contentheight colMaxWidth/rowMaxHeight HSHRINK_FLAG/VSHRINK_FLAG marginWidth/marginHeight hpad/vpad child_x/child_y child_width/child_height
 370                 child_width = 0; for(int i=child.col; i<child.col+child.colspan && i<colWidth.length; i++) child_width += colWidth[i];
 371                 diff = bound(child.contentwidth, child_width, ((child.flags & HSHRINK_FLAG) != 0) ? child.contentwidth : child.maxwidth) - child_width;
 372                 child_x = max(hpad, marginWidth / 2); for(int i=0; i<child.col; i++) child_x += colWidth[i];
 373                 if (diff < 0) child_x += -1 * (diff / 2);
 374                 child_width += diff;
 375                 //#end
 376             }
 377             child.resize(child_x, child_y, child_width, child_height);
 378         }
 379     }
 380
 381
 382
 383
 384     // Rendering Pipeline /////////////////////////////////////////////////////////////////////
 385
 386     /** Renders self and children within the specified region. All rendering operations are clipped to xIn,yIn,wIn,hIn */
 387     void render(int parentx, int parenty, int clipx, int clipy, int clipw, int cliph, PixelBuffer buf) {
 388         if (Surface.abort || (flags & INVISIBLE_FLAG) != 0) return;
 389         int globalx = parentx + (parent == null ? 0 : x);
 390         int globaly = parenty + (parent == null ? 0 : y);
 391
 392         // intersect the x,y,w,h rendering window with ourselves; quit if it's empty
 393         clipw = min(max(clipx, parent == null ? 0 : globalx) + clipw,
 394                     (parent == null ? 0 : globalx) + width) - globalx;
 395         cliph = min(max(clipy, parent == null ? 0 : globaly) + cliph,
 396                     (parent == null ? 0 : globaly) + height) - globaly;
 397         clipx = max(clipx, parent == null ? 0 : globalx);
 398         clipy = max(clipy, parent == null ? 0 : globaly);
 399         if (clipw <= 0 || cliph <= 0) return;
 400
 401         if ((fillcolor & 0xFF000000) != 0x00000000 || parent == null)
 402             buf.fillRect(clipx, clipy, clipx + clipw, clipy + cliph,
 403                          (fillcolor & 0xFF000000) != 0 ? fillcolor : 0xFF777777);
 404
 405         if (image != null)
 406             if ((flags & TILE_FLAG) != 0) renderTiledImage(globalx, globaly, clipx, clipy, clipw, cliph, buf);
 407             else renderStretchedImage(globalx, globaly, clipx, clipy, clipw, cliph, buf);
 408
 409         if (text != null && !text.equals(""))
 410             renderText(globalx, globaly, clipx, clipy, clipw, cliph, buf);
 411
 412         // now subtract the pad region from the clip region before proceeding
 413         clipw = min(max(clipx, globalx + hpad) + clipw, globalx + width - hpad) - clipx;
 414         cliph = min(max(clipy, globaly + vpad) + cliph, globaly + height - vpad) - clipy;
 415         clipx = max(clipx, globalx + hpad);
 416         clipy = max(clipy, globaly + vpad);
 417
 418         for(Box b = getChild(0); b != null; b = b.nextSibling())
 419             b.render(globalx, globaly, clipx, clipy, clipw, cliph, buf);
 420     }
 421
 422     void renderStretchedImage(int globalx, int globaly, int clipx, int clipy, int clipw, int cliph, PixelBuffer buf) {
 423         // FIXME: wrong
 424         buf.drawPicture(image, clipx, clipy, clipx + clipw, clipy + cliph, 0, 0, image.getWidth(), image.getHeight());
 425     }
 426
 427     void renderTiledImage(int globalx, int globaly, int x, int y, int w, int h, PixelBuffer buf) {
 428         int iw = image.getWidth();
 429         int ih = image.getHeight();
 430         for(int i=(x - x)/iw; i <= (x + w - x)/iw; i++) {
 431             for(int j=(y - y)/ih; j<= (y + h - y)/ih; j++) {
 432
 433                 int dx1 = max(i * iw + x, x);
 434                 int dy1 = max(j * ih + y, y);
 435                 int dx2 = min((i+1) * iw + x, x + w);
 436                 int dy2 = min((j+1) * ih + y, y + h);
 437
 438                 int sx1 = dx1 - (i*iw) - x;
 439                 int sy1 = dy1 - (j*ih) - y;
 440                 int sx2 = dx2 - (i*iw) - x;
 441                 int sy2 = dy2 - (j*ih) - y;
 442
 443                 if (dx2 - dx1 > 0 && dy2 - dy1 > 0 && sx2 - sx1 > 0 && sy2 - sy1 > 0)
 444                     buf.drawPicture(image, dx1, dy1, dx2, dy2, sx1, sy1, sx2, sy2);
 445             }
 446         }
 447     }
 448
 449     void renderText(int x, int y, int clipx, int clipy, int clipw, int cliph, PixelBuffer buf) {
 450         for(int i=0; i<text.length(); i++) {
 451             // FIXME: clipping
 452             char c = text.charAt(i);
 453             Glyph g = Glyph.getGlyph(font, fontsize, c);
 454             buf.drawPicture(g.p,
 455                             x + hpad,
 456                             y + vpad + g.max_ascent - g.baseline,
 457                             x + hpad + g.p.getWidth(),
 458                             y + vpad + g.max_ascent - g.baseline + g.p.getHeight(),
 459                             0, 0,
 460                             g.p.getWidth(), g.p.getHeight());
 461             x += g.advance;
 462         }
 463     }
 464
 465
 466     // Methods to implement org.xwt.js.JS //////////////////////////////////////
 467
 468     public Object callMethod(Object method, JS.Array args, boolean checkOnly) throws JS.Exn {
 469         if ("indexof".equals(method)) {
 470             if (checkOnly) return Boolean.TRUE;
 471             if (args.length() != 1 || args.elementAt(0) == null || !(args.elementAt(0) instanceof Box)) return new Integer(-1);
 472             Box b = (Box)args.elementAt(0);
 473             if (b.parent != Box.this) {
 474                 if (redirect == null || redirect == Box.this) return new Integer(-1);
 475                 return redirect.callMethod(method, args, checkOnly);
 476             }
 477             return new Integer(b.getIndexInParent());
 478
 479         } else if ("apply".equals(method)) {
 480             if (checkOnly) return Boolean.TRUE;
 481             if (args.elementAt(0) instanceof Res) {
 482                 Res res = (Res)args.elementAt(0);
 483                 //                res = res.addExtension(".xwt");
 484                 Template t = Template.getTemplate(res);
 485                 if (ThreadMessage.suspendThread()) try {
 486                     JS.Callable callback = args.length() < 2 ? null : (Callable)args.elementAt(1);
 487
 488                     // FIXME!!! needs to be xwt.apply(template, box)
 489                     t.apply(this, callback, 0, t.numUnits(), null);
 490                 } finally {
 491                     ThreadMessage.resumeThread();
 492                 }
 493             } else if (args.elementAt(0) instanceof String) {
 494                 String templatename = (String)args.elementAt(0);
 495                 // FIXME
 496                 Template t = Template.getTemplate(null);
 497                 if (t == null) {
 498                     if (Log.on) Log.logJS(this, "template " + templatename + " not found");
 499                 } else {
 500                     if (ThreadMessage.suspendThread()) try {
 501                         JS.Callable callback = args.length() < 2 ? null : (Callable)args.elementAt(1);
 502                         // FIXME!!! needs to be xwt.apply(template, box)
 503                         t.apply(this, callback, 0, t.numUnits(), null);
 504                     } finally {
 505                         ThreadMessage.resumeThread();
 506                     }
 507                 }
 508             } else if (args.elementAt(0) instanceof JS && !(args.elementAt(0) instanceof Box)) {
 509                 JS s = (JS)args.elementAt(0);
 510                 Object[] keys = s.keys();
 511                 for(int j=0; j<keys.length; j++) put(keys[j].toString(), s.get(keys[j]));
 512             }
 513             return this;
 514         }
 515         return null;
 516     }
 517
 518     /** Returns the i_th child */
 519     public Object get(int i) {
 520         if (redirect == null) return null;
 521         if (redirect != this) return redirect.get(i);
 522         return i >= numChildren() || i < 0 ? null : getChild(i);
 523     }
 524
 525     /**
 526      *  Inserts value as child i; calls remove() if necessary.
 527      *  This method handles "reinserting" one of your children properly.
 528      *  INVARIANT: after completion, getChild(min(i, numChildren())) == newnode
 529      *  WARNING: O(n) runtime, unless i == numChildren()
 530      */
 531     public void put(int i, Object value) {
 532         if (i < 0) return;
 533
 534         if (value != null && !(value instanceof Box)) {
 535             if (Log.on) Log.logJS(this, "attempt to set a numerical property on a box to anything other than a box");
 536         } else if (redirect == null) {
 537             if (Log.on) Log.logJS(this, "attempt to add/remove children to/from a node with a null redirect");
 538         } else if (redirect != this) {
 539             Box b = value == null ? (Box)redirect.get(i) : (Box)value;
 540             redirect.put(i, value);
 541             put("0", b);
 542         } else if (value == null) {
 543             if (i >= 0 && i < numChildren()) {
 544                 Box b = getChild(i);
 545                 b.remove();
 546                 put("0", b);
 547             }
 548         } else {
 549             Box newnode = (Box)value;
 550
 551             // check if box being moved is currently target of a redirect
 552             for(Box cur = newnode.parent; cur != null; cur = cur.parent)
 553                 if (cur.redirect == newnode) {
 554                     if (Log.on) Log.logJS(this, "attempt to move a box that is the target of a redirect");
 555                     return;
 556                 }
 557
 558             // check for recursive ancestor violation
 559             for(Box cur = this; cur != null; cur = cur.parent)
 560                 if (cur == newnode) {
 561                     if (Log.on) Log.logJS(this, "attempt to make a node a parent of its own ancestor");
 562                     if (Log.on) Log.log(this, "box == " + this + "  ancestor == " + newnode);
 563                     return;
 564                 }
 565
 566             if (numKids > 15 && children == null) convert_to_array();
 567             newnode.remove();
 568             newnode.parent = this;
 569
 570             if (children == null) {
 571                 if (firstKid == null) {
 572                     firstKid = newnode;
 573                     newnode.prevSibling = newnode;
 574                     newnode.nextSibling = newnode;
 575                 } else if (i >= numKids) {
 576                     newnode.prevSibling = firstKid.prevSibling;
 577                     newnode.nextSibling = firstKid;
 578                     firstKid.prevSibling.nextSibling = newnode;
 579                     firstKid.prevSibling = newnode;
 580                 } else {
 581                     Box cur = firstKid;
 582                     for(int j=0; j<i; j++) cur = cur.nextSibling;
 583                     newnode.prevSibling = cur.prevSibling;
 584                     newnode.nextSibling = cur;
 585                     cur.prevSibling.nextSibling = newnode;
 586                     cur.prevSibling = newnode;
 587                     if (i == 0) firstKid = newnode;
 588                 }
 589                 numKids++;
 590
 591             } else {
 592                 if (i >= children.size()) {
 593                     newnode.indexInParent = children.size();
 594                     children.addElement(newnode);
 595                 } else {
 596                     children.insertElementAt(newnode, i);
 597                     for(int j=i; j<children.size(); j++)
 598                         getChild(j).indexInParent = j;
 599                 }
 600             }
 601
 602             // need both of these in case child was already uncalc'ed
 603             Box b = newnode;
 604             MARK_FOR_REFLOW_b;
 605             MARK_FOR_REFLOW_this;
 606
 607             newnode.dirty();
 608
 609             // note that JavaScript box[0] will invoke put(int i), not put(String s)
 610             put("0", newnode);
 611         }
 612     }
 613
 614     public Object get(Object key, Object key2) { return super.get(key, key2); }
 615     public void put(Object key, Object key2, Object val) { super.put(key, key2, val); }
 616
 617     public Object get_(Object name) { return super.get(name); }
 618     public Object get(Object name) { return get(name, false); }
 619     public Object get(Object name_, boolean ignoretraps) {
 620         if (name_ instanceof Number) return get(((Number)name_).intValue());
 621
 622         if (!(name_ instanceof String)) return null;
 623         String name = (String)name_;
 624         if (name.equals("")) return null;
 625
 626         // See if we're triggering a trap
 627         Trap t = ignoretraps ? (Trap)null : (Trap)get(name, Trap.class);
 628         if (t != null) return t.perform();
 629
 630         // Check for a special handler
 631         SpecialBoxProperty gph = (SpecialBoxProperty)SpecialBoxProperty.specialBoxProperties.get(name);
 632         if (gph != null) return gph.get(this);
 633
 634         Object ret = super.get(name);
 635         if (name.startsWith("$") && ret == null)
 636             if (Log.on) Log.logJS(this, "WARNING: attempt to access " + name + ", but no child with id=\"" +
 637                                   name.substring(1) + "\" found");
 638         return ret;
 639     }
 640
 641     public Object[] keys() {
 642         Object[] ret = new Object[numChildren()];
 643         for(int i=0; i<ret.length; i++) ret[i] = new Integer(i);
 644         return ret;
 645     }
 646
 647     public void addTrap(Object name, Object value) { Trap.addTrap(this, name, ((JS.CompiledFunction)value)); }
 648     public void delTrap(Object name, Object value) { Trap.delTrap(this, name, ((JS.CompiledFunction)value)); }
 649
 650
 651     /**
 652      *  Scriptable.put()
 653      *  @param ignoretraps if set, no traps will be triggered (set when 'cascade' reaches the bottom of the trap stack)
 654      *  @param rp if this put is being performed via a root proxy, rp is the root proxy.
 655      */
 656     public void put_(Object name, Object value) { super.put(name, value); }
 657     public void put(Object name, Object value) { put(name, value, false); }
 658     public void put(Object name_, Object value, boolean ignoretraps) {
 659         if (name_ instanceof Number) { put(((Number)name_).intValue(), value); return; }
 660         if (!(name_ instanceof String)) { super.put(name_,value); return; }
 661         String name = name_.toString();
 662         if (!ignoretraps) {
 663             Trap t = (Trap)get(name, Trap.class);
 664             if (t != null) {
 665                 t.perform(value);
 666                 return;
 667             }
 668         }
 669
 670         // don't want to really cascade down to the box on this one
 671         if (name.equals("0")) return;
 672
 673         SpecialBoxProperty gph = (SpecialBoxProperty)SpecialBoxProperty.specialBoxProperties.get(name);
 674         if (gph != null) { gph.put(name, this, value); return; }
 675
 676         super.put(name, value);
 677     }
 678
 679
 680     // Tree Manipulation /////////////////////////////////////////////////////////////////////
 681
 682     /** The parent of this node */
 683     private Box parent = null;
 684
 685     // Variables used in Vector mode */
 686     /** INVARIANT: if (parent != null) parent.children.elementAt(indexInParent) == this */
 687     private int indexInParent;
 688     private Vec children = null;
 689
 690     // Variables used in linked-list mode
 691     private int numKids = 0;
 692     private Box nextSibling = null;
 693     private Box prevSibling = null;
 694     private Box firstKid = null;
 695
 696     // when we get more than 15 children, we switch to array-mode
 697     private void convert_to_array() {
 698         children = new Vec(numKids);
 699         Box cur = firstKid;
 700         do {
 701             children.addElement(cur);
 702             cur.indexInParent = children.size() - 1;
 703             cur = cur.nextSibling;
 704         } while (cur != firstKid);
 705     }
 706
 707     /** remove this node from its parent; INVARIANT: whenever the parent of a node is changed, remove() gets called. */
 708     public void remove() {
 709         if (parent == null) {
 710             if (surface != null) surface.dispose(true);
 711             return;
 712         }
 713         Box oldparent = parent;
 714         if (oldparent == null) return;
 715         MARK_FOR_REFLOW_this;
 716         dirty();
 717         flags &= ~MOUSEINSIDE_FLAG;
 718
 719         if (parent.children != null) {
 720             parent.children.removeElementAt(indexInParent);
 721             for(int j=indexInParent; j<parent.children.size(); j++)
 722                 (parent.getChild(j)).indexInParent = j;
 723
 724         } else {
 725             if (parent.firstKid == this) {
 726                 if (nextSibling == this) parent.firstKid = null;
 727                 else parent.firstKid = nextSibling;
 728             }
 729             parent.numKids--;
 730             prevSibling.nextSibling = nextSibling;
 731             nextSibling.prevSibling = prevSibling;
 732             prevSibling = null;
 733             nextSibling = null;
 734         }
 735         parent = null;
 736
 737         if (oldparent != null) { Box b = oldparent; MARK_FOR_REFLOW_b; }
 738
 739         // note that JavaScript box[0] will invoke put(int i), not put(String s)
 740         if (oldparent != null) oldparent.put("0", this);
 741     }
 742
 743     /** returns our next sibling (parent[ourindex + 1]) */
 744     public final Box nextSibling() {
 745         if (parent == null) return null;
 746         if (parent.children == null) {
 747             if (nextSibling == parent.firstKid) return null;
 748             return nextSibling;
 749         } else {
 750             if (indexInParent >= parent.children.size() - 1) return null;
 751             return (Box)parent.children.elementAt(indexInParent + 1);
 752         }
 753     }
 754
 755     /** returns our next sibling (parent[ourindex + 1]) */
 756     public final Box prevSibling() {
 757         if (parent == null) return null;
 758         if (parent.children == null) {
 759             if (this == parent.firstKid) return null;
 760             return prevSibling;
 761         } else {
 762             if (indexInParent == 0) return null;
 763             return (Box)parent.children.elementAt(indexInParent - 1);
 764         }
 765     }
 766
 767     /** Returns the parent of this node */
 768     public Box getParent() { return parent; }
 769
 770     /** Returns ith child */
 771     public Box getChild(int i) {
 772         if (children == null) {
 773             if (firstKid == null) return null;
 774             if (i >= numKids) return null;
 775             if (i == numKids - 1) return firstKid.prevSibling;
 776             Box cur = firstKid;
 777             for(int j=0; j<i; j++) cur = cur.nextSibling;
 778             return cur;
 779         } else {
 780             if (i >= children.size() || i < 0) return null;
 781             return (Box)children.elementAt(i);
 782         }
 783     }
 784
 785     /** Returns the number of children */
 786     public int numChildren() {
 787         if (children == null) {
 788             if (firstKid == null) return 0;
 789             int i=1;
 790             for(Box cur = firstKid.nextSibling; cur != firstKid; i++) cur = cur.nextSibling;
 791             return i;
 792         } else {
 793             return children.size();
 794         }
 795     }
 796
 797     /** Returns our index in our parent */
 798     public int getIndexInParent() {
 799         if (parent == null) return 0;
 800         if (parent.children == null) {
 801             int i = 0;
 802             for(Box cur = this; cur != parent.firstKid; i++) cur = cur.prevSibling;
 803             return i;
 804         } else {
 805             return indexInParent;
 806         }
 807     }
 808
 809     /** returns the root of the surface that this box belongs to */
 810     public final Box getRoot() {
 811         if (parent == null && surface != null) return this;
 812         if (parent == null) return null;
 813         return parent.getRoot();
 814     }
 815
 816
 817     // Trivial Helper Methods (should be inlined) /////////////////////////////////////////
 818
 819     static final int min(int a, int b) { if (a<b) return a; else return b; }
 820     static final double min(double a, double b) { if (a<b) return a; else return b; }
 821     static final int max(int a, int b) { if (a>b) return a; else return b; }
 822     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; }
 823     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; }
 824     static final int bound(int a, int b, int c) { if (c < b) return c; if (a > b) return a; return b; }
 825     final boolean inside(int x, int y) { return (!((flags & INVISIBLE_FLAG) != 0) && x >= 0 && y >= 0 && x < width && y < height); }
 826
 827     /** figures out what box in this subtree of the Box owns the pixel at x,y relitave to the Surface */
 828     public static Box whoIs(Box cur, int x, int y) {
 829
 830         if (cur.parent != null) throw new Error("whoIs may only be invoked on the root box of a surface");
 831         int globalx = 0;
 832         int globaly = 0;
 833
 834         // WARNING: this method is called from the event-queueing
 835         // thread -- it may run concurrently with ANY part of XWT, and
 836         // is UNSYNCHRONIZED for performance reasons.  BE CAREFUL
 837         // HERE.
 838
 839         if ((cur.flags & INVISIBLE_FLAG) != 0) return null;
 840         if (!cur.inside(x - globalx, y - globaly)) return cur.parent == null ? cur : null;
 841         OUTER: while(true) {
 842             for(int i=cur.numChildren() - 1; i>=0; i--) {
 843                 Box child = cur.getChild(i);
 844                 if (child == null) continue;        // since this method is unsynchronized, we have to double-check
 845                 globalx += child.x;
 846                 globaly += child.y;
 847                 if (!((child.flags & INVISIBLE_FLAG) != 0) && child.inside(x - globalx, y - globaly)) { cur = child; continue OUTER; }
 848                 globalx -= child.x;
 849                 globaly -= child.y;
 850             }
 851             break;
 852         }
 853         return cur;
 854     }
 855
 856     /**
 857      *  A helper class for properties of Box which require special
 858      *  handling.
 859      *
 860      *  To avoid excessive use of String.equals(), the Box.get() and
 861      *  Box.put() methods employ a Hash keyed on property names that
 862      *  require special handling. The value stored in the Hash is an
 863      *  instance of an anonymous subclass of SpecialBoxProperty, which knows
 864      *  how to handle get()s and put()s for that property name. There
 865      *  should be one anonymous subclass of SpecialBoxProperty for each
 866      *  specially-handled property on Box.
 867      */
 868     static class SpecialBoxProperty {
 869
 870         SpecialBoxProperty() { }
 871
 872         /** stores instances of SpecialBoxProperty; keyed on property name */
 873         static Hash specialBoxProperties = new Hash(200, 3);
 874
 875         /** this method defines the behavior when the property is get()ed from b */
 876         Object get(Box b) { return null; }
 877
 878         /** this method defines the behavior when the property is put() to b */
 879         void put(Box b, Object value) { }
 880
 881         /** this method defines the behavior when the property is put() to b, allows a single SpecialBoxProperty to serve multiple properties */
 882         void put(String name, Box b, Object value) { put(b, value); }
 883
 884         static {
 885             //#repeat fillcolor/strokecolor
 886             specialBoxProperties.put("fillcolor", new SpecialBoxProperty() {
 887                     public Object get(Box b) {
 888                         if ((b.fillcolor & 0xFF000000) == 0) return null;
 889                         String red = Integer.toHexString((b.fillcolor & 0x00FF0000) >> 16);
 890                         String green = Integer.toHexString((b.fillcolor & 0x0000FF00) >> 8);
 891                         String blue = Integer.toHexString(b.fillcolor & 0x000000FF);
 892                         if (red.length() < 2) red = "0" + red;
 893                         if (blue.length() < 2) blue = "0" + blue;
 894                         if (green.length() < 2) green = "0" + green;
 895                         return "#" + red + green + blue;
 896                     }
 897                     public void put(Box b, Object value) {
 898                         int newcolor = b.fillcolor;
 899                         String s = value == null ? null : value.toString();
 900                         if (value == null) newcolor = 0x00000000;
 901                         else if (s.length() > 0 && s.charAt(0) == '#')
 902                             try {
 903                                 newcolor = 0xFF000000 |
 904                                     (Integer.parseInt(s.substring(1, 3), 16) << 16) |
 905                                     (Integer.parseInt(s.substring(3, 5), 16) << 8) |
 906                                     Integer.parseInt(s.substring(5, 7), 16);
 907                             } catch (NumberFormatException e) {
 908                                 Log.log(this, "invalid color " + s);
 909                                 return;
 910                             }
 911                         else if (org.xwt.translators.SVG.colors.get(s) != null)
 912                             newcolor = 0xFF000000 | ((Integer)org.xwt.translators.SVG.colors.get(s)).intValue();
 913                         if (newcolor == b.fillcolor) return;
 914                         b.fillcolor = newcolor;
 915                         b.dirty();
 916                     }
 917                 });
 918             //#end
 919
 920             specialBoxProperties.put("color", new SpecialBoxProperty() {
 921                     public Object get(Box b) { return b.get("fillcolor"); }
 922                     public void put(Box b, Object value) { b.put("fillcolor", value); }
 923                 });
 924
 925             specialBoxProperties.put("textcolor", new SpecialBoxProperty() {
 926                     public Object get(Box b) { return b.get("strokecolor"); }
 927                     public void put(Box b, Object value) { b.put("strokecolor", value); }
 928                 });
 929
 930             specialBoxProperties.put("text", new SpecialBoxProperty() {
 931                     public Object get(Box b) { return b.text; }
 932                     public void put(Box b, Object value) {
 933                         String t = value == null ? "null" : value.toString();
 934                         if (t.equals(b.text)) return;
 935                         b.text = t;
 936                         if (t == null) {
 937                             if (b.textwidth != 0 || b.textheight != 0) MARK_FOR_REFLOW_b;
 938                             b.textwidth = b.textheight = 0;
 939                         } else {
 940                             try {
 941                                 MARK_FOR_REFLOW_b;
 942                                 b.textwidth = 0;
 943                                 for(int i=0; i<b.text.length(); i++) {
 944                                     Glyph g = Glyph.getGlyph(b.font, b.fontsize, b.text.charAt(i));
 945                                     b.textwidth += g.advance;
 946                                     b.textheight = g.max_ascent + g.max_descent;
 947                                 }
 948                             } catch (Exception e) {
 949                                 Log.log(this, e);
 950                             }
 951                         }
 952                         b.dirty();
 953                     } });
 954
 955             specialBoxProperties.put("font", new SpecialBoxProperty() {
 956                     public Object get(Box b) { return b.font; }
 957                     public void put(Box b, Object value) {
 958                         // FIXME: translate value into a resource if it is a string
 959                         b.font = value == null ? null : (Res)value;
 960                         MARK_FOR_REFLOW_b;
 961                         b.flags |= FONT_CHANGED_FLAG;
 962                         b.dirty();
 963                     } });
 964
 965             specialBoxProperties.put("fontsize", new SpecialBoxProperty() {
 966                     public Object get(Box b) { return b.font; }
 967                     public void put(Box b, Object value) {
 968                         if (b.fontsize == stoi(value)) return;
 969                         b.fontsize = stoi(value);
 970                         MARK_FOR_REFLOW_b;
 971                         b.flags |= FONT_CHANGED_FLAG;
 972                         b.dirty();
 973                     } });
 974
 975             specialBoxProperties.put("thisbox", new SpecialBoxProperty() {
 976                     public Object get(Box b) { return b; }
 977                     public void put(Box b, Object value) {
 978                         if (value == null) b.remove();
 979                         else if (value.equals("window") || value.equals("frame")) Platform.createSurface(b, value.equals("frame"), true);
 980                         else if (Log.on) Log.log(this, "put invalid value to 'thisbox' property: " + value);
 981                     }
 982                 });
 983
 984             specialBoxProperties.put("orient", new SpecialBoxProperty() {
 985                     public Object get(Box b) {
 986                         Log.log(this, "warning: the orient property is deprecated");
 987                         if (b.redirect == null) return "horizontal";
 988                         else if (b.redirect != b) return get(b.redirect);
 989                         else if (b.cols == 1) return "vertical";
 990                         else if (b.rows == 1) return "horizontal";
 991                         else return "grid";
 992                     }
 993                     public void put(Box b, Object value) {
 994                         Log.log(this, "warning: the orient property is deprecated");
 995                         if (value == null) return;
 996                         if (b.redirect == null) return;
 997                         if (b.redirect != b) { put(b.redirect, value); return; }
 998                         if (value.equals("vertical")) {
 999                             if (b.rows == 0) return;
1000                             b.rows = 0; b.cols = 1;
1001                         } else if (value.equals("horizontal")) {
1002                             if (b.cols == 0) return;
1003                             b.cols = 0; b.rows = 1;
1004                         } else if (Log.on)
1005                             Log.log(this, "invalid value put to orient property: " + value);
1006                         MARK_FOR_REFLOW_b;
1007                     } });
1008
1009             //FIXME
1010             specialBoxProperties.put("static", new SpecialBoxProperty() {
1011                 });
1012
1013             specialBoxProperties.put("shrink", new SpecialBoxProperty() {
1014                     public Object get(Box b) { return (((b.flags & HSHRINK_FLAG) != 0) || ((b.flags & VSHRINK_FLAG) != 0)) ? Boolean.TRUE : Boolean.FALSE; }
1015                     public void put(Box b, Object value) { b.put("hshrink", value); b.put("vshrink", value); }
1016                 });
1017
1018             //#repeat hshrink/vshrink HSHRINK_FLAG/VSHRINK_FLAG
1019             specialBoxProperties.put("hshrink", new SpecialBoxProperty() {
1020                     public Object get(Box b) { return new Boolean((b.flags & HSHRINK_FLAG) != 0); }
1021                     public void put(Box b, Object value) {
1022                         boolean newshrink = stob(value);
1023                         if (((b.flags & HSHRINK_FLAG) != 0) == newshrink) return;
1024                         if (newshrink) b.flags |= HSHRINK_FLAG; else b.flags &= ~HSHRINK_FLAG;
1025                         MARK_FOR_REFLOW_b;
1026                     }
1027                 });
1028             //#end
1029
1030             //#repeat x/y
1031             specialBoxProperties.put("x", new SpecialBoxProperty() {
1032                     public Object get(Box b) {
1033                         if (b.surface == null) return new Integer(0);
1034                         if ((b.flags & INVISIBLE_FLAG) != 0) return new Integer(0);
1035                         return new Integer(b.x);
1036                     }
1037                     public void put(Box b, Object value) {
1038                         if (!((b.flags & ABSOLUTE_FLAG) != 0)) return;
1039                         int x = stoi(value);
1040                         if (x == b.x) return;
1041                         b.dirty();
1042                         b.x = x;
1043                         if (b.parent == null && b.surface != null) b.surface.setLocation();
1044                         MARK_FOR_REFLOW_b;
1045                         b.dirty();
1046                     }
1047                 });
1048             //#end
1049
1050             //#repeat width/height minwidth/minheight maxwidth/maxheight
1051             specialBoxProperties.put("width", new SpecialBoxProperty() {
1052                     public Object get(Box b) { return new Integer(b.width); }
1053                     public void put(Box b, Object value) {
1054                         b.width = stoi(value);
1055                         if (b.parent == null && b.surface != null) {
1056                             b.surface.setSize();
1057                             MARK_FOR_REFLOW_b;
1058                         } else {
1059                             if (b.minwidth == b.width && b.maxwidth == b.width) return;
1060                             b.minwidth = b.maxwidth = b.width;
1061                             MARK_FOR_REFLOW_b;
1062                         }
1063                     } });
1064             //#end
1065
1066             //#repeat cols/rows rows/cols
1067             specialBoxProperties.put("cols", new SpecialBoxProperty() {
1068                     public Object get(Box b) { return new Double(b.cols); }
1069                     public void put(Box b, Object value) {
1070                         if (b.cols == stoi(value)) return;
1071                         b.cols = stoi(value);
1072                         if (b.cols == 0 && b.rows == 0) b.rows = 1;
1073                         if (b.cols != 0 && b.rows != 0) b.rows = 0;
1074                         MARK_FOR_REFLOW_b;
1075                     } });
1076             //#end
1077
1078             //#repeat colspan/rowspan
1079             specialBoxProperties.put("colspan", new SpecialBoxProperty() {
1080                     public Object get(Box b) { return new Double(b.colspan); }
1081                     public void put(Box b, Object value) {
1082                         if (b.colspan == stoi(value)) return;
1083                         b.colspan = stoi(value);
1084                         MARK_FOR_REFLOW_b;
1085                     }
1086                 });
1087             //#end
1088
1089             specialBoxProperties.put("tile", new SpecialBoxProperty() {
1090                     public Object get(Box b) { return ((b.flags & TILE_FLAG) != 0) ? Boolean.TRUE : Boolean.FALSE; }
1091                     public void put(Box b, Object value) {
1092                         if (((b.flags & TILE_FLAG) != 0) == stob(value)) return;
1093                         if (stob(value)) b.flags |= TILE_FLAG; else b.flags &= ~TILE_FLAG;
1094                         b.dirty();
1095                     } });
1096
1097             specialBoxProperties.put("invisible", new SpecialBoxProperty() {
1098                     public Object get(Box b) {
1099                         for (Box cur = b; cur != null; cur = cur.parent) {
1100                             if ((cur.flags & INVISIBLE_FLAG) != 0) return Boolean.TRUE; }
1101                         return Boolean.FALSE;
1102                     }
1103                     public void put(Box b, Object value) {
1104                         if (stob(value) == ((b.flags & INVISIBLE_FLAG) != 0)) return;
1105                         if (stob(value)) b.flags |= INVISIBLE_FLAG; else b.flags &= ~INVISIBLE_FLAG;
1106                         if (b.parent == null) {
1107                             if (b.surface != null) b.surface.setInvisible((b.flags & INVISIBLE_FLAG) != 0);
1108                         } else {
1109                             b.dirty();
1110                             MARK_FOR_REFLOW_b_parent;
1111                             b.parent.dirty(b.x, b.y, b.width, b.height);
1112                         }
1113                     }});
1114
1115             specialBoxProperties.put("absolute", new SpecialBoxProperty() {
1116                     public Object get(Box b) { return ((b.flags & ABSOLUTE_FLAG) != 0) ? Boolean.TRUE : Boolean.FALSE; }
1117                     public void put(Box b, Object value) {
1118                         if (stob(value) == ((b.flags & ABSOLUTE_FLAG) != 0)) return;
1119                         if (stob(value)) b.flags |= ABSOLUTE_FLAG; else b.flags &= ~ABSOLUTE_FLAG;
1120                         if ((b.flags & ABSOLUTE_FLAG) != 0) { b.x = 0; b.y = 0; }
1121                         if (b.parent != null) MARK_FOR_REFLOW_b_parent;
1122                     } });
1123
1124             specialBoxProperties.put("image", new SpecialBoxProperty() {
1125                     /* FIXME
1126                     public Object get(Box b) { return b.image == null ? null : ImageDecoder.imageToNameMap.get(b.image); }
1127                     */
1128                     public void put(Box b, Object value) {
1129                         if (value == null) {
1130                             b.image = null;
1131                         } else if (value instanceof Res) {
1132                             b.image = Picture.fromRes((Res)value);
1133                         } else {
1134                             // FIXME
1135                         }
1136                         b.minwidth = b.image == null ? 0 : b.image.getWidth();
1137                         b.minheight = b.image == null ? 0 : b.image.getHeight();
1138                         MARK_FOR_REFLOW_b;
1139                         b.dirty();
1140                     }
1141                 });
1142
1143             //#repeat globalx/globaly x/y
1144             specialBoxProperties.put("globalx", new SpecialBoxProperty() {
1145                     public Object get(Box b) { return new Integer(b.parent == null || b.surface == null ? 0 : b.x); }
1146                     public void put(Box b, Object value) {
1147                         if (b.surface == null || b.parent == null) return;
1148                         b.put("x", new Integer(stoi(value) - stoi(get(b.parent))));
1149                         MARK_FOR_REFLOW_b;
1150                     }
1151                 });
1152             //#end
1153
1154             specialBoxProperties.put("cursor", new SpecialBoxProperty() {
1155                     public Object get(Box b) { return b.cursor; }
1156                     public void put(Box b, Object value) {
1157                         b.cursor = (String)value;
1158                         if (b.surface == null) return;
1159
1160                         // see if we need to update the surface cursor
1161                         Surface surface = b.getRoot().surface;
1162                         String tempcursor = surface.cursor;
1163                         b.Move(surface.mousex, surface.mousey, surface.mousex, surface.mousey);
1164                         if (surface.cursor != tempcursor) surface.syncCursor();
1165                     }
1166                 });
1167
1168             //#repeat mousex/mousey x/y
1169             specialBoxProperties.put("mousex", new SpecialBoxProperty() {
1170                     public Object get(Box b) {
1171                         Surface surface = b.getRoot().surface;
1172                         if (surface == null) return new Integer(0);
1173                         int mousex = surface.mousex;
1174                         for(Box cur = b; cur != null && cur.parent != null; cur = cur.parent) mousex -= cur.x;
1175                         return new Integer(mousex);
1176                     }
1177                 });
1178             //#end
1179
1180             specialBoxProperties.put("xwt", new SpecialBoxProperty() {
1181                     public Object get(Box b) { return XWT.singleton; }
1182                 });
1183
1184             specialBoxProperties.put("mouseinside", new SpecialBoxProperty() {
1185                     public Object get(Box b) {
1186                         return ((b.flags & MOUSEINSIDE_FLAG) != 0) ? Boolean.TRUE : Boolean.FALSE; }
1187                 });
1188
1189             specialBoxProperties.put("numchildren", new SpecialBoxProperty() {
1190                     public Object get(Box b) {
1191                         if (b.redirect == null) return new Integer(0);
1192                         if (b.redirect != b) return get(b.redirect);
1193                         return new Integer(b.numChildren());
1194                     } });
1195
1196             SpecialBoxProperty mouseEventHandler = new SpecialBoxProperty() {
1197                     public void put(String name, Box b, Object value) {
1198                         Surface surface = b.getRoot().surface;
1199                         if (surface == null) return;
1200                         int mousex = surface.mousex;
1201                         int mousey = surface.mousey;
1202                         for(Box c = b.parent; c != null && c.parent != null; c = c.parent) {
1203                             mousex -= c.x;
1204                             mousey -= c.y;
1205                         }
1206                         for(Box c = b.prevSibling(); c != null; c = c.prevSibling()) {
1207                             if (c.inside(mousex - c.x, mousey - c.y)) {
1208                                 c.put(name, value);
1209                                 return;
1210                             }
1211                         }
1212                         if (b.parent != null) b.parent.put(name, value);
1213                     }};
1214
1215             specialBoxProperties.put("Press1", mouseEventHandler);
1216             specialBoxProperties.put("Press2", mouseEventHandler);
1217             specialBoxProperties.put("Press3", mouseEventHandler);
1218             specialBoxProperties.put("Release1", mouseEventHandler);
1219             specialBoxProperties.put("Release2", mouseEventHandler);
1220             specialBoxProperties.put("Release3", mouseEventHandler);
1221             specialBoxProperties.put("Click1", mouseEventHandler);
1222             specialBoxProperties.put("Click2", mouseEventHandler);
1223             specialBoxProperties.put("Click3", mouseEventHandler);
1224             specialBoxProperties.put("DoubleClick1", mouseEventHandler);
1225             specialBoxProperties.put("DoubleClick2", mouseEventHandler);
1226             specialBoxProperties.put("DoubleClick3", mouseEventHandler);
1227
1228             specialBoxProperties.put("root", new SpecialBoxProperty() {
1229                     public void put(Box b, Object value) {
1230                         if (stob(value)) b.flags |= ISROOT_FLAG;
1231                         else b.flags &= ~ISROOT_FLAG;
1232                     }
1233                     public Object get(Box b) {
1234                         if (b.parent == null || ((b.flags & ISROOT_FLAG) != 0)) return b;
1235                         else return get(b.parent);
1236                     } });
1237
1238             specialBoxProperties.put("Minimized", new SpecialBoxProperty() {
1239                     public Object get(Box b) {
1240                         if (b.parent == null && b.surface != null) return b.surface.minimized ? Boolean.TRUE : Boolean.FALSE;
1241                         else return null;
1242                     }
1243                     public void put(Box b, Object value) {
1244                         if (b.surface == null) return;
1245                         boolean val = stob(value);
1246                         if (b.parent == null && b.surface.minimized != val) b.surface.setMinimized(val);
1247                     }
1248                 });
1249
1250             specialBoxProperties.put("Maximized", new SpecialBoxProperty() {
1251                     public Object get(Box b) {
1252                         if (b.parent == null && b.surface != null) return b.surface.maximized ? Boolean.TRUE : Boolean.FALSE;
1253                         else return null;
1254                     }
1255                     public void put(Box b, Object value) {
1256                         if (b.surface == null) return;
1257                         boolean val = stob(value);
1258                         if (b.parent == null && b.surface.maximized != val) b.surface.setMaximized(val);
1259                     }
1260                 });
1261
1262             specialBoxProperties.put("toback", new SpecialBoxProperty() {
1263                     public void put(Box b, Object value) {
1264                         if (b.parent == null && stob(value) && b.surface != null) b.surface.toBack();
1265                     }
1266                 });
1267
1268             specialBoxProperties.put("tofront", new SpecialBoxProperty() {
1269                     public void put(Box b, Object value) {
1270                         if (b.parent == null && stob(value) && b.surface != null) b.surface.toFront();
1271                     }
1272                 });
1273
1274             specialBoxProperties.put("Close", new SpecialBoxProperty() {
1275                     public void put(Box b, Object value) {
1276                         if (b.parent == null && b.surface != null) b.surface.dispose(true);
1277                     }
1278                 });
1279
1280             // these are all do-nothings; just to prevent space from getting taken up in the params Hash.
1281             specialBoxProperties.put("KeyPressed", new SpecialBoxProperty());
1282             specialBoxProperties.put("KeyReleased", new SpecialBoxProperty());
1283             specialBoxProperties.put("PosChange", new SpecialBoxProperty());
1284             specialBoxProperties.put("SizeChange", new SpecialBoxProperty());
1285
1286             //#repeat hpad/vpad
1287             specialBoxProperties.put("hpad", new SpecialBoxProperty() {
1288                     public Object get(Box b) {
1289                         if (b.redirect == null) return new Integer(0);
1290                         if (b.redirect != b) return get(b.redirect);
1291                         return new Integer(b.hpad);
1292                     }
1293                     public void put(Box b, Object value) {
1294                         if (b.redirect == null) return;
1295                         if (b.redirect != b) { put(b.redirect, value); return; }
1296                         int newval = stoi(value);
1297                         if (newval == b.hpad) return;
1298                         b.hpad = newval;
1299                         MARK_FOR_REFLOW_b;
1300                     }
1301                 });
1302             //#end
1303
1304             //#repeat minwidth/minheight maxwidth/maxheight
1305             specialBoxProperties.put("minwidth", new SpecialBoxProperty() {
1306                     public Object get(Box b) { return new Integer(b.minwidth); }
1307                     public void put(Box b, Object value) {
1308                         if (stoi(value) == b.minwidth) return;
1309                         b.minwidth = stoi(value);
1310                         MARK_FOR_REFLOW_b;
1311                     }
1312                 });
1313             specialBoxProperties.put("maxwidth", new SpecialBoxProperty() {
1314                     public Object get(Box b) { return new Integer(b.maxwidth); }
1315                     public void put(Box b, Object value) {
1316                         if (stoi(value) == b.maxwidth) return;
1317                         b.maxwidth = stoi(value);
1318                         MARK_FOR_REFLOW_b;
1319                     }
1320                 });
1321             //#end
1322
1323             specialBoxProperties.put("redirect", new SpecialBoxProperty() {
1324                     public void put(Box b, Object value) { }
1325                     public Object get(Box b) {
1326                         if (b.redirect == null) return null;
1327                         if (b.redirect == b) return Boolean.TRUE;
1328                         return get(b.redirect);
1329                     }
1330                 });
1331
1332             // FEATURE: this still isn't totally harmonious; when you createSurface, these aren't checked
1333             specialBoxProperties.put("titlebar", new SpecialBoxProperty() {
1334                     public void put(Box b, Object value) {
1335                         if (b.surface != null) b.surface.setTitleBarText(value.toString());
1336                         b.put_("titlebar", value);
1337                     }
1338                     public Object get(Box b) { return b.get_("titlebar"); }
1339                 });
1340
1341             specialBoxProperties.put("icon", new SpecialBoxProperty() {
1342                     // FIXME
1343                     /*
1344                     public void put(Box b, Object value) {
1345                         b.put_("icon", value);
1346                         if (b.surface == null) return;
1347                         Picture pic = ImageDecoder.getPicture(value.toString());
1348                         if (pic != null) b.surface.setIcon(pic);
1349                         else if (Log.on) Log.log(this, "unable to load icon " + value);
1350                     }
1351                     public Object get(Box b) { return b.get_("icon"); }
1352                     */
1353                 });
1354         }
1355     }
1356
1357     /** helper that converts a String to a boolean according to JavaScript coercion rules */
1358     public static boolean stob(Object o) {
1359         if (o == null) return false;
1360         return Boolean.TRUE.equals(o) || "true".equals(o);
1361     }
1362
1363     /** helper that converts a String to an int according to JavaScript coercion rules */
1364     public static int stoi(Object o) {
1365         if (o == null) return 0;
1366         if (o instanceof Integer) return ((Integer)o).intValue();
1367
1368         String s;
1369         if (!(o instanceof String)) s = o.toString();
1370         else s = (String)o;
1371
1372         try { return Integer.parseInt(s.indexOf('.') == -1 ? s : s.substring(0, s.indexOf('.'))); }
1373         catch (NumberFormatException e) { return 0; }
1374     }
1375 }
1376
1377
1378