separate (Compilation_Unit.Produce_Metrics)
procedure Array_Type_Definition
             (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

    --=========================================================
    -- Array_Type_Definition ::=
    --   "ARRAY" Aggregate "OF" Subtype_Indication
    --=========================================================

    Current_Token : Token_Package.Token;
    Dummy_Count : Natural;

begin
    -- Array_Type_Definition

    Get_Next_Token (Out_Token => Current_Token,
                    From => Current_Compilation_Unit,
                    Current_Loc => Loc);

    if "/=" (Token_Package.Value_Of (Current_Token),
             Token_Package.Array_Token) then
        raise Syntax_Error;
    end if;

    Aggregate (Current_Compilation_Unit => Current_Compilation_Unit,
               Program_Unit => Program_Unit,
               Halstead => Halstead,
               Loc => Loc,
               Mccabe => Mccabe,
               Number_Of_Components => Dummy_Count);

    Get_Next_Token (Out_Token => Current_Token,
                    From => Current_Compilation_Unit,
                    Current_Loc => Loc);

    if "/=" (Token_Package.Value_Of (Current_Token),
             Token_Package.Of_Token) then
        raise Syntax_Error;
    end if;

    -- increment Halstead ARRAY_OF operator count
    Halstead.Store_Operator ((Kind => Halstead_Operator.Array_Of_Halstead));

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

end Array_Type_Definition;