SDA SE Wiki

Represents the labeled statement.

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

#parent: id
ID of the parent node.

#encl: methodT, constructorT, classInitializerT, fieldT
ID of the enclosing element declaration.

#body: statement
ID of the body of this labeled statement.

'name': atom
the name of this label.

public void helloWorld() {
		hello:                                    //labelT
		System.out.println("Hello World!");
	}
}

methodT(#encl, ..., 'helloWorld', [], type(basic, void, 0), [], #parent),
blockT(#parent, ... , #encl, [#id]),
labelT(#id, #parent, #encl, #body, 'hello'),

ast_node_type_spec(labelT, [
     ast_arg(id,      mult(1,1,no), id,   [labelT]),
     ast_arg(parent,  mult(1,1,no), id,   [id]),
     ast_arg(encl,    mult(1,1,no), id,   [methodT, constructorT, classInitializerT, fieldT]),
     ast_arg(body,    mult(1,1,no), id,   [statementType]),
     ast_arg(label,   mult(1,1,no), attr, [atom])
]).