DataMuseum.dk

top - metrics - download

    Length: 982 (0x3d6)
    Types: TextFile
    Names: »V«

└─⟦5829e5ed5⟧ Bits:30000534 8mm tape, Rational 1000, RCI 2_0_5
    └─⟦c9a165082⟧ »DATA« 
        └─⟦c3895f76e⟧ 
            └─⟦this⟧ 

TextFile

with Directory;
with Profile;
with Simple_Status;

package Compilation_Interface is
    type Data_Array is array (Natural range <>) of Directory.Object;

    -- Bundle a Condition with a unit list.
    type Unit_List (Size : Natural) is
        record
            Condition : Simple_Status.Condition;
            Data : Data_Array (1 .. Size);
        end record;


    -- Convert the internal representation of a unit to a Directory.Object.

    function Promotion_Prerequisites
                (The_Unit : Directory.Object;
                 Response : Profile.Response_Profile) return Unit_List;

    -- Return the coding prerequisites of The_Unit.


    function Demotion_Effects
                (The_Unit : Directory.Object;
                 Response : Profile.Response_Profile) return Unit_List;

    -- Return the list of units that will be obsolesced by
    -- the demotion of The_Unit.

    pragma Module_Name (4, 4132);
    pragma Bias_Key (32);

end Compilation_Interface;