Das Paket Ada.Strings.Maps

package Ada.Strings.Maps is
pragma Preelaborate(Maps);

-Representationforasetofcharactervalues:
type Character_Set is private;

Null_Set : constant Character_Set;

type Character_Range is
record
Low : Character;
High : Character;
end record;
-RepresentsCharacterrangeLow..High

type Character_Ranges is array (Positive range $<$ $>$ ) of Character_Range;

function To_Set (Ranges : in Character_Ranges) return Character_Set;

function To_Set (Span : in Character_Range) return Character_Set;

function To_Ranges (Set : in Character_Set) return Character_Ranges;

function " $=$ " (Left, Right : Character_Set) return Boolean;

function "not" (Right : Character_Set) return Character_Set;
function "and" (Left, Right : Character_Set) return Character_Set;
function "or" (Left, Right : Character_Set) return Character_Set;
function "xor" (Left, Right : Character_Set) return Character_Set;

function "-" (Left, Right : Character_Set) return Character_Set;

function Is_In (Element : in Character;
Set : in Character_Set)
return Boolean;

function Is_Subset (Elements : in Character_Set;
Set : in Character_Set)
return Boolean;

function " $<$ $=$ " (Left : in Character_Set;
Right : in Character_Set)
return Boolean renames Is_Subset;

-Alternativerepresentationforasetofcharactervalues:
subtype Character_Sequence is String;

function To_Set (Sequence : in Character_Sequence) return Character_Set;

function To_Set (Singleton : in Character) return Character_Set;

function To_Sequence (Set : in Character_Set) return Character_Sequence;

-Representationforacharactertocharactermapping:

type Character_Mapping is private;

function Value (Map : in Character_Mapping;
Element : in Character)
return Character;

Identity : constant Character_Mapping;

function To_Mapping (From, To : in Character_Sequence)
return Character_Mapping;

function To_Domain (Map : in Character_Mapping) return Character_Sequence;
function To_Range (Map : in Character_Mapping) return Character_Sequence;

type Character_Mapping_Function is
access function (From : in Character) return Character;

private
$...$ -notspecifiedbythelanguage
end Ada.Strings.Maps;