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.1:typeparamt [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
  
 +----
 +
 +=== typeParamT(#​id,​ #parent, '​name',​ [#bound_1, ...])  ===
 +
 +Represents a type parameter of a class or a method.
 +
 +=== Arguments ===
 +== ==
 +**#id:** id \\ 
 +the unique ID assigned to this fact.
 +
 +**#​parent:​** [[classT|classT]],​ [[methodT|methodT]],​ [[constructorT|constructorT]]\\ ​
 +ID of the PEF which contains this type parameter
 +
 +**'​name':​** atom \\ 
 +the name of the type parameter.
 +
 +**[#​bound_1,​...]:​** [[classT|classT]],​ [[parameterizedTypeT|parameterizedTypeT]],​ [[typeParamT|typeParamT]]\\ ​
 +the list of bounds of this type parameter.
 +
 +
 +=== Sample Java Source ===
 +== ==
 +<Code lang-java>​
 +public class A <T extends Exception>​ {
 +  ...
 +}
 +</​Code>​
 +
 +
 +=== Its PEF Representation ===
 +==  ==
 +<Code lang-prolog>​
 +classT(#​class,​ ..., '​A',​ ...)
 +typeParamT(#​typeParam,​ #class, '​T',​ [#bound])
 +typeRefT(#​bound,​ #typeParam, #class, #​ref_to_exception)
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_node_type_spec( typeParamT,​[
 +     ​ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[typeParamT]),​
 +     ​ast_arg(parent,​ mult(1,1,no ), id,   ​[classT,​methodT,​constructorT]), ​
 +     ​ast_arg(name, ​  ​mult(1,​1,​no ), attr, [atomic]), % identifier
 +     ​ast_arg(bounds,​ mult(1,​*,​ord ),id,   ​[classT,​parameterizedTypeT,​typeParamT]) ​     ​
 +]).
 +</​Code>​
research/jtransformer/api/java/pefs/4.1/typeparamt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2020