⟦c511e8034⟧

E3 Source Code



with System;
with Diana;
with Directory;
with Action;

package Dependency_Data_Base is

    pragma Subsystem (Ada_Management, Private_Part => Closed);
    pragma Module_Name (4, 1106);

    type Total_Relationships is
       (References_In_Use_Clause,
        -- the id is referenced in a use clause in the unit.

        References_Directly,
        -- the unit is in the immediate scope of the id and references
        -- the id as a simple name.

        References_By_Selection_Within_Immediate_Scope,
        -- the unit is in the immediate scope of the id, but references
        -- the id as an expanded name.

        References_By_Selection_Outside_Immediate_Scope,
        -- the unit is outside the immediate scope of the id, and
        -- references the id via an expanded name

        Sees_Used_Namesake_Via_Use_Clause,
        -- the unit is in the immediate scope of the id, but can reference
        -- a used namesake as a simple name (made visible by a USE
        -- clause).  This relation is established only for place-holder
        -- ids.

        Subordinate_To,
        -- <this comment left unintentionally blank>

        References_Code_Segment
        -- <this comment left unintentionally blank>
        );

    subtype Relationship is Total_Relationships
                               range Total_Relationships'First ..
                                        Total_Relationships'Last;

    pragma Consume_Offset (9);

    subtype Heap_Type is System.Segment;

    type Iterator is private;

    function Objects (Relation  : Relationship;
                      Id        : Diana.Tree;
                      Action_Id : Action.Id;
                      Heap      : Heap_Type) return Iterator;

    function Objects (Relation  : Relationship;
                      Ids       : Diana.Temp_Seq;
                      Action_Id : Action.Id;
                      Heap      : Heap_Type) return Iterator;

    -- When relations are examined with the above entries, the
    -- DDB will first obtain a read lock on the id(s) under the supplied
    -- action id.


    function Next      (Iter : Iterator) return Iterator;
    function Done      (Iter : Iterator) return Boolean;
    function Object_Id (Iter : Iterator) return Directory.Version;

    pragma Consume_Offset (6);
    function Subordinates (Id : Diana.Tree; Action_Id : Action.Id)
                          return Diana.Temp_Seq;

    -- When subordinates are examined with the above entry, the
    -- DDB will first obtain a read lock on the id under the supplied
    -- action id.

    pragma Consume_Offset;

    Ddb_Lock_Error  : exception;
    Ddb_Other_Error : exception;

    type Defid_Iterator is limited private;

    procedure Init  (Iter : out Defid_Iterator);
    procedure Next  (Iter : in out Defid_Iterator);
    function  Done  (Iter : Defid_Iterator) return Boolean;
    function  Defid (Iter : Defid_Iterator) return Diana.Tree;

end Dependency_Data_Base;
DataMuseum.dk

Rational R1000/400

⟦c511e8034⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
