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:continuet [2018/05/09 01:59] (current)
Line 1: Line 1:
 +{{page>​prologast_bodypef_index&​fullpage&​nofooter}}
 +
 +----
 +
 +=== continueT(#​id,​ #parent, #​enclMethod,​ '​label',​ #​target) ​ ===
 +
 +
 +Represents the continue statement.
 +
 +===Attributes===
 +== ==
 +**#id:** id\\ 
 +the unique ID assigned to this fact.
 +
 +**#​parent:​** id\\ 
 +ID of the parent node.
 +
 +**#​enclMethod:​** [[methodt|methodT]],​ [[constructort|constructorT]],​ [[classinitializert|classInitializerT]]\\ ​
 +ID of the enclosing method declaration.
 +
 +**'​label':​** atom\\ ​
 +label of this continue statement, or '​null'​ if there is none.\\ ​
 +If label is '​null'​ continue leaves the enclosing loop. Otherwise the loop marked with this label.
 +
 +**#target** [[plaststatement|statement]]\\ ​
 +ID of the statement where to jump.\\  ​
 + 
 +=== Sample Java Source===
 +==  ==
 +<Code lang-java>​
 +void main() {
 +    while(true){
 +    ​if(true){
 +      ​continue;​
 +    }
 +    }
 +}
 +</​Code>​
 +
 +
 +=== Its PEF Representation ===
 +
 +==  ==
 +<Code lang-prolog>​
 +methodT(#​Method,​ _, '​main',​ [], type(basic, void, 0), [], _),
 +...
 +whileT(#​While,​ _, #Method, _, _),                  %Target of continue
 +...
 +continueT(#​Continue,​ #Block, #Method, '​null',​ #​While). ​  ​%Continue
 +</​Code>​
 +
 +===AST Specification===
 +== ==
 +<​Code>​
 +ast_node_type_spec(continueT,​ [
 +     ​ast_arg(id, ​     mult(1,1,no ), id,   ​[continueT]),​
 +     ​ast_arg(parent, ​ mult(1,1,no ), id,   ​[id]),​
 +     ​ast_arg(encl, ​   mult(1,1,no ), id,   ​[methodT,​ constructorT,​ classInitializerT]),​
 +     ​ast_arg(label, ​  ​mult(1,​1,​no ), attr, [atomic]),
 +     ​ast_arg(target, ​ mult(0,1,no ), id,   ​[statementType])
 +]).
 +</​Code>​
 + 
 +
  
research/jtransformer/api/java/pefs/4.2/continuet.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019