DataMuseum.dk

top - download

    Length: 1251 (0x4e3)
    Types: TextFile
    Names: »V«

└─⟦516dceb10⟧ Bits:30000751 8mm tape, Rational 1000, RCI_VADS
    └─ ⟦9a14c9417⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Directory;
with Simple_Status;
package View_Support is
    -- Supports functions that compute a view's import closure,
    -- reference closure

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

    type Unit_List (Size : Natural) is
        record
            Condition : Simple_Status.Condition;
            Data      : Data_Array (1 .. Size);
        end record;
    -- List of directory objects

    function Get_Referencers
                (For_View : Directory.Object; Closure : Boolean := False)
                return Unit_List;
    -- Return the referencers for a given view, if closure is set to true
    -- return the reference closure. On errors returns a list with
    -- an error condition

    function Get_Imports
                (For_View : Directory.Object; Closure : Boolean := False)
                return Unit_List;
    -- Return all the imports for a given view. If closure is specified
    -- to be true returns the import closure. On errors returns
    -- with an error condition.

    function Is_Member (View_Obj : Directory.Object; View_List : Unit_List)
                       return Boolean;
    -- Return true if the given view is a member of the list of views
    -- specified
end View_Support;