DataMuseum.dk

top - download

    Length: 1766 (0x6e6)
    Types: TextFile
    Names: »B«

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

TextFile

with Directory;
with Extensions_Support;
with View_Support;
with Io;
procedure Test_View_Support is
    package Es     renames Extensions_Support;
    package Vs     renames View_Support;
    package Naming renames Directory.Naming;

    -- Test the view support package

begin
    -- Get the referencers of !rc.low_level_operations.rev4_0_spec
    declare  
        Referencers : constant Vs.Unit_List :=
           Vs.Get_Referencers
              (Es.Get_Object ("!rc.low_level_operations.rev4_0_spec"), True);
    begin
        for Index in Referencers.Data'First .. Referencers.Data'Last loop
            Io.Put_Line (Naming.Get_Full_Name (Referencers.Data (Index)));
        end loop;
    end;

    -- Get the imports of !rc.user_interface.rev4_working

    declare  
        Imports : constant Vs.Unit_List :=
           Vs.Get_Imports
              (Es.Get_Object ("!rc.user_interface.rev4_working"), True);
    begin  
        Io.Put_Line ("------------------------------------------");
        for Index in Imports.Data'First .. Imports.Data'Last loop
            Io.Put_Line (Naming.Get_Full_Name (Imports.Data (Index)));
        end loop;
    end;

    -- Check if !rc.low_level_operations.rev4_0_spec is in the
    -- import closure of !rc.user_interface.rev4_working

    declare  
        Imports : constant Vs.Unit_List :=
           Vs.Get_Imports
              (Es.Get_Object ("!rc.user_interface.rev4_working"), True);
    begin  
        Io.Put_Line ("------------------------------------------");
        if Vs.Is_Member (Es.Get_Object ("!rc.low_level_operations.rev4_0_spec"),
                         Imports) then
            Io.Put_Line ("Yes");
        else
            Io.Put_Line ("No");
        end if;
    end;


end Test_View_Support;