\HeaderA{Control}{Control Flow}{Control}
\aliasA{break}{Control}{break}
\aliasA{else}{Control}{else}
\aliasA{for}{Control}{for}
\aliasA{if}{Control}{if}
\aliasA{in}{Control}{in}
\aliasA{next}{Control}{next}
\aliasA{repeat}{Control}{repeat}
\aliasA{while}{Control}{while}
\keyword{programming}{Control}
\keyword{iteration}{Control}
\keyword{logic}{Control}
\begin{Description}\relax
These are the basic control-flow constructs of the \R{} language.  They
function in much the same way as control statements in any Algol-like
language.  They are all \LinkA{reserved}{reserved} words.
\end{Description}
\begin{Usage}
\begin{verbatim}
if(cond) expr
if(cond) cons.expr  else  alt.expr

for(var in seq) expr
while(cond) expr
repeat expr
break
next
\end{verbatim}
\end{Usage}
\begin{Arguments}
\begin{ldescription}
\item[\code{cond}] A length-one logical vector that is not \code{NA}.
Conditions of length greater than one are accepted with a warning, but
only the first element is used.  Other types are coerced to logical
if possible, ignoring any class.

\item[\code{var}] A syntactical name for a variable.
\item[\code{seq}] An expression evaluating to a vector (including a list and
an \LinkA{expression}{expression}) or to a \LinkA{pairlist}{pairlist} or \code{NULL}.
\item[\code{expr, cons.expr, alt.expr}] An \emph{expression} in a formal sense.  This is either a
simple expression or a so called \emph{compound expression}, usually
of the form \code{\{ expr1 ; expr2 \}}.

\end{ldescription}
\end{Arguments}
\begin{Details}\relax
\code{break} breaks out of a \code{for}, \code{while} or \code{repeat}
loop; control is transferred to the first statement outside the
inner-most loop. \code{next} halts the processing of the current
iteration and advances the looping index.  Both \code{break} and
\code{next} apply only to the innermost of nested loops.

Note that it is a common mistake to forget to put braces (\code{\{ .. \}})
around your statements, e.g., after \code{if(..)} or \code{for(....)}.
In particular, you should not have a newline between \code{\}} and 
\code{else} to avoid a syntax error in entering a \code{if ... else}
construct at the keyboard or via \code{source}.
For that reason, one (somewhat extreme) attitude of defensive programming
is to always use braces, e.g., for \code{if} clauses.

The index \code{seq} in a \code{for} loop is evaluated at the start of
the loop; changing it subsequently does not affect the loop.  The
variable \code{var} has the same type as \code{seq}, and is read-only:
assigning to it does not alter \code{seq}.  If \code{seq} is a factor
(which is not strictly allowed) then its internal codes are used: the
effect is that of \code{\LinkA{as.integer}{as.integer}} not
\code{\LinkA{as.vector}{as.vector}}.
\end{Details}
\begin{Value}
\code{if} returns the value of the expression evaluated, or
\code{NULL} if none was (which may happen if there is no \code{else}).

\code{for}, \code{while} and \code{repeat} return the value of the
last expression evaluated (or \code{NULL} if none was), invisibly.
\code{for} sets \code{var} to the last used element of \code{seq},
or to \code{NULL} if it was of length zero.

\code{break} and \code{next} have value \code{NULL}, although it would
be strange to look for a return value.
\end{Value}
\begin{References}\relax
Becker, R. A., Chambers, J. M. and Wilks, A. R. (1988)
\emph{The New S Language}.
Wadsworth \& Brooks/Cole.
\end{References}
\begin{SeeAlso}\relax
\code{\LinkA{Syntax}{Syntax}} for the basic \R{} syntax and operators,
\code{\LinkA{Paren}{Paren}} for parentheses and braces; further,
\code{\LinkA{ifelse}{ifelse}}, \code{\LinkA{switch}{switch}}.
\end{SeeAlso}
\begin{Examples}
\begin{ExampleCode}
for(i in 1:5) print(1:i)
for(n in c(2,5,10,20,50)) {
   x <- stats::rnorm(n)
   cat(n,":", sum(x^2),"\n")
}
\end{ExampleCode}
\end{Examples}

