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

    -- Context_Clause ::=
    --     With_Clause Pragma_Clause { Use_Clause Pragma_Clause }

begin
    -- Context_Clause

    With_Clause (Current_Compilation_Unit => Current_Compilation_Unit,
                 Program_Unit => Program_Unit,
                 Halstead => Halstead,
                 Loc => Loc,
                 Mccabe => Mccabe);
    Pragma_Clause (Current_Compilation_Unit => Current_Compilation_Unit,
                   Program_Unit => Program_Unit,
                   Halstead => Halstead,
                   Loc => Loc,
                   Mccabe => Mccabe);

    Process_Use_Clauses:
        -- for every Use clause
        while Token_Package.Value_Of (Peek (From => Current_Compilation_Unit)) =
                 Token_Package.Use_Token loop

            Use_Clause (Current_Compilation_Unit => Current_Compilation_Unit,
                        Program_Unit => Program_Unit,
                        Halstead => Halstead,
                        Loc => Loc,
                        Mccabe => Mccabe);
            Pragma_Clause (Current_Compilation_Unit => Current_Compilation_Unit,
                           Program_Unit => Program_Unit,
                           Halstead => Halstead,
                           Loc => Loc,
                           Mccabe => Mccabe);

        end loop Process_Use_Clauses;

end Context_Clause;