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 |
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;}"); |
52 writer.println("</style>"); |
52 writer.println("</style>"); |
53 writer.println("</head>"); |
53 writer.println("</head>"); |
54 writer.println("<body>"); |
54 writer.println("<body>"); |
55 writer.println("<ul role=\"navigation\">"); |
55 writer.println("<div class=\"centered\" role=\"banner\">"); |
|
56 writer.println("<h1 id=\"Protocol Details\">Java Debug Wire Protocol Details</h1>"); |
|
57 writer.println("</div>"); |
|
58 writer.println("<nav>"); |
|
59 writer.println("<ul>"); |
56 for (Node node : components) { |
60 for (Node node : components) { |
57 node.documentIndex(writer); |
61 node.documentIndex(writer); |
58 } |
62 } |
59 writer.println("</ul>"); |
63 writer.println("</ul>"); |
|
64 writer.println("</nav>"); |
60 writer.println("<div role=\"main\">"); |
65 writer.println("<div role=\"main\">"); |
61 for (Node node : components) { |
66 for (Node node : components) { |
62 node.document(writer); |
67 node.document(writer); |
63 } |
68 } |
64 writer.println("</div>"); |
69 writer.println("</div>"); |