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

⟦73a38ed34⟧ Ada Source

    Length: 8192 (0x2000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Utilities, pragma Module_Name 4 4149, seg_014158

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 Object_Set;
with Profile;
package Utilities is
    package Directory_Utilities is
        -- Contains a collections of functions and procedures that
        -- operate on directory objects

        function Get_Target_Key (Object : String) return Directory.Target_Key;
        -- Get target key for a specified object

        function Get_Target_Key (Object : Directory.Object)
                                return Directory.Target_Key;
        -- Get target key for a specified object

        function Is_Directory (Obj : Directory.Object) return Boolean;
        function Is_View (Obj : Directory.Object) return Boolean;
        function Is_World (Obj : Directory.Object) return Boolean;
        function Is_Subsystem (Obj : Directory.Object) return Boolean;
        -- Functions that test if given library is a directory,
        -- subsystem or a world

        function Is_Spec_View (Obj : Directory.Object) return Boolean;
        function Is_Load_View (Obj : Directory.Object) return Boolean;
        function Is_Combined_View (Obj : Directory.Object) return Boolean;
        -- Functions that test is th eview is of a particular kind

        function Is_Predefined (Obj : Directory.Object) return Boolean;
        -- Return true if object is in the predefined world

        function Is_Controlled
                    (Unit : Directory.Object; Resp : Profile.Response_Profile)
                    return Boolean;
        function Is_Checked_Out
                    (Unit : Directory.Object; Resp : Profile.Response_Profile)
                    return Boolean;
        -- Functions to check if a directory object is controlled
        -- or checked out

        function Is_Spec (Object : Directory.Object) return Boolean;
        function Is_Body (Object : Directory.Object) return Boolean;
        -- Function to check if an object is a spec or a body

        function Get_Body (Obj : Directory.Object) return Directory.Object;
        -- Get the body of a unit

        function Get_Objects (Objects : String; Resp : Profile.Response_Profile)
                             return Directory.Naming.Iterator;
        -- Get an iterator of a set of objects corresponding to
        -- the naming expression. Will return a nil iterator
        -- if there are no objects.

        function Get_Object_Set
                    (Iter : Directory.Naming.Iterator;
                     Resp : Profile.Response_Profile) return Object_Set.Set;
        -- Convert an iterator of directory objects to an object set

        function Get_Object (Object : String; Resp : Profile.Response_Profile)
                            return Directory.Object;
        -- Return a directory object for a given unit. Return
        -- directory.nil on errors.

        function Get_Object (Iter : Directory.Naming.Iterator;
                             Resp : Profile.Response_Profile)
                            return Directory.Object;
        -- Return a directory object from an iterator. Return
        -- directory.nil on errors.

        function Get_View (Object : Directory.Object;
                           Resp : Profile.Response_Profile)
                          return Directory.Object;
        -- Return a view containing the given directory object.
        -- Return directory.nil on errors.

        function Get_View (Object : String; Resp : Profile.Response_Profile)
                          return Directory.Object;
        -- Return directory object of a view containing the given unit.
        -- Return the object itself if it is a view, directory.nil on
        -- errors

        function Get_Subsystem (Of_View : Directory.Object;
                                Resp : Profile.Response_Profile)
                               return Directory.Object;
        -- Return the subsystem containing the given view

        function Get_Naming_Expression
                    (Iter : Directory.Naming.Iterator) return String;
        -- Return the naming expression that corresponds to
        -- the given iterator of directory objects

        function Is_Ada_Unit (Unit : Directory.Object) return Boolean;
        function Is_Procedure (Unit : Directory.Object) return Boolean;
        function Is_Function (Unit : Directory.Object) return Boolean;
        function Is_Package (Unit : Directory.Object) return Boolean;
        function Is_Generic (Unit : Directory.Object) return Boolean;
        function Is_Instantiation (Unit : Directory.Object) return Boolean;

    end Directory_Utilities;

    package Rcf_Switch_Utilities is

        procedure Define (Name : String; Value : String; Help : String := "");
        procedure Define (Name : String; Value : Boolean; Help : String := "");
        procedure Define (Name : String; Value : Integer; Help : String := "");
        -- Functions that allow creation of a new RCF switch
        -- For eg: define("new_switch",false) will create a
        -- switch "rcf.new_switch" with a default value of false;

        function Is_Defined (Name : String) return Boolean;
        -- Check if an rcf switch is already defined

        function Value (Name : String; For_Directory : Directory.Object)
                       return Boolean;
        function Value (Name : String; For_Directory : Directory.Object)
                       return Integer;
        function Value (Name : String; For_Directory : Directory.Object)
                       return String;
        -- Returns the value of a given rcf switch. The switch name
        -- specified must teh simple name (that does not contain the
        -- switch class).
        -- For eg: "host_only_switch" and not "rcf.host_only_switch"

        procedure Set (Name : String;
                       For_Directory : Directory.Object;
                       Val : Boolean);
        procedure Set (Name : String;
                       For_Directory : Directory.Object;
                       Val : Integer);
        procedure Set (Name : String;
                       For_Directory : Directory.Object;
                       Val : String);
        -- Set the value for the given switch. The switch name
        -- specified must the simple name (that does not contain the
        -- switch class).
        -- For eg: "host_only_switch" and not "rcf.host_only_switch"

        --| COMMONLY ACCESSED RCF SWITCHES |-

        function Is_Host_Only (For_Directory : Directory.Object) return Boolean;
        -- Returns true if the "host_only" switch is set to true for the
        -- given view

        function Trace_On (For_Directory : Directory.Object) return Boolean;
        -- Returns true if "trace_command" switch is turned on for the
        -- given view

    end Rcf_Switch_Utilities;
    pragma Module_Name (4, 4149);
    pragma Bias_Key (32);
end Utilities;

    nblk1=7
    nid=0
    hdr6=e
        [0x00] rec0=19 rec1=00 rec2=01 rec3=01c
        [0x01] rec0=14 rec1=00 rec2=02 rec3=072
        [0x02] rec0=15 rec1=00 rec2=03 rec3=032
        [0x03] rec0=16 rec1=00 rec2=04 rec3=00a
        [0x04] rec0=13 rec1=00 rec2=05 rec3=008
        [0x05] rec0=14 rec1=00 rec2=06 rec3=04a
        [0x06] rec0=19 rec1=00 rec2=07 rec3=000
    tail 0x2170fbbac83127dcb3f29 0x42a00088462060003