v0.1/chi/reference-manual/rail_diagrams/choice_statement.tex

% ------------------------------------------------------------------------------
% Copyright (c) 2010, 2021 Contributors to the Eclipse Foundation
%
% See the NOTICE file(s) distributed with this work for additional
% information regarding copyright ownership.
%
% This program and the accompanying materials are made available under the terms
% of the MIT License which is available at https://opensource.org/licenses/MIT
%
% SPDX-License-Identifier: MIT
% ------------------------------------------------------------------------------
\begin{rail}
ChoiceStatement : IFKW BooleanExpression COLONTK ( Statement + SEMICOLTK ) \\
                  ( ()
                  | ( ELIFKW BooleanExpression COLONTK ( Statement + SEMICOLTK ) ) + ()
                  ) \\
                  ( ()
                  | ( ELSEKW COLONTK ( Statement + SEMICOLTK ) )
                  )
                  ENDKW ;
\end{rail}