source: java2python/core/src/test/java/testcode/NonnullCode.java

package testcode;

import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

import org.eclipse.jdt.annotation.NonNull;

/**
 * Check if translation with @NonNull works .
 *
 */
public class NonnullCode {

        private @NonNull String string;

        // #278 map should not have "Optional" in it
        private @NonNull Map<@NonNull String, @NonNull Integer> nonnullmap = new HashMap<>();

        /**
         * Check constructor nonnull works ok
         */
        public NonnullCode(@NonNull String v) {
                this.string = v;
        }

        private String get() {
                return string;
        }

        public static @NonNull String f0(@NonNull String x) {
                return x;
        }

        public static @NonNull Integer f1() {
                return 1;
        }

        public static @NonNull String f2() {
                Integer x = null;
                return "2ok";
        }

        public static @NonNull String f3() {
                // @formatter:off
                @NonNull Integer y = 1;
                // @formatter:on
                return "3ok";
        }

        public static Integer f4() {
                return 4;
        }

        public static @NonNull String f5(Integer x) {
                return "5ok";
        }

        public static String f6() {
                // isinstance is special, it contains class name without ".class"
                if (((Object) 1f) instanceof Float)
                        return "6ok";
                return "6ko";
        }

        public static @NonNull String f7() {
                @NonNull
                String res = "";
                for (final @NonNull String zz : Arrays.asList("7", "ok")) {
                        res = res + zz;
                }
                return res;
        }

        public static @NonNull String f8() {
                @NonNull
                List<@NonNull ? extends Number> list8;
                return "8ok";

        }

        static public void main(String[] args) {
                System.out.println(new NonnullCode("Cok").get());
                System.out.println(f0("0ok"));
                System.out.println(f1());
                System.out.println(f2());
                System.out.println(f3());
                System.out.println(f4());
                System.out.println(f5(null));
                System.out.println(f6());
                System.out.println(f7());
                System.out.println(f8());
        }

}