SDA SE Wiki

This fact is only used for preserving the original appearance of the source code after transformations. It declares that an array initialization (represented by a newArrayT fact) omits the explicit array instantiation in the orginal source code, being written as

int[] a = {1,2,3}; 

instead of

int[] a = new int[] {1,2,3} 

• JTransformer 4.0: Renamed from omitArrayDeclarationT to preserve_omitArrayDeclarationT
• JTransformer 4.1: Renamed to omit_arrayDeclarationT

#id: newArrayT
ID of the newArrayT element.

int[] a = {1,2,3}; 

fieldT(Field, _, _, 'a', NewArray),
newArrayT(NewArray, Field, Field, [], [Entry1, Entry2, Entry3], _),
literalT(Entry1, NewArray, Field, IntType, '1'),
literalT(Entry2, NewArray, Field, IntType, '2'),
literalT(Entry3, NewArray, Field, IntType, '3'),
omit_arrayDeclarationT(NewArray).

ast_relation_type_spec(omit_arrayDeclarationT,[
     ast_arg(id,     mult(1,1,no ), id,   [newArrayT]) 
]).