1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// 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 thisMethodIsNotReal(String s);
}
// The rest of these are used to test stub file warnings.
public class NotARealClass{}
package not.real;
public class NotARealClassInNotRealPackage{}
|
