commit 7e0530e7a7e1dac86b000e8f21cfbe9eb1c9d9a7
author Clément Béra <clementbera@google.com> Mon Jan 23 13:46:39 2023 +0100
committer Clément Béra <clementbera@google.com> Tue Jan 24 07:16:22 2023 +0000
tree ac15e7b911c905d85109576002e2925d88fe62a0
parent 5ffc027d952de8ef9a115072995e748e6079107f

Updated doc printing to match the real doc

Change-Id: I2c9f0dfd4964b0b7f4a6b7e82dc31b98f5ba8428

src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateLintFiles.java

diff --git a/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateLintFiles.java b/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateLintFiles.java
index 752964b..18ab413 100644
--- a/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateLintFiles.java
+++ b/src/main/java/com/android/tools/r8/ir/desugar/desugaredlibrary/lint/GenerateLintFiles.java
@@ -459,6 +459,23 @@
       return this;
     }
 
+    StringBuilderWithIndent appendLineStart(String lineStart) {
+      builder.append(indent);
+      builder.append(lineStart);
+      return this;
+    }
+
+    StringBuilderWithIndent append(String string) {
+      builder.append(string);
+      return this;
+    }
+
+    StringBuilderWithIndent appendLineEnd(String lineEnd) {
+      builder.append(lineEnd);
+      builder.append(NL);
+      return this;
+    }
+
     StringBuilderWithIndent appendLine(String line) {
       builder.append(indent);
       builder.append(line);
@@ -668,8 +685,21 @@
       indent(indent);
     }
 
-    HTMLBuilder appendTdCode(String s) {
-      appendLine("<td><code>" + s + "</code></td>");
+    HTMLBuilder appendTdPackage(String s) {
+      appendLineStart("<td><code><em>" + s + "</em></code><br>");
+      if (s.startsWith("java.time")) {
+        append("<a href=\"#java-time-customizations\">See customizations</a><br");
+      } else if (s.startsWith("java.nio")) {
+        append("<a href=\"#java-nio-customizations\">See customizations</a><br");
+      }
+      return this;
+    }
+
+    HTMLBuilder appendTdClassName(String s) {
+      appendLineEnd(
+          "<code><br><br><div style=\"font-size:small;font-weight:bold;\">&nbsp;"
+              + s
+              + "</div></code><br><br></td>");
       return this;
     }
 
@@ -679,7 +709,7 @@
     }
 
     HTMLBuilder appendLiCode(String s) {
-      appendLine("<li><code>" + s + "</code></li>");
+      appendLine("<li class=\"java8_table\"><code>" + s + "</code></li>");
       return this;
     }
 
@@ -715,10 +745,14 @@
       HTMLBuilder builder = new HTMLBuilder();
       builder.start("tr");
       if (packageName.length() > 0) {
-        builder.appendTdCode(packageName);
+        builder.appendTdPackage(packageName);
       }
-      builder.appendTdCode(typeInPackage(className));
-      builder.start("td").start("ul");
+      builder.appendTdClassName(typeInPackage(className));
+      builder
+          .start("td")
+          .start(
+              "ul style=\"list-style-position:inside; list-style-type: none !important;"
+                  + " margin-left:0px;padding-left:0px !important;\"");
       if (!fields.isEmpty()) {
         assert newClass; // Currently no fields are added to existing classes.
         for (DexEncodedField field : fields) {