package p; import org.eclipse.jdt.annotation.NonNull; public interface A { Integer getArea(@NonNull Integer length); }