AbstractClass.java

import org.checkerframework.checker.nullness.qual.EnsuresNonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

public abstract class AbstractClass {
    @Nullable Object f;

    @EnsuresNonNull("f")
    public abstract void setf();

    public abstract void setg();
}