import java.lang.reflect.Method;
import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.common.reflection.qual.MethodVal;

/** Testing that reflection resolution uses more precise annotations for the Nullness Checker. */
public class NullnessReflectionResolutionTest {
    @NonNull Object returnNonNull() {
        return new Object();
    }

    void testReturnNonNull(
            @MethodVal(
                            className = "NullnessReflectionResolutionTest",
                            methodName = "returnNonNull",
                            params = 0)
                    Method m)
            throws Exception {
        @NonNull Object o = m.invoke(this);
    }

    void paramNullable(@Nullable Object param1, @Nullable Object param2) {}

    void testParamNullable(
            @MethodVal(
                            className = "NullnessReflectionResolutionTest",
                            methodName = "paramNullable",
                            params = 2)
                    Method m)
            throws Exception {
        @NonNull Object o = m.invoke(this, null, null);
    }

    static @NonNull Object paramAndReturnNonNullStatic(
            @Nullable Object param1, @Nullable Object param2) {
        return new Object();
    }

    void testParamAndReturnNonNullStatic(
            @MethodVal(
                            className = "NullnessReflectionResolutionTest",
                            methodName = "paramAndReturnNonNullStatic",
                            params = 2)
                    Method m)
            throws Exception {
        @NonNull Object o1 = m.invoke(this, null, null);
        @NonNull Object o2 = m.invoke(null, null, null);
    }
}