DataMuseum.dk

top - metrics - download

    Length: 4419 (0x1143)
    Types: TextFile
    Names: »V«

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

TextFile

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;