DataMuseum.dk

top - metrics - download

    Length: 3583 (0xdff)
    Types: TextFile
    Names: »B«

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

with Io;
with Diana;
with Object_Set;
with Link_Tools;
with String_Table;
with Object_Subclass;
with String_Utilities;
with Semantic_Attributes;
with Links_Implementation;
with Activity_Implementation;
with Low_Level_File_Operations;
package body Object_Info is

    function "=" (This_Kind : in Directory_Tools.Ada_Object.Compilation_Kind;
                  That_Kind : in Directory_Tools.Ada_Object.Compilation_Kind)
                 return Boolean renames Directory_Tools.Ada_Object."=";

    function "=" (This_Kind : in Directory_Tools.Ada_Object.Unit_Kind;
                  That_Kind : in Directory_Tools.Ada_Object.Unit_Kind)
                 return Boolean renames Directory_Tools.Ada_Object."=";

    function "=" (This_Unit_State : in Directory_Tools.Ada_Object.Unit_State;
                  That_Unit_State : in Directory_Tools.Ada_Object.Unit_State)
                 return Boolean renames Directory_Tools.Ada_Object."=";

    package Utilities is

        type Kinds is (Anything, Library, Directory, World,
                       Simple_World, Subsystem, Root, View,
                       Spec_View, Load_View, Working_Load_View,
                       Released_Load_View, Code_Only_Load_View, Combined_View,
                       Units_Directory_Of_View, Simple_Object, Ada_Unit, File,
                       Misc_Simple_Object, Frozen, Controlled, Checked_Out);

        Bad_Object : constant Object := Directory_Tools.Naming.Resolution
                                           ("*** THIS IS A BAD OBJECT ***");

        Bad_Objects : constant Objects := Directory_Tools.Naming.Resolution
                                             ("*** THESE ARE BAD OBJECTS ***");

        function Contains_Objects (This_Object : in Object;
                                   This_Kind : in Kinds;
                                   Transitive : in Boolean) return Boolean;
        --
        -- Returns True if the specified object contains at least one object
        -- of the specified kind.

        function Objects_In (This_Object : in Object;
                             This_Kind : in Kinds;
                             Transitive : in Boolean) return Objects;
        --
        -- Returns all objects of the specified kind contained by the
        -- specified object.

        function Is_Enclosed (This_Object : in Object;
                              This_Kind : in Kinds;
                              Transitive : in Boolean) return Boolean;
        --
        -- Returns True if the specified object is enclosed by a
        -- library of the specified kind.
        --
        -- If Transitive, searches upward through successive enclosing
        -- libraries until the correct kind is found or the root is
        -- encountered. If not Transitive, just looks at the immediate
        -- context.

        function Enclosing_For (This_Object : in Object;
                                This_Kind : in Kinds;
                                Transitive : in Boolean) return Object;
        --
        -- This function finds successive enclosing libraries of the original
        -- object and tests each one to determine if it is the correct kind
        -- or not. If so, it returns the library it found. If not, it returns
        -- a bogus object.
        --
        -- If not Transitive, only looks at the immediate context.

    end Utilities;

    package body Utilities is separate;

    package body Any is separate;

    package body Cmvc is separate;

    package body Links is separate;

    package body Ada is separate;

end Object_Info;