void document()

in jdwpgen/src/main/java/build/tools/jdwpgen/RootNode.java [54:89]


    void document(PrintWriter writer) {
        writer.println("<!DOCTYPE html>");
        writer.println("<html lang=\"en\">");
        writer.println("<head>");
        writer.println("<meta charset=\"utf-8\"/>");
        writer.println("<title>" + comment() + "</title>");
        writer.println("<style>");
        writer.println("body { background-color:white; }");
        writer.println("table { border: 1px solid grey; border-spacing:0px; border-collapse: separate; width: 90%; }");
        writer.println("td, th { padding: 3px; border: 1px solid black; font-weight: normal; text-align: left; }");
        writer.println(".bold { font-weight: bold; }");
        writer.println(".centered { text-align: center; }");
        for (int i = 0; i < maxStructIndent; i++) {
            // each level is 40px
            writer.println(".indent" + i + " { padding-left: " + (i * 40) + "px; }");
        }
        writer.println("</style>");
        writer.println("</head>");
        writer.println("<body>");
        writer.println("<header>");
        writer.println("<h1 id=\"Protocol_Details\">Java Debug Wire Protocol Details</h1>");
        writer.println("</header>");
        writer.println("<nav>");
        writer.println("<ul>");
        for (Node node : components) {
            node.documentIndex(writer);
        }
        writer.println("</ul>");
        writer.println("</nav>");
        writer.println("<main>");
        for (Node node : components) {
            node.document(writer);
        }
        writer.println("</main>");
        writer.println("</body></html>");
    }