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