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;"); |