SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools



inlineDeclarationT(#firstField, [#otherField1, ...])

This fact is used for preserving the original appearance of the source code after transformations. It declares that multiple variables are declared in a single declaration, being written as

int i, j, k; 

instead of

int i;
 int j;
 int k; 

Supported since JTransformer 2.9.0.

Arguments

#firstField: fieldT, localT
ID of the first variable.

[#otherField1, …]: fieldT, localT
list of IDs of other variables. These facts are marked with an inlinedT fact.

Sample Java Source

...
int i, j, k;
...

Its PEF Representation

fieldT(#firstField,  #parent, #type, 'i', null).
fieldT(#secondField, #parent, #type, 'j', null).
fieldT(#thirdField,  #parent, #type, 'k', null).
inlineDeclarationT(#firstField, [#secondField, #thirdField]).
inlinedT(#secondField, #firstField).
inlinedT(#thirdField, #firstField).

AST Specification

ast_relation('Java',inlineDeclarationT,[
     ast_arg(id,    mult(1,1,no ),  id,  [fieldT, localT]), 
     ast_arg(ref,   mult(1,*,ord ), id,  [fieldT, localT]) 
]).
research/jtransformer/api/java/pefs/3.0/inlinedeclarationt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2025