2023-06-02 16:29:12 -04:00
|
|
|
// Checkerframework stubs for java.lang
|
|
|
|
|
|
|
|
package java.lang.reflect;
|
|
|
|
|
|
|
|
import org.checkerframework.checker.nullness.qual.Nullable;
|
|
|
|
|
|
|
|
public final class Method extends Executable {
|
2023-07-05 12:48:15 -04:00
|
|
|
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);
|
2023-06-02 16:29:12 -04:00
|
|
|
}
|