SDA SE Wiki

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

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:jtransformer:api:java:pefs:4.2:omit_typeargumentst [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
  
 +----
 +=== omit_typeArgumentsT(#​id) ===
 +This fact is used for preserving the original appearance of the source code after transformations. It declares, that the (implicit) type arguments in a method or constructor call should be omitted.
 +
 +<Code lang-java><​U extends A> void m() {...}
 +...
 +this.m();</​Code>​
 +
 +instead of 
 +
 +<Code lang-java><​U extends A> void m() {...}
 +...
 +this.<​A>​m();</​Code>​
 +
 +== History ==
 +  * JTransformer 3.0: Added as noTypeArgumentsT
 +  * JTransformer 4.0: Renamed to preserve_noTypeArgumentsT
 +  * JTransformer 4.1: Renamed to omit_typeArgumentsT
 +
 +=== Arguments ===
 +== ==
 +**id:** [[callt|callT]],​ [[newt|newT]]\\
 +ID of the corresponding method or constructor invocation
 +
 +===Sample Java Source===
 +== ==
 +<Code lang-java>​
 +<U extends A> void m() {...}
 +...
 +this.<​A>​m();​
 +</​Code>​
 +
 +===Its PEF Representation ===
 +== ==
 +<​Code>​
 +methodT(Method,​ _, m, [], _, [], [TypeParam],​ _),
 +typeParamT(TypeParam,​ Method, '​U',​ [ReferenceToA]),​
 +...
 +callT(Call, _, _, _, [], Method, [ReferenceToA],​ _),
 +omit_typeArgumentsT(Call).
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_relation_type_spec(omit_typeArgumentsT,​[
 +   ​ast_arg(id, ​      ​mult(1,​1,​no ), id,   ​[callT,​ newT])
 +]).
 +</​Code>​
research/jtransformer/api/java/pefs/4.2/omit_typeargumentst.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019