hibernate-orm/checkerstubs/java.lang.astub

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();
}