SDA SE Wiki

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

User Tools

Site Tools



thisT(#id)

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.

Arguments

#id: identT
ID of the access to super.

Sample Java Source

Object o = this;

Its PEF Representation

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

AST Specification

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

SEWiki, © 2019