DataMuseum.dk

top - download

    Length: 4964 (0x1364)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

with Links_Implementation;
package Links is

    subtype World_Name is String;

    -- The string name for any directory object may be given for a world
    -- parameter, to indicate the world that contains the object.


    subtype Link_Name is String;

    -- An Ada simple name. When used as an in-parameter, except in Add and
    -- Replace, it may contain wildcard characters.  In Add and Replace it
    -- may contain substitution characters.

    subtype Source_Name is String;

    -- A directory string name that specifies an existing Ada Library Unit.
    -- (The unit does not have to be installed, but its declaration must be
    -- in a library.) May contain wildcard characters when used as an
    -- in-parameter.

    subtype Source_Pattern is String;

    -- A string (containing wildcards) which will be matched against the
    -- full names of the objects denoted by links.


    subtype Link_Kind is Links_Implementation.Link_Kind;
    Internal : constant Link_Kind := Links_Implementation.Internal;
    External : constant Link_Kind := Links_Implementation.External;
    Any : constant Link_Kind := Links_Implementation.Any;

    -- A link is Internal if its source object is in the world of the link
    -- pack; otherwise it is External.

    procedure Add (Source : Source_Name := ">>SOURCE NAMES<<";
                   Link : Link_Name := "#";
                   World : World_Name := "<IMAGE>";
                   Response : String := "<PROFILE>");

    -- For each Ada library unit defined by Source, a link is created in the
    -- link pack for World.  The Source object is associated with the simple
    -- Ada name given by Link.  The operation fails if the specified Link name
    -- already exists in the pack, unless the new link is compatible with the
    -- old link.  The new link is defined to be compatible with the old link
    -- iff both links refer to the same object or the object referred to be the
    -- old link has been deleted.



    procedure Replace (Source : Source_Name := ">>SOURCE NAMES<<";
                       Link : Link_Name := "#";
                       World : World_Name := "<IMAGE>";
                       Response : String := "<PROFILE>");

    -- For each Ada Library unit defined by Source, a link is created in
    -- the link pack for World.  The Source object is associated with the
    -- simple Ada name given by Link. If a link of the same name
    -- already exists, it is replaced by the new definition.



    procedure Delete (Link : Link_Name := ">>LINK NAMES<<";
                      Source : Source_Pattern := "?";
                      Kind : Link_Kind := Links.Any;
                      World : World_Name := "<IMAGE>";
                      Response : String := "<PROFILE>");

    -- The Links that match both the Source and Link wildcards and the
    -- specified kind are deleted from the link pack of the given World.


    procedure Copy (Source_World : World_Name := ">>WORLD NAME<<";
                    Target_World : World_Name := "<IMAGE>";
                    Link : Link_Name := "@";
                    Source : Source_Pattern := "?";
                    Kind : Link_Kind := Links.Any;
                    Response : String := "<PROFILE>");

    -- The Links of Source_World that match the specified Source and Link
    -- names and the given Link_Kind are copied to Target_World.


    procedure Display (World : World_Name := "<IMAGE>";
                       Link : Link_Name := "@";
                       Source : Source_Pattern := "?";
                       Kind : Link_Kind := Links.Any;
                       Response : String := "<PROFILE>");

    -- Lists the links that match the given wild cards in the given world


    procedure Dependents (Link : Link_Name := "@";
                          Source : Source_Pattern := "?";
                          Kind : Link_Kind := Links.Any;
                          World : World_Name := "$$";
                          Response : String := "<PROFILE>");

    -- Computes the Library Units of the world that are installed or coded
    -- and reference any of the Link commands specified by the Source and
    -- Link parameters.


    procedure Edit (World : World_Name := "<IMAGE>");
    procedure Visit (World : World_Name := "<IMAGE>");

    -- Enters the links object editor.  If there is no links window for the
    -- world to be edited, edit will create a new window, and visit will
    -- reuse an existing window of there is one.


    procedure Insert (Source : Source_Name := ">>SOURCE NAME<<");

    procedure Update (Source : Source_Name := ">>SOURCE NAME<<");

    -- Insert and Update peform the same function as Add and Replace, but
    -- they must be run in a command window off a links image.

    procedure Expunge (World : World_Name := "<IMAGE>";
                       Response : String := "<PROFILE>");
    pragma Subsystem (Commands);
    pragma Module_Name (4, 3938);

end Links;