DataMuseum.dk

top - download

    Length: 1590 (0x636)
    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 Uncode (Units                     : String  := "<SELECTION>";
                  Rebuild_Program_Libraries : Boolean := True;
                  Response                  : String  := "<PROFILE>");

-- Forces units to be demoted from the coded to installed state without
-- regard for any dependencies (Thus, it is possible to have coded units
-- that have suppliers that are not coded ... 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 compatibile must be reloaded
-- as a result of rebuilding the program library.  Units that are not in
-- the 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.  The compiler need not
-- be running in order to use this command to demote units.
--
-- The user must have privileged mode enabled to use this command.