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:variableargumentt [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
 +----
  
 +=== variableArgumentT(#​id) ===
 +
 +**This fact is part of JTransfomer 2.9. It is not released yet.**
 +
 +This fact marks a [[paramT|parameter]] in a [[methodT|method]] as a variable argument. The type of this parameter is always an array.
 +
 +=== Arguments ===
 +== ==
 +**#id:** [[paramT|paramT]]\\ ​
 +ID of the parameter.
 +
 +=== Sample Java Source ===
 +== ==
 +<Code lang-java>​
 +
 +public void m(int... i)
 +{
 +...
 +}
 +</​Code>​
 +
 +
 +=== Its PEF Representation ===
 +==  ==
 +<Code lang-prolog>​
 +methodT(#​method,​ #parent, m, [#param], type(basic, void, 0), [], #block),
 +paramT(#​param,​ #method, type(basic, int, 1), i),
 +variableArgumentT(#​param)
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_relation('​Java',​variableArgumentT,​[
 +     ​ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[paramT]) ​
 +]).
 +</​Code>​
research/jtransformer/api/java/pefs/2.9/variableargumentt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019