DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - metrics - download
Index: B T

⟦0d971f42b⟧ TextFile

    Length: 11268 (0x2c04)
    Types: TextFile
    Names: »B«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

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

    --====================================================================
    -- Generic_Parameter_Declaration #::=
    --     "WITH" Subprogram_Generic_Parameter [ "IS" Box_Or_Name ] ";"
    --   | "TYPE" <IDENTIFIER>
    --        $ next token is "(" $
    --           1. Formal_Part  "IS" Private_Type_Definition ";"
    --           2. "IS" Generic_Type_Definition ";"
    --   | ID_List ":" [ "IN" [ "OUT" ] ] Expanded_Name
    --        [ ":=" Expression ] ";"
    --====================================================================

    Current_Token : Token_Package.Token;
    Current_Unit_Kind : Program_Unit_Kind;
    Parameters_Count : Natural;

begin
    -- Generic_Parameter_Declaration

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

        when Token_Package.With_Token =>
            -- increment Halstead parameter count
            Halstead.Change_Parameters_Count;

            -- increment LOC data declaration count
            Loc.Change_Data_Declarations_Count;

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

            -- increment Halstead WITH operator count
            Halstead.Store_Operator ((Kind => Halstead_Operator.With_Halstead));

            Subprogram_Generic_Parameter
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe,
                Subprogram_Kind => Current_Unit_Kind);

            if Token_Package.Value_Of (Peek
                                          (From => Current_Compilation_Unit)) =
               Token_Package.Is_Token then

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

                if Current_Unit_Kind = Procedure_Specification then

                    -- increment Halstead PROCEDURE_IS operator count
                    Halstead.Store_Operator
                       ((Kind => Halstead_Operator.Procedure_Is_Halstead));

                else
                    -- FUNCTION_SPECIFICATION

                    -- increment Halstead FUNCTION_IS operator count
                    Halstead.Store_Operator
                       ((Kind => Halstead_Operator.Function_Is_Halstead));

                end if;

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

            else

                if Current_Unit_Kind = Procedure_Specification then

                    -- increment Halstead PROCEDURE operator count
                    Halstead.Store_Operator
                       ((Kind => Halstead_Operator.Procedure_Halstead));

                else
                    -- FUNCTION_SPECIFICATION

                    -- increment Halstead FUNCTION operator count
                    Halstead.Store_Operator
                       ((Kind => Halstead_Operator.Function_Halstead));

                end if;

            end if;

        when Token_Package.Type_Token =>
            Get_Next_Token (Out_Token => Current_Token,
                            From => Current_Compilation_Unit,
                            Current_Loc => Loc);

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

            if "/=" (Token_Package.Class_Of (Current_Token),
                     Token_Package.Identifier) then
                raise Syntax_Error;
            end if;

            -- increment Halstead operand count
            Halstead.Store_Operand (Halstead_Operand.Definition
                                       (Token_Package.Value_Of
                                           (This_Token => Current_Token)));

            if Token_Package.Value_Of (Peek
                                          (From => Current_Compilation_Unit)) =
               Token_Package.Left_Parenthesis_Token then

                Formal_Part
                   (Current_Compilation_Unit => Current_Compilation_Unit,
                    Program_Unit => Program_Unit,
                    Halstead => Halstead,
                    Loc => Loc,
                    Mccabe => Mccabe,
                    Formal_Parameters_Count => Parameters_Count);

                -- increment Halstead parameter count
                Halstead.Change_Parameters_Count
                   (The_Amount_To_Change => Parameters_Count);

                -- increment LOC data declaration count
                Loc.Change_Data_Declarations_Count
                   (The_Amount_To_Change => Parameters_Count);

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

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

                -- increment Halstead TYPE_IS operator count
                Halstead.Store_Operator
                   ((Kind => Halstead_Operator.Type_Is_Halstead));

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

            else
                -- use 2nd production

                -- increment Halstead parameter count
                Halstead.Change_Parameters_Count;

                -- increment LOC data declaration count
                Loc.Change_Data_Declarations_Count;

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

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

                -- increment Halstead TYPE_IS operator count
                Halstead.Store_Operator
                   ((Kind => Halstead_Operator.Type_Is_Halstead));

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

            end if;

        when others =>
            Id_List (Current_Compilation_Unit => Current_Compilation_Unit,
                     Program_Unit => Program_Unit,
                     Halstead => Halstead,
                     Loc => Loc,
                     Mccabe => Mccabe,
                     Number_Of_Identifiers => Parameters_Count);

            -- increment Halstead parameter count
            Halstead.Change_Parameters_Count
               (The_Amount_To_Change => Parameters_Count);

            -- increment LOC data declaration count
            Loc.Change_Data_Declarations_Count
               (The_Amount_To_Change => Parameters_Count);

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

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

            -- increment Halstead COLON operator count
            Halstead.Store_Operator ((Kind =>
                                         Halstead_Operator.Colon_Halstead));

            if Token_Package.Value_Of (Peek
                                          (From => Current_Compilation_Unit)) =
               Token_Package.In_Token then

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

                if Token_Package.Value_Of
                      (Peek (From => Current_Compilation_Unit)) =
                   Token_Package.Out_Token then

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

                    -- increment Halstead IN_OUT operator count
                    Halstead.Store_Operator
                       ((Kind => Halstead_Operator.In_Out_Halstead));
                else
                    -- increment Halstead IN operator count
                    Halstead.Store_Operator
                       ((Kind => Halstead_Operator.In_Halstead));
                end if;
            end if;

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

            if Token_Package.Value_Of (Peek
                                          (From => Current_Compilation_Unit)) =
               Token_Package.Assignment_Token then

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

                -- increment Halstead ASSIGNMENT operator count
                Halstead.Store_Operator
                   ((Kind => Halstead_Operator.Assignment_Halstead));
                -- until ";" is found
                Expression
                   (Current_Compilation_Unit => Current_Compilation_Unit,
                    Program_Unit => Program_Unit,
                    Halstead => Halstead,
                    Loc => Loc,
                    Mccabe => Mccabe,
                    Terminate_Tokens =>
                       Set_Of_Tokens'(1 => Token_Package.Semicolon_Token));
            end if;

    end case;

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

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

    -- increment Halstead SEMICOLON operator count
    Halstead.Store_Operator ((Kind => Halstead_Operator.Semicolon_Halstead));

end Generic_Parameter_Declaration;