⟦dc397ddde⟧

E3 Source Code



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

Rational R1000/400

⟦dc397ddde⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
