added some annotations such that debug output with System.out.println…

… typechecks
opprop · Oct 24, 2024 · dc974a1 · dc974a1
1 parent ee75b40
commit dc974a1
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/main/java/universe/jdk.astub b/src/main/java/universe/jdk.astub
@@ -1,5 +1,16 @@
 import universe.qual.Any;
 
+package java.io;
+
+class PrintStream {
+  public void print(@Any char[] s);
+  public void print(@Any String s);
+  public void print(@Any Object obj);
+  public void println(@Any char[] x);
+  public void println(@Any String s);
+  public void println(@Any Object x);
+}
+
 package java.lang;
 
 class Object {