How to declare class type parameter as non-null using EEAs

[sebthom]

Given two classes:

public class A<T> { }

public class B extends A<String> { }

How can I apply a NonNull annotation to <String> using an external null annotation file, so that class B is treated like:

public class B extends A<@NonNull String> {
}

I know for generic classes the syntax looks like this:

class my/package/A
 <T:Ljava/lang/Object;>
 <T:L1java/lang/Object;>

but B is not a generic class.

Unfortunately the documentation regarding the exact syntax of EEA files is generally very sparse at https://help.eclipse.org/latest/index.jsp?topic=%2Forg.eclipse.jdt.doc.user%2Ftasks%2Ftask-using_external_null_annotations.htm

@stephan-herrmann

[sebthom]

I figured it out:

class my/package/B

super my/package/A
 <Ljava/lang/String;>
 <L1java/lang/String;>