1 package com.example.jspecify.unannotatedpackage; 2 3 import org.jspecify.annotations.NullMarked; 4 import org.jspecify.annotations.NullUnmarked; 5 6 public class Methods { 7 @NullMarked foo(Object o)8 public static void foo(Object o) {} 9 unchecked(Object o)10 public static void unchecked(Object o) {} 11 12 public static class ExtendMe { 13 @NullMarked foo(Object o)14 public Object foo(Object o) { 15 return o; 16 } 17 unchecked(Object o)18 public Object unchecked(Object o) { 19 return null; 20 } 21 } 22 23 @NullMarked 24 public static class Marked { foo(Object o)25 public static void foo(Object o) {} 26 27 @NullUnmarked unchecked(Object o)28 public static void unchecked(Object o) {} 29 } 30 } 31