DataMuseum.dk

top - metrics - download

    Length: 7676 (0x1dfc)
    Types: TextFile
    Names: »V«

└─⟦5829e5ed5⟧ Bits:30000534 8mm tape, Rational 1000, RCI 2_0_5
    └─⟦c9a165082⟧ »DATA« 
        └─⟦c3895f76e⟧ 
            └─⟦this⟧ 

TextFile

with Directory;
with Object_Set;
with Profile;
with Simple_Status;
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 Rci_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 RCI switch
        -- For eg: define("new_switch",false) will create a
        -- switch "RCI.new_switch" with a default value of false;

        function Is_Defined (Name : String) return Boolean;
        -- Check if an RCI 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 RCI switch. The switch name
        -- specified must teh simple name (that does not contain the
        -- switch class).
        -- For eg: "host_only_switch" and not "RCI.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 "RCI.host_only_switch"

        --| COMMONLY ACCESSED RCI 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 Rci_Switch_Utilities;

    package Conversions is
        procedure Convert_Rcf_Switches;
        -- Converts all RCF switches on machine to RCI switches.
        -- Note: you will lose previous RCI switch values.

        procedure Convert_Rcf_State_Files
                     (Views_To_Upgrade : String :=
                         "!??'c(combined_view).state.tool_state.@state_file.$$");
        -- Breaks down specified RCI state files on machine to RCI 2.0
        -- format files.  Default is all combined views containing state
        -- files.
    end Conversions;
    package Miscellaneous is
        procedure Analyze_Pattern (Pattern : String;
                                   Command : String;
                                   Is_Status_Command : Boolean;
                                   Status : in out Simple_Status.Condition);
    end Miscellaneous;
    pragma Module_Name (4, 4149);
    pragma Bias_Key (32);

end Utilities;