typeParamInstsT(#id, [#paramRef_1, ...])

This fact is created for explicitly instantiated type parameters.

Supported since JTransformer 3.0.

Arguments

#id: callT, newClassT
the ID of the method call or constructor invocation.

[#paramRef_1, …]: typeRefT, parameterizedTypeT
list of IDs of the explicitly instantiated type parameters.

Sample Java Source

<T> void m(){
    ...
}
 
this.<String>m();

Its PEF Representation

% method invocation
callT(#call, ..., ..., ..., m, [], #meth).
typeParamInsts(#call, [#typeref1]).
typeRefT(#typeref1, #call, #call, #string).
classT(#string, ..., 'String', ...).
 
% method declaration
methodT(#meth, ..., 'm', [], ..., [], ...).
typeParamT(#typeparam, #meth, 'T', [#typeref]).
typeRefT(#typeref, #typeparam, #meth, #object).
classT(#object, ..., 'Object', ...).
typeParamsT(#meth, [#typeparam]).

AST Specification

ast_relation('Java',typeParamInstsT,[
   ast_arg(id,       mult(1,1,no ), id,   [callT, newClassT]),
   ast_arg(paramRef, mult(1,*,ord ),id,   [typeRefT,parameterizedTypeT])
Last modified: 2014/04/14 01:47
 
*