SDA SE Wiki

Represents the continue statement.

#id: id
the unique ID assigned to this fact.

#parent: id
ID of the parent node.

#enclMethod: methodT, constructorT, 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 statement
ID of the statement where to jump.

void main() {
    while(true){
	   if(true){
	     continue;
	   }
    }
}

methodT(#Method, _, 'main', [], type(basic, void, 0), [], _),
...
whileT(#While, _, #Method, _, _),                  %Target of continue
...
continueT(#Continue, #Block, #Method, 'null', #While).   %Continue

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])
]).