equal
deleted
inserted
replaced
53 nameNode.value() + ";"); |
53 nameNode.value() + ";"); |
54 } |
54 } |
55 |
55 |
56 void document(PrintWriter writer) { |
56 void document(PrintWriter writer) { |
57 //Add anchor to each constant with format <constant table name>_<constant name> |
57 //Add anchor to each constant with format <constant table name>_<constant name> |
|
58 if (!(parent instanceof AbstractNamedNode)) { |
|
59 error("Parent must be ConstantSetNode, but it's " + parent.getClass().getSimpleName()); |
|
60 } |
|
61 String tableName = ((AbstractNamedNode)parent).name; |
58 writer.println("<tr>" |
62 writer.println("<tr>" |
59 + "<th scope=\"row\">" + name |
63 + "<th scope=\"row\">" |
|
64 + "<span id=\"" + tableName + "_" + name + "\"></span>" |
|
65 + name |
60 + "<td class=\"centered\">" + nameNode.value() |
66 + "<td class=\"centered\">" + nameNode.value() |
61 + "<td>" + comment() + " " |
67 + "<td>" + comment() + " " |
62 + "</tr>"); |
68 + "</tr>"); |
63 } |
69 } |
64 |
70 |