DataMuseum.dk

top - metrics - download

    Length: 2737 (0xab1)
    Types: TextFile
    Names: »B«

└─⟦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

with Attribute_Options;
use Attribute_Options;
separate (Inquiry_Operations)

--  This subprogram loops over the currently selected files, looking
--    for records containing NAME.
--  If NAME is omitted (BLANK), then echos ALL records in files

procedure Put_Files (Name : in Unit_Name_Type := Blank_Name;
                     From : in out File_Array;
                     File : in File_Type) is
    C_Data : Compilation_Record_Type;
    R_Data : Run_Time_Record_Type;
    I_Data : Instrumentation_Record_Type;
begin
    if Attribute_Options.Is_Set (Short) then
        Put_Line (File, Io_Package.R_Header); -- R.HEADER has all the fields
    end if;
    for Index in Statistics_File loop
        if From (Index).File_Exists then
            Reset (From (Index).Internal_Name);
            if not Attribute_Options.Is_Set (Short) then
                Put_Line (Statistics_File'Image (Index));
            end if;
            case Index is
                when Compilation =>
                    if not Attribute_Options.Is_Set (Short) then
                        Put_Line (File, Io_Package.C_Header);
                    end if;
                    while not End_Of_File (From (Index).Internal_Name) loop
                        Get (From (Index).Internal_Name, C_Data);
                        if C_Data.Test_Name = Name or Name = Blank_Name then
                            Put (File, C_Data);
                        end if;
                    end loop;
                when Run_Time =>
                    if not Attribute_Options.Is_Set (Short) then
                        Put_Line (File, Io_Package.R_Header);
                    end if;
                    while not End_Of_File (From (Index).Internal_Name) loop
                        Get (From (Index).Internal_Name, R_Data);
                        if R_Data.Test_Name = Name or Name = Blank_Name then
                            Put (File, R_Data);
                        end if;
                    end loop;
                when Instrumentation =>
                    if not Attribute_Options.Is_Set (Short) then
                        Put_Line (File, Io_Package.I_Header);
                    end if;
                    while not End_Of_File (From (Index).Internal_Name) loop
                        Get (From (Index).Internal_Name, I_Data);
                        if Name = Blank_Name then
                            Put (File, I_Data);
                        elsif I_Data.Test_Name = Name and
                              I_Data.Ident = Stop_Rec then
                            Put (File, I_Data);
                        end if;
                    end loop;
            end case;
            New_Line (File);
        end if;
    end loop;
end Put_Files;