nwalsh/saxon/Table.java

32  * and returns the result tree fragment with the column widths
205    * associated with table column widths. It is called automatically before
206    * column widths are adjusted. The context is used to retrieve the values,
249    * <p>Adjust column widths in an HTML table.</p>
251    * <p>The specification of column widths in CALS (a relative width
253    * widths. This method adjusts CALS column width specifiers in an
275    * <li>There are no relative widths; in this case the absolute widths
277    * <li>There are no absolute widths; in this case the relative widths
279    * <li>There are a mixture of absolute and relative widths:
281    *     <li>If the table width is absolute, all widths become absolute.</li>
282    *     <li>If the table width is relative, make all the widths absolute
284    *         back into relative widths.</li>
310       String widths[] = csEmitter.columnWidths();
319 	String width = widths[count];
354       // Ok, now we have the relative widths and absolute widths in
357       // - If there are no relative widths, output the absolute widths
358       // - If there are no absolute widths, output the relative widths
359       // - If there are a mixture of relative and absolute widths,
361       //     widths.
363       //     widths in the nominalWidth and then turn them back into
372 	    widths[count] = inches + "in";
374 	    widths[count] = Integer.toString(f.intValue());
381 	  widths[count] = Integer.toString(f.intValue());
383 	widths = correctRoundingError(widths);
410 	      widths[count] = inches + "in";
412 	      widths[count] = Integer.toString(f.intValue());
419 	    widths[count] = Integer.toString(f.intValue());
421 	  widths = correctRoundingError(widths);
427 							      widths);
442   protected static String[] correctRoundingError(String widths[]) {
445     for (int count = 0; count < widths.length; count++) {
447 	int width = Integer.parseInt(widths[count]);
455     float columnError = totalError / widths.length;
458     for (int count = 0; count < widths.length; count++) {
460 	int width = Integer.parseInt(widths[count]);
466 	  widths[count] = Integer.toString(width) + "%";
468 	  widths[count] = Integer.toString(width) + "%";
475     return widths;