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:arraytypet [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
  
 +=== arrayTypeT(#​id,​ #type, '​dim'​) ​ ===
 +
 +An arrayTypeT is used as indicator fact for the dimension of the referenced type. It is a child from the referencing fact. 
 +
 +=== Arguments ===
 +
 +==  ==
 +**#id:** id\\  ​
 +the unique ID assigned to this fact.
 +
 +**#type:** [[classt|classT]],​ [[parameterizedtypet|parameterizedTypeT]],​ [[typeparamt|typeParamT]],​ [[basictypet|basicTypeT]],​ [[wildcardt|wildcardT]]\\ ​
 +the ID of the referenced type.
 +
 +**'​dim':​** number \\
 +the dimension of the array.
 +
 +
 +=== Sample Java Source ===
 +
 +==  ==
 +<Code lang-java>​
 +int[] m() {                                                             
 +    ...
 +}
 +</​Code>​
 +
 +
 +=== Its PEF Representation ===
 +
 +==  ==
 +<​Code>​
 +methodT(#​meth,​ ..., '​m',​ [], #arraytype, [], ...).
 +arrayTypeT(#​arraytype,​ #int, 1).
 +basicTypeT(#​int,​ int).
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_node_def('​Java',​ arrayTypeT,​[
 +    ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[arrayTypeT]),​
 +    ast_arg(type, ​  ​mult(1,​1,​no ), id,   ​[classT,​ parameterizedTypeT,​ typeParamT, basicTypeT, wildcardT]),​
 +    ast_arg(dim, ​   mult(1,1,no ), attr, [number])
 +]).
 +
 +</​Code>​
research/jtransformer/api/java/pefs/4.2/arraytypet.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019