SDA SE Wiki

This fact marks an identT as access to this. The identT references a class and without this marker it would require an additional, non-trivial, analysis to distinguish between this and super.

Supported since JTransformer 4.1.

#id: identT
ID of the access to super.

Object o = this;

localT(#Local, ..., #encl, #refToObject, 'o', #fieldAccess).
fieldAccessT(#fieldAccess, #Local, #encl, #id3, #abc, #refToFieldType).
identT(#id3, #fieldAccess, #encl, #RefToThis).
thisT(#id3).

ast_relation_type_spec(thisT,[
     ast_arg(id,     mult(1,1,no ), id,   [identT]) 
]).