DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦4b2a84df3⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Cdb_Maintenance, seg_012b4a

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

E3 Source Code



package Cdb_Maintenance is

    procedure Verify (Subsystems       : String  := "<SELECTION>";
                      Verify_Cdb       : Boolean := True;
                      Verify_Ada_Units : Boolean := True;
                      Response         : String  := "<PROFILE> ~$$$");

    function Verify (Subsystems       : String  := "<SELECTION>";
                     Verify_Cdb       : Boolean := True;
                     Verify_Ada_Units : Boolean := True;
                     Response         : String  := "<QUIET>") return Boolean;

    -- Verify that the CDBs for a set of subsystems are internally
    -- consistent and that the ada units in the subsystems are
    -- consistent with the compatibility databases.  If there are
    -- errors in the CDB itself, then the CDB must be destroyed; if
    -- there are errors in ada units, the units must be demoted to
    -- source and recompiled.  The functional form returns TRUE
    -- if the CDB is valid and the ada units are consistent with
    -- the CDB.


    procedure Compare (Primary_Subsystem   : String := "<REGION>";
                       Secondary_Subsystem : String := "<IMAGE>";
                       Response            : String := "<PROFILE> ~$$$");

    function Compare (Primary_Subsystem   : String := "<REGION>";
                      Secondary_Subsystem : String := "<IMAGE>";
                      Response            : String := "<QUIET>") return Boolean;

    -- Check that the CDB for a secondary copy of a subsystem is
    -- consistent with that in the primary copy.  The CDBs for a
    -- secondary copy of a subsystem will be inconsistent with that
    -- of the primary copy when there has been unsynchronized
    -- development in the secondary copy (i.e., it was temporarily
    -- made into a primary copy.  This command only checks that the
    -- CDB for the secondary copy is consistent with that of the
    -- primary copy, it does not check that the primary copy is
    -- internally consistent; nor does it check that the ada units
    -- are consistent with the CDBs (both of which can be checked
    -- using the Verify command).  The functional form returns
    -- TRUE if the secondary copy is consistent with the primary.


    procedure Destroy (Subsystems : String := "<SELECTION>";
                       Response   : String := "<PROFILE>");

    -- Destroy the compatibility database for a subsystem.  All
    -- ada units in the subsystem will be demoted to source and
    -- all code views in the subsystem will be destroyed.  When
    -- destroying the CDB for a primary subsystem, the CDB must
    -- be destroyed in all secondary copies (on all machines).
    -- After destroying the CDB in a secondary subsystem, the
    -- CDB should be rebuilt by updating it from the primary
    -- copy (using the Update command).


    procedure Update (Subsystem    : String := "<SELECTION>";
                      From_Primary : String := "<ASSOCIATED_PRIMARY>";
                      Response     : String := "<PROFILE>");

    -- Updates the CDB for a secondary copy of a subsystem
    -- from the CDB in the primary copy, provided that the
    -- primary copy resides on the local machine or on a
    -- machine that is reachable over the network.


    procedure Display (Subsystems               : String  := "<SELECTION>";
                       Unit_Maps                : Boolean := True;
                       Declaration_Maps         : Boolean := False;
                       Offset_Maps              : Boolean := False;
                       Compatibility_Signatures : Boolean := False;
                       Response                 : String  := "<PROFILE>");

    -- Display the contents of the CDB for a subsystem.  If the
    -- SUBSYSTEMS parameter specifies the names of ada units, then
    -- the maps and signatures for only those units will be displayed.


    procedure Convert (Subsystems : String := "<SELECTION>";
                       Response   : String := "<PROFILE>");

    -- Convert the CDB from the Delta-0 format to the Delta-1 format.
    -- This command MUST be run on each subsystem before performing
    -- ANY compilation in the subsystem.  The command can be run more
    -- than once on a subsystems with no ill effects.  This command
    -- does not perform a verification of the CDB; corrupted CDBs
    -- will be converted (possibly incorrectly).

end Cdb_Maintenance;

E3 Meta Data

    nblk1=5
    nid=0
    hdr6=a
        [0x00] rec0=14 rec1=00 rec2=01 rec3=052
        [0x01] rec0=13 rec1=00 rec2=02 rec3=070
        [0x02] rec0=15 rec1=00 rec2=03 rec3=046
        [0x03] rec0=15 rec1=00 rec2=04 rec3=02c
        [0x04] rec0=0b rec1=00 rec2=05 rec3=000
    tail 0x2170e64fc82b14de1d88c 0x42a00088462063203