⟦4d4708114⟧

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;
DataMuseum.dk

Rational R1000/400

⟦4d4708114⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
