1 // Copyright 2002 Adam Megacz, see the COPYING file for licensing [GPL]
4 import org.mozilla.javascript.*;
11 * A helper class for properties of Box which require special
14 * To avoid excessive use of String.equals(), the Box.get() and
15 * Box.put() methods employ a Hash keyed on property names that
16 * require special handling. The value stored in the Hash is an
17 * instance of an anonymous subclass of SpecialBoxProperty, which knows
18 * how to handle get()s and put()s for that property name. There
19 * should be one anonymous subclass of SpecialBoxProperty for each
20 * specially-handled property on Box.
22 class SpecialBoxProperty {
24 SpecialBoxProperty() { }
25 private static final int NUMINTS = Box.NUMINTS;
26 private static final int dmax = Box.dmax;
27 private static final int dmin = Box.dmin;
28 private static final int cmin = Box.cmin;
29 private static final int abs = Box.abs;
30 private static final int pos = Box.pos;
31 private static final int size = Box.size;
32 private static final int oldpos = Box.oldpos;
33 private static final int oldsize = Box.oldsize;
34 private static final int pad = Box.pad;
36 /** stores instances of SpecialBoxProperty; keyed on property name */
37 static Hash specialBoxProperties = new Hash(200, 3);
39 /** this method defines the behavior when the property is get()ed from b */
40 Object get(Box b) { return null; }
42 /** this method defines the behavior when the property is put() to b */
43 void put(Box b, Object value) { }
45 /** this method defines the behavior when the property is put() to b, allows a single SpecialBoxProperty to serve multiple properties */
46 void put(String name, Box b, Object value) { put(b, value); }
48 // 'ye olde IBM CGA colours', as defined in the XWT reference
49 static final int black = 0xFF000000;
50 static final int blue = 0xFF000088;
51 static final int green = 0xFF008800;
52 static final int cyan = 0xFF008888;
53 static final int red = 0xFF880000;
54 static final int magenta = 0xFF880088;
55 static final int brown = 0xFF888800;
56 static final int lightGray = 0xFFBDBEBD;
57 static final int darkGray = 0xFF242424;
58 static final int brightBlue = 0xFF0000FF;
59 static final int brightGreen = 0xFF00FF00;
60 static final int brightCyan = 0xFF00FFFF;
61 static final int brightRed = 0xFFFF0000;
62 static final int pink = 0xFFFF00FF;
63 static final int yellow = 0xFFFFFF00;
64 static final int white = 0xFFFFFFFF;
68 specialBoxProperties.put("color", new SpecialBoxProperty() {
69 public Object get(Box b) {
70 if ((b.color & 0xFF000000) == 0) return null;
71 String red = Integer.toHexString((b.color & 0x00FF0000) >> 16);
72 String green = Integer.toHexString((b.color & 0x0000FF00) >> 8);
73 String blue = Integer.toHexString(b.color & 0x000000FF);
74 if (red.length() < 2) red = "0" + red;
75 if (blue.length() < 2) blue = "0" + blue;
76 if (green.length() < 2) green = "0" + green;
77 return "#" + red + green + blue;
79 public void put(Box b, Object value) {
80 int newcolor = b.color;
81 String s = value == null ? null : value.toString();
82 if (value == null) newcolor = 0x00000000;
83 else if (s.length() > 0 && s.charAt(0) == '#')
84 newcolor = 0xFF000000 |
85 (Integer.parseInt(s.substring(1, 3), 16) << 16) |
86 (Integer.parseInt(s.substring(3, 5), 16) << 8) |
87 Integer.parseInt(s.substring(5, 7), 16);
88 else if (s.equals("black")) newcolor = black;
89 else if (s.equals("blue")) newcolor = blue;
90 else if (s.equals("green")) newcolor = green;
91 else if (s.equals("cyan")) newcolor = cyan;
92 else if (s.equals("red")) newcolor = red;
93 else if (s.equals("magenta")) newcolor = magenta;
94 else if (s.equals("brown")) newcolor = brown;
95 else if (s.equals("lightGray")) newcolor = lightGray;
96 else if (s.equals("darkGray")) newcolor = darkGray;
97 else if (s.equals("brightBlue")) newcolor = brightBlue;
98 else if (s.equals("brightGreen")) newcolor = brightGreen;
99 else if (s.equals("brightCyan")) newcolor = brightCyan;
100 else if (s.equals("brightRed")) newcolor = brightRed;
101 else if (s.equals("pink")) newcolor = pink;
102 else if (s.equals("yellow")) newcolor = yellow;
103 else if (s.equals("white")) newcolor = white;
104 else if (Log.on) Log.log(this, "invalid color \"" + s + "\" at " +
105 Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine);
106 if (newcolor == b.color) return;
112 specialBoxProperties.put("textcolor", new SpecialBoxProperty() {
113 public Object get(Box b) {
114 if ((b.textcolor & 0xFF000000) == 0) return null;
115 String red = Integer.toHexString((b.textcolor & 0x00FF0000) >> 16);
116 String green = Integer.toHexString((b.textcolor & 0x0000FF00) >> 8);
117 String blue = Integer.toHexString(b.textcolor & 0x000000FF);
118 if (red.length() < 2) red = "0" + red;
119 if (blue.length() < 2) blue = "0" + blue;
120 if (green.length() < 2) green = "0" + green;
121 return "#" + red + green + blue;
123 public void put(Box b, Object value) {
124 int newtextcolor = b.color;
125 if (value == null) return;
126 String s = value.toString();
127 if (s.length() > 0 && s.charAt(0) == '#')
128 newtextcolor = 0xFF000000 |
129 (Integer.parseInt(s.substring(1, 3), 16) << 16) |
130 (Integer.parseInt(s.substring(3, 5), 16) << 8) |
131 Integer.parseInt(s.substring(5, 7), 16);
132 else if (s.equals("black")) newtextcolor = black;
133 else if (s.equals("blue")) newtextcolor = blue;
134 else if (s.equals("green")) newtextcolor = green;
135 else if (s.equals("cyan")) newtextcolor = cyan;
136 else if (s.equals("red")) newtextcolor = red;
137 else if (s.equals("magenta")) newtextcolor = magenta;
138 else if (s.equals("brown")) newtextcolor = brown;
139 else if (s.equals("lightGray")) newtextcolor = lightGray;
140 else if (s.equals("darkGray")) newtextcolor = darkGray;
141 else if (s.equals("brightBlue")) newtextcolor = brightBlue;
142 else if (s.equals("brightGreen")) newtextcolor = brightGreen;
143 else if (s.equals("brightCyan")) newtextcolor = brightCyan;
144 else if (s.equals("brightRed")) newtextcolor = brightRed;
145 else if (s.equals("pink")) newtextcolor = pink;
146 else if (s.equals("yellow")) newtextcolor = yellow;
147 else if (s.equals("white")) newtextcolor = white;
148 else if (Log.on) Log.log(this, "invalid color \"" + s + "\" at " +
149 Context.enter().interpreterSourceFile + ":" + Context.enter().interpreterLine);
151 if (newtextcolor == b.textcolor) return;
152 b.textcolor = newtextcolor;
156 specialBoxProperties.put("text", new SpecialBoxProperty() {
157 public Object get(Box b) { return b.text; }
158 public void put(Box b, Object value) {
159 String t = value == null ? "null" : value.toString();
160 if (t.equals(b.text)) return;
162 for(int i=0; i<t.length(); i++)
163 if (Character.isISOControl(t.charAt(i))) {
164 if (Log.on) Log.log(this,
165 "ISO Control characters are not permitted in box text strings; offending character is ASCII " +
172 // FIXME: don't know why this is needed
180 specialBoxProperties.put("thisbox", new SpecialBoxProperty() {
181 public Object get(Box b) { return b; }
182 public void put(Box b, Object value) {
183 if (value == null) b.remove();
184 else if (value.equals("window") || value.equals("frame")) {
185 if (b.redirect != b && Log.on)
186 Log.log(this, "WARNING: you have created a surface whose root box's redirect is not itself " +
187 "-- this isn't usually a good idea");
188 Platform.createSurface(b, value.equals("frame"), true);
189 } else if (Log.on) Log.log(this, "put invalid value to 'thisbox' property: " + value);
193 specialBoxProperties.put("orient", new SpecialBoxProperty() {
194 public Object get(Box b) {
195 if (b.redirect == null) return "horizontal";
196 else if (b.redirect != b) return get(b.redirect);
197 else if (b.o == 1) return "vertical";
198 else return "horizontal";
200 public void put(Box b, Object value) {
201 if (value == null) return;
202 if (b.redirect == null) return;
203 if (b.redirect != b) {
204 put(b.redirect, value);
207 if (value.equals("vertical")) {
208 if (b.o == 1) return;
211 } else if (value.equals("horizontal")) {
212 if (b.o == 0) return;
216 Log.log(this, "invalid value put to orient property: " + value);
217 b.mark_for_prerender();
218 b.sync_cmin_to_children();
221 specialBoxProperties.put("static", new SpecialBoxProperty() {
222 public Object get(Box b) {
223 String cfsn = JSObject.getCurrentFunctionSourceName();
224 for(int i=0; i<cfsn.length() - 1; i++)
225 if (cfsn.charAt(i) == '.' && (cfsn.charAt(i+1) == '_' || Character.isDigit(cfsn.charAt(i+1)))) {
226 cfsn = cfsn.substring(0, i);
229 return Static.getStatic(cfsn);
231 public void put(Box b, Object value) { }
234 specialBoxProperties.put("sizetoimage", new SpecialBoxProperty() {
235 public Object get(Box b) { return b.sizetoimage ? Boolean.TRUE : Boolean.FALSE; }
236 public void put(Box b, Object value) {
238 if (b.sizetoimage) return;
239 b.sizetoimage = true;
242 b.sizetoimage = false;
246 specialBoxProperties.put("fixedaspect", new SpecialBoxProperty() {
247 public Object get(Box b) { return b.sizetoimage ? Boolean.TRUE : Boolean.FALSE; }
248 public void put(Box b, Object value) {
249 boolean newval = stob(value);
250 if (newval == b.fixedaspect) return;
251 b.fixedaspect = newval;
255 specialBoxProperties.put("shrink", new SpecialBoxProperty() {
256 public Object get(Box b) { return (b.vshrink && b.hshrink) ? Boolean.TRUE : Boolean.FALSE; }
257 public void put(Box b, Object value) {
258 boolean newshrink = stob(value);
259 if (b.hshrink == newshrink && b.vshrink == newshrink) return;
260 b.hshrink = b.vshrink = newshrink;
261 if (b.hshrink) b.set(b.dmax, 0, Box.max(b.cmin(0), b.textdim(0) + 2 * b.pad(0), b.dmin(0)));
262 if (b.vshrink) b.set(b.dmax, 1, Box.max(b.cmin(1), b.textdim(1) + 2 * b.pad(1), b.dmin(1)));
265 specialBoxProperties.put("hshrink", new SpecialBoxProperty() {
266 public Object get(Box b) { return new Boolean(b.hshrink); }
267 public void put(Box b, Object value) {
268 boolean newshrink = stob(value);
269 if (b.hshrink == newshrink) return;
270 b.hshrink = newshrink;
271 if (b.hshrink) b.set(b.dmax, 0, Box.max(b.cmin(0), b.textdim(0) + 2 * b.pad(0), b.dmin(0)));
275 specialBoxProperties.put("vshrink", new SpecialBoxProperty() {
276 public Object get(Box b) { return b.vshrink ? Boolean.TRUE : Boolean.FALSE; }
277 public void put(Box b, Object value) {
278 boolean newshrink = stob(value);
279 if (b.vshrink == newshrink) return;
280 b.vshrink = newshrink;
281 if (b.vshrink) b.set(b.dmax, 1, Box.max(b.cmin(1), b.textdim(1) + 2 * b.pad(1), b.dmin(1)));
285 specialBoxProperties.put("x", new SpecialBoxProperty() {
286 public Object get(Box b) {
287 if (b.surface == null) return new Integer(0);
288 if (b.invisible) return new Integer(0);
289 return new Integer(b.abs(0));
291 public void put(Box b, Object value) {
292 if (b.getParent() == null && b.surface != null) {
293 b.surface.setLocation(stoi(value), b.abs(1));
294 b.surface.centerSurfaceOnRender = false;
296 b.set(abs, 0, stosh(value));
300 specialBoxProperties.put("y", new SpecialBoxProperty() {
301 public Object get(Box b) {
302 if (b.surface == null) return new Integer(0);
303 if (b.invisible) return new Integer(0);
304 return new Integer(b.abs(1));
306 public void put(Box b, Object value) {
307 if (b.getParent() == null && b.surface != null) {
308 b.surface.setLocation(b.abs(0), stoi(value));
309 b.surface.centerSurfaceOnRender = false;
311 b.set(abs, 1, stosh(value));
315 specialBoxProperties.put("width", new SpecialBoxProperty() {
316 public Object get(Box b) { return new Integer(b.size(0)); }
317 public void put(Box b, Object value) {
318 if (b.sizetoimage) return;
319 if (b.getParent() == null && b.surface != null) {
320 b.set(size, 0, Box.max(Surface.scarPicture.getWidth(), stosh(value)));
321 b.mark_for_prerender();
323 b.set(dmax, 0, stosh(value));
324 b.set(dmin, 0, stosh(value));
328 specialBoxProperties.put("height", new SpecialBoxProperty() {
329 public Object get(Box b) { return new Integer(b.size(1)); }
330 public void put(Box b, Object value) {
331 if (b.sizetoimage) return;
332 if (b.getParent() == null && b.surface != null) {
333 b.set(size, 1, Box.max(Surface.scarPicture.getHeight(), stosh(value)));
334 b.mark_for_prerender();
336 b.set(dmax, 1, stosh(value));
337 b.set(dmin, 1, stosh(value));
341 specialBoxProperties.put("flex", new SpecialBoxProperty() {
342 public Object get(Box b) { return new Double(b.flex); }
343 public void put(Box b, Object value) {
344 if (value == null) return;
345 int newflex = stoi(value);
346 if (newflex == b.flex) return;
348 b.mark_for_prerender();
351 specialBoxProperties.put("tile", new SpecialBoxProperty() {
352 public Object get(Box b) { return b.tile ? Boolean.TRUE : Boolean.FALSE; }
353 public void put(Box b, Object value) {
354 boolean newtile = stob(value);
355 if (newtile == b.tile) return;
360 specialBoxProperties.put("align", new SpecialBoxProperty() {
361 public Object get(Box b) {
362 if (b.align == -1) return "topleft";
363 else if (b.align == 1) return "bottomright";
364 else return "center";
366 public void put(Box b, Object value) {
367 String s = value == null ? "" : value.toString();
368 byte newalign = b.align;
369 if (s.equals("topleft")) newalign = -1;
370 else if (s.equals("bottomright")) newalign = 1;
371 else if (s.equals("center")) newalign = 0;
372 else if (Log.on) Log.log(this, "invalid value put to align property: " + value);
373 if (newalign == b.align) return;
375 if (b.getParent() != null) b.getParent().mark_for_prerender();
378 specialBoxProperties.put("invisible", new SpecialBoxProperty() {
379 public Object get(Box b) { return b.invisible ? Boolean.TRUE : Boolean.FALSE; }
380 public void put(Box b, Object value) {
381 boolean newinvisible = stob(value);
382 if (newinvisible == b.invisible) return;
383 b.invisible = newinvisible;
384 if (b.getParent() == null) {
385 if (b.surface != null) b.surface.setInvisible(newinvisible);
388 b.getParent().mark_for_prerender();
389 b.getParent().sync_cmin_to_children();
390 b.getParent().dirty(b.pos(0), b.pos(1), b.size(0), b.size(1));
391 b.getParent().dirty(b.oldpos(0), b.oldpos(1), b.oldsize(0), b.oldsize(1));
395 specialBoxProperties.put("absolute", new SpecialBoxProperty() {
396 public Object get(Box b) { return b.absolute ? Boolean.TRUE : Boolean.FALSE; }
397 public void put(Box b, Object value) {
398 boolean newabsolute = stob(value);
399 if (newabsolute == b.absolute) return;
400 b.absolute = newabsolute;
401 if (b.getParent() != null) {
402 b.getParent().mark_for_prerender();
403 b.getParent().sync_cmin_to_children();
407 specialBoxProperties.put("image", new SpecialBoxProperty() {
408 public Object get(Box b) { return b.image == null ? null : Box.imageToNameMap.get(b.image); }
409 public void put(Box b, Object value) { b.setImage(value == null ? null : value.toString()); }
412 specialBoxProperties.put("border", new SpecialBoxProperty() {
413 public Object get(Box b) { return b.border == null ? null : Box.imageToNameMap.get(b.border); }
414 public void put(Box b, Object value) { b.setBorder(value == null ? null : value.toString()); }
417 specialBoxProperties.put("font", new SpecialBoxProperty() {
418 public Object get(Box b) { return b.font; }
419 public void put(Box b, Object value) {
420 if (value == null) value = Platform.getDefaultFont();
421 b.font = value.toString();
426 specialBoxProperties.put("globalx", new SpecialBoxProperty() {
427 public Object get(Box b) { return new Integer(b.getParent() == null || b.surface == null ? 0 : b.pos(0)); }
428 public void put(Box b, Object value) {
429 if (b.surface == null || b.getParent() == null) return;
430 b.put("x", null, new Integer(stoi(value) - stoi(get(b.getParent()))));
434 specialBoxProperties.put("globaly", new SpecialBoxProperty() {
435 public Object get(Box b) { return new Integer(b.getParent() == null || b.surface == null ? 0 : b.pos(1)); }
436 public void put(Box b, Object value) {
437 if (b.surface == null || b.getParent() == null) return;
438 b.put("y", null, new Integer(stoi(value) - stoi(get(b.getParent()))));
442 specialBoxProperties.put("cursor", new SpecialBoxProperty() {
443 public Object get(Box b) { return b.cursor; }
444 public void put(Box b, Object value) {
445 b.cursor = (String)value;
446 if (b.surface == null) return;
448 // see if we need to update the surface cursor
449 String tempcursor = b.surface.cursor;
450 b.Move(b.surface.mousex, b.surface.mousey, b.surface.mousex, b.surface.mousey);
451 if (b.surface.cursor != tempcursor) b.surface.syncCursor();
455 specialBoxProperties.put("mousex", new SpecialBoxProperty() {
456 public Object get(Box b) { return new Integer(b.surface == null ? 0 : b.surface.mousex - b.pos(0)); }
459 specialBoxProperties.put("mousey", new SpecialBoxProperty() {
460 public Object get(Box b) { return new Integer(b.surface == null ? 0 : b.surface.mousey - b.pos(1)); }
463 specialBoxProperties.put("xwt", new SpecialBoxProperty() {
464 public Object get(Box b) { return XWT.singleton; }
467 specialBoxProperties.put("mouseinside", new SpecialBoxProperty() {
468 public Object get(Box b) { return b.mouseinside ? Boolean.TRUE : Boolean.FALSE; }
471 specialBoxProperties.put("numchildren", new SpecialBoxProperty() {
472 public Object get(Box b) {
473 if (b.redirect == null) return new Integer(0);
474 if (b.redirect != b) return get(b.redirect);
475 return new Integer(b.numChildren());
478 SpecialBoxProperty mouseEventHandler = new SpecialBoxProperty() {
479 public void put(String name, Box b, Object value) {
480 if (b.surface == null) return;
481 if (b.getParent() == null) {
482 if (b.surface.boxContainingMouse != null && b.surface.boxContainingMouse.getParent() != null)
483 b.surface.boxContainingMouse.put(name, b.surface.boxContainingMouse, value);
486 for(Box c = b.prevSibling(); c != null; c = c.prevSibling())
487 if (c.inside(c.surface.mousex, c.surface.mousey)) {
488 c.put(name, c, value);
492 if (b.getParent() != null && b.getParent().getParent() != null)
493 b.getParent().put(name, b.getParent(), value);
497 specialBoxProperties.put("Press1", mouseEventHandler);
498 specialBoxProperties.put("Press2", mouseEventHandler);
499 specialBoxProperties.put("Press3", mouseEventHandler);
500 specialBoxProperties.put("Release1", mouseEventHandler);
501 specialBoxProperties.put("Release2", mouseEventHandler);
502 specialBoxProperties.put("Release3", mouseEventHandler);
503 specialBoxProperties.put("Click1", mouseEventHandler);
504 specialBoxProperties.put("Click2", mouseEventHandler);
505 specialBoxProperties.put("Click3", mouseEventHandler);
506 specialBoxProperties.put("DoubleClick1", mouseEventHandler);
507 specialBoxProperties.put("DoubleClick2", mouseEventHandler);
508 specialBoxProperties.put("DoubleClick3", mouseEventHandler);
510 specialBoxProperties.put("root", new SpecialBoxProperty() {
511 public Object get(Box b) {
512 if (b.surface == null) return null;
513 else if (b.getRoot() == null) return null;
514 else if (b.getParent() == null) return b;
515 else return b.getRoot().getRootProxy();
518 specialBoxProperties.put("Minimized", new SpecialBoxProperty() {
519 public Object get(Box b) {
520 if (b.getParent() == null && b.surface != null) return b.surface.minimized ? Boolean.TRUE : Boolean.FALSE;
523 public void put(Box b, Object value) {
524 if (b.surface == null) return;
525 boolean val = stob(value);
526 if (b.getParent() == null && b.surface.minimized != val) b.surface.setMinimized(val);
530 specialBoxProperties.put("Maximized", new SpecialBoxProperty() {
531 public Object get(Box b) {
532 if (b.getParent() == null && b.surface != null) return b.surface.maximized ? Boolean.TRUE : Boolean.FALSE;
535 public void put(Box b, Object value) {
536 if (b.surface == null) return;
537 boolean val = stob(value);
538 if (b.getParent() == null && b.surface.maximized != val) b.surface.setMaximized(val);
542 specialBoxProperties.put("toback", new SpecialBoxProperty() {
543 public void put(Box b, Object value) {
544 if (b.getParent() == null && stob(value) && b.surface != null) b.surface.toBack();
548 specialBoxProperties.put("tofront", new SpecialBoxProperty() {
549 public void put(Box b, Object value) {
550 if (b.getParent() == null && stob(value) && b.surface != null) b.surface.toFront();
554 specialBoxProperties.put("hscar", new SpecialBoxProperty() {
555 public void put(Box b, Object value) {
556 if (b.getParent() == null && b.surface != null) {
557 b.surface.hscar = stoi(value);
558 b.surface.dirty(0, 0, b.surface.width, b.surface.height);
564 specialBoxProperties.put("vscar", new SpecialBoxProperty() {
565 public void put(Box b, Object value) {
566 if (b.getParent() == null && b.surface != null) {
567 b.surface.vscar = stoi(value);
568 b.surface.dirty(0, 0, b.surface.width, b.surface.height);
574 specialBoxProperties.put("Close", new SpecialBoxProperty() {
575 public void put(Box b, Object value) {
576 if (b.getParent() == null && b.surface != null) b.surface.dispose();
580 // these are all do-nothings; just to prevent space from getting taken up in the params Hash.
581 specialBoxProperties.put("KeyPressed", new SpecialBoxProperty());
582 specialBoxProperties.put("KeyReleased", new SpecialBoxProperty());
583 specialBoxProperties.put("PosChange", new SpecialBoxProperty());
584 specialBoxProperties.put("SizeChange", new SpecialBoxProperty());
586 specialBoxProperties.put("hpad", new SpecialBoxProperty() {
587 public Object get(Box b) {
588 if (b.redirect == null) return new Integer(0);
589 if (b.redirect != b) return get(b.redirect);
590 return new Integer(b.pad(0));
592 public void put(Box b, Object value) {
593 if (b.redirect == null) return;
594 if (b.redirect != b) { put(b.redirect, value); return; }
595 short newval = stosh(value);
596 if (newval == b.pad(0)) return;
597 b.set(pad, 0, newval);
601 specialBoxProperties.put("vpad", new SpecialBoxProperty() {
602 public Object get(Box b) {
603 if (b.redirect == null) return new Integer(0);
604 if (b.redirect != b) return get(b.redirect);
605 return new Integer(b.pad(1));
607 public void put(Box b, Object value) {
608 if (b.redirect == null) return;
609 if (b.redirect != b) { put(b.redirect, value); return; }
610 short newval = stosh(value);
611 if (newval == b.pad(1)) return;
612 b.set(pad, 1, newval);
616 specialBoxProperties.put("indexof", new SpecialBoxProperty() {
617 public Object get(Box b) { return b.indexof(); }
620 specialBoxProperties.put("minwidth", new SpecialBoxProperty() {
621 public Object get(Box b) { return new Integer(b.dmin(0)); }
622 public void put(Box b, Object value) {
623 if (b.sizetoimage) return;
624 b.set(dmin, 0, stosh(value));
628 specialBoxProperties.put("maxwidth", new SpecialBoxProperty() {
629 public Object get(Box b) { return new Integer(b.dmax(0)); }
630 public void put(Box b, Object value) {
631 if (b.sizetoimage) return;
632 b.set(dmax, 0, stosh(value));
636 specialBoxProperties.put("minheight", new SpecialBoxProperty() {
637 public Object get(Box b) { return new Integer(b.dmin(1)); }
638 public void put(Box b, Object value) {
639 if (b.sizetoimage) return;
640 b.set(dmin, 1, stosh(value));
644 specialBoxProperties.put("maxheight", new SpecialBoxProperty() {
645 public Object get(Box b) { return new Integer(b.dmax(1)); }
646 public void put(Box b, Object value) {
647 if (b.sizetoimage) return;
648 b.set(dmax, 1, stosh(value));
652 specialBoxProperties.put("redirect", new SpecialBoxProperty() {
653 public void put(Box b, Object value) { }
654 public Object get(Box b) {
655 if (b.redirect == null) return null;
656 if (b.redirect == b) return Boolean.TRUE;
657 return get(b.redirect);
663 /** helper that converts a String to a boolean according to JavaScript coercion rules */
664 public static boolean stob(Object o) {
665 if (o == null) return false;
666 return Boolean.TRUE.equals(o) || "true".equals(o);
669 /** helper that converts a String to an int according to JavaScript coercion rules */
670 public static int stoi(Object o) {
671 if (o == null) return 0;
672 if (o instanceof Integer) return ((Integer)o).intValue();
675 if (!(o instanceof String)) s = o.toString();
678 try { return Integer.parseInt(s.indexOf('.') == -1 ? s : s.substring(0, s.indexOf('.'))); }
679 catch (NumberFormatException e) { return 0; }
682 /** helper that converts a String to a short according to JavaScript coercion rules */
683 public static short stosh(Object o) {
684 if (o == null) return 0;
685 if (o instanceof Number) return ((Number)o).shortValue();
688 if (!(o instanceof String)) s = o.toString();
691 try { return Short.parseShort(s.indexOf('.') == -1 ? s : s.substring(0, s.indexOf('.'))); }
692 catch (NumberFormatException e) { return 0; }