SDA SE Wiki

This fact marks an identT as access to super. 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 = super.abc;

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

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