SDA SE Wiki

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

User Tools

Site Tools



superT(#id)

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.

Arguments

#id: identT
ID of the access to super.

Sample Java Source

Object o = super.abc;

Its PEF Representation

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

AST Specification

ast_relation_type_spec(superT,[
     ast_arg(id,     mult(1,1,no ), id,   [identT]) 
]).
research/jtransformer/api/java/pefs/4.2/supert.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019