Extended - ytomino/drake GitHub Wiki

Contents

Standard packages
Additional packages

Standard packages

Ada

file:	ada.ads

This package creates usable debug output.

It is placed in the package Ada directly, therefore it does not need to write any additional "with" clause.

package Debug is
   function File return String;
   function Line return Positive;
   function Source_Location return String;
   function Enclosing_Entity return String;
   function Compilation_ISO_Date return String;
   function Compilation_Date return String;
   function Compilation_Time return String;
   procedure Put (
      S : String;
      Source_Location : String := Debug.Source_Location;
      Enclosing_Entity : String := Debug.Enclosing_Entity);
   function Put (
      S : String;
      Source_Location : String := Debug.Source_Location;
      Enclosing_Entity : String := Debug.Enclosing_Entity)
      return Boolean; -- always True to use in pragma Assert/Check
end Debug;

Ada.Assertions

file:	a-assert.ads

Assert reports the source location if it's called without a message.

--  procedure Assert (Check : Boolean);
--  procedure Assert (Check : Boolean; Message : String);
procedure Assert (
   Check : Boolean;
   Message : String := Debug.Source_Location);

procedure Raise_Assertion_Error (
   Message : String := Debug.Source_Location);

Ada.Calendar.Formatting

file:	a-calfor.ads

--  function Day_of_Week (Date : Time) return Day_Name;
function Day_Of_Week (
   Date : Time;
   Time_Zone : Time_Zones.Time_Offset := 0) -- additional
   return Day_Name;

This function returns seconds in a day (including the offset of the time zone).

function Seconds (Date : Time; Time_Zone : Time_Zones.Time_Offset := 0)
   return Day_Duration;

The format of time-zone is "+00:00".

function Image (Time_Zone : Time_Zones.Time_Offset) return String;
function Value (Time_Zone : String) return Time_Zones.Time_Offset;

Ada.Characters.Conversions

file:	a-chacon.ads

Use Is_Wide_String instead of Is_Wide_Character for multi-byte sequence.

Is_Wide_String checks if all code-points of Item can be converted to UTF-16 Wide_String (each code-point is in BMP or surrogate pair).

These functions Is_XXX_String assume Item contains a legal sequence.

function Is_Wide_Character (Item : Character) return Boolean;
function Is_Wide_String (Item : String) return Boolean;

Use Is_Wide_Wide_String instead of Is_Wide_Wide_Character for multi-byte sequence.

UTF-8 String can always be converted to UTF-32 Wide_Wide_String.

function Is_Wide_Wide_Character (Item : Character) return Boolean
   renames Is_Wide_Character;
--  function Is_Wide_Wide_String (Item : String) return Boolean; -- True

Do not use Is_Wide_Wide_Character for surrogate pair.

UTF-16 Wide_String can always be converted to UTF-32 Wide_Wide_String.

function Is_Wide_Wide_Character (Item : Wide_Character) return Boolean;
--  function Is_Wide_Wide_String (Item : Wide_String) return Boolean; -- True

These functions use Substitute if Item contains illegal byte sequence.

function To_Wide_Character (
   Item : Character;
   Substitute : Wide_Character := ' ') -- additional
   return Wide_Character;
function To_Wide_String (
   Item : String;
   Substitute : Wide_String := " ") -- additional
   return Wide_String;

function To_Wide_Wide_Character (
   Item : Character;
   Substitute : Wide_Wide_Character := ' ') -- additional
   return Wide_Wide_Character;
function To_Wide_Wide_String (
   Item : String;
   Substitute : Wide_Wide_String := " ") -- additional
   return Wide_Wide_String;

function To_Wide_Wide_Character (
   Item : Wide_Character;
   Substitute : Wide_Wide_Character := ' ') -- additional
   return Wide_Wide_Character;
function To_Wide_Wide_String (
   Item : Wide_String;
   Substitute : Wide_Wide_String := " ") -- additional
   return Wide_Wide_String;

function To_String (
   Item : Wide_String;
   Substitute : String)
   return String;

function To_String (
   Item : Wide_Wide_String;
   Substitute : String)
   return String;

function To_Wide_String (
   Item : Wide_Wide_String;
   Substitute : Wide_String)
   return Wide_String;

There are subprograms for code-point based decoding iteration.

procedure Get (
   Item : String;
   Last : out Natural;
   Value : out Wide_Wide_Character;
   Substitute : Wide_Wide_Character := ' ');
procedure Get (
   Item : String;
   Last : out Natural;
   Value : out Wide_Wide_Character;
   Is_Illegal_Sequence : out Boolean);
procedure Get_Reverse (
   Item : String;
   First : out Positive;
   Value : out Wide_Wide_Character;
   Substitute : Wide_Wide_Character := ' ');
procedure Get_Reverse (
   Item : String;
   First : out Positive;
   Value : out Wide_Wide_Character;
   Is_Illegal_Sequence : out Boolean);
procedure Get (
   Item : Wide_String;
   Last : out Natural;
   Value : out Wide_Wide_Character;
   Substitute : Wide_Wide_Character := ' ');
procedure Get (
   Item : Wide_String;
   Last : out Natural;
   Value : out Wide_Wide_Character;
   Is_Illegal_Sequence : out Boolean);
procedure Get_Reverse (
   Item : Wide_String;
   First : out Positive;
   Value : out Wide_Wide_Character;
   Substitute : Wide_Wide_Character := ' ');
procedure Get_Reverse (
   Item : Wide_String;
   First : out Positive;
   Value : out Wide_Wide_Character;
   Is_Illegal_Sequence : out Boolean);
procedure Get (
   Item : Wide_Wide_String;
   Last : out Natural;
   Value : out Wide_Wide_Character;
   Substitute : Wide_Wide_Character := ' ');
procedure Get (
   Item : Wide_Wide_String;
   Last : out Natural;
   Value : out Wide_Wide_Character;
   Is_Illegal_Sequence : out Boolean);
procedure Get_Reverse (
   Item : Wide_Wide_String;
   First : out Positive;
   Value : out Wide_Wide_Character;
   Substitute : Wide_Wide_Character := ' ');
procedure Get_Reverse (
   Item : Wide_Wide_String;
   First : out Positive;
   Value : out Wide_Wide_Character;
   Is_Illegal_Sequence : out Boolean);

Encoding subprograms:

procedure Put (
   Value : Wide_Wide_Character;
   Item : out String;
   Last : out Natural);
procedure Put (
   Value : Wide_Wide_Character;
   Item : out Wide_String;
   Last : out Natural);
procedure Put (
   Value : Wide_Wide_Character;
   Item : out Wide_Wide_String;
   Last : out Natural);

Max lengths of each one multi-byte character, and the rates of expansion:

Max_Length_In_String : constant := 6;
Max_Length_In_Wide_String : constant := 2;
Max_Length_In_Wide_Wide_String : constant := 1;
Expanding_From_String_To_Wide_String : constant := 1;
Expanding_From_String_To_Wide_Wide_String : constant := 1;
Expanding_From_Wide_String_To_String : constant := 3;
Expanding_From_Wide_String_To_Wide_Wide_String : constant := 1;
Expanding_From_Wide_Wide_String_To_String : constant := 6;
Expanding_From_Wide_Wide_String_To_Wide_String : constant := 2;
Expanding_From_String_To_UTF_8 : constant := 1;
Expanding_From_String_To_UTF_16 : constant := 1;
Expanding_From_String_To_UTF_32 : constant := 1;
Expanding_From_Wide_String_To_UTF_8 : constant := 3;
Expanding_From_Wide_String_To_UTF_16 : constant := 1;
Expanding_From_Wide_String_To_UTF_32 : constant := 1;
Expanding_From_Wide_Wide_String_To_UTF_8 : constant := 6;
Expanding_From_Wide_Wide_String_To_UTF_16 : constant := 2;
Expanding_From_Wide_Wide_String_To_UTF_32 : constant := 1;
Expanding_From_UTF_8_To_String : constant := 1;
Expanding_From_UTF_8_To_Wide_String : constant := 1;
Expanding_From_UTF_8_To_Wide_Wide_String : constant := 1;
Expanding_From_UTF_16_To_String : constant := 3;
Expanding_From_UTF_16_To_Wide_String : constant := 1;
Expanding_From_UTF_16_To_Wide_Wide_String : constant := 1;
Expanding_From_UTF_32_To_String : constant := 6;
Expanding_From_UTF_32_To_Wide_String : constant := 2;
Expanding_From_UTF_32_To_Wide_Wide_String : constant := 1;

Ada.Characters.Handling

file:	a-chahan.ads

These are the implementation of Wide_Characters.Handling.Is_Basic and Wide_Wide_Characters.Handling.Is_Basic.

They are defined different from Characters.Handling.Is_Basic.

function Overloaded_Is_Basic (Item : Wide_Character) return Boolean;
function Overloaded_Is_Basic (Item : Wide_Wide_Character) return Boolean;

function Overloaded_Is_Control (Item : Character) return Boolean;
function Overloaded_Is_Control (Item : Wide_Character) return Boolean;
function Overloaded_Is_Control (Item : Wide_Wide_Character)
   return Boolean;
function Overloaded_Is_Graphic (Item : Character) return Boolean;
function Overloaded_Is_Graphic (Item : Wide_Character) return Boolean;
function Overloaded_Is_Graphic (Item : Wide_Wide_Character)
   return Boolean;
function Overloaded_Is_Letter (Item : Character) return Boolean;
function Overloaded_Is_Letter (Item : Wide_Character) return Boolean;
function Overloaded_Is_Letter (Item : Wide_Wide_Character) return Boolean;
function Overloaded_Is_Lower (Item : Character) return Boolean;
function Overloaded_Is_Lower (Item : Wide_Character) return Boolean;
function Overloaded_Is_Lower (Item : Wide_Wide_Character) return Boolean;
function Overloaded_Is_Upper (Item : Character) return Boolean;
function Overloaded_Is_Upper (Item : Wide_Character) return Boolean;
function Overloaded_Is_Upper (Item : Wide_Wide_Character) return Boolean;
function Overloaded_Is_Digit (Item : Character) return Boolean;
function Overloaded_Is_Digit (Item : Wide_Character) return Boolean;
function Overloaded_Is_Digit (Item : Wide_Wide_Character) return Boolean;
function Overloaded_Is_Hexadecimal_Digit (Item : Character)
   return Boolean;
function Overloaded_Is_Hexadecimal_Digit (Item : Wide_Character)
   return Boolean;
function Overloaded_Is_Hexadecimal_Digit (Item : Wide_Wide_Character)
   return Boolean;
function Overloaded_Is_Alphanumeric (Item : Character) return Boolean;
function Overloaded_Is_Alphanumeric (Item : Wide_Character)
   return Boolean;
function Overloaded_Is_Alphanumeric (Item : Wide_Wide_Character)
   return Boolean;
function Overloaded_Is_Special (Item : Character) return Boolean;
function Overloaded_Is_Special (Item : Wide_Character) return Boolean;
function Overloaded_Is_Special (Item : Wide_Wide_Character)
   return Boolean;

function Overloaded_To_Lower (Item : Character) return Character;
function Overloaded_To_Lower (Item : Wide_Character)
   return Wide_Character;
function Overloaded_To_Lower (Item : Wide_Wide_Character)
   return Wide_Wide_Character;
function Overloaded_To_Upper (Item : Character) return Character;
function Overloaded_To_Upper (Item : Wide_Character)
   return Wide_Character;
function Overloaded_To_Upper (Item : Wide_Wide_Character)
   return Wide_Wide_Character;
function Overloaded_To_Basic (Item : Character) return Character;
function Overloaded_To_Basic (Item : Wide_Character)
   return Wide_Character;
function Overloaded_To_Basic (Item : Wide_Wide_Character)
   return Wide_Wide_Character;

Unicode case folding for comparison.

function To_Case_Folding (Item : Character) return Character
   renames To_Lower; -- same as To_Lower in ASCII

function Overloaded_To_Lower (Item : String) return String;
function Overloaded_To_Lower (Item : Wide_String) return Wide_String;
function Overloaded_To_Lower (Item : Wide_Wide_String)
   return Wide_Wide_String;
function Overloaded_To_Upper (Item : String) return String;
function Overloaded_To_Upper (Item : Wide_String) return Wide_String;
function Overloaded_To_Upper (Item : Wide_Wide_String)
   return Wide_Wide_String;
function Overloaded_To_Basic (Item : String) return String;
function Overloaded_To_Basic (Item : Wide_String) return Wide_String;
function Overloaded_To_Basic (Item : Wide_Wide_String)
   return Wide_Wide_String;

function To_Case_Folding (Item : String) return String;

Ada.Characters.Latin_1

file:	a-chlat1.ads

These constants are stored as UTF-8 as a String.

(over 100 lines)

Ada.Command_Line

file:	a-comlin.ads

The iterator.

function Has_Element (Position : Natural) return Boolean;

package Iterator_Interfaces is
   new Ada.Iterator_Interfaces (Natural, Has_Element);

function Iterate return Iterator_Interfaces.Reversible_Iterator'Class;
function Iterate (First : Positive; Last : Natural)
   return Iterator_Interfaces.Reversible_Iterator'Class;

A non-abstract type of the above iterator.

It's useful for some workarounds, and will be removed in the future.

type Concrete_Iterator is
   limited new Iterator_Interfaces.Forward_Iterator with null record;

Ada.Containers

file:	a-contai.ads

Shift_Left, Shift_Right, Shift_Right_Arithmetic, Rotate_Left, and Rotate_Right.

These subprograms are convenience to make hash functions.

pragma Provide_Shift_Operators (Hash_Type);

Count_Type is essentially same as Natural.

--  type Count_Type is range 0 .. implementation-defined;
subtype Count_Type is Natural;

Ada.Containers.Doubly_Linked_Lists

file:	a-cdlili.ads

--  Empty_List : constant List;
function Empty_List return List;

procedure Update_Element (
   Container : in out List'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (Element : in out Element_Type));

procedure Delete_First (
   Container : in out List'Class; -- not primitive
   Count : Count_Type := 1);

procedure Delete_Last (
   Container : in out List'Class; -- not primitive
   Count : Count_Type := 1);

function First_Element (Container : List'Class) -- not primitive
   return Element_Type;

function Last_Element (Container : List'Class) -- not primitive
   return Element_Type;

--  function Find (
--    Container : List;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Find (
   Container : List;
   Item : Element_Type)
   return Cursor;
function Find (
   Container : List;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

--  function Reverse_Find (
--    Container : List;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Reverse_Find (
   Container : List;
   Item : Element_Type)
   return Cursor;
function Reverse_Find (
   Container : List;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

function "<" (Left, Right : Cursor) return Boolean;

procedure Iterate (
   Container : List'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : List'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : List'Class) -- not primitive
   return List_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : List'Class; First, Last : Cursor)
   return List_Iterator_Interfaces.Reversible_Iterator'Class;

Ada.Containers.Hashed_Maps

file:	a-cohama.ads

--  Empty_Map : constant Map;
function Empty_Map return Map;

procedure Update_Element (
   Container : in out Map'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (
      Key : Key_Type;
      Element : in out Element_Type));

function Element (
   Container : Map'Class; -- not primitive
   Key : Key_Type)
   return Element_Type;

procedure Iterate (
   Container : Map'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Map'Class) -- not primitive
   return Map_Iterator_Interfaces.Forward_Iterator'Class;

Ada.Containers.Hashed_Sets

file:	a-cohase.ads

--  Empty_Set : constant Set;
function Empty_Set return Set;

generic
   type Index_Type is (<>);
   type Element_Array is array (Index_Type range <>) of Element_Type;
function Generic_Array_To_Set (S : Element_Array) return Set;

procedure Iterate (
   Container : Set'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Set'Class) -- not primitive
   return Set_Iterator_Interfaces.Forward_Iterator'Class;

Ada.Containers.Indefinite_Doubly_Linked_Lists

file:	a-cidlli.ads

--  Empty_List : constant List;
function Empty_List return List;

procedure Update_Element (
   Container : in out List'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (Element : in out Element_Type));

procedure Delete_First (
   Container : in out List'Class; -- not primitive
   Count : Count_Type := 1);

procedure Delete_Last (
   Container : in out List'Class; -- not primitive
   Count : Count_Type := 1);

function First_Element (Container : List'Class) -- not primitive
   return Element_Type;

function Last_Element (Container : List'Class) -- not primitive
   return Element_Type;

--  function Find (
--    Container : List;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Find (
   Container : List;
   Item : Element_Type)
   return Cursor;
function Find (
   Container : List;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

--  function Reverse_Find (
--    Container : List;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Reverse_Find (
   Container : List;
   Item : Element_Type)
   return Cursor;
function Reverse_Find (
   Container : List;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

function "<" (Left, Right : Cursor) return Boolean;

procedure Iterate (
   Container : List'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : List'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : List'Class) -- not primitive
   return List_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : List'Class; First, Last : Cursor)
   return List_Iterator_Interfaces.Reversible_Iterator'Class;

Ada.Containers.Indefinite_Hashed_Maps

file:	a-cihama.ads

--  Empty_Map : constant Map;
function Empty_Map return Map;

procedure Update_Element (
   Container : in out Map'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (
      Key : Key_Type;
      Element : in out Element_Type));

function Element (
   Container : Map'Class; -- not primitive
   Key : Key_Type)
   return Element_Type;

procedure Iterate (
   Container : Map'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Map'Class) -- not primitive
   return Map_Iterator_Interfaces.Forward_Iterator'Class;

Ada.Containers.Indefinite_Hashed_Sets

file:	a-cihase.ads

--  Empty_Set : constant Set;
function Empty_Set return Set;

procedure Iterate (
   Container : Set'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Set'Class) -- not primitive
   return Set_Iterator_Interfaces.Forward_Iterator'Class;

Ada.Containers.Indefinite_Holders

file:	a-coinho.ads

--  Empty_Holder : constant Holder;
function Empty_Holder return Holder;

function Element (Container : Holder'Class) -- not primitive
   return Element_Type;

procedure Query_Element (
   Container : Holder'Class; -- not primitive
   Process : not null access procedure (Element : Element_Type));

procedure Update_Element (
   Container : in out Holder'Class; -- not primitive
   Process : not null access procedure (Element : in out Element_Type));

Ada.Containers.Indefinite_Ordered_Maps

file:	a-ciorma.ads

--  Empty_Map : constant Map;
function Empty_Map return Map;

procedure Update_Element (
   Container : in out Map'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (
      Key : Key_Type;
      Element : in out Element_Type));

procedure Delete_First (Container : in out Map'Class); -- not primitive

procedure Delete_Last (Container : in out Map'Class); -- not primitive

function First_Element (Container : Map'Class) -- not primitive
   return Element_Type;

function First_Key (Container : Map'Class) -- not primitive
   return Key_Type;

function Last_Element (Container : Map'Class) -- not primitive
   return Element_Type;

function Last_Key (Container : Map'Class) -- not primitive
   return Key_Type;

function Element (
   Container : Map'Class; -- not primitive
   Key : Key_Type)
   return Element_Type;

procedure Iterate (
   Container : Map'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : Map'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Map'Class) -- not primitive
   return Map_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : Map'Class; First, Last : Cursor)
   return Map_Iterator_Interfaces.Reversible_Iterator'Class;

Ada.Containers.Indefinite_Ordered_Sets

file:	a-ciorse.ads

--  Empty_Set : constant Set;
function Empty_Set return Set;

procedure Delete_First (Container : in out Set'Class); -- not primitive

procedure Delete_Last (Container : in out Set'Class); -- not primitive

function First_Element (Container : Set'Class) -- not primitive
   return Element_Type;

function Last_Element (Container : Set'Class) -- not primitive
   return Element_Type;

procedure Iterate (
   Container : Set'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : Set'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Set'Class) -- not primitive
   return Set_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : Set'Class; First, Last : Cursor)
   return Set_Iterator_Interfaces.Reversible_Iterator'Class;

Ada.Containers.Indefinite_Vectors

file:	a-coinve.ads

--  type Cursor is private;
subtype Cursor is Extended_Index;

--  Empty_Vector : constant Vector;
function Empty_Vector return Vector;

function To_Cursor (
   Container : Vector'Class; -- not primitive
   Index : Extended_Index)
   return Cursor;

function Element (
   Container : Vector'Class; -- not primitive
   Index : Index_Type)
   return Element_Type;

procedure Query_Element (
   Container : Vector'Class; -- not primitive
   Index : Index_Type;
   Process : not null access procedure (Element : Element_Type));

procedure Update_Element (
   Container : in out Vector'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (Element : in out Element_Type));

procedure Insert_Space (
   Container : in out Vector'Class; -- not primitive
   Before : Extended_Index;
   Count : Count_Type := 1);

procedure Delete_First (
   Container : in out Vector'Class; -- not primitive
   Count : Count_Type := 1);

procedure Delete_Last (
   Container : in out Vector'Class; -- not primitive
   Count : Count_Type := 1);

function First_Index (Container : Vector'Class) -- not primitive
   return Index_Type;

function First_Element (Container : Vector'Class) -- not primitive
   return Element_Type;

function Last_Index (Container : Vector'Class) -- not primitive
   return Extended_Index;

function Last_Element (Container : Vector'Class) -- not primitive
   return Element_Type;

function Find_Index (
   Container : Vector'Class; -- not primitive
   Item : Element_Type;
   Index : Index_Type := Index_Type'First)
   return Extended_Index;

--  function Find (
--    Container : Vector;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Find (
   Container : Vector;
   Item : Element_Type)
   return Cursor;
function Find (
   Container : Vector;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

function Reverse_Find_Index (
   Container : Vector'Class; -- not primitive
   Item : Element_Type;
   Index : Index_Type := Index_Type'Last)
   return Extended_Index;

--  function Reverse_Find (
--    Container : Vector;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Reverse_Find (
   Container : Vector;
   Item : Element_Type)
   return Cursor;
function Reverse_Find (
   Container : Vector;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

procedure Iterate (
   Container : Vector'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : Vector'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Vector'Class) -- not primitive
   return Vector_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : Vector'Class; First, Last : Cursor)
   return Vector_Iterator_Interfaces.Reversible_Iterator'Class;

Ada.Containers.Ordered_Maps

file:	a-coorma.ads

--  Empty_Map : constant Map;
function Empty_Map return Map;

procedure Update_Element (
   Container : in out Map'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (
      Key : Key_Type;
      Element : in out Element_Type));

procedure Delete_First (Container : in out Map'Class); -- not primitive

procedure Delete_Last (Container : in out Map'Class); -- not primitive

function First_Element (Container : Map'Class) -- not primitive
   return Element_Type;

function First_Key (Container : Map'Class) -- not primitive
   return Key_Type;

function Last_Element (Container : Map'Class) -- not primitive
   return Element_Type;

function Last_Key (Container : Map'Class) -- not primitive
   return Key_Type;

function Element (
   Container : Map'Class; -- not primitive
   Key : Key_Type)
   return Element_Type;

procedure Iterate (
   Container : Map'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : Map'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Map'Class) -- not primitive
   return Map_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : Map'Class; First, Last : Cursor)
   return Map_Iterator_Interfaces.Reversible_Iterator'Class;

Ada.Containers.Ordered_Sets

file:	a-coorse.ads

--  Empty_Set : constant Set;
function Empty_Set return Set;

generic
   type Index_Type is (<>);
   type Element_Array is array (Index_Type range <>) of Element_Type;
function Generic_Array_To_Set (S : Element_Array) return Set;

procedure Delete_First (Container : in out Set'Class); -- not primitive

procedure Delete_Last (Container : in out Set'Class); -- not primitive

function First_Element (Container : Set'Class) -- not primitive
   return Element_Type;

function Last_Element (Container : Set'Class) -- not primitive
   return Element_Type;

procedure Iterate (
   Container : Set'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : Set'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Set'Class) -- not primitive
   return Set_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : Set'Class; First, Last : Cursor)
   return Set_Iterator_Interfaces.Reversible_Iterator'Class;

Ada.Containers.Vectors

file:	a-convec.ads

--  type Cursor is private;
subtype Cursor is Extended_Index;

--  Empty_Vector : constant Vector;
function Empty_Vector return Vector;

generic
   type Element_Array is array (Index_Type range <>) of Element_Type;
function Generic_Array_To_Vector (S : Element_Array) return Vector;

function To_Cursor (
   Container : Vector'Class; -- not primitive
   Index : Extended_Index)
   return Cursor;

function Element (
   Container : Vector'Class; -- not primitive
   Index : Index_Type)
   return Element_Type;

procedure Query_Element (
   Container : Vector'Class; -- not primitive
   Index : Index_Type;
   Process : not null access procedure (Element : Element_Type));

procedure Update_Element (
   Container : in out Vector'Class; -- not primitive
   Position : Cursor;
   Process : not null access procedure (Element : in out Element_Type));

procedure Insert_Space (
   Container : in out Vector'Class; -- not primitive
   Before : Extended_Index;
   Count : Count_Type := 1);

procedure Delete_First (
   Container : in out Vector'Class; -- not primitive
   Count : Count_Type := 1);

procedure Delete_Last (
   Container : in out Vector'Class; -- not primitive
   Count : Count_Type := 1);

function First_Index (Container : Vector'Class) -- not primitive
   return Index_Type;

function First_Element (Container : Vector'Class) -- not primitive
   return Element_Type;

function Last_Index (Container : Vector'Class) -- not primitive
   return Extended_Index;

function Last_Element (Container : Vector'Class) -- not primitive
   return Element_Type;

function Find_Index (
   Container : Vector'Class; -- not primitive
   Item : Element_Type;
   Index : Index_Type := Index_Type'First)
   return Extended_Index;

--  function Find (
--    Container : Vector;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Find (
   Container : Vector;
   Item : Element_Type)
   return Cursor;
function Find (
   Container : Vector;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

function Reverse_Find_Index (
   Container : Vector'Class; -- not primitive
   Item : Element_Type;
   Index : Index_Type := Index_Type'Last)
   return Extended_Index;

--  function Reverse_Find (
--    Container : Vector;
--    Item : Element_Type;
--    Position : Cursor := No_Element)
--    return Cursor;
function Reverse_Find (
   Container : Vector;
   Item : Element_Type)
   return Cursor;
function Reverse_Find (
   Container : Vector;
   Item : Element_Type;
   Position : Cursor)
   return Cursor;

procedure Iterate (
   Container : Vector'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

procedure Reverse_Iterate (
   Container : Vector'Class; -- not primitive
   Process : not null access procedure (Position : Cursor));

function Iterate (Container : Vector'Class) -- not primitive
   return Vector_Iterator_Interfaces.Reversible_Iterator'Class;

function Iterate (Container : Vector'Class; First, Last : Cursor)
   return Vector_Iterator_Interfaces.Reversible_Iterator'Class;

Convenient way to direct access.

type Element_Array is array (Index_Type range <>) of aliased Element_Type;

package Slicing is
   new References.Generic_Slicing (Index_Type, Element_Type, Element_Array);

function Constant_Reference (Container : aliased Vector)
   return Slicing.Constant_Reference_Type;
function Reference (Container : aliased in out Vector)
   return Slicing.Reference_Type;

Ada.Directories

file:	a-direct.ads

procedure Create_Directory (
   New_Directory : String;
   Form : String); -- removed default
procedure Create_Directory (
   New_Directory : String);

procedure Create_Path (
   New_Directory : String;
   Form : String); -- removed default
procedure Create_Path (
   New_Directory : String);

These functions fail if Overwrite = False and New_Name already exists.

procedure Rename (
   Old_Name : String;
   New_Name : String;
   Overwrite : Boolean := True); -- additional

procedure Copy_File (
   Source_Name : String;
   Target_Name : String;
   Form : String); -- removed default
procedure Copy_File (
   Source_Name : String;
   Target_Name : String;
   Overwrite : Boolean := True);

Overwrite a target file with another source file, and delete the source if it succeeded.

Replace_File tries to preserve attributes of the target unlike Rename.

procedure Replace_File (
   Source_Name : String;
   Target_Name : String);

Create a symbolic link.

procedure Symbolic_Link (
   Source_Name : String;
   Target_Name : String;
   Overwrite : Boolean := True);

function Compose (
   Containing_Directory : String := "";
   Name : String;
   Extension : String := "";
   Path_Delimiter : Hierarchical_File_Names.Path_Delimiter_Type :=
      Hierarchical_File_Names.Default_Path_Delimiter) -- additional
   return String;

File_Size is essentially same as Stream_Element_Count.

--  type File_Size is range 0 .. implementation-defined;
subtype File_Size is Streams.Stream_Element_Count;

Set modification time of a file.

procedure Set_Modification_Time (Name : String; Time : Calendar.Time);

function Is_Assigned (Directory_Entry : Directory_Entry_Type)
   return Boolean;

function Is_Open (Search : Search_Type) return Boolean;

procedure Start_Search (
   Search : in out Search_Type;
   Directory : String;
   Pattern : String := "*"; -- additional default
   Filter : Filter_Type := (others => True));

function Start_Search (
   Directory : String;
   Pattern : String := "*";
   Filter : Filter_Type := (others => True))
   return Search_Type;

The function version of Get_Next_Entry.

function Get_Next_Entry (
   Search : aliased in out Search_Type) -- Open_Search_Type
   return Directory_Entry_Type;

Efficient way to get the next entry without copying.

type Constant_Reference_Type (
   Element : not null access constant Directory_Entry_Type) is null record
   with Implicit_Dereference => Element;

function Look_Next_Entry (
   Search : aliased Search_Type) -- Open_Search_Type
   return Constant_Reference_Type;

procedure Skip_Next_Entry (
   Search : in out Search_Type); -- Open_Search_Type

procedure Search (
   Directory : String;
   Pattern : String := "*"; -- additional default
   Filter : Filter_Type := (others => True);
   Process : not null access procedure (
      Directory_Entry : Directory_Entry_Type));

AI12-0009-1, Directory Iteration

type Directory_Listing is tagged limited private
   with
--       Constant_Indexing => Current_Entry,
      Constant_Indexing => Constant_Reference,
      Default_Iterator => Iterate,
      Iterator_Element => Directory_Entry_Type;

--  subtype Open_Directory_Listing is Directory_Listing
--    with
--       Dynamic_Predicate => Is_Open (Open_Directory_Listing),
--       Predicate_Failure => raise Status_Error;

function Is_Open (Listing : Directory_Listing) return Boolean; -- additional

function Entries (
   Directory : String;
   Pattern : String := "*"; -- additional default
   Filter : Filter_Type := (others => True))
   return Directory_Listing;

type Cursor is private;

function Has_Entry (Position : Cursor) return Boolean;

package Directory_Iterators is
   new Iterator_Interfaces (Cursor, Has_Entry);

--  Note: To be consistent with the existing instances in Ada.Containers,
--    like Vector/List/Set/Map_Iterator_Interfaces, should it be renamed to
--    Directory_Listing_Iterator_Interfaces?

function Iterate (
   Listing : Directory_Listing'Class) -- Open_Directory_Listing'Class
   return Directory_Iterators.Forward_Iterator'Class;

function Current_Entry (
   Entries : Directory_Listing'Class; -- Open_Directory_Listing'Class
   Position : Cursor)
   return Directory_Entry_Type;
--    with Pre => Has_Entry (Position);

function Constant_Reference (
   Container : aliased Directory_Listing; -- Open_Directory_Listing
   Position : Cursor)
   return Constant_Reference_Type;
   --  additional

Get Directory_Entry_Type of one file to get plural information.

procedure Get_Entry (
   Name : String;
   Directory_Entry : out Directory_Entry_Type);
function Get_Entry (
   Name : String)
   return Directory_Entry_Type;

Ada.Directories.Hierarchical_File_Names

file:	a-dhfina.ads

function Compose (
   Directory : String := "";
   Relative_Name : String;
   Extension : String := "";
   Path_Delimiter : Ada.Hierarchical_File_Names.Path_Delimiter_Type :=
      Ada.Hierarchical_File_Names.Default_Path_Delimiter) -- additional
   return String
   renames Ada.Hierarchical_File_Names.Compose;

Ada.Directories.Information

file:	a-dirinf.ads

type Permission is (
   Others_Execute, Others_Write, Others_Read,
   Group_Execute, Group_Write, Group_Read,
   Owner_Execute, Owner_Write, Owner_Read,
   Sticky, -- additional
   Set_Group_ID, Set_User_ID);

Read a target path of a symbolic link.

function Read_Symbolic_Link (Name : String) return String;
function Read_Symbolic_Link (
   Directory_Entry : Directory_Entry_Type) -- Assigned_Directory_Entry_Type
   return String;

The permissions of the current user.

type User_Permission is (User_Execute, User_Write, User_Read);

type User_Permission_Set_Type is array (User_Permission) of Boolean;

function User_Permission_Set (Name : String)
   return User_Permission_Set_Type;
function User_Permission_Set (
   Directory_Entry : Directory_Entry_Type) -- Assigned_Directory_Entry_Type
   return User_Permission_Set_Type;

Unique file identifier.

type File_Id is mod 2 ** 64; -- 64bit inode
function Identity (Name : String) return File_Id;
function Identity (
   Directory_Entry : Directory_Entry_Type) -- Assigned_Directory_Entry_Type
   return File_Id;

Ada.Environment_Variables

file:	a-envvar.ads

There is a simple iterator:

type Cursor is private; -- moved from below

function Has_Element (Position : Cursor) return Boolean;

function Name (Position : Cursor) return String;
function Value (Position : Cursor) return String;

package Iterator_Interfaces is
   new Ada.Iterator_Interfaces (Cursor, Has_Element);

function Iterate return Iterator_Interfaces.Forward_Iterator'Class;

Ada.Exceptions

file:	a-except.ads

Same as Reraise_Occurrence without checking Null_Occurrence.

procedure Reraise_Nonnull_Occurrence (X : Exception_Occurrence);

Efficient alternatives of: begin raise E; when X : E => Save_Occurrence (Target, X); end;

procedure Save_Exception (
   Target : out Exception_Occurrence;
   E : Exception_Id;
   Message : String := "");
procedure Save_Exception_From_Here (
   Target : out Exception_Occurrence;
   E : Exception_Id;
   File : String := Debug.File;
   Line : Integer := Debug.Line);
procedure Save_Exception_From_Here (
   Target : out Exception_Occurrence;
   E : Exception_Id;
   File : String := Debug.File;
   Line : Integer := Debug.Line;
   Message : String);

Ada.Interrupts

file:	a-interr.ads

Check the interrupt mask of current process.

function Is_Blocked (Interrupt : Interrupt_Id) return Boolean;

Set the interrupt mask of current process.

procedure Block (Interrupt : Interrupt_Id);

Unset the interrupt mask of current process.

procedure Unblock (Interrupt : Interrupt_Id);

Unchecked version of Attach_Handler.

procedure Unchecked_Attach_Handler (
   New_Handler : Parameterless_Handler;
   Interrupt : Interrupt_Id);

Unchecked version of Exchange_Handler.

procedure Unchecked_Exchange_Handler (
   Old_Handler : out Parameterless_Handler;
   New_Handler : Parameterless_Handler;
   Interrupt : Interrupt_Id);

Unchecked version of Detach_Handler.

procedure Unchecked_Detach_Handler (Interrupt : Interrupt_Id);

Raise a interrupt from/to itself.

procedure Raise_Interrupt (Interrupt : Interrupt_Id);

Ada.Locales

file:	a-locale.ads

These are language code defined by ISO 639-1/2.

Ada RM requires alpha-3 in spite of that almost all the operating systems use alpha-2.

type ISO_639_Alpha_2 is new String (1 .. 2);
--    with Dynamic_Predicate => -- [gcc-4.8] rejects
--       (for all E of ISO_639_Alpha_2 => E in 'a' .. 'z');
type ISO_639_Alpha_3 is new String (1 .. 3);
--    with Dynamic_Predicate => -- [gcc-4.8] rejects
--       (for all E of ISO_639_Alpha_3 => E in 'a' .. 'z');

ISO_639_Alpha_2_Unknown : constant ISO_639_Alpha_2 := "un"; -- ???
ISO_639_Alpha_3_Unknown : constant ISO_639_Alpha_3 := "und";

function To_Alpha_2 (Item : ISO_639_Alpha_3) return ISO_639_Alpha_2;
function To_Alpha_3 (Item : ISO_639_Alpha_2) return ISO_639_Alpha_3;

function Language return ISO_639_Alpha_2;
function Language return ISO_639_Alpha_3; -- Language_Code

These are country code defined by ISO 3166-1.

type ISO_3166_1_Alpha_2 is new String (1 .. 2);
--    with Dynamic_Predicate => -- [gcc-4.8] rejects
--       (for all E of ISO_3166_1_Alpha_2 => E in 'A' .. 'Z');

ISO_3166_1_Alpha_2_Unknown : constant ISO_3166_1_Alpha_2 := "ZZ";

function Country return ISO_3166_1_Alpha_2; -- Country_Code

--  type Language_Code is new String (1 .. 3)
--    with Dynamic_Predicate =>
--       (for all E of Language_Code => E in 'a' .. 'z'); -- AI12-0037-1
subtype Language_Code is ISO_639_Alpha_3;

--  type Country_Code is new String (1 .. 2)
--    with Dynamic_Predicate =>
--       (for all E of Country_Code => E in 'A' .. 'Z'); -- AI12-0037-1
subtype Country_Code is ISO_3166_1_Alpha_2;

Ada.Numerics.Generic_Complex_Types

file:	a-ngcoty.ads

--  i : constant Imaginary;
--  j : constant Imaginary;
function i return Imaginary;
function j return Imaginary
   renames i;

Ada.Streams

file:	a-stream.ads

type Seekable_Stream_Type is
   abstract limited new Root_Stream_Type with private;

subtype Stream_Element_Positive_Count is
   Stream_Element_Count range 1 .. Stream_Element_Count'Last;

procedure Set_Index (
   Stream : in out Seekable_Stream_Type;
   To : Stream_Element_Positive_Count) is abstract;

function Index (Stream : Seekable_Stream_Type)
   return Stream_Element_Positive_Count is abstract;
function Size (Stream : Seekable_Stream_Type)
   return Stream_Element_Count is abstract;

Ada.Streams.Stream_IO

file:	a-ststio.ads

Count is essentially same as Stream_Element_Count.

--  type Count is range 0 .. implementation-defined;
subtype Count is Stream_Element_Count;
subtype Positive_Count is Count range 1 .. Count'Last;
   --  Index into file, in stream elements

procedure Create (
   File : in out File_Type;
   Mode : File_Mode := Out_File;
   Name : String := "";
   Form : String); -- removed default
procedure Create (
   File : in out File_Type;
   Mode : File_Mode := Out_File;
   Name : String := "";
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True);

function Create (
   Mode : File_Mode := Out_File;
   Name : String := "";
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True)
   return File_Type;

procedure Open (
   File : in out File_Type;
   Mode : File_Mode;
   Name : String;
   Form : String); -- removed default
procedure Open (
   File : in out File_Type;
   Mode : File_Mode;
   Name : String;
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True);

function Open (
   Mode : File_Mode;
   Name : String;
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True)
   return File_Type;

Ada.Strings.Bounded

file:	a-strbou.ads

--    Null_Bounded_String : constant Bounded_String;
function Null_Bounded_String return Bounded_String
   renames Bounded_Strings.Null_Bounded_String;

--    function Index (
--       Source : Bounded_String;
--       Pattern : String;
--       From : Positive;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Index (
   Source : Bounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : Bounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Strings.Maps.Character_Mapping)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_String;
--       Pattern : String;
--       From : Positive;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Index (
   Source : Bounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Character)
      return Character)
   return Natural
   renames Maps.Index_Element;
function Index (
   Source : Bounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_String;
--       Pattern : String;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Index (
   Source : Bounded_String;
   Pattern : String;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : Bounded_String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : Strings.Maps.Character_Mapping)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_String;
--       Pattern : String;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Index (
   Source : Bounded_String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Character)
      return Character)
   return Natural
   renames Maps.Index_Element;
function Index (
   Source : Bounded_String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Index;

--    function Count (
--       Source : Bounded_String;
--       Pattern : String;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Count (
   Source : Bounded_String;
   Pattern : String)
   return Natural
   renames Functions.Count;
function Count (
   Source : Bounded_String;
   Pattern : String;
   Mapping : Strings.Maps.Character_Mapping)
   return Natural
   renames Maps.Count;

--    function Count (
--       Source : Bounded_String;
--       Pattern : String;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Count (
   Source : Bounded_String;
   Pattern : String;
   Mapping : not null access function (From : Character)
      return Character)
   return Natural
   renames Maps.Count_Element;
function Count (
   Source : Bounded_String;
   Pattern : String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Count;

function Translate (
   Source : Bounded_String;
   Mapping : Strings.Maps.Character_Mapping;
   Drop : Truncation := Error) -- additional
   return Bounded_String
   renames Maps.Translate;

procedure Translate (
   Source : in out Bounded_String;
   Mapping : Strings.Maps.Character_Mapping;
   Drop : Truncation := Error) -- additional
   renames Maps.Translate;

--    function Translate (
--       Source : Bounded_String;
--       Mapping : Maps.Character_Mapping_Function)
--       return Bounded_String;
function Translate (
   Source : Bounded_String;
   Mapping : not null access function (From : Character)
      return Character)
   return Bounded_String
   renames Maps.Translate_Element;
function Translate (
   Source : Bounded_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character;
   Drop : Truncation := Error)
   return Bounded_String
   renames Maps.Translate;

--    procedure Translate (
--       Source : in out Bounded_String;
--       Mapping : Maps.Character_Mapping_Function);
procedure Translate (
   Source : in out Bounded_String;
   Mapping : not null access function (From : Character)
      return Character)
   renames Maps.Translate_Element;
procedure Translate (
   Source : in out Bounded_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character;
   Drop : Truncation := Error)
   renames Maps.Translate;

function Trim (
   Source : Bounded_String;
   Side : Trim_End;
   Blank : Character := Space) -- additional
   return Bounded_String
   renames Functions.Trim;
procedure Trim (
   Source : in out Bounded_String;
   Side : Trim_End;
   Blank : Character := Space) -- additional
   renames Functions.Trim;

Ada.Strings.Fixed

file:	a-strfix.ads

--  function Index (
--    Source : String;
--    Pattern : String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping := Maps.Identity)
--    return Natural;
function Index (
   Source : String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Maps.Character_Mapping)
   return Natural
   renames Functions.Maps.Index;

--  function Index (
--    Source : String;
--    Pattern : String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Index (
   Source : String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Character) return Character)
   return Natural
   renames Functions.Maps.Index_Element;
function Index (
   Source : String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Functions.Maps.Index;

--  function Index (
--    Source : String;
--    Pattern : String;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping := Maps.Identity)
--    return Natural;
function Index (
   Source : String;
   Pattern : String;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : Maps.Character_Mapping)
   return Natural
   renames Functions.Maps.Index;

--  function Index (
--    Source : String;
--    Pattern : String;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Index (
   Source : String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Character) return Character)
   return Natural
   renames Functions.Maps.Index_Element;
function Index (
   Source : String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Functions.Maps.Index;

--  function Count (
--    Source : String;
--    Pattern : String;
--    Mapping : Maps.Character_Mapping := Maps.Identity)
--    return Natural;
function Count (
   Source : String;
   Pattern : String)
   return Natural
   renames Functions.Count;
function Count (
   Source : String;
   Pattern : String;
   Mapping : Maps.Character_Mapping)
   return Natural
   renames Functions.Maps.Count;

--  function Count (
--    Source : String;
--    Pattern : String;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Count (
   Source : String;
   Pattern : String;
   Mapping : not null access function (From : Character) return Character)
   return Natural
   renames Functions.Maps.Count_Element;
function Count (
   Source : String;
   Pattern : String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Functions.Maps.Count;

procedure Translate (
   Source : in out String;
   Mapping : Maps.Character_Mapping;
   Drop : Truncation := Error; -- additional
   Justify : Alignment := Left; -- additional
   Pad : Character := Space) -- additional
   renames Functions.Maps.Translate;

--  function Translate (
--    Source : String;
--    Mapping : Maps.Character_Mapping_Function)
--    return String;
function Translate (
   Source : String;
   Mapping : not null access function (From : Character) return Character)
   return String
   renames Functions.Maps.Translate_Element;
function Translate (
   Source : String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return String
   renames Functions.Maps.Translate;

--  procedure Translate (
--    Source : in out String;
--    Mapping : Maps.Character_Mapping_Function);
procedure Translate (
   Source : in out String;
   Mapping : not null access function (From : Character) return Character)
   renames Functions.Maps.Translate_Element;
procedure Translate (
   Source : in out String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character;
   Drop : Truncation := Error; -- additional
   Justify : Alignment := Left; -- additional
   Pad : Character := Space) -- additional
   renames Functions.Maps.Translate;

function Trim (
   Source : String;
   Side : Trim_End;
   Blank : Character := Space) -- additional
   return String
   renames Functions.Trim;

procedure Trim (
   Source : in out String;
   Side : Trim_End;
   Blank : Character;
   Justify : Alignment := Left;
   Pad : Character := Space)
   renames Functions.Trim;

Ada.Strings.Maps

file:	a-strmap.ads

--  Null_Set : constant Character_Set;
function Null_Set return Character_Set;

function Is_Null (Set : Character_Set) return Boolean;

type Wide_Character_Range is record
   Low : Wide_Character;
   High : Wide_Character;
end record;

type Wide_Character_Ranges is
   array (Positive range <>) of Wide_Character_Range;

type Wide_Wide_Character_Range is record
   Low : Wide_Wide_Character;
   High : Wide_Wide_Character;
end record;

type Wide_Wide_Character_Ranges is
   array (Positive range <>) of Wide_Wide_Character_Range;

function Overloaded_To_Set (Ranges : Character_Ranges)
   return Character_Set;
function Overloaded_To_Set (Ranges : Wide_Character_Ranges)
   return Character_Set;
function Overloaded_To_Set (Ranges : Wide_Wide_Character_Ranges)
   return Character_Set;

function Overloaded_To_Set (Span : Character_Range)
   return Character_Set;
function Overloaded_To_Set (Span : Wide_Character_Range)
   return Character_Set;
function Overloaded_To_Set (Span : Wide_Wide_Character_Range)
   return Character_Set;

function Overloaded_To_Ranges (Set : Character_Set)
   return Character_Ranges;
function Overloaded_To_Ranges (Set : Character_Set)
   return Wide_Character_Ranges;
function Overloaded_To_Ranges (Set : Character_Set)
   return Wide_Wide_Character_Ranges;

function Overloaded_Is_In (
   Element : Character;
   Set : Character_Set)
   return Boolean;
function Overloaded_Is_In (
   Element : Wide_Character;
   Set : Character_Set)
   return Boolean;
function Overloaded_Is_In (
   Element : Wide_Wide_Character;
   Set : Character_Set)
   return Boolean;

subtype Wide_Character_Sequence is Wide_String;
subtype Wide_Wide_Character_Sequence is Wide_Wide_String;

function Overloaded_To_Set (Sequence : Character_Sequence)
   return Character_Set;
function Overloaded_To_Set (Sequence : Wide_Character_Sequence)
   return Character_Set;
function Overloaded_To_Set (Sequence : Wide_Wide_Character_Sequence)
   return Character_Set;

function Overloaded_To_Set (Singleton : Character)
   return Character_Set;
function Overloaded_To_Set (Singleton : Wide_Character)
   return Character_Set;
function Overloaded_To_Set (Singleton : Wide_Wide_Character)
   return Character_Set;

function Overloaded_To_Sequence (Set : Character_Set)
   return Character_Sequence;
function Overloaded_To_Sequence (Set : Character_Set)
   return Wide_Character_Sequence;
function Overloaded_To_Sequence (Set : Character_Set)
   return Wide_Wide_Character_Sequence;

function Overloaded_Value (
   Map : Character_Mapping;
   Element : Character)
   return Character;
function Overloaded_Value (
   Map : Character_Mapping;
   Element : Wide_Character)
   return Wide_Character;
function Overloaded_Value (
   Map : Character_Mapping;
   Element : Wide_Wide_Character)
   return Wide_Wide_Character;

--  Identity : constant Character_Mapping;
function Identity return Character_Mapping;

function Is_Identity (Map : Character_Mapping) return Boolean;

function Overloaded_To_Mapping (From, To : Character_Sequence)
   return Character_Mapping;
function Overloaded_To_Mapping (From, To : Wide_Character_Sequence)
   return Character_Mapping;
function Overloaded_To_Mapping (From, To : Wide_Wide_Character_Sequence)
   return Character_Mapping;

function Overloaded_To_Domain (Map : Character_Mapping)
   return Character_Sequence;
function Overloaded_To_Domain (Map : Character_Mapping)
   return Wide_Character_Sequence;
function Overloaded_To_Domain (Map : Character_Mapping)
   return Wide_Wide_Character_Sequence;
function Overloaded_To_Range (Map : Character_Mapping)
   return Character_Sequence;
function Overloaded_To_Range (Map : Character_Mapping)
   return Wide_Character_Sequence;
function Overloaded_To_Range (Map : Character_Mapping)
   return Wide_Wide_Character_Sequence;

overriding function "=" (Left, Right : Character_Mapping) return Boolean;

Ada.Strings.Maps.Constants

file:	a-stmaco.ads

There are sets of unicode category.

function Unassigned_Set return Character_Set;
function Uppercase_Letter_Set return Character_Set;
function Lowercase_Letter_Set return Character_Set;
function Titlecase_Letter_Set return Character_Set;
function Modifier_Letter_Set return Character_Set;
function Other_Letter_Set return Character_Set;
function Decimal_Number_Set return Character_Set;
function Letter_Number_Set return Character_Set;
function Other_Number_Set return Character_Set;
function Line_Separator_Set return Character_Set;
function Paragraph_Separator_Set return Character_Set;
function Control_Set return Character_Set;
function Format_Set return Character_Set;
function Private_Use_Set return Character_Set;
function Surrogate_Set return Character_Set;

function Case_Folding_Map return Character_Mapping;

Ada.Strings.UTF_Encoding

file:	a-stuten.ads

UTF-32 support is added.

type Encoding_Scheme is (
   UTF_8, UTF_16BE, UTF_16LE,
   UTF_32BE, UTF_32LE); -- additional

subtype UTF_32_Wide_Wide_String is Wide_Wide_String;

BOM_32BE : aliased constant String :=
   Character'Val (16#00#)
   & Character'Val (16#00#)
   & Character'Val (16#FE#)
   & Character'Val (16#FF#);

BOM_32LE : aliased constant String :=
   Character'Val (16#FF#)
   & Character'Val (16#FE#)
   & Character'Val (16#00#)
   & Character'Val (16#00#);

BOM_32 : constant Wide_Wide_String :=
   (1 => Wide_Wide_Character'Val (16#0000FEFF#));

UTF_16_Wide_String_Scheme : constant
   Encoding_Scheme range UTF_16BE .. UTF_16LE;
UTF_32_Wide_Wide_String_Scheme : constant
   Encoding_Scheme range UTF_32BE .. UTF_32LE;

Ada.Strings.UTF_Encoding.Conversions

file:	a-suenco.ads

This function convets from binary to 32.

function Convert (
   Item : UTF_String;
   Input_Scheme : Encoding_Scheme;
   Output_BOM : Boolean := False)
   return UTF_32_Wide_Wide_String;

This function convets from 8 to 32.

function Convert (
   Item : UTF_8_String;
   Output_BOM : Boolean := False)
   return UTF_32_Wide_Wide_String;

This function convets from 16 to 32.

function Convert (
   Item : UTF_16_Wide_String;
   Output_BOM : Boolean := False)
   return UTF_32_Wide_Wide_String;

This function convets from 32 to binary.

function Convert (
   Item : UTF_32_Wide_Wide_String;
   Output_Scheme : Encoding_Scheme;
   Output_BOM : Boolean := False)
   return UTF_String;

This function convets from 32 to 8.

function Convert (
   Item : UTF_32_Wide_Wide_String;
   Output_BOM : Boolean := False)
   return UTF_8_String;

This function convets from 32 to 16.

function Convert (
   Item : UTF_32_Wide_Wide_String;
   Output_BOM : Boolean := False)
   return UTF_16_Wide_String;

Ada.Strings.Unbounded

file:	a-strunb.ads

--  Null_Unbounded_String : constant Unbounded_String;
function Null_Unbounded_String return Unbounded_String
   renames Unbounded_Strings.Null_Unbounded_String;

--  function Index (
--    Source : Unbounded_String;
--    Pattern : String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping := Maps.Identity)
--    return Natural;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Unbounded_Strings.Functions.Index;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Maps.Character_Mapping)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_String;
--    Pattern : String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Character) return Character)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Index_Element;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_String;
--    Pattern : String;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping := Maps.Identity)
--    return Natural;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   Going : Direction := Forward)
   return Natural
   renames Unbounded_Strings.Functions.Index;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : Maps.Character_Mapping)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_String;
--    Pattern : String;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Character) return Character)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Index_Element;
function Index (
   Source : Unbounded_String;
   Pattern : String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Index;

--  function Count (
--    Source : Unbounded_String;
--    Pattern : String;
--    Mapping : Maps.Character_Mapping := Maps.Identity)
--    return Natural;
function Count (
   Source : Unbounded_String;
   Pattern : String)
   return Natural
   renames Unbounded_Strings.Functions.Count;
function Count (
   Source : Unbounded_String;
   Pattern : String;
   Mapping : Maps.Character_Mapping)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Count;

--  function Count (
--    Source : Unbounded_String;
--    Pattern : String;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Count (
   Source : Unbounded_String;
   Pattern : String;
   Mapping : not null access function (From : Character) return Character)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Count_Element;
function Count (
   Source : Unbounded_String;
   Pattern : String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Strings.Functions.Maps.Count;

--  function Translate (
--    Source : Unbounded_String;
--    Mapping : Maps.Character_Mapping_Function)
--    return Unbounded_String;
function Translate (
   Source : Unbounded_String;
   Mapping : not null access function (From : Character) return Character)
   return Unbounded_String
   renames Unbounded_Strings.Functions.Maps.Translate_Element;
function Translate (
   Source : Unbounded_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Unbounded_String
   renames Unbounded_Strings.Functions.Maps.Translate;

--  procedure Translate (
--    Source : in out Unbounded_String;
--    Mapping : Maps.Character_Mapping_Function);
procedure Translate (
   Source : in out Unbounded_String;
   Mapping : not null access function (From : Character) return Character)
   renames Unbounded_Strings.Functions.Maps.Translate_Element;
procedure Translate (
   Source : in out Unbounded_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   renames Unbounded_Strings.Functions.Maps.Translate;

function Trim (
   Source : Unbounded_String;
   Side : Trim_End;
   Blank : Character := Space) -- additional
   return Unbounded_String
   renames Unbounded_Strings.Functions.Trim;

procedure Trim (
   Source : in out Unbounded_String;
   Side : Trim_End;
   Blank : Character := Space) -- additional
   renames Unbounded_Strings.Functions.Trim;

Ada.Strings.Wide_Bounded

file:	a-stwibo.ads

--    Null_Wide_Bounded_String : constant Bounded_Wide_String;
function Null_Bounded_Wide_String return Bounded_Wide_String
   renames Bounded_Wide_Strings.Null_Bounded_String;

--    function Index (
--       Source : Bounded_Wide_String;
--       Pattern : Wide_String;
--       From : Positive;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Strings.Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_Wide_String;
--       Pattern : Wide_String;
--       From : Positive;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Maps.Index_Element;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_Wide_String;
--       Pattern : Wide_String;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : Strings.Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_Wide_String;
--       Pattern : Wide_String;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Maps.Index_Element;
function Index (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Index;

--    function Count (
--       Source : Bounded_Wide_String;
--       Pattern : Wide_String;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Count (
   Source : Bounded_Wide_String;
   Pattern : Wide_String)
   return Natural
   renames Functions.Count;
function Count (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   Mapping : Strings.Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Maps.Count;

--    function Count (
--       Source : Bounded_Wide_String;
--       Pattern : Wide_String;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Count (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Maps.Count_Element;
function Count (
   Source : Bounded_Wide_String;
   Pattern : Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Count;

function Translate (
   Source : Bounded_Wide_String;
   Mapping : Strings.Wide_Maps.Wide_Character_Mapping;
   Drop : Truncation := Error) -- additional
   return Bounded_Wide_String
   renames Maps.Translate;

procedure Translate (
   Source : in out Bounded_Wide_String;
   Mapping : Strings.Wide_Maps.Wide_Character_Mapping;
   Drop : Truncation := Error) -- additional
   renames Maps.Translate;

--    function Translate (
--       Source : Bounded_Wide_String;
--       Mapping : Maps.Character_Mapping_Function)
--       return Bounded_Wide_String;
function Translate (
   Source : Bounded_Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Bounded_Wide_String
   renames Maps.Translate_Element;
function Translate (
   Source : Bounded_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character;
   Drop : Truncation := Error) -- additional
   return Bounded_Wide_String
   renames Maps.Translate;

--    procedure Translate (
--       Source : in out Bounded_Wide_String;
--       Mapping : Maps.Character_Mapping_Function);
procedure Translate (
   Source : in out Bounded_Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   renames Maps.Translate_Element;
procedure Translate (
   Source : in out Bounded_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character;
   Drop : Truncation := Error) -- additional
   renames Maps.Translate;

function Trim (
   Source : Bounded_Wide_String;
   Side : Trim_End;
   Blank : Wide_Character := Wide_Space) -- additional
   return Bounded_Wide_String
   renames Functions.Trim;
procedure Trim (
   Source : in out Bounded_Wide_String;
   Side : Trim_End;
   Blank : Wide_Character := Wide_Space) -- additional
   renames Functions.Trim;

Ada.Strings.Wide_Fixed

file:	a-stwifi.ads

--  function Index (
--    Source : Wide_String;
--    Pattern : Wide_String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
--    return Natural;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Wide_Functions.Index;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Wide_Functions.Maps.Index;

--  function Index (
--    Source : Wide_String;
--    Pattern : Wide_String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Maps.Wide_Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Wide_Functions.Maps.Index_Element;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Wide_Functions.Maps.Index;

--  function Index (
--    Source : Wide_String;
--    Pattern : Wide_String;
--    Going : Direction := Forward;
--    Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
--    return Natural;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward)
   return Natural
   renames Wide_Functions.Index;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Wide_Functions.Maps.Index;

--  function Index (
--    Source : Wide_String;
--    Pattern : Wide_String;
--    Going : Direction := Forward;
--    Mapping : Wide_Maps.Wide_Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Wide_Functions.Maps.Index_Element;
function Index (
   Source : Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Wide_Functions.Maps.Index;

--  function Count (
--    Source : Wide_String;
--    Pattern : Wide_String;
--    Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
--    return Natural;
function Count (
   Source : Wide_String;
   Pattern : Wide_String)
   return Natural
   renames Wide_Functions.Count;
function Count (
   Source : Wide_String;
   Pattern : Wide_String;
   Mapping : Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Wide_Functions.Maps.Count;

--  function Count (
--    Source : Wide_String;
--    Pattern : Wide_String;
--    Mapping : Wide_Maps.Wide_Character_Mapping_Function)
--    return Natural;
function Count (
   Source : Wide_String;
   Pattern : Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Wide_Functions.Maps.Count_Element;
function Count (
   Source : Wide_String;
   Pattern : Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Wide_Functions.Maps.Count;

procedure Translate (
   Source : in out Wide_String;
   Mapping : Wide_Maps.Wide_Character_Mapping;
   Drop : Truncation := Error; -- additional
   Justify : Alignment := Left; -- additional
   Pad : Wide_Character := Wide_Space) -- additional
   renames Wide_Functions.Maps.Translate;

--  function Translate (
--    Source : Wide_String;
--    Mapping : Wide_Maps.Wide_Character_Mapping_Function)
--    return Wide_String;
function Translate (
   Source : Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Wide_String
   renames Wide_Functions.Maps.Translate_Element;
function Translate (
   Source : Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Wide_String
   renames Wide_Functions.Maps.Translate;

--  procedure Translate (
--    Source : in out Wide_String;
--    Mapping : Wide_Maps.Wide_Character_Mapping_Function);
procedure Translate (
   Source : in out Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   renames Wide_Functions.Maps.Translate_Element;
procedure Translate (
   Source : in out Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character;
   Drop : Truncation := Error; -- additional
   Justify : Alignment := Left; -- additional
   Pad : Wide_Character := Wide_Space) -- additional
   renames Wide_Functions.Maps.Translate;

function Trim (
   Source : Wide_String;
   Side : Trim_End;
   Blank : Wide_Character := Wide_Space) -- additional
   return Wide_String
   renames Wide_Functions.Trim;

procedure Trim (
   Source : in out Wide_String;
   Side : Trim_End;
   Blank : Wide_Character;
   Justify : Alignment := Left;
   Pad : Wide_Character := Wide_Space)
   renames Wide_Functions.Trim;

Ada.Strings.Wide_Maps

file:	a-stwima.ads

--  type Wide_Character_Set is private;
subtype Wide_Character_Set is Maps.Character_Set;

--  Null_Set : constant Wide_Character_Set;
function Null_Set return Wide_Character_Set
   renames Maps.Null_Set;

--  type Wide_Character_Mapping is private;
subtype Wide_Character_Mapping is Maps.Character_Mapping;

--  Identity : constant Wide_Character_Mapping;
function Identity return Wide_Character_Mapping
   renames Maps.Identity;

Ada.Strings.Wide_Maps.Wide_Constants

file:	a-swmwco.ads

There are sets of unicode category.

function Unassigned_Set return Wide_Character_Set
   renames Maps.Constants.Unassigned_Set;
function Uppercase_Letter_Set return Wide_Character_Set
   renames Maps.Constants.Uppercase_Letter_Set;
function Lowercase_Letter_Set return Wide_Character_Set
   renames Maps.Constants.Lowercase_Letter_Set;
function Titlecase_Letter_Set return Wide_Character_Set
   renames Maps.Constants.Titlecase_Letter_Set;
function Modifier_Letter_Set return Wide_Character_Set
   renames Maps.Constants.Modifier_Letter_Set;
function Other_Letter_Set return Wide_Character_Set
   renames Maps.Constants.Other_Letter_Set;
function Decimal_Number_Set return Wide_Character_Set
   renames Maps.Constants.Decimal_Number_Set;
function Letter_Number_Set return Wide_Character_Set
   renames Maps.Constants.Letter_Number_Set;
function Other_Number_Set return Wide_Character_Set
   renames Maps.Constants.Other_Number_Set;
function Line_Separator_Set return Wide_Character_Set
   renames Maps.Constants.Line_Separator_Set;
function Paragraph_Separator_Set return Wide_Character_Set
   renames Maps.Constants.Paragraph_Separator_Set;
function Control_Set return Wide_Character_Set
   renames Maps.Constants.Control_Set;
function Format_Set return Wide_Character_Set
   renames Maps.Constants.Format_Set;
function Private_Use_Set return Wide_Character_Set
   renames Maps.Constants.Private_Use_Set;
function Surrogate_Set return Wide_Character_Set
   renames Maps.Constants.Surrogate_Set;

function Base_Set return Wide_Character_Set
   renames Maps.Constants.Base_Set;

function Case_Folding_Map return Wide_Character_Mapping
   renames Maps.Constants.Case_Folding_Map;

Ada.Strings.Wide_Unbounded

file:	a-stwiun.ads

--  Null_Unbounded_Wide_String : constant Unbounded_Wide_String;
function Null_Unbounded_Wide_String return Unbounded_Wide_String
   renames Unbounded_Wide_Strings.Null_Unbounded_String;

--  function Index (
--    Source : Unbounded_Wide_String;
--    Pattern : Wide_String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Maps.Wide_Character_Mapping := Wide_Maps.Identity)
--    return Natural;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Index;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_String;
--    Pattern : String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Maps.Wide_Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Index_Element;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_Wide_String;
--    Pattern : Wide_String;
--    Going : Direction := Forward;
--    Mapping : Wide_Maps.Wide_Character_Mapping := Maps.Identity)
--    return Natural;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Index;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_Wide_String;
--    Pattern : Wide_String;
--    Going : Direction := Forward;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Index_Element;
function Index (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Index;

--  function Count (
--    Source : Unbounded_Wide_String;
--    Pattern : Wide_String;
--    Mapping : Maps.Character_Mapping := Maps.Identity)
--    return Natural;
function Count (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Count;
function Count (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   Mapping : Wide_Maps.Wide_Character_Mapping)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Count;

--  function Count (
--    Source : Unbounded_Wide_String;
--    Pattern : Wide_String;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Count (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Count_Element;
function Count (
   Source : Unbounded_Wide_String;
   Pattern : Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Wide_Strings.Functions.Maps.Count;

--  function Translate (
--    Source : Unbounded_Wide_String;
--    Mapping : Maps.Character_Mapping_Function)
--    return Unbounded_Wide_String;
function Translate (
   Source : Unbounded_Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   return Unbounded_Wide_String
   renames Unbounded_Wide_Strings.Functions.Maps.Translate_Element;
function Translate (
   Source : Unbounded_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Unbounded_Wide_String
   renames Unbounded_Wide_Strings.Functions.Maps.Translate;

--  procedure Translate (
--    Source : in out Unbounded_Wide_String;
--    Mapping : Maps.Character_Mapping_Function);
procedure Translate (
   Source : in out Unbounded_Wide_String;
   Mapping : not null access function (From : Wide_Character)
      return Wide_Character)
   renames Unbounded_Wide_Strings.Functions.Maps.Translate_Element;
procedure Translate (
   Source : in out Unbounded_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   renames Unbounded_Wide_Strings.Functions.Maps.Translate;

function Trim (
   Source : Unbounded_Wide_String;
   Side : Trim_End;
   Blank : Wide_Character := Wide_Space) -- additional
   return Unbounded_Wide_String
   renames Unbounded_Wide_Strings.Functions.Trim;

procedure Trim (
   Source : in out Unbounded_Wide_String;
   Side : Trim_End;
   Blank : Wide_Character := Wide_Space) -- additional
   renames Unbounded_Wide_Strings.Functions.Trim;

Ada.Strings.Wide_Wide_Bounded

file:	a-stzbou.ads

--    Null_Wide_Wide_Bounded_String : constant Bounded_Wide_Wide_String;
function Null_Bounded_Wide_Wide_String return Bounded_Wide_Wide_String
   renames Bounded_Wide_Wide_Strings.Null_Bounded_String;

--    function Index (
--       Source : Bounded_Wide_Wide_String;
--       Pattern : Wide_Wide_String;
--       From : Positive;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Index (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Strings.Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_Wide_Wide_String;
--       Pattern : Wide_Wide_String;
--       From : Positive;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Index (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Index_Element;

--    function Index (
--       Source : Bounded_Wide_Wide_String;
--       Pattern : Wide_Wide_String;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Index (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward)
   return Natural
   renames Functions.Index;
function Index (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward;
   Mapping : Strings.Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Maps.Index;

--    function Index (
--       Source : Bounded_Wide_Wide_String;
--       Pattern : Wide_Wide_String;
--       Going : Direction := Forward;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Index (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Index_Element;

--    function Count (
--       Source : Bounded_Wide_Wide_String;
--       Pattern : Wide_Wide_String;
--       Mapping : Maps.Character_Mapping := Maps.Identity)
--       return Natural;
function Count (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String)
   return Natural
   renames Functions.Count;
function Count (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Mapping : Strings.Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Maps.Count;

--    function Count (
--       Source : Bounded_Wide_Wide_String;
--       Pattern : Wide_Wide_String;
--       Mapping : Maps.Character_Mapping_Function)
--       return Natural;
function Count (
   Source : Bounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Maps.Count_Element;

function Translate (
   Source : Bounded_Wide_Wide_String;
   Mapping : Strings.Wide_Wide_Maps.Wide_Wide_Character_Mapping;
   Drop : Truncation := Error) -- additional
   return Bounded_Wide_Wide_String
   renames Maps.Translate;

procedure Translate (
   Source : in out Bounded_Wide_Wide_String;
   Mapping : Strings.Wide_Wide_Maps.Wide_Wide_Character_Mapping;
   Drop : Truncation := Error) -- additional
   renames Maps.Translate;

--    function Translate (
--       Source : Bounded_Wide_Wide_String;
--       Mapping : Maps.Character_Mapping_Function)
--       return Bounded_Wide_Wide_String;
function Translate (
   Source : Bounded_Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Bounded_Wide_Wide_String
   renames Maps.Translate_Element;

--    procedure Translate (
--       Source : in out Bounded_Wide_Wide_String;
--       Mapping : Maps.Character_Mapping_Function);
procedure Translate (
   Source : in out Bounded_Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   renames Maps.Translate_Element;

function Trim (
   Source : Bounded_Wide_Wide_String;
   Side : Trim_End;
   Blank : Wide_Wide_Character := Wide_Wide_Space) -- additional
   return Bounded_Wide_Wide_String
   renames Functions.Trim;
procedure Trim (
   Source : in out Bounded_Wide_Wide_String;
   Side : Trim_End;
   Blank : Wide_Wide_Character := Wide_Wide_Space) -- additional
   renames Functions.Trim;

Ada.Strings.Wide_Wide_Fixed

file:	a-stzfix.ads

--  function Index (
--    Source : Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping :=
--       Wide_Wide_Maps.Identity)
--    return Natural;
function Index (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Wide_Wide_Functions.Index;
function Index (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Wide_Wide_Functions.Maps.Index;

--  function Index (
--    Source : Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Wide_Wide_Functions.Maps.Index_Element;

--  function Index (
--    Source : Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping :=
--       Wide_Wide_Maps.Identity)
--    return Natural;
function Index (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward)
   return Natural
   renames Wide_Wide_Functions.Index;
function Index (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward;
   Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Wide_Wide_Functions.Maps.Index;

--  function Index (
--    Source : Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Wide_Wide_Functions.Maps.Index_Element;

--  function Count (
--    Source : Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping :=
--       Wide_Wide_Maps.Identity)
--    return Natural;
function Count (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String)
   return Natural
   renames Wide_Wide_Functions.Count;
function Count (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Wide_Wide_Functions.Maps.Count;

--  function Count (
--    Source : Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function)
--    return Natural;
function Count (
   Source : Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Wide_Wide_Functions.Maps.Count_Element;

procedure Translate (
   Source : in out Wide_Wide_String;
   Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping;
   Drop : Truncation := Error; -- additional
   Justify : Alignment := Left; -- additional
   Pad : Wide_Wide_Character := Wide_Wide_Space) -- additional
   renames Wide_Wide_Functions.Maps.Translate;

--  function Translate (
--    Source : Wide_Wide_String;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function)
--    return Wide_Wide_String;
function Translate (
   Source : Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Wide_Wide_String
   renames Wide_Wide_Functions.Maps.Translate_Element;

--  procedure Translate (
--    Source : in out Wide_Wide_String;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function);
procedure Translate (
   Source : in out Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   renames Wide_Wide_Functions.Maps.Translate_Element;

function Trim (
   Source : Wide_Wide_String;
   Side : Trim_End;
   Blank : Wide_Wide_Character := Wide_Wide_Space) -- additional
   return Wide_Wide_String
   renames Wide_Wide_Functions.Trim;

procedure Trim (
   Source : in out Wide_Wide_String;
   Side : Trim_End;
   Blank : Wide_Wide_Character;
   Justify : Alignment := Left;
   Pad : Wide_Wide_Character := Wide_Wide_Space)
   renames Wide_Wide_Functions.Trim;

Ada.Strings.Wide_Wide_Maps

file:	a-stzmap.ads

--  type Wide_Wide_Character_Set is private;
subtype Wide_Wide_Character_Set is Maps.Character_Set;

--  Null_Set : constant Wide_Wide_Character_Set;
function Null_Set return Wide_Wide_Character_Set
   renames Maps.Null_Set;

--  type Wide_Wide_Character_Mapping is private;
subtype Wide_Wide_Character_Mapping is Maps.Character_Mapping;

--  Identity : constant Wide_Wide_Character_Mapping;
function Identity return Wide_Wide_Character_Mapping
   renames Maps.Identity;

Ada.Strings.Wide_Wide_Maps.Wide_Wide_Constants

file:	a-szmzco.ads

There are sets of unicode category.

function Unassigned_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Unassigned_Set;
function Uppercase_Letter_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Uppercase_Letter_Set;
function Lowercase_Letter_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Lowercase_Letter_Set;
function Titlecase_Letter_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Titlecase_Letter_Set;
function Modifier_Letter_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Modifier_Letter_Set;
function Other_Letter_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Other_Letter_Set;
function Decimal_Number_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Decimal_Number_Set;
function Letter_Number_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Letter_Number_Set;
function Other_Number_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Other_Number_Set;
function Line_Separator_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Line_Separator_Set;
function Paragraph_Separator_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Paragraph_Separator_Set;
function Control_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Control_Set;
function Format_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Format_Set;
function Private_Use_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Private_Use_Set;
function Surrogate_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Surrogate_Set;

function Base_Set return Wide_Wide_Character_Set
   renames Maps.Constants.Base_Set;

function Case_Folding_Map return Wide_Wide_Character_Mapping
   renames Maps.Constants.Case_Folding_Map;

Ada.Strings.Wide_Wide_Unbounded

file:	a-stzunb.ads

--  Null_Unbounded_Wide_Wide_String : constant Unbounded_Wide_Wide_String;
function Null_Unbounded_Wide_Wide_String return Unbounded_Wide_Wide_String
   renames Unbounded_Wide_Wide_Strings.Null_Unbounded_String;

--  function Index (
--    Source : Unbounded_Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping :=
--       Wide_Wide_Maps.Identity)
--    return Natural;
function Index (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Index;
function Index (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    From : Positive;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   From : Positive;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Index_Element;

--  function Index (
--    Source : Unbounded_Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping :=
--       Wide_Wide_Maps.Identity)
--    return Natural;
function Index (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Index;
function Index (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward;
   Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Index;

--  function Index (
--    Source : Unbounded_Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    Going : Direction := Forward;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function)
--    return Natural;
function Index (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Going : Direction := Forward;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Index_Element;

--  function Count (
--    Source : Unbounded_Wide_Wide_String;
--    Pattern : Wide_Wide_String;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping :=
--       Wide_Wide_Maps.Identity)
--    return Natural;
function Count (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Count;
function Count (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Count;

--  function Count (
--    Source : Unbounded_String;
--    Pattern : String;
--    Mapping : Maps.Character_Mapping_Function)
--    return Natural;
function Count (
   Source : Unbounded_Wide_Wide_String;
   Pattern : Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Natural
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Count_Element;

--  function Translate (
--    Source : Unbounded_Wide_Wide_String;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function)
--    return Unbounded_Wide_Wide_String;
function Translate (
   Source : Unbounded_Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   return Unbounded_Wide_Wide_String
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Translate_Element;

--  procedure Translate (
--    Source : in out Unbounded_Wide_Wide_String;
--    Mapping : Wide_Wide_Maps.Wide_Wide_Character_Mapping_Function);
procedure Translate (
   Source : in out Unbounded_Wide_Wide_String;
   Mapping : not null access function (From : Wide_Wide_Character)
      return Wide_Wide_Character)
   renames Unbounded_Wide_Wide_Strings.Functions.Maps.Translate_Element;

function Trim (
   Source : Unbounded_Wide_Wide_String;
   Side : Trim_End;
   Blank : Wide_Wide_Character := Wide_Wide_Space) -- additional
   return Unbounded_Wide_Wide_String
   renames Unbounded_Wide_Wide_Strings.Functions.Trim;

procedure Trim (
   Source : in out Unbounded_Wide_Wide_String;
   Side : Trim_End;
   Blank : Wide_Wide_Character := Wide_Wide_Space) -- additional
   renames Unbounded_Wide_Wide_Strings.Functions.Trim;

Ada.Synchronous_Task_Control

file:	a-sytaco.ads

procedure Suspend_Until_True (
   S : in out Suspension_Object;
   Multi : Boolean := False); -- additional

Ada.Synchronous_Task_Control.EDF

file:	a-stcoed.ads

If State is True, Set_True is called, otherwise it's timeout.

procedure Suspend_Until_True_And_Set_Deadline (
   S : in out Suspension_Object;
   TS : Real_Time.Time_Span;
   State : out Boolean);

Ada.Text_IO

file:	a-textio.ads

type String_Access is access String;
procedure Free is
   new Unchecked_Deallocation (String, String_Access);
type Wide_String_Access is access Wide_String;
procedure Free is
   new Unchecked_Deallocation (Wide_String, Wide_String_Access);
type Wide_Wide_String_Access is access Wide_Wide_String;
procedure Free is
   new Unchecked_Deallocation (Wide_Wide_String, Wide_Wide_String_Access);

procedure Create (
   File : in out File_Type;
   Mode : File_Mode := Out_File;
   Name : String := "";
   Form : String); -- removed default
procedure Create (
   File : in out File_Type;
   Mode : File_Mode := Out_File;
   Name : String := "";
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True;
   External : IO_Modes.File_External_Spec := IO_Modes.By_Target;
   New_Line : IO_Modes.File_New_Line_Spec := IO_Modes.By_Target);

function Create (
   Mode : File_Mode := Out_File;
   Name : String := "";
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True;
   External : IO_Modes.File_External_Spec := IO_Modes.By_Target;
   New_Line : IO_Modes.File_New_Line_Spec := IO_Modes.By_Target)
   return File_Type;

procedure Open (
   File : in out File_Type;
   Mode : File_Mode;
   Name : String;
   Form : String); -- removed default
procedure Open (
   File : in out File_Type;
   Mode : File_Mode;
   Name : String;
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True;
   External : IO_Modes.File_External_Spec := IO_Modes.By_Target;
   New_Line : IO_Modes.File_New_Line_Spec := IO_Modes.By_Target);

function Open (
   Mode : File_Mode;
   Name : String;
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True;
   External : IO_Modes.File_External_Spec := IO_Modes.By_Target;
   New_Line : IO_Modes.File_New_Line_Spec := IO_Modes.By_Target)
   return File_Type;

procedure Overloaded_Get (
   File : File_Type; -- Input_File_Type
   Item : out Character);
procedure Overloaded_Get (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Character);
procedure Overloaded_Get (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Wide_Character);
procedure Overloaded_Get (Item : out Character);
procedure Overloaded_Get (Item : out Wide_Character);
procedure Overloaded_Get (Item : out Wide_Wide_Character);

procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Character);
procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Wide_Character);
procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Wide_Wide_Character);
procedure Overloaded_Put (Item : Character);
procedure Overloaded_Put (Item : Wide_Character);
procedure Overloaded_Put (Item : Wide_Wide_Character);

procedure Overloaded_Look_Ahead (
   File : File_Type; -- Input_File_Type
   Item : out Character;
   End_Of_Line : out Boolean);
procedure Overloaded_Look_Ahead (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Character;
   End_Of_Line : out Boolean);
procedure Overloaded_Look_Ahead (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Wide_Character;
   End_Of_Line : out Boolean);
procedure Overloaded_Look_Ahead (
   Item : out Character;
   End_Of_Line : out Boolean);
procedure Overloaded_Look_Ahead (
   Item : out Wide_Character;
   End_Of_Line : out Boolean);
procedure Overloaded_Look_Ahead (
   Item : out Wide_Wide_Character;
   End_Of_Line : out Boolean);

Skip one character or mark of new-line looked by last calling of Look_Ahead.

procedure Skip_Ahead (
   File : File_Type); -- Input_File_Type

procedure Overloaded_Get_Immediate (
   File : File_Type; -- Input_File_Type
   Item : out Character);
procedure Overloaded_Get_Immediate (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Character);
procedure Overloaded_Get_Immediate (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Wide_Character);
procedure Overloaded_Get_Immediate (Item : out Character);
procedure Overloaded_Get_Immediate (Item : out Wide_Character);
procedure Overloaded_Get_Immediate (Item : out Wide_Wide_Character);

procedure Overloaded_Get_Immediate (
   File : File_Type; -- Input_File_Type
   Item : out Character;
   Available : out Boolean);
procedure Overloaded_Get_Immediate (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Character;
   Available : out Boolean);
procedure Overloaded_Get_Immediate (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Wide_Character;
   Available : out Boolean);
procedure Overloaded_Get_Immediate (
   Item : out Character;
   Available : out Boolean);
procedure Overloaded_Get_Immediate (
   Item : out Wide_Character;
   Available : out Boolean);
procedure Overloaded_Get_Immediate (
   Item : out Wide_Wide_Character;
   Available : out Boolean);

procedure Overloaded_Get (
   File : File_Type; -- Input_File_Type
   Item : out String);
procedure Overloaded_Get (
   File : File_Type; -- Input_File_Type
   Item : out Wide_String);
procedure Overloaded_Get (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Wide_String);
procedure Overloaded_Get (Item : out String);
procedure Overloaded_Get (Item : out Wide_String);
procedure Overloaded_Get (Item : out Wide_Wide_String);

procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : String);
procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Wide_String);
procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Wide_Wide_String);
procedure Overloaded_Put (Item : String);
procedure Overloaded_Put (Item : Wide_String);
procedure Overloaded_Put (Item : Wide_Wide_String);

procedure Overloaded_Get_Line (
   File : File_Type; -- Input_File_Type
   Item : out String;
   Last : out Natural);
procedure Overloaded_Get_Line (
   File : File_Type; -- Input_File_Type
   Item : out Wide_String;
   Last : out Natural);
procedure Overloaded_Get_Line (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Wide_String;
   Last : out Natural);
procedure Overloaded_Get_Line (
   Item : out String;
   Last : out Natural);
procedure Overloaded_Get_Line (
   Item : out Wide_String;
   Last : out Natural);
procedure Overloaded_Get_Line (
   Item : out Wide_Wide_String;
   Last : out Natural);

procedure Overloaded_Get_Line (
   File : File_Type; -- Input_File_Type
   Item : out String_Access);
procedure Overloaded_Get_Line (
   File : File_Type; -- Input_File_Type
   Item : out Wide_String_Access);
procedure Overloaded_Get_Line (
   File : File_Type; -- Input_File_Type
   Item : out Wide_Wide_String_Access);

function Overloaded_Get_Line (
   File : File_Type) -- Input_File_Type
   return String;
function Overloaded_Get_Line (
   File : File_Type) -- Input_File_Type
   return Wide_String;
function Overloaded_Get_Line (
   File : File_Type) -- Input_File_Type
   return Wide_Wide_String;
function Overloaded_Get_Line return String;
function Overloaded_Get_Line return Wide_String;
function Overloaded_Get_Line return Wide_Wide_String;

procedure Overloaded_Put_Line (
   File : File_Type; -- Output_File_Type
   Item : String);
procedure Overloaded_Put_Line (
   File : File_Type; -- Output_File_Type
   Item : Wide_String);
procedure Overloaded_Put_Line (
   File : File_Type; -- Output_File_Type
   Item : Wide_Wide_String);
procedure Overloaded_Put_Line (Item : String);
procedure Overloaded_Put_Line (Item : Wide_String);
procedure Overloaded_Put_Line (Item : Wide_Wide_String);

Ada.Text_IO.Complex_IO

file:	a-ticoio.ads

procedure Overloaded_Get (
   From : String;
   Item : out Complex_Types.Complex;
   Last : out Positive);
procedure Overloaded_Get (
   From : Wide_String;
   Item : out Complex_Types.Complex;
   Last : out Positive);
procedure Overloaded_Get (
   From : Wide_Wide_String;
   Item : out Complex_Types.Complex;
   Last : out Positive);

procedure Overloaded_Put (
   To : out String;
   Item : Complex_Types.Complex;
   Aft : Field := Default_Aft;
   Exp : Field := Default_Exp);
procedure Overloaded_Put (
   To : out Wide_String;
   Item : Complex_Types.Complex;
   Aft : Field := Default_Aft;
   Exp : Field := Default_Exp);
procedure Overloaded_Put (
   To : out Wide_Wide_String;
   Item : Complex_Types.Complex;
   Aft : Field := Default_Aft;
   Exp : Field := Default_Exp);

Ada.Text_IO.Editing

file:	a-teioed.ads

function Overloaded_Length (Pic : Picture; Currency : String)
   return Natural;
function Overloaded_Length (Pic : Picture; Currency : Wide_String)
   return Natural;
function Overloaded_Length (Pic : Picture; Currency : Wide_Wide_String)
   return Natural;

function Overloaded_Valid (
   Item : Num;
   Pic : Picture;
   Currency : String)
   return Boolean;
function Overloaded_Valid (
   Item : Num;
   Pic : Picture;
   Currency : Wide_String)
   return Boolean;
function Overloaded_Valid (
   Item : Num;
   Pic : Picture;
   Currency : Wide_Wide_String)
   return Boolean;

function Overloaded_Image (
   Item : Num;
   Pic : Picture;
   Currency : String;
   Fill : Character;
   Separator : Character;
   Radix_Mark : Character)
   return String;
function Overloaded_Image (
   Item : Num;
   Pic : Picture;
   Currency : Wide_String;
   Fill : Wide_Character;
   Separator : Wide_Character;
   Radix_Mark : Wide_Character)
   return Wide_String;
function Overloaded_Image (
   Item : Num;
   Pic : Picture;
   Currency : Wide_Wide_String;
   Fill : Wide_Wide_Character;
   Separator : Wide_Wide_Character;
   Radix_Mark : Wide_Wide_Character)
   return Wide_Wide_String;

procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Num;
   Pic : Picture;
   Currency : String;
   Fill : Character;
   Separator : Character;
   Radix_Mark : Character);
procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Num;
   Pic : Picture;
   Currency : Wide_String;
   Fill : Wide_Character;
   Separator : Wide_Character;
   Radix_Mark : Wide_Character);
procedure Overloaded_Put (
   File : File_Type; -- Output_File_Type
   Item : Num;
   Pic : Picture;
   Currency : Wide_Wide_String;
   Fill : Wide_Wide_Character;
   Separator : Wide_Wide_Character;
   Radix_Mark : Wide_Wide_Character);

procedure Overloaded_Put (
   Item : Num;
   Pic : Picture;
   Currency : String;
   Fill : Character;
   Separator : Character;
   Radix_Mark : Character);
procedure Overloaded_Put (
   Item : Num;
   Pic : Picture;
   Currency : Wide_String;
   Fill : Wide_Character;
   Separator : Wide_Character;
   Radix_Mark : Wide_Character);
procedure Overloaded_Put (
   Item : Num;
   Pic : Picture;
   Currency : Wide_Wide_String;
   Fill : Wide_Wide_Character;
   Separator : Wide_Wide_Character;
   Radix_Mark : Wide_Wide_Character);

procedure Overloaded_Put (
   To : out String;
   Item : Num;
   Pic : Picture;
   Currency : String;
   Fill : Character;
   Separator : Character;
   Radix_Mark : Character);
procedure Overloaded_Put (
   To : out Wide_String;
   Item : Num;
   Pic : Picture;
   Currency : Wide_String;
   Fill : Wide_Character;
   Separator : Wide_Character;
   Radix_Mark : Wide_Character);
procedure Overloaded_Put (
   To : out Wide_Wide_String;
   Item : Num;
   Pic : Picture;
   Currency : Wide_Wide_String;
   Fill : Wide_Wide_Character;
   Separator : Wide_Wide_Character;
   Radix_Mark : Wide_Wide_Character);

Ada.Text_IO.Float_IO

file:	a-tiflio.ads

This subprogram is used in Complex_IO.

procedure Put (
   To : out String;
   Last : out Natural;
   Item : Num;
   Aft : Field := Default_Aft;
   Exp : Field := Default_Exp);

Ada.Text_IO.Text_Streams

file:	a-titest.ads

procedure Open (
   File : in out File_Type;
   Mode : File_Mode;
   Stream : Stream_Access;
   Name : String := "";
   Form : String); -- removed default
procedure Open (
   File : in out File_Type;
   Mode : File_Mode;
   Stream : Stream_Access;
   Name : String := "";
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True;
   External : IO_Modes.File_External_Spec := IO_Modes.By_Target;
   New_Line : IO_Modes.File_New_Line_Spec := IO_Modes.By_Target);
function Open (
   Mode : File_Mode;
   Stream : Stream_Access;
   Name : String := "";
   Shared : IO_Modes.File_Shared_Spec := IO_Modes.By_Mode;
   Wait : Boolean := False;
   Overwrite : Boolean := True;
   External : IO_Modes.File_External_Spec := IO_Modes.By_Target;
   New_Line : IO_Modes.File_New_Line_Spec := IO_Modes.By_Target)
   return File_Type;

Ada.Wide_Text_IO

file:	a-witeio.ads

--  type File_Type is limited private;
subtype File_Type is Text_IO.File_Type;

Ada.Wide_Text_IO.Editing

file:	a-wtedit.ads

--  type Picture is private;
subtype Picture is Text_IO.Editing.Picture;

Ada.Wide_Wide_Text_IO

file:	a-ztexio.ads

--  type File_Type is limited private;
subtype File_Type is Text_IO.File_Type;

Ada.Wide_Wide_Text_IO.Editing

file:	a-ztedit.ads

--  type Picture is private;
subtype Picture is Text_IO.Editing.Picture;

Interfaces.C

file:	i-c.ads

function To_char (
   Item : Character;
   Substitute : char) -- Windows only
   return char;
function To_char (
   Item : Character)
   return char;

function To_Character (
   Item : char;
   Substitute : Character) -- Windows only
   return Character;
function To_Character (
   Item : char)
   return Character;

function Length (Item : char_array) return size_t;

function To_char_array (
   Item : String;
   Append_Nul : Boolean := True;
   Substitute : char_array := (0 => '?')) -- Windows only
   return char_array;

function To_C (
   Item : String;
   Append_Nul : Boolean := True;
   Substitute : char_array := (0 => '?')) -- additional
   return char_array
   renames To_char_array;

function To_String (
   Item : char_array;
   Trim_Nul : Boolean := True;
   Substitute : String := "?") -- unreferenced
   return String;

function To_Ada (
   Item : char_array;
   Trim_Nul : Boolean := True;
   Substitute : String := "?") -- additional
   return String
   renames To_String;

procedure To_char_array (
   Item : String;
   Target : out char_array;
   Count : out size_t;
   Append_Nul : Boolean := True;
   Substitute : char_array := (0 => '?')); -- Windows only

procedure To_C (
   Item : String;
   Target : out char_array;
   Count : out size_t;
   Append_Nul : Boolean := True;
   Substitute : char_array := (0 => '?')) -- additional
   renames To_char_array;

procedure To_String (
   Item : char_array;
   Target : out String;
   Count : out Natural;
   Trim_Nul : Boolean := True;
   Substitute : String := "?"); -- unreferenced

procedure To_Ada (
   Item : char_array;
   Target : out String;
   Count : out Natural;
   Trim_Nul : Boolean := True;
   Substitute : String := "?") -- additional
   renames To_String;

function To_wchar_t (
   Item : Wide_Character;
   Substitute : wchar_t) -- POSIX only
   return wchar_t;
function To_wchar_t (
   Item : Wide_Character)
   return wchar_t;

function To_Wide_Character (
   Item : wchar_t;
   Substitute : Wide_Character) -- POSIX only
   return Wide_Character;
function To_Wide_Character (
   Item : wchar_t)
   return Wide_Character;

function Length (Item : wchar_array) return size_t;

function To_wchar_array (
   Item : Wide_String;
   Append_Nul : Boolean := True;
   Substitute : wchar_array := (0 => Character'Pos ('?'))) -- POSIX only
   return wchar_array;

function To_C (
   Item : Wide_String;
   Append_Nul : Boolean := True;
   Substitute : wchar_array := (0 => Character'Pos ('?'))) -- additional
   return wchar_array
   renames To_wchar_array;

function To_Wide_String (
   Item : wchar_array;
   Trim_Nul : Boolean := True;
   Substitute : Wide_String := "?") -- POSIX only
   return Wide_String;

function To_Ada (
   Item : wchar_array;
   Trim_Nul : Boolean := True;
   Substitute : Wide_String := "?") -- additional
   return Wide_String
   renames To_Wide_String;

procedure To_wchar_array (
   Item : Wide_String;
   Target : out wchar_array;
   Count : out size_t;
   Append_Nul : Boolean := True;
   Substitute : wchar_array := (0 => Character'Pos ('?'))); -- POSIX only

procedure To_C (
   Item : Wide_String;
   Target : out wchar_array;
   Count : out size_t;
   Append_Nul : Boolean := True;
   Substitute : wchar_array := (0 => Character'Pos ('?'))) -- additional
   renames To_wchar_array;

procedure To_Wide_String (
   Item : wchar_array;
   Target : out Wide_String;
   Count : out Natural;
   Trim_Nul : Boolean := True;
   Substitute : Wide_String := "?"); -- POSIX only

procedure To_Ada (
   Item : wchar_array;
   Target : out Wide_String;
   Count : out Natural;
   Trim_Nul : Boolean := True;
   Substitute : Wide_String := "?") -- additional
   renames To_Wide_String;

Wide Wide Character and Wide Wide String:

function To_wchar_t (
   Item : Wide_Wide_Character;
   Substitute : wchar_t := Character'Pos ('?')) -- Windows only
   return wchar_t;

function To_Wide_Wide_Character (
   Item : wchar_t;
   Substitute : Wide_Wide_Character := '?') -- Windows only
   return Wide_Wide_Character;

function To_wchar_array (
   Item : Wide_Wide_String;
   Append_Nul : Boolean := True;
   Substitute : wchar_array := (0 => Character'Pos ('?'))) -- Windows only
   return wchar_array;

function To_Wide_Wide_String (
   Item : wchar_array;
   Trim_Nul : Boolean := True;
   Substitute : Wide_Wide_String := "?") -- Windows only
   return Wide_Wide_String;

procedure To_wchar_array (
   Item : Wide_Wide_String;
   Target : out wchar_array;
   Count : out size_t;
   Append_Nul : Boolean := True;
   Substitute : wchar_array := (0 => Character'Pos ('?'))); -- Windows only

procedure To_Wide_Wide_String (
   Item : wchar_array;
   Target : out Wide_Wide_String;
   Count : out Natural;
   Trim_Nul : Boolean := True;
   Substitute : Wide_Wide_String := "?"); -- Windows only

function Length (Item : char16_array) return size_t;

function To_C (
   Item : Wide_String;
   Append_Nul : Boolean := True;
   Substitute : char16_array := "?") -- additional, and unreferenced
   return char16_array;

function To_Ada (
   Item : char16_array;
   Trim_Nul : Boolean := True;
   Substitute : Wide_String := "?") -- additional, and unreferenced
   return Wide_String;

procedure To_C (
   Item : Wide_String;
   Target : out char16_array;
   Count : out size_t;
   Append_Nul : Boolean := True;
   Substitute : char16_array := "?"); -- additional, and unreferenced

procedure To_Ada (
   Item : char16_array;
   Target : out Wide_String;
   Count : out Natural;
   Trim_Nul : Boolean := True;
   Substitute : Wide_String := "?"); -- additional, and unreferenced

function Length (Item : char32_array) return size_t;

function To_C (
   Item : Wide_Wide_String;
   Append_Nul : Boolean := True;
   Substitute : char32_array := "?") -- additional, and unreferenced
   return char32_array;

function To_Ada (
   Item : char32_array;
   Trim_Nul : Boolean := True;
   Substitute : Wide_Wide_String := "?") -- additional, and unreferenced
   return Wide_Wide_String;

procedure To_C (
   Item : Wide_Wide_String;
   Target : out char32_array;
   Count : out size_t;
   Append_Nul : Boolean := True;
   Substitute : char32_array := "?"); -- additional, and unreferenced

procedure To_Ada (
   Item : char32_array;
   Target : out Wide_Wide_String;
   Count : out Natural;
   Trim_Nul : Boolean := True;
   Substitute : Wide_Wide_String := "?"); -- additional, and unreferenced

Common to instances of Interfaces.C.Pointers.

Pointer_Error : exception;

Common to instances of Interfaces.C.Generic_Strings.

Dereference_Error : exception;
Update_Error : exception;

Interfaces.C.Pointers

file:	i-cpoint.ads

for Pointer'Storage_Size use 0;

type Constant_Pointer is access constant Element;
for Constant_Pointer'Storage_Size use 0;

function "+" (
   Left : ptrdiff_t;
   Right : not null Pointer) -- null exclusion
   return not null Pointer;

--  function "-" (Left : Pointer; Right : Pointer) return ptrdiff_t;
function "-" (
   Left : not null Pointer; -- null exclusion
   Right : not null access constant Element)
   return ptrdiff_t;

procedure Increment (
   Ref : in out not null Pointer); -- null exclusion

function "+" (Left : not null Constant_Pointer; Right : ptrdiff_t)
   return not null Constant_Pointer;
function "+" (Left : ptrdiff_t; Right : not null Constant_Pointer)
   return not null Constant_Pointer;
function "-" (Left : not null Constant_Pointer; Right : ptrdiff_t)
   return not null Constant_Pointer;
function "-" (
   Left : not null Constant_Pointer;
   Right : not null access constant Element)
   return ptrdiff_t;

procedure Increment (Ref : in out not null Constant_Pointer);
procedure Decrement (Ref : in out not null Constant_Pointer);

This overloaded version Virtual_Length gets the length of Ref less than or equal to Limit.

function Virtual_Length (
   Ref : not null access constant Element;
   Limit : ptrdiff_t;
   Terminator : Element := Default_Terminator)
   return ptrdiff_t;

Interfaces.COBOL

file:	i-cobol.ads

--  Ada_To_COBOL : array (Character) of COBOL_Character :=
--    implementation-defined;
function Ada_To_COBOL (
   Item : Character;
   Substitute : COBOL_Character := '?')
   return COBOL_Character;

--  COBOL_To_Ada : array (COBOL_Character) of Character :=
--    implementation-defined;
function COBOL_To_Ada (
   Item : COBOL_Character;
   Substitute : Character := '?')
   return Character;

function To_COBOL (
   Item : String;
   Substitute : Alphanumeric := "?") -- additional
   return Alphanumeric;

function To_Ada (
   Item : Alphanumeric;
   Substitute : String := "?") -- additional
   return String;

procedure To_COBOL (
   Item : String;
   Target : out Alphanumeric;
   Last : out Natural;
   Substitute : Alphanumeric := "?"); -- additional

procedure To_Ada (
   Item : Alphanumeric;
   Target : out String;
   Last : out Natural;
   Substitute : String := "?"); -- additional

Interfaces.Fortran

file:	i-fortra.ads

--  i : Imaginary renames Single_Precision_Complex_Types.i;
--  j : Imaginary renames Single_Precision_Complex_Types.j;
function i return Imaginary renames Single_Precision_Complex_Types.i;
function j return Imaginary renames Single_Precision_Complex_Types.j;

function To_Fortran (
   Item : Character;
   Substitute : Character_Set := '?') -- additional
   return Character_Set;
function To_Ada (
   Item : Character_Set;
   Substitute : Character := '?') -- additional
   return Character;

function To_Fortran (
   Item : String;
   Substitute : Fortran_Character := "?") -- additional
   return Fortran_Character;
function To_Ada (
   Item : Fortran_Character;
   Substitute : String := "?") -- additional, and unreferenced
   return String;

procedure To_Fortran (
   Item : String;
   Target : out Fortran_Character;
   Last : out Natural;
   Substitute : Fortran_Character := "?"); -- additional

procedure To_Ada (
   Item : Fortran_Character;
   Target : out String;
   Last : out Natural;
   Substitute : String := "?"); -- additional, and unreferenced

System.Storage_Elements

file:	s-stoele.ads

Shift_Left, Shift_Right, Shift_Right_Arithmetic, Rotate_Left, and Rotate_Right.

pragma Provide_Shift_Operators (Storage_Element);
pragma Provide_Shift_Operators (Integer_Address);

System.Storage_Pools.Subpools

file:	s-stposu.ads

This is same as/called from Ada.Unchecked_Deallocate_Subpool.

procedure Unchecked_Deallocate_Subpool (Subpool : in out Subpool_Handle);

Additional packages

Ada.Bind_Time_Variables

file:	a-bitiva.ads

This is similar to Ada.Environment_Variables, but reads bind-time variables set by gnatbind -Vkey=val.

Ada.Characters.ASCII

file:	a-chaasc.ads

Alternative version of Standard.ASCII.

Ada.Characters.ASCII.Handling

file:	a-chasha.ads

There are functions handling only lower-half characters in 16#00# .. 16#7F#.

Ada.Colors

file:	a-colors.ads

Color spaces.

Ada.Command_Line.Generic_Parsing

file:	a-clgepa.ads

Command line parser for any lists.

Ada.Command_Line.Parsing

file:	a-colipa.ads
instantiation:	Generic_Parsing

Command line parser.

Ada.Containers.Access_Holders

file:	a-coacho.ads

Reference counted access types.

Ada.Containers.Access_Holders_Derivational_Conversions

file:	a-cahdco.ads

It converts reference counted access types from derived to base.

Ada.Containers.Composites

file:	a-concom.ads

There are tiny generic functions for ease to make comparator or more.

Ada.Containers.Forward_Iterators

file:	a-cofoit.ads

Making a normal forward iterator from a non-rollbackable forward iterator (input iterator).

Ada.Containers.Generic_Array_Access_Types

file:	a-cgaaty.ads

Ada.Containers.Vectors-like utilities for access-to-array types.

Ada.Containers.Generic_Array_Types

file:	a-cgarty.ads

Ada.Containers.Vectors-like utilities for array types.

Ada.Containers.Limited_Doubly_Linked_Lists

file:	a-cldlli.ads

Ada.Containers.Limited_Hashed_Maps

file:	a-clhama.ads

Ada.Containers.Limited_Hashed_Sets

file:	a-clhase.ads

Ada.Containers.Limited_Ordered_Maps

file:	a-clorma.ads

Ada.Containers.Limited_Ordered_Sets

file:	a-clorse.ads

Ada.Containers.Limited_Vectors

file:	a-colive.ads

Ada.Containers.Murmur_Hash_3

file:	a-cmuha3.ads
reference:	MurmurHash3

32bit version MurmurHash3 that targets low latency for hash table use.

Ada.Credentials

file:	a-creden.ads

There is a function to get user information.

Ada.Directories.Equal_File_Names

file:	a-defina.ads

This function compare two file names by the method of the file system.

For example, it uses NFD and case-insensitive on HFS+.

Ada.Directories.Less_File_Names

file:	a-dlfina.ads

This function is "<" version of Ada.Directories.Equal_File_Names.

Ada.Directories.Temporary

file:	a-dirtem.ads

Creating temporary files and directories.

Ada.Directories.Volumes

file:	a-dirvol.ads

File system information.

Ada.Enumeration

file:	a-enumer.ads

Interfaces.C.Pointers-like utilities for enumeration types.

Ada.Environment_Encoding

file:	a-envenc.ads

Platform-depended text encoding.

Ada.Environment_Encoding.Encoding_Streams

file:	a-eeenst.ads

This is a stream wrapper encoding from/to another stream.

Ada.Environment_Encoding.Generic_Strings

file:	a-eegest.ads

Encoding/decoding between strings and character sequences in Ada.Streams.Stream_Element_Array.

Ada.Environment_Encoding.Names

file:	a-enenna.ads

Constants for schemes of system-specific text encoding.

Ada.Environment_Encoding.Strings

file:	a-enenst.ads
instantiation:	Generic_Strings

Encoding / decoding between String and various encodings.

Ada.Environment_Encoding.Wide_Strings

file:	a-eewist.ads
instantiation:	Generic_Strings

Encoding / decoding between Wide_String and various encodings.

Ada.Environment_Encoding.Wide_Wide_Strings

file:	a-eenzst.ads
instantiation:	Generic_Strings

Encoding / decoding between Wide_Wide_String and various encodings.

Ada.Exception_Identification

file:	a-excide.ads

"Pure" version of Ada.Exceptions.

Ada.Exception_Identification.From_Here

file:	a-eifrhe.ads

For shorthand.

Ada.Exceptions.Finally

file:	a-excfin.ads

Scope guard.

Ada.Fixed

file:	a-fixed.ads

Ada.Decimal-like utilities for ordinary fixed types.

Ada.Float

file:	a-float.ads

Ada.Decimal-like (and more) utilities for float types.

Ada.Formatting

file:	a-format.ads

Generic formatting functions more powerful than Ada.Text_IO.*_IO.

Also, the root type of Type_Set is declared in here.

Ada.Hierarchical_File_Names

file:	a-hifina.ads

"Pure" and detailed version of Ada.Directories.Hierarchical_File_Names.

This package is system-specific.

Ada.IO_Modes

file:	a-iomode.ads

Root types of File_Mode and for the parameters Form.

Ada.Numerics.Distributions

file:	a-numdis.ads

Some kinds of distributions of random numers.

Ada.Numerics.MT19937

file:	a-nummt1.ads
reference:	MT19937

Mersenne Twister.

Ada.Numerics.SFMT

file:	a-numsfm.ads
reference:	SFMT

SIMD-oriented Fast Mersenne Twister.

Ada.Numerics.SFMT_19937

file:	a-nusf19.ads
instantiation:	SFMT
reference:	SFMT (SFMT-params19937.h)

For normal use.

Ada.Numerics.SFMT_216091

file:	a-nusf21.ads
instantiation:	SFMT
reference:	SFMT (SFMT-params216091.h)

The largest periods.

Ada.Numerics.dSFMT

file:	a-numdsf.ads
reference:	dSFMT

Double precision SIMD oriented Fast Mersenne Twister(dSFMT)

pseudorandom number generator based on IEEE 754 format.

Ada.Numerics.dSFMT_19937

file:	a-nuds19.ads
instantiation:	dSFMT
reference:	dSFMT (dSFMT-params19937.h)

For normal use.

Ada.Numerics.dSFMT_216091

file:	a-nuds21.ads
instantiation:	dSFMT
reference:	dSFMT (dSFMT-params216091.h)

The largest periods.

Ada.Processes

file:	a-proces.ads

Spawning child processes.

Ada.References

file:	a-refere.ads

Returning access values to sliced arrays from functions.

Ada.References.Strings

file:	a-refstr.ads

Returning access values to sliced String from functions.

Ada.References.Wide_Strings

file:	a-rewist.ads

Returning access values to sliced Wide_String from functions.

Ada.References.Wide_Wide_Strings

file:	a-rezstr.ads

Returning access values to sliced Wide_Wide_String from functions.

Ada.Storage_Mapped_IO

file:	a-stmaio.ads

Memory-mapped I/O.

Ada.Streams.Block_Transmission

file:	a-stbltr.ads

There are efficient read/write/input/output operations for stream.

Ada.Streams.Block_Transmission.Strings

file:	a-sbtrst.ads

There are efficient streaming operations for String.

Ada.Streams.Block_Transmission.Wide_Strings

file:	a-sbtwst.ads

There are efficient streaming operations for Wide_String.

Ada.Streams.Block_Transmission.Wide_Wide_Strings

file:	a-sbtzst.ads

There are efficient streaming operations for Wide_Wide_String.

Ada.Streams.Overlaps_Storage_IO

file:	a-sostio.ads

Overlapping stream access to existing memory.

Ada.Streams.Stream_IO.Pipes

file:	a-ssiopi.ads

Creating pipe.

Ada.Streams.Stream_IO.Sockets

file:	a-ssioso.ads

There are subprograms to create socket.

Ada.Streams.Stream_IO.Standard_Files

file:	a-ssisfi.ads

There are Stream_IO version file objects of Standard_Input, Standard_Output, and Standard_Error.

Ada.Streams.Unbounded_Storage_IO

file:	a-sustio.ads

Temporary stream on memory.

Ada.Strings.Bounded_Strings

file:	a-stbost.ads
instantiation:	Generic_Bounded

Ada.Strings.Bounded_Strings.Functions

file:	a-sbstfu.ads
instantiation:	Generic_Functions

Ada.Strings.Bounded_Strings.Functions.Maps

file:	a-sbsfma.ads
instantiation:	Generic_Maps

Ada.Strings.Bounded_Wide_Strings

file:	a-sbwist.ads
instantiation:	Generic_Bounded

Ada.Strings.Bounded_Wide_Strings.Functions

file:	a-sbwsfu.ads
instantiation:	Generic_Functions

Ada.Strings.Bounded_Wide_Strings.Functions.Maps

file:	a-sbwsfm.ads
instantiation:	Generic_Maps

Ada.Strings.Bounded_Wide_Wide_Strings

file:	a-sbozst.ads
instantiation:	Generic_Bounded

Ada.Strings.Bounded_Wide_Wide_Strings.Functions

file:	a-sbzsfu.ads
instantiation:	Generic_Functions

Ada.Strings.Bounded_Wide_Wide_Strings.Functions.Maps

file:	a-sbzsfm.ads
instantiation:	Generic_Maps

Ada.Strings.Composites

file:	a-strcom.ads

Unicode composite character handling.

Ada.Strings.East_Asian_Width

file:	a-seaswi.ads

Unicode property "east asian width".

Ada.Strings.Functions

file:	a-strfun.ads
instantiation:	Generic_Functions

Ada.Strings.Functions.Maps

file:	a-stfuma.ads
instantiation:	Generic_Maps

Ada.Strings.Generic_Bounded

file:	a-stgebo.ads
reference:	Ada.Strings.Bounded

Ada.Strings.Generic_Bounded.Generic_Functions

file:	a-sgbgfu.ads
reference:	a part of Ada.Strings.Bounded

Ada.Strings.Generic_Equal_Case_Insensitive

file:	a-sgecin.ads
reference:	Ada.Strings.Equal_Case_Insensitive

Ada.Strings.Generic_Functions

file:	a-stgefu.ads
reference:	Ada.Strings.Fixed

Ada.Strings.Generic_Hash

file:	a-stgeha.ads
reference:	Ada.Strings.Hash

Ada.Strings.Generic_Hash_Case_Insensitive

file:	a-sghcin.ads
reference:	Ada.Strings.Hash_Case_Insensitive

Ada.Strings.Generic_Less_Case_Insensitive

file:	a-sglcin.ads
reference:	Ada.Strings.Less_Case_Insensitive

Ada.Strings.Generic_Unbounded

file:	a-stgeun.ads
reference:	Ada.Strings.Unbounded

Ada.Strings.Generic_Unbounded.Generic_Functions

file:	a-sgugfu.ads
reference:	a part of Ada.Strings.Unbounded

Ada.Strings.Generic_Unbounded.Generic_Hash

file:	a-sgugha.ads
reference:	Ada.Strings.Unbounded.Hash

Ada.Strings.Normalization

file:	a-strnor.ads

Unicode normalization.

Ada.Strings.UTF_Encoding.Generic_Strings

file:	a-suegst.ads
reference:	Ada.Strings.UTF_Encoding.Strings

Ada.Strings.Unbounded_Strings

file:	a-stunst.ads
instantiation:	Generic_Unbounded

Ada.Strings.Unbounded_Strings.Functions

file:	a-sustfu.ads
instantiation:	Generic_Functions

Ada.Strings.Unbounded_Strings.Functions.Maps

file:	a-susfma.ads
instantiation:	Generic_Maps

Ada.Strings.Unbounded_Wide_Strings

file:	a-suwist.ads
instantiation:	Generic_Unbounded

Ada.Strings.Unbounded_Wide_Strings.Functions

file:	a-suwsfu.ads
instantiation:	Generic_Functions

Ada.Strings.Unbounded_Wide_Strings.Functions.Maps

file:	a-suwsfm.ads
instantiation:	Generic_Maps

Ada.Strings.Unbounded_Wide_Wide_Strings

file:	a-sunzst.ads
instantiation:	Generic_Unbounded

Ada.Strings.Unbounded_Wide_Wide_Strings.Functions

file:	a-suzsfu.ads
instantiation:	Generic_Functions

Ada.Strings.Unbounded_Wide_Wide_Strings.Functions.Maps

file:	a-suzsfm.ads
instantiation:	Generic_Maps

Ada.Strings.Wide_Functions

file:	a-stwifu.ads
instantiation:	Generic_Functions

Ada.Strings.Wide_Functions.Maps

file:	a-swfuma.ads
instantiation:	Generic_Maps

Ada.Strings.Wide_Wide_Functions

file:	a-stzfun.ads
instantiation:	Generic_Functions

Ada.Strings.Wide_Wide_Functions.Maps

file:	a-szfuma.ads
instantiation:	Generic_Maps

Ada.Tags.Delegating

file:	a-tagdel.ads

Delphi-like interface delegation.

Ada.Text_IO.Generic_Bounded_IO

file:	a-tigbio.ads
reference:	Ada.Text_IO.Bounded_IO

Ada.Text_IO.Generic_Unbounded_IO

file:	a-tiguio.ads
reference:	Ada.Text_IO.Unbounded_IO

Ada.Text_IO.Iterators

file:	a-teioit.ads

Iterators for Ada.Text_IO.File_Type.

Ada.Text_IO.Terminal

file:	a-teiote.ads

Additional terminal handling subprograms.

Ada.Text_IO.Terminal.Colors

file:	a-titeco.ads

Additional terminal-color handling subprograms.

Ada.Text_IO.Terminal.Colors.Names

file:	a-titcna.ads

Constants for system-specific system colors.

Ada.Unchecked_Reallocation

file:	a-uncrea.ads

Change the size of the allocated array object.

Ada.Wide_Characters.Latin_1

file:	a-wchla1.ads

Wide_Character version of Ada.Characters.Latin_1.

Ada.Wide_Wide_Characters.Latin_1

file:	a-zchla1.ads

Wide_Wide_Character version of Ada.Characters.Latin_1.

Interfaces.C.Char_Pointers

file:	i-cchpoi.ads
instantiation:	Pointers

The instance of Interfaces.C.Pointers for char.

Interfaces.C.Generic_Strings

file:	i-cgestr.ads
reference:	Interfaces.C.Strings

Interfaces.C.WChar_Pointers

file:	i-cwcpoi.ads
instantiation:	Pointers

The instance of Interfaces.C.Pointers for wchar_t.

Interfaces.C.Wide_WStrings

file:	i-cwiwst.ads
instantiation:	Generic_Strings

Wide_String and wchar_t version of Interfaces.C.Strings.

Interfaces.C.Wide_Wide_WStrings

file:	i-czwstr.ads
instantiation:	Generic_Strings

Wide_Wide_String and wchar_t version of Interfaces.C.Strings.

System.Address_To_Constant_Access_Conversions

file:	s-atcaco.ads
reference:	AI05-0002-1

This is an implementation of Robert I. Eachus's plan in AI05-0002-1.

System.Address_To_Named_Access_Conversions

file:	s-atnaco.ads
reference:	AI05-0002-1

This is an implementation of Robert I. Eachus's plan in AI05-0002-1.

System.Initialization

file:	s-initia.ads
reference:	AI05-0001-1

This is an implementation of Matthew Heaney's plan in AI05-0001-1.

System.Program

file:	s-progra.ads

Probing information of the program itself.

System.Program.Dynamic_Linking

file:	s-prdyli.ads

Loading dynamic-link library.

System.Storage_Elements.Formatting

file:	s-stelfo.ads

The formatting functions Image and Value for System.Address.

System.Storage_Pools.Unbounded

file:	s-stpoun.ads

Separated storage pool for local scope.

The compiler (gcc) does not support scope-based automatic deallocation.

Instead, some custom pool, like System.Pool_Local of GNAT runtime, having different lifetime from the standard storage pool can be used for deallocating all at once.

This package provides the similar pool using separated storage by every pool object.