⟦8614d9bc6⟧

E3 Source Code



package Cmvc_Maintenance is
    procedure Expunge_Database (In_Subsystem : String := "<CURSOR>";
                                Response     : String := "<PROFILE>");

    -- Free up space in the Database by first finding all configurations
    -- in the database that no longer have objects and destroying them,
    -- then destroying all elements and join sets (with all of their
    -- generations) that are no longer referenced.

    procedure Delete_Unreferenced_Leading_Generations
                 (In_Subsystem : String := "<CURSOR>";
                  Response     : String := "<PROFILE>");

    -- Not yet implemented

    procedure Convert_Old_Subsystem (Which    : String := "<SELECTION>";
                                     Response : String := "<PROFILE>");

    -- Convert all of the views in a subsystem to CMVC subsystems.  This
    -- command can convert more than one subsystem per call.


    procedure Check_Consistency (Views    : String := "<CURSOR>";
                                 Response : String := "<PROFILE>");

    -- Verify that all of the views are consistent with the CMVC invariants.
    -- Checks that:
    --      The configurations all exist and are correct.
    --      There are no dangling controlled objects.
    --      The imports are ok, and that all of the imported subsystems
    --          record the reference.
    --      Various other things.

    ------------------------------------------------------------------------
    -- User level commands for manipulating the compatibility database (CDB)
    -- associated with subsystems.
    ------------------------------------------------------------------------

    procedure Display_Cdb (Subsystem  : String  := "<CURSOR>";
                           Show_Units : Boolean := False;
                           Response   : String  := "<PROFILE>");

    -- Displays a summary of the information in the CDB. If "show_units"
    -- is true, then a summary of information for the units currently
    -- known in the subsystem is also displayed.


    procedure Make_Primary (Subsystem      : String  := "<SELECTION>";
                            Moving_Primary : Boolean := False;
                            Response       : String  := "<PROFILE>");

    -- Makes the subsystem into a primary subsystem with its own read/write
    -- CDB.  If the subsystem was a primary this operation is a no-op.  If
    -- the subsystem is a secondary then a new subsystem_id is assigned.
    -- If "moving_primary" is set to true, then the location of the
    -- primary for this subsystem is being moved and the current subsystem_id
    -- will be used.  When moving a primary the user must make sure
    -- that the original primary is either destroyed or converted into
    -- a secondary to prevent corruption of the CDB.

    procedure Make_Secondary (Subsystem : String := "<SELECTION>";
                              Response  : String := "<PROFILE>");

    -- Makes the subsystem into a secondary with the same subsystem_id.


    procedure Destroy_Cdb (Subsystem   : String  := "<SELECTION>";
                           Limit       : String  := "<WORLDS>";
                           Effort_Only : Boolean := True;
                           Response    : String  := "<PROFILE>");

    -- Destroys the CDB  and all remnants of it in compiled units.
    -- This includes demoting ALL units in the subsystem to source
    -- and deleting all code-only views.  If "effort-only" is set
    -- to true, then the effects of the operation are computed
    -- and displayed.


    procedure Update_Cdb (From_Subsystem : String := "<ASSOCIATED_PRIMARY>";
                          To_Subsystem   : String := "<SELECTION>";
                          Response       : String := "<PROFILE>");

    -- Moves the CDB from one subsystem to another using the network
    -- if necessary.  Both subsystems must have the same subsystem_id.


    procedure Repair_Cdb (Subsystem      : String  := "<SELECTION>";
                          Verify_Only    : Boolean := True;
                          Delete_Current : Boolean := False;
                          Response       : String  := "<PROFILE>");

    -- Will rebuild the CDB to be consistent with the currently compiled
    -- units in the subsystem.  If "verify_only" is true then the CDB
    -- will not be changed, but will be checked for consistency with
    -- the currently compiled units.  If "verify_only" is false and
    -- "delete_current" is true then the current CDB will be deleted
    -- and then rebuilt.  If the "verify_only" is false and
    -- "delete_current" is false then existing entries in the CDB
    -- will be verified and missing entries will be added.

    procedure Display_Code_View (View              : String  := "<CURSOR>";
                                 Verbose_Unit_Info : Boolean := False;
                                 Show_Map_Info     : Boolean := False;
                                 Response          : String  := "<PROFILE>");

    -- Display information about the code view.
    -- The units in the code view are displayed.  If "verbose_unit_info"
    -- is set then context dependencies and other unit information is
    -- displayed.  If "show_map_info" is set then the mapping of
    -- code segments and exceptions from the code view to the original
    -- view is displayed.


    pragma Subsystem (Cmvc);
    pragma Module_Name (4, 3707);
end Cmvc_Maintenance;
DataMuseum.dk

Rational R1000/400

⟦8614d9bc6⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
