separate (Compilation_Unit.Produce_Metrics)
procedure Accept_Alternative
             (Current_Compilation_Unit : in out Ada_Compilation_Unit;
              Program_Unit : in Program_Unit_State_Machine;
              Halstead : in Halstead_State_Machine;
              Loc : in Loc_State_Machine;
              Mccabe : in Mccabe_State_Machine) is

    --=========================================================
    -- Accept_Alternative ::=
    --      Accept_Statement [ Sequence_Of_Statements ]
    --=========================================================

begin
    -- Accept_Alternative

    Accept_Statement (Current_Compilation_Unit => Current_Compilation_Unit,
                      Program_Unit => Program_Unit,
                      Halstead => Halstead,
                      Loc => Loc,
                      Mccabe => Mccabe);

    case Token_Package.Value_Of (Peek (From => Current_Compilation_Unit)) is

        when Token_Package.Or_Token | Token_Package.Else_Token |
             Token_Package.End_Token =>
            null; -- no Sequence_Of_Statements

        when others =>
            Sequence_Of_Statements
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

    end case;

end Accept_Alternative;