SDA SE Wiki

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

User Tools

Site Tools



preserve_inlinedT(#id, #reference)

This fact is 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.

History
  • JTransformer 2.9: Added as inlinedT
  • JTransformer 4.0: Renamed to preserve_inlineDeclarationT

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).
preserve_inlineDeclarationT(FirstField, [SecondField, ThirdField]).
preserve_inlinedT(SecondField, FirstField).
preserve_inlinedT(ThirdField, FirstField).

AST Specification

ast_relation_type_spec(preserve_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/4.0/preserve_inlinedt.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019