|
|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
Length: 5235 (0x1473)
Types: TextFile
Names: »V«
└─⟦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⟧
-- This package provides some string utilities which supplement
-- the ones in the Environment tools package "String_Utilities".
--
-- All strings are returned starting at index 1.
--
package Misc_String_Utilities is
function Is_Blank (This_String : in String) return Boolean;
--
-- Returns True iff the specified string is null or contains only
-- blanks and tabs.
function Is_Continuous (This_String : in String) return Boolean;
--
-- Returns True iff the specified string contains no blanks or tabs.
function Continuous (This_String : in String) return String;
--
-- Returns the string stripped of any blanks or tabs.
function Is_Padded (This_String : in String) return Boolean;
--
-- Returns True iff the specified string has leading or trailing
-- blanks or tabs.
function Locate (This_Substring : in String;
Within_String : in String;
Ignore_Case : in Boolean;
Starting_At : in Positive := 1) return Natural;
--
-- Returns the index of the substring within the specified string, or
-- returns 0.
function Strip (Character_At : in Integer; In_String : in String)
return String;
--
-- Returns a string with the character at the specified location
-- removed.
function Stripped (This_String : in String;
This_Character : in Character := ' ';
Ignore_Case : in Boolean := False;
Starting_At : in Positive := 1) return String;
--
-- Returns a string stripped of all characters which match the specified
-- character. For instance, if the character is ' ':
--
-- "This string contains spaces" => "Thisstringcontainsspaces"
--
-- If "Ignore_Case" is True, both uppercase and lowercase characters
-- which match the specified character will be stripped.
function Strip (From_Here : in Integer;
To_Here : in Integer;
In_String : in String) return String;
--
-- Returns a string with the specified range removed. If the length
-- of the range is < 0, has no effect.
function Stripped (This_String : in String;
This_Substring : in String;
Ignore_Case : in Boolean := False;
Starting_At : in Positive := 1) return String;
--
-- Returns a string stripped of all substrings which match the specified
-- substring. For instance, if the substring is "in":
--
-- "This string contains spaces" => "This strg contas spaces"
--
-- If "Ignore_Case" is True, both uppercase and lowercase characters
-- which match the characters in the specified substring will be stripped.
function Replace (Character_At : in Integer;
With_Character : in Character;
In_String : in String) return String;
--
-- Returns a string with the character at the specified location in
-- the string replaced with the specified character.
function Replaced (This_String : in String;
Old_Character : in Character := '_';
New_Character : in Character := ' ';
Ignore_Case : in Boolean := False;
Starting_At : in Positive := 1) return String;
--
-- Returns a string with every occurrence of "Old_Character" replaced
-- by "New_Character". For instance, if the old character is ' ' and
-- the new character is '_':
--
-- "This string contains spaces" => "This_string_contains_spaces"
--
-- If "Ignore_Case" is True, both uppercase and lowercase characters
-- which match the specified old character will be replaced.
function Replace (From_Here : in Integer;
To_Here : in Integer;
With_Substring : in String;
In_String : in String) return String;
--
-- Returns a string with the indicated range replaced with the specified
-- substring. The length of the range can be less than, equal to, or
-- greater than the length of the substring.
--
-- If the length of the range is < 0, the specified substring is inserted
-- into the string starting at "From_Here", and no characters are removed
-- from the existing string.
function Replaced (This_String : in String;
Old_Substring : in String;
New_Substring : in String;
Ignore_Case : in Boolean := False;
Starting_At : in Positive := 1) return String;
--
-- Returns a string with every occurrence of "Old_Substring" replaced
-- by "New_Substring" (the two substrings need not be the same length).
-- For instance, it the old substring is "in" and the new substring
-- is "out":
--
-- "This string contains spaces" => This stroutng contaouts spaces"
--
-- If "Ignore_Case" is True, both uppercase and lowercase characters
-- which match the characters in the specified old substring will be
-- replaced.
end Misc_String_Utilities;