ThreadLocal.java

package java.lang;

import org.checkerframework.checker.nullness.qual.Nullable;


// It is permitted to write a subclass that extends ThreadLocal<@NonNull
// MyType>, but in such a case:
//   * the subclass must override initialValue to return a non-null value
//   * the subclass needs to suppress a warning:
//     @SuppressWarnings("nullness:type.argument.type.incompatible")
public class ThreadLocal<@Nullable T extends @Nullable Object> {
  public ThreadLocal() { throw new RuntimeException("skeleton method"); }
  public T get() { throw new RuntimeException("skeleton method"); }
  public void set(T a1) { throw new RuntimeException("skeleton method"); }
  public void remove() { throw new RuntimeException("skeleton method"); }
}