SDA SE Wiki

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

User Tools

Site Tools



inlinedT(#id, #reference)

This fact is part of JTransfomer 2.9. It is not released yet.

This fact is only used for preserving the original appearance of the source code after transformations. It declares that the declaration of a variable belongs to an inline declaration.

Arguments

#id: fieldT, localT
ID of the variable.

#reference: fieldT, localT
Reference to the first variable in the inline declaration.

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',inlinedT,[
     ast_arg(id,     mult(1,1,no ), id,   [fieldT, localT]),
     ast_arg(ref,    mult(1,1,no ), id,   [fieldT, localT]) 
]).
research/jtransformer/api/java/pefs/2.9/inlinedt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019