misc: contrived update of copyright of some old files

aya-prover · Dec 22, 2024 · bbadbac · bbadbac
1 parent 5757ddd
commit bbadbac
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 20 deletions.
diff --git a/cli-impl/src/main/java/org/aya/cli/library/json/LibraryDependency.java b/cli-impl/src/main/java/org/aya/cli/library/json/LibraryDependency.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2021 Yinsen (Tesla) Zhang.
+// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.cli.library.json;
 
@@ -9,7 +9,7 @@
 public sealed interface LibraryDependency {
   @NotNull String depName();
 
-  record DepVersion(@NotNull String depName, @NotNull String version) implements LibraryDependency { }
-  record DepGithub(@NotNull String depName, @NotNull String repo) implements LibraryDependency { }
-  record DepFile(@NotNull String depName, @NotNull Path depRoot) implements LibraryDependency { }
+  record DepVersion(@Override @NotNull String depName, @NotNull String version) implements LibraryDependency { }
+  record DepGithub(@Override @NotNull String depName, @NotNull String repo) implements LibraryDependency { }
+  record DepFile(@Override @NotNull String depName, @NotNull Path depRoot) implements LibraryDependency { }
 }
diff --git a/pretty/src/main/java/org/aya/pretty/printer/Printer.java b/pretty/src/main/java/org/aya/pretty/printer/Printer.java
@@ -1,21 +1,19 @@
-// Copyright (c) 2020-2021 Yinsen (Tesla) Zhang.
+// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.pretty.printer;
 
 import org.aya.pretty.doc.Doc;
 import org.jetbrains.annotations.NotNull;
 
-/**
- * This class was designed to support various PrettyPrint backend.
- * Example usage:
- * <pre>
- *   public class HtmlPrinter implements Printer[HtmlPrinterConfig] {}
- * </pre>
- * <p>
- * For a more practical example, see {@link org.aya.pretty.backend.string.StringPrinter}
- *
- * @author kiva
- */
+/// This class was designed to support various PrettyPrint backend.
+/// Example usage:
+/// ```java
+///   public class HtmlPrinter implements Printer<HtmlPrinterConfig> {}
+/// ```
+///
+/// For a more practical example, see [org.aya.pretty.backend.string.StringPrinter]
+///
+/// @author kiva
 public interface Printer<Out, Config extends PrinterConfig> {
   /**
    * Render a {@link Doc} object with a config.

diff --git a/tools/src/main/java/org/aya/util/reporter/DelayedReporter.java b/tools/src/main/java/org/aya/util/reporter/DelayedReporter.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2022 Yinsen (Tesla) Zhang.
+// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.util.reporter;
 
@@ -22,7 +22,5 @@ public void reportNow() {
     problems.clear();
   }
 
-  @Override public void close() {
-    reportNow();
-  }
+  @Override public void close() { reportNow(); }
 }