equal
deleted
inserted
replaced
141 System.out.println(indent + indentAmount + "name=" + name |
141 System.out.println(indent + indentAmount + "name=" + name |
142 + ";data=" + expression.toString() + ";header=" + header |
142 + ";data=" + expression.toString() + ";header=" + header |
143 + ";format=" + format + ";width=" + width |
143 + ";format=" + format + ";width=" + width |
144 + ";scale=" + scale.toString() + ";align=" + align.toString()); |
144 + ";scale=" + scale.toString() + ";align=" + align.toString()); |
145 |
145 |
146 for (Iterator i = children.iterator(); i.hasNext(); /* empty */) { |
146 for (Iterator<OptionFormat> i = children.iterator(); i.hasNext(); /* empty */) { |
147 OptionFormat of = (OptionFormat)i.next(); |
147 OptionFormat of = i.next(); |
148 of.printFormat(indentLevel+1); |
148 of.printFormat(indentLevel+1); |
149 } |
149 } |
150 |
150 |
151 System.out.println(indent + "}"); |
151 System.out.println(indent + "}"); |
152 } |
152 } |