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:exect [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
  
 +----
 +
 +=== execT(#id, #parent, #encl, #​expr) ​ ===
 +
 +Represents the execution of an expression in a block. \\ 
 +Converts an expression to a statement.
 +
 +=== Attributes ===
 +== ==
 +**#id:** id \\ 
 +the unique ID assigned to this fact.
 +
 +**#​parent:​** id\\ 
 +ID of the parent node.
 +
 +**#encl:** [[methodt|methodT]],​ [[constructort|constructorT]],​ [[classinitializert|classInitializerT]]\\ ​
 +ID of the enclosing element.
 +
 +**#expr:** [[plastexpression|expression]],​[[classt|classT]]\\ ​
 +ID of the expression to be executed. In the case of a local class the ID of that class.
 + 
 +=== Sample Java Source ===
 +==  ==
 +<Code lang-java>​
 +void myExe(){
 + int i =10;
 + int j = 9;
 + j = i * j;//​corresponding code line to execT
 +}
 +</​Code>​
 +
 +
 +=== Its PEF Representation ===
 +
 +==  ==
 +<Code lang-prolog>​
 +methodT(#​Method,​ _, '​myExe',​ [], type(basic, void, 0), [], #Block),
 +blockT(#​Block,​ #Method, #Method, [_, _, #ExecT]),
 +...
 +execT(#​ExecT,​ #Block, #Method, #​Assign), ​   %% execT
 +assignT(#​Assign,​ #ExecT, #Method, _, _),
 +...
 +</​Code>​
 +
 +=== AST Specification ===
 +== ==
 +<​Code>​
 +ast_node_type_spec(execT,​[
 +     ​ast_arg(id, ​     mult(1,1,no ), id,  [execT]),
 +     ​ast_arg(parent, ​ mult(1,1,no ), id,  [id]),
 +     ​ast_arg(encl, ​   mult(1,1,no ), id,  [methodT, constructorT,​ classInitializerT]),​
 +     ​ast_arg(expr, ​   mult(1,1,no ), id,  [expressionType,​ classT])
 +]).
 +</​Code>​
 +
 + 
research/jtransformer/api/java/pefs/4.2/exect.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019