DataMuseum.dk

top - download

    Length: 1596 (0x63c)
    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

procedure Uninstall (Units                     : String  := "<SELECTION>";
                     Rebuild_Program_Libraries : Boolean := True;
                     Response                  : String  := "<PROFILE>");

-- Forces units to be demoted to the source  state without regard for any
-- dependencies (Thus, it is possible to have installed units that have
-- suppliers that are not installed ... so this command should be used
-- with extreme caution).  An attempt is made to destroy all listing
-- files, code segments and attribute spaces; but failure to destroy
-- any of these associated objects will not cause the demotion to fail
-- (any undestroyed objects will become permanent garbage if nothing
-- further is done to get rid of them).  The program libraries for the
-- enclosing worlds are not updated as part of the demotion and so they
-- must be rebuilt in order to make the world consistent again; any load
-- procs in the enclosing world that are not Delta-1 compatible must be
-- reloaded as a result of rebuilding the program library.  Units that
-- are not in the installed or coded state are ignored.

-- This command is intended to be used to demote units when the compiler
-- cannot demote a unit due to a bug in the system.  Typical problems
-- include inability to destroy an associated object during demotion,
-- problems with the program library for the associated world and
-- unhandled exceptions in the compiler itself.  This command requires
-- the user have privileges enabled.  The compiler need not be running
-- in order to use this command to demote units.