DataMuseum.dk

top - download

    Length: 3089 (0xc11)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦c84a2ac9b⟧ 
                └─⟦this⟧ 

TextFile

with Ada_Text;
with Directory_Tools;
with Object_Editor;
with Mapping;
with Ada_Program;
with Document;
package Traversal_Utilities is

----------------------------------------------------------------------------
-- Bring up a window on an object, Highlight a particular element
-- in that object (unless the element IS the object, as in the last call)
-- If the definition fails, and the FAIL_MESSAGE /= NO_MESSAGE the the
-- Message will be put into the message window (with a beep) with a
-- diagnosis for failure appended (in parens).
----------------------------------------------------------------------------

    Default_Message : constant String := "Definition Failed ";
    No_Message      : constant String := "";

    procedure Def (On_Element   :     Ada_Program.Element;
                   In_Place     :     Boolean := False;
                   Edit         :     Boolean := False;
                   Success      : out Boolean;
                   Fail_Message :     String  := Default_Message);

    procedure Def (On_Element_List :     Ada_Program.Element_List;
                   In_Place        :     Boolean := False;
                   Edit            :     Boolean := False;
                   Success         : out Boolean;
                   Fail_Message    :     String  := Default_Message);

    procedure Def (On_Document  :     Document.Element;
                   In_Place     :     Boolean := False;
                   Edit         :     Boolean := False;
                   Success      : out Boolean;
                   Fail_Message :     String  := Default_Message);

    procedure Def (On_Document_List :     Document.Element_List;
                   In_Place         :     Boolean := False;
                   Edit             :     Boolean := False;
                   Success          : out Boolean;
                   Fail_Message     :     String  := Default_Message);

    procedure Def (On_Target    :     Mapping.Target_Info;
                   In_Place     :     Boolean := False;
                   Edit         :     Boolean := False;
                   Success      : out Boolean;
                   Fail_Message :     String  := Default_Message);


    -- This operation can be used to obtain selections on arbitrary
    -- AREAs of an Ada image.  (e.g. Annotations and Arguments)

    subtype Area is Ada_Text.Area;

    procedure Def (On_Element   :     Ada_Program.Element;
                   In_Area      :     Area;
                   In_Place     :     Boolean := False;
                   Edit         :     Boolean := False;
                   Success      : out Boolean;
                   Fail_Message :     String  := Default_Message);


    procedure Cursor_Info (Line, Column : out Natural;
                           Focus        : out Object_Editor.Focus;
                           Handle       : out Directory_Tools.Object.Handle);

    function Line_Image (Line : Positive) return String;


    pragma Subsystem (Design_Facility, Closed);
    pragma Module_Name (4, 3588);
    pragma Bias_Key (27);

end Traversal_Utilities;