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

Next revision
Previous revision
research:jtransformer:api:java:pefs:2.9:typeparamt [2010/12/13 16:45]
127.0.0.1 external edit
research:jtransformer:api:java:pefs:2.9:typeparamt [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
 +
 +----
 +
 +=== typeParamT(#​id,​ #parent, '​name',​ '​kind',​ [#bound1, ...]) === 
 +++ Java 5 Syntax Element | - supported since JTransformer 2.3.  ++
 +
 +Represents a type parameter of a generic class. ​
 +Type parameters are referenced from the rest of the code
 +via [[typeterm|type(typevar,​ #id, arrayDim)]] terms, where 
 +#id is the ID of the referenced ''​typeParamT''​ element.
 +
 +=== Arguments ===
 +== == 
 +**#id:** id\\ 
 +the unique ID assigned to this fact.
 +
 +**#​parent:​** [[classt|classT]]\\ ​
 +the declaring generic class or interface. ​
 +
 +**'​name':​** atom\\ ​
 +the name of the type variable. ​
 +
 +**'​kind':​** atom\\
 +'​super'​ or '​extends'​. See Java Language Specification. ​
 +
 +**[#bound1, ...]:** [[classt|classT]],​ [[typeparamt|typeParamT]]\\
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_node_def('​Java',​ typeParamT,​[
 +     ​ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[typeParamT]),​
 +     ​ast_arg(parent,​ mult(1,1,no ), id,   ​[classDefT]), ​
 +     ​ast_arg(name, ​  ​mult(1,​1,​no ), attr, [atom]), % identifier | '?'​
 +     ​ast_arg(kind, ​  ​mult(1,​1,​no ), attr, [atom]), % super | extends
 +     ​ast_arg(bounds,​ mult(0,​*,​ord ),id,   ​[classT,​ typeParamT]) ​     ​
 +]).
 +</​Code>​
 +
 +
  
research/jtransformer/api/java/pefs/2.9/typeparamt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019