Exit (RETURN)
The exit operator creates an action that exits from the inmost action call. Control is passed to the first action following that call operator.
Language
The syntax of the exit operator is described by the RETURN
operator.
Examples
importFile {
LOCAL file = FILE ();
INPUT f = FILE DO {
file () <- f;
}
IF NOT file() THEN RETURN;
}