make/jdk/src/classes/build/tools/jdwpgen/RootNode.java
branchdatagramsocketimpl-branch
changeset 58678 9cf78a70fa4f
parent 51253 35ca229c7f6f
child 58679 9c3209ff7550
equal deleted inserted replaced
58677:13588c901957 58678:9cf78a70fa4f
     1 /*
     1 /*
     2  * Copyright (c) 1998, 2018, Oracle and/or its affiliates. All rights reserved.
     2  * Copyright (c) 1998, 2019, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.  Oracle designates this
     7  * published by the Free Software Foundation.  Oracle designates this
    44         writer.println("<html lang=\"en\">");
    44         writer.println("<html lang=\"en\">");
    45         writer.println("<head>");
    45         writer.println("<head>");
    46         writer.println("<meta charset=\"utf-8\"/>");
    46         writer.println("<meta charset=\"utf-8\"/>");
    47         writer.println("<title>" + comment() + "</title>");
    47         writer.println("<title>" + comment() + "</title>");
    48         writer.println("<style>");
    48         writer.println("<style>");
    49         writer.println("body {background-color:white;}");
    49         writer.println("body { background-color:white; }");
    50         writer.println("table {border: 1px solid grey; border-spacing:0px; border-collapse: separate; width: 90%;}");
    50         writer.println("table { border: 1px solid grey; border-spacing:0px; border-collapse: separate; width: 90%; }");
    51         writer.println("td, th {padding: 3px; border: 1px solid black;}");
    51         writer.println("td, th { padding: 3px; border: 1px solid black; font-weight: normal; text-align: left; }");
       
    52         writer.println(".bold { font-weight: bold; }");
       
    53         writer.println(".centered { text-align: center; }");
       
    54         for (int i = 0; i < maxStructIndent; i++) {
       
    55             // each level is 40px
       
    56             writer.println(".indent" + i + " { padding-left: " + (i * 40) + "px; }");
       
    57         }
    52         writer.println("</style>");
    58         writer.println("</style>");
    53         writer.println("</head>");
    59         writer.println("</head>");
    54         writer.println("<body>");
    60         writer.println("<body>");
    55         writer.println("<ul role=\"navigation\">");
    61         writer.println("<header>");
       
    62         writer.println("<h1 id=\"Protocol_Details\">Java Debug Wire Protocol Details</h1>");
       
    63         writer.println("</header>");
       
    64         writer.println("<nav>");
       
    65         writer.println("<ul>");
    56         for (Node node : components) {
    66         for (Node node : components) {
    57             node.documentIndex(writer);
    67             node.documentIndex(writer);
    58         }
    68         }
    59         writer.println("</ul>");
    69         writer.println("</ul>");
    60         writer.println("<div role=\"main\">");
    70         writer.println("</nav>");
       
    71         writer.println("<main>");
    61         for (Node node : components) {
    72         for (Node node : components) {
    62             node.document(writer);
    73             node.document(writer);
    63         }
    74         }
    64         writer.println("</div>");
    75         writer.println("</main>");
    65         writer.println("</body></html>");
    76         writer.println("</body></html>");
    66     }
    77     }
    67 
    78 
    68     void genJava(PrintWriter writer, int depth) {
    79     void genJava(PrintWriter writer, int depth) {
    69         writer.println("package com.sun.tools.jdi;");
    80         writer.println("package com.sun.tools.jdi;");