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

package testcode;

import java.util.ArrayList;
import java.util.List;

import org.eclipse.jdt.annotation.NonNull;

import tudelft.annotations.Defer;

interface TheInterface<T> {
        T get();
}

class MyType<T> implements TheInterface<T> {
        private final @NonNull T value;

        public MyType(@NonNull T val) {
                this.value = val;
        }

        @NonNull
        public T get() {
                return value;
        }
}

/**
 * Test for translation to python.<br>
 * Extra line for multiline-test.
 */
public class Generics {

        /**
         * Not called, only for testing this is translated to getString(self) ->
         * "str"
         */
        public @NonNull @Defer String getString() {
                return "1";
        }

        private static @NonNull String test1() {
                @NonNull
                List<@NonNull MyType<@NonNull String>> myList = new ArrayList<>();
                myList.add(new MyType("d"));
                return myList.get(0).get();
        }

        private static @NonNull MyType<@NonNull String> test2() {
                return new MyType<String>("d");
        }

        static public void main(String[] args) {
                System.out.println(test1());
                System.out.println(getValue(1).toString());
                System.out.println(getValue(1d) == null ? "null" : "?");
                System.out.println(test2().get());

                final @NonNull MyType<@NonNull @Defer String> deferred = new MyType<@Defer String>(
                                "deferred");
                System.out.println(deferred.get());
        }

        private static <U extends Number> U getValue(@NonNull U val) {
                if (val instanceof Integer)
                        return (U) val;
                return null;
        }

}