SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools



noParameterBoundT(#id)

To ensure correct reverse engineering an additional marker fact noParameterBoundT is added, when no bound was given.

Supported since JTransformer 3.0.

Arguments

#id: typeParamT
ID of the typeParamT element.

Sample Java Source

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

Its PEF Representation

methodT(#meth, ..., 'm', [], ..., [], ...).
typeParamT(#typeparam, #meth, 'T', [#typeref]).

noParameterBoundT(#typeparam).

typeRefT(#typeref, #typeparam, #meth, #object).
classT(#object, ..., 'Object', ...).

AST Specification

ast_relation('Java', noParameterBoundT,[
   ast_arg(id, mult(1,1,no ), id, [typeParamT])
]).
research/jtransformer/api/java/pefs/3.0/noparameterboundt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2018