MANET Join Points

This page presents the join point hierarchy that is available through MANET. With this information, we know what chains of join points we can select in order to target specific points of interest in our programs.

Any join point types that appear on the Child Join Point column but not on the Join Point column have their own join point type and cannot select any other join points.

Any join point on the first column that has another join point underneath and between parentheses extends that join point. This means that it inherits all of its child join points, attributes and actions. For instance, arrayAccess extends expression.

Join Point	Child Join Point	Alias	Description
program	file		All files inside a program.
file	pragma		All pragmas inside a file.
	header	first_header	The first header inclusion.
	function		All function inside the file.
var	expression	index	All the expressions used as indeces if this variable use is a part of an array access. If it is not, then an empty list is returned.
function	prototype	All declarations of this function.
	declaration	param	All parameters of this function.
	body		The body of this function. This is everything enclosed by the function brackets `{}`.
prototype	declaration	param	All parameters of the declaration.
body	declaration	first_decl	The first declaration found on the body.
	declaration	decl	All declarations of the body.
	declaration	last_decl	The last declaration found on the body.
	statement	first_stmt	The first statement found on the body.
	statement	stmt	All statements of the body.
	statement	last_stmt	The last statement found on the body.
	return		All return statements of the body.
	var		All variable uses of the body.
	loop		All loops of the body.
	assignment		All assignments of the body.
	call		All calls of the body.
	pragma		All pragmas of the body.
	if		All IF statements of the body.
	arrayAccess		All array accesses of the body.
loop	statement	init	The initial statement of the loop.
	expression	cond	The stopping condition of the loop.
	expression	step	The step expression that changes the control variable of the loop.
	body		The body of this loop. This is everything enclosed by the loop brackets `{}`.
assignment (expression)	expression	lhs	The left hand side of the assignment.
assignment (expression)	expression	rhs	The right hand side of the assignment.
call (expression)	expression	arg	All the arguments of the function call.
if	expression	cond	The condition of the IF statement.
	body	then	The body of the THEN block.
	body	else	The body of the ELSE block.
statement	var		All variable uses inside the statement.
expression	var		All variable uses inside the expression.
expression	call		All function calls inside the expression.
binaryExpression (expression)	expression	lhs	The left hand side of the binary expression.
binaryExpression (expression)	expression	rhs	The right hand side of the binary expression.
arrayAccess (expression)	expression	index	All the expressions used as indices on the array access.

LARA Wiki

Sidebar

MANET Join Points

LARA Wiki

User Tools

Site Tools

Sidebar

MANET Join Points

Page Tools