|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 3072 (0xc00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Download_Times, seg_0211c6
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Calendar;
with Directory;
with Generic_File_Table;
package Download_Times is
-- Contains functions that maintain the "Download_Times" file that will be
-- created in the "Tool_State" directory of every "I386_Unix_Als_Xt" view.
-- The "Download_Times" file is updated during successful Promotes.
type Table_Entry is
record
Obj : Directory.Object;
Time : Calendar.Time;
end record;
-- Each entry in the download file table contains a field for the directory
-- object and also the time when it was last downloaded.
function Match (The_Entry1, The_Entry2 : Table_Entry) return Boolean;
-- Looks in the "Download_Times" table for a given entry.
function Download_Times_File_Name
(In_View : Directory.Object) return String;
-- Name of the "Download_Times" file.
function Is_Empty (Element : Table_Entry) return Boolean;
-- Returns true if a given entry is free.
procedure Print_Element (Element : Table_Entry);
-- Prints an entry of the table.
package Table is new Generic_File_Table
(Table_Entry, Match, Is_Empty, Print_Element);
-- Derives all operations from a generic table operations package.
end Download_Times;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=1c rec1=00 rec2=01 rec3=042
[0x01] rec0=0a rec1=00 rec2=02 rec3=000
tail 0x2171d579e838d6ae5cb3b 0x42a00088462065003