A.4.10 String Comparison
Static Semantics
1/3
The library function
Strings.Equal_Case_Insensitive has the following declaration:
2/3
function Ada.Strings.Equal_Case_Insensitive (Left, Right : String)
return Boolean;
pragma Pure(Equal_Case_Insensitive);
3/3
Compares strings
Left and Right, folded to lower case, for equality.
4/3
The library function
Strings.Fixed.Equal_Case_Insensitive has the following declaration:
5/3
with Ada.Containers, Ada.Strings.Equal_Case_Insensitive;
function Ada.Strings.Fixed.Equal_Case_Insensitive
(Left, Right : String)
return Boolean
renames Ada.Strings.Equal_Case_Insensitive;
pragma Pure(Equal_Case_Insensitive);
6/3
The generic library
function Strings.Bounded.Equal_Case_Insensitive has the following declaration:
7/3
with Ada.Containers;
generic
with package Bounded
is
new Ada.Strings.Bounded.Generic_Bounded_Length (<>);
function Ada.Strings.Bounded.Equal_Case_Insensitive
(Left, Right : Bounded.Bounded_String)
return Boolean;
pragma Preelaborate(Equal_Case_Insensitive);
8/3
Strings.Bounded.Equal_Case_Insensitive
is equivalent to the function call Strings.Equal_Case_Insensitive (Bounded.To_String
(Key));
9/3
The library function
Strings.Unbounded.Equal_Case_Insensitive has the following declaration:
10/3
with Ada.Containers;
function Ada.Strings.Unbounded.Equal_Case_Insensitive
(Left, Right : Unbounded_String)
return Boolean;
pragma Preelaborate(Equal_Case_Insensitive);
11/3
Strings.Unbounded.Equal_Case_Insensitive
is equivalent to the function call Strings.Equal_Case_Insensitive (To_String
(Key));
12/3
The library function
Strings.Less_Case_Insensitive has the following declaration:
13/3
function Ada.Strings.Less_Case_Insensitive (Left, Right : String)
return Boolean;
pragma Pure(Less_Case_Insensitive);
14/3
Performs a lexicographic
comparison of strings Left and Right, folded to lower case.
15/3
The library function
Strings.Fixed.Less_Case_Insensitive has the following declaration:
16/3
with Ada.Containers, Ada.Strings.Less_Case_Insensitive;
function Ada.Strings.Fixed.Less_Case_Insensitive
(Left, Right : String)
return Boolean
renames Ada.Strings.Less_Case_Insensitive;
pragma Pure(Less_Case_Insensitive);
17/3
The generic library
function Strings.Bounded.Less_Case_Insensitive has the following declaration:
18/3
with Ada.Containers;
generic
with package Bounded
is
new Ada.Strings.Bounded.Generic_Bounded_Length (<>);
function Ada.Strings.Bounded.Less_Case_Insensitive
(Left, Right : Bounded.Bounded_String)
return Boolean;
pragma Preelaborate(Less_Case_Insensitive);
19/3
Strings.Bounded.Less_Case_Insensitive
is equivalent to the function call Strings.Less_Case_Insensitive (Bounded.To_String
(Key));
20/3
The library function
Strings.Unbounded.Less_Case_Insensitive has the following declaration:
21/3
with Ada.Containers;
function Ada.Strings.Unbounded.Less_Case_Insensitive
(Left, Right : Unbounded_String)
return Boolean;
pragma Preelaborate(Less_Case_Insensitive);
22/3
Strings.Unbounded.Less_Case_Insensit
ive is equivalent to the function call Strings.Less_Case_Insensitive
(To_String (Key));
Sponsored by Ada-Europe