checker/tests/nullness-stubfile/stubfile1.astub

// This stub file will be read first.

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

package java.util;
public interface List<@Nullable T> {}  // overrules annotated JDK

package java.lang;

public final class String {
     public @NonNull String intern();
     public @Nullable String substring(@NonNull int beginIndex);
     String(@Nullable String arg0);
     void getChars(@Nullable int arg0, @NonNull int arg1, @NonNull char @NonNull [] arg2, @NonNull int arg3);
// Used to test stub file warnings.
     void notReal(String s);
}
// The rest of these are used to test stub file warnings.
public class NotARealClass{}
package not.real;
public class NotARealClassInNotRealPackage{}