< prev index next >

make/jdk/src/classes/build/tools/jdwpgen/Node.java

Print this page

        

*** 86,99 **** } void documentIndex(PrintWriter writer) { } ! String indentElement(int depth, String content) { ! return depth > 0 ! ? "<div class=\"indent" + depth + "\">" + content + "</div>" ! : content; } String comment() { StringBuffer comment = new StringBuffer(); for (String st : commentList) { --- 86,100 ---- } void documentIndex(PrintWriter writer) { } ! void docRowStart(PrintWriter writer) { ! writer.println("<tr>"); ! if (structIndent > 0) { ! writer.println("<td colspan=" + structIndent + ">"); ! } } String comment() { StringBuffer comment = new StringBuffer(); for (String st : commentList) {
< prev index next >