DataMuseum.dk

top - download

    Length: 1480 (0x5c8)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

package System_Backup is

    subtype Id is Natural;
    type Kind is (Full, Primary, Secondary);
    -- Full backup is self-sufficient
    -- Primary incremental is a differential from last Full backup
    -- Secondary incremental is a differential from last Primary

    procedure Backup (Variety : Kind := System_Backup.Full);
    -- Take a backup of kind Variety.

    procedure History (Entry_Count : Positive := 10;
                       Full_Backups_Only : Boolean := False;
                       Tape_Information : Boolean := False);

    -- print a list of Entry_Count previous backups.  Full_Backups_Only
    -- implies showing only Full backups.  Tape_Information implies a list
    -- of tapes involved in each.

    generic
        with procedure Backup_Starting (Is_Full : Boolean);
        with procedure Backup_Finishing (Was_Successful : Boolean);
    procedure Backup_Generic (Variety : Kind; Wait_Until : String);

    -- Complete form of Backup.
    --
    -- Backup starts at the time specified in wait_until.  The tape is mounted
    -- now, then Backup pauses until the time specified.  Backup_Starting
    -- is then called, the backup happens, then Backup_Finishing is called.
    --
    -- The formal procedures are provided to allow setting up the machine for
    -- a backup at the last moment.  Usually used to alter scheduling
    -- parameters and the like.

    pragma Subsystem (Os_Commands);
    pragma Module_Name (4, 3924);
end System_Backup;