SDA SE Wiki

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

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:jtransformer:api:java:pefs:4.2:supert [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
 +----
  
 +=== 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|identT]]\\ ​
 +ID of the access to super.
 +
 +=== Sample Java Source ===
 +== ==
 +<Code lang-java>​
 +Object o = super.abc;
 +</​Code>​
 +
 +
 +=== Its PEF Representation ===
 +==  ==
 +<​Code>​
 +localT(#​Local,​ ..., #encl, #​refToObject,​ '​o',​ #​fieldAccess).
 +fieldAccessT(#​fieldAccess,​ #Local, #encl, #id3, #abc, #​refToFieldType).
 +identT(#​id3,​ #​fieldAccess,​ #encl, #​superclass).
 +superT(#​id3).
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_relation_type_spec(superT,​[
 +     ​ast_arg(id, ​    ​mult(1,​1,​no ), id,   ​[identT]) ​
 +]).
 +</​Code>​
research/jtransformer/api/java/pefs/4.2/supert.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019