DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦dc9e5d95f⟧ TextFile

    Length: 3432 (0xd68)
    Types: TextFile
    Names: »V«

Derivation

└─⟦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

generic
    type Item is private;
    type Substring is array (Positive range <>) of Item;
    with function "<" (Left : in Item; Right : in Item) return Boolean;
package String_Sequential_Unbounded_Unmanaged_Noniterator is

    type String is limited private;

    procedure Copy (From_The_String : in String; To_The_String : in out String);
    procedure Copy (From_The_Substring : in Substring;
                    To_The_String : in out String);
    procedure Clear (The_String : in out String);
    procedure Prepend (The_String : in String; To_The_String : in out String);
    procedure Prepend (The_Substring : in Substring;
                       To_The_String : in out String);
    procedure Append (The_String : in String; To_The_String : in out String);
    procedure Append (The_Substring : in Substring;
                      To_The_String : in out String);
    procedure Insert (The_String : in String;
                      In_The_String : in out String;
                      At_The_Position : in Positive);
    procedure Insert (The_Substring : in Substring;
                      In_The_String : in out String;
                      At_The_Position : in Positive);
    procedure Delete (In_The_String : in out String;
                      From_The_Position : in Positive;
                      To_The_Position : in Positive);
    procedure Replace (In_The_String : in out String;
                       At_The_Position : in Positive;
                       With_The_String : in String);
    procedure Replace (In_The_String : in out String;
                       At_The_Position : in Positive;
                       With_The_Substring : in Substring);
    procedure Set_Item (In_The_String : in out String;
                        At_The_Position : in Positive;
                        With_The_Item : in Item);

    function Is_Equal (Left : in String; Right : in String) return Boolean;
    function Is_Equal (Left : in Substring; Right : in String) return Boolean;
    function Is_Equal (Left : in String; Right : in Substring) return Boolean;
    function Is_Less_Than (Left : in String; Right : in String) return Boolean;
    function Is_Less_Than
                (Left : in Substring; Right : in String) return Boolean;
    function Is_Less_Than
                (Left : in String; Right : in Substring) return Boolean;
    function Is_Greater_Than
                (Left : in String; Right : in String) return Boolean;
    function Is_Greater_Than
                (Left : in Substring; Right : in String) return Boolean;
    function Is_Greater_Than
                (Left : in String; Right : in Substring) return Boolean;
    function Length_Of (The_String : in String) return Natural;
    function Is_Null (The_String : in String) return Boolean;
    function Item_Of (The_String : in String; At_The_Position : in Positive)
                     return Item;
    function Substring_Of (The_String : in String) return Substring;
    function Substring_Of (The_String : in String;
                           From_The_Position : in Positive;
                           To_The_Position : in Positive) return Substring;

    Overflow : exception;
    Position_Error : exception;

private
    type Structure is access Substring;
    type String is
        record
            The_Length : Natural := 0;
            The_Items : Structure;
        end record;
end String_Sequential_Unbounded_Unmanaged_Noniterator;