26 lines
638 B
Plaintext
26 lines
638 B
Plaintext
// Checkerframework stubs for java.lang
|
|
|
|
package java.lang.reflect;
|
|
|
|
import org.checkerframework.checker.nullness.qual.Nullable;
|
|
|
|
public final class Method extends Executable {
|
|
void invoke(@Nullable Object obj, @Nullable Object @Nullable ... args);
|
|
}
|
|
|
|
public final class Field extends AccessibleObject implements Member {
|
|
public void set(Object obj, @Nullable Object value);
|
|
}
|
|
|
|
package java.util;
|
|
|
|
|
|
public interface Queue<E> extends Collection<E> {
|
|
@Override
|
|
@EnsuresNonNullIf(expression="poll()", result=false)
|
|
@EnsuresNonNullIf(expression="peek()", result=false)
|
|
boolean isEmpty();
|
|
E poll();
|
|
E peek();
|
|
}
|