SDA SE Wiki

This fact contains the information, what type parameters a class, method or constructor has. Facts for classes, methods and constructors do not contain information about their type parameters.

Supported since JTransformer 3.0.

#id: classT, methodT, constructorT
the ID of the class, method or constructor.

[#paramRef_1, …]: typeParamT
list of IDs of type parameters that belong to the class, method or constructor.

<T> void m(){
    ...
}

methodT(#meth, ..., 'm', [], ..., [], ...).
typeParamT(#typeparam, #meth, 'T', [#typeref]).
typeRefT(#typeref, #typeparam, #meth, #object).
classT(#object, ..., 'Object', ...).

typeParamsT(#meth, [#typeparam]).

ast_relation('Java', typeParamsT,[
    ast_arg(id,       mult(1,1,no ), id, [classT,methodT,constructorT]),
    ast_arg(paramRef, mult(1,*,ord ),id, [typeParamT])      
]).