SDA SE Wiki

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

User Tools

Site Tools



preserve_noParameterBoundT(#id)

This fact is used for preserving the original appearance of the source code after transformations. It declares, that no explicit bound for a type parameter is given (therefore extends Object is used as an implicit bound).

class A<T> {
...

instead of

class A<T extends Object> {
...
History
  • JTransformer 3.0: Added as noParameterBoundT
  • JTransformer 4.0: Renamed to preserve_noParameterBoundT

Arguments

#id: typeParamT
ID of the typeParamT element.

Sample Java Source

class A<T> {
...
}

Its PEF Representation

classT(Class, _, 'A', [TypeParam], _),
typeParamT(TypeParam, Class, 'T', [RefToObject]),
preserve_noParameterBoundT(TypeParam).

AST Specification

ast_relation_type_spec( preserve_noParameterBoundT,[
   ast_arg(id,      mult(1,1,no ), id,    [id]),
   ast_arg(element, mult(1,1,no ), id,    [typeParamT, wildcardT, nullType])
]).
research/jtransformer/api/java/pefs/4.0/preserve_noparameterboundt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019