SDA SE Wiki

Java 5 Syntax Element - supported since JTransformer 3.0

This fact represents the outer type parameters of a parameterized type if it is a reference to an inner class. There can be multiple outerTypeParamsT facts for one parameterized type.

#id: parameterizedTypeT
the ID of the surrounding parameterizedTypeT.¹⁾

#rawType: classT
the raw type of the outer type

[#param1, …]: classT, parameterizedTypeT, typeParamT
type params to the outer type

class A {
  
  B<String>.C field;

}

fieldT(#field, #class, #type, 'field', 'null').
parameterizedTypeT(#type, #field, #rawTypeC, []).
outerTypeParamsT(#type, #field, #rawTypeB, [#TypeRefToString]).

ast_relation('Java', outerTypeParamsT,[
     ast_arg(id,        mult(1,1,no ), id,   [parameterizedTypeT]),
     ast_arg(rawType,   mult(1,1,no ), id,   [classT]),
     ast_arg(paramRef,  mult(1,*,ord ),id,   [typeParamT,classT,parameterizedTypeT])
]).