Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering
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.
#id: fieldT, localT
ID of the variable.
#reference: fieldT, localT
Reference to the first variable in the inline declaration.
... int i, j, k; ...
fieldT(FirstField, Parent, Type, 'i', null). fieldT(SecondField, Parent, Type, 'j', null). fieldT(ThirdField, Parent, Type, 'k', null). preserve_inlineDeclarationT(FirstField, [SecondField, ThirdField]). omit_fieldT(SecondField, FirstField). omit_fieldT(ThirdField, FirstField).
ast_relation_type_spec(omit_fieldT,[ ast_arg(id, mult(1,1,no ), id, [fieldT, localT]), ast_arg(ref, mult(1,1,no ), id, [fieldT, localT]) ]).