Declarations

Previous

Next

6 Declarations

declarations	::=	declarations declaration
	\|	declaration
declaration	::=	typExp ident (= exp)^?;
	\|	location typExp ident(args^?);
	\|	typExp ident(args^?) {stmt⁺}
	\|	type ident { (typExp ident;)⁺};
location	::=	remote
	\|	local
args	::=	arg (, arg)^*
arg	::=	typExp ident

Notes :

Initialize an identifier with a forward expression is only allowed in a method, this is a signaling action. So, it cannot happen in blocks like processing, registration and session outside of a method.
A function can only call another one which is already declared.

Previous

Next