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:2.9:paramt [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
 +
 +----
 +
 +=== paramT(#id, #parent, TYPE, '​name'​) ​ ===
 +
 +Represents the program element (method, catch clause, foreach loop) parametrized by this parameter declaration.
 +
 +=== Arguments ===
 +== ==
 +**#id:** id \\ 
 +the unique ID assigned to this fact.
 +
 +**#​parent:​** [[methodt|methodT]] , [[constructorT|constructorT]] , [[catcht|catchT]] , [[foreacht|foreachT]] \\ 
 +ID of the enclosing PEF
 +
 +**TYPE:** [[typeterm|type term]]\\ ​
 +the type of the parameter.
 +
 +**'​name':​** atom \\ 
 +the name of the parameter.
 +
 +=== Sample Java Source ===
 +== ==
 +<Code lang-java>​
 +class HelloWorld ​ { 
 +  public static void main(String[] args){ ​  //​String [] args is the corresponding code part to paramT
 +    ...
 +  }
 +}
 +</​Code>​
 +
 +
 +=== Its PEF Representation ===
 +==  ==
 +<Code lang-prolog>​
 +methodT(#​method,​ ..., '​main',​ [#param], type(basic, void, 0), [], ...).
 +paramT(#​param,​ #method, type(class, ..., 1), '​args'​).
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_node_def('​Java',​paramT,​[
 +     ​ast_arg(id, ​     mult(1,1,no ),  id,  [paramT]), % <-- convention!!!
 +     ​ast_arg(parent, ​ mult(1,1,no ),  id,  [methodT, constructorT,​ catchT, foreachT]), ​
 +     ​ast_arg(type, ​   mult(1,1,no ),  attr,​[typeTermType]), ​
 +     ​ast_arg(name, ​   mult(1,1,no ),  attr,​[atom])
 +]).
 +</​Code>​
  
research/jtransformer/api/java/pefs/2.9/paramt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019