DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

This is an automatic "excavation" of a thematic subset of artifacts from Datamuseum.dk's BitArchive. See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - download

⟦d73f8a7aa⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Compilation_Interface, pragma Module_Name 4 4132, seg_00acbc

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

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.


    procedure Promote (The_Unit : Directory.Object;  
                       Condition : in out Simple_Status.Condition;
                       Response : Profile.Response_Profile);

    -- Promote The_Unit to the Coded state.  All suppliers should already be in
    -- the coded state.


    procedure Demote (The_Unit : Directory.Object;  
                      Condition : in out Simple_Status.Condition;
                      Response : Profile.Response_Profile);

    -- Demote The_Unit to the Installed state.  All referencers will have been
    -- demoted already.


    procedure Link (Main_Unit : Directory.Object;
                    Executable_Name : String := "<DEFAULT>";
                    Make : Boolean := False;
                    Condition : in out Simple_Status.Condition;
                    Response : Profile.Response_Profile);

    -- Link the Main_Unit on the remote target.  The result, if successful,
    -- should be an executable file on the remote target.  This operation will
    -- fail if units in the Main_Unit's execution closure are not in the CODED
    -- state.  If Make = True, all units in the execution closure will be coded
    -- before an attempt at linking the Main_Unit.
    --
    -- This operation will only be valid for library level procedures and
    -- functions.  Currently, this routine does not take into account the
    -- target compiler's restrictions on what a main unit can be.


    procedure Refresh_Suppliers (The_Unit : Directory.Object;
                                 The_View : String;
                                 Condition : in out Simple_Status.Condition;
                                 Response : Profile.Response_Profile);

    -- Refresh supplier dependencies on a unit by unit basis.  This should
    -- be called at install time.

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

end Compilation_Interface;

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=22 rec1=00 rec2=01 rec3=06a
        [0x01] rec0=18 rec1=00 rec2=02 rec3=022
        [0x02] rec0=15 rec1=00 rec2=03 rec3=000
    tail 0x21707efb681f9484ae7ed 0x42a00088462060003