equal
deleted
inserted
replaced
60 writer.println("<th class=\"bold\" style=\"width: 30%\" scope=\"col\">Name"); |
60 writer.println("<th class=\"bold\" style=\"width: 30%\" scope=\"col\">Name"); |
61 writer.println("<th class=\"centered bold\" style=\"width: 5%\" scope=\"col\">Value"); |
61 writer.println("<th class=\"centered bold\" style=\"width: 5%\" scope=\"col\">Value"); |
62 writer.println("<th class=\"bold\" style=\"width: 65%\" scope=\"col\">Description"); |
62 writer.println("<th class=\"bold\" style=\"width: 65%\" scope=\"col\">Description"); |
63 writer.println("</tr>"); |
63 writer.println("</tr>"); |
64 for (Node node : components) { |
64 for (Node node : components) { |
65 ConstantNode n = (ConstantNode)node; |
65 node.document(writer); |
66 writer.println("<span id=\"" + name + "_" + n.name + "\"></span>"); |
|
67 n.document(writer); |
|
68 } |
66 } |
69 writer.println("</table>"); |
67 writer.println("</table>"); |
70 } |
68 } |
71 |
69 |
72 void documentIndex(PrintWriter writer) { |
70 void documentIndex(PrintWriter writer) { |