A.4.10 String Comparison
Static Semantics
1/3
{
AI05-0001-1}
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, converted to lower case, for equality.
4/3
{
AI05-0001-1}
{
AI05-0248-1}
The library function Strings.Fixed.Equal_Case_Insensitive
has the following declaration:5/3
with 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
{
AI05-0001-1}
{
AI05-0248-1}
The generic library function Strings.Bounded.Equal_Case_Insensitive
has the following declaration:7/3
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
Equivalent
to Strings.Equal_Case_Insensitive (Bounded.To_String (Left), Bounded.To_String
(Right));
9/3
{
AI05-0001-1}
{
AI05-0248-1}
The library function Strings.Unbounded.Equal_Case_Insensitive
has the following declaration:10/3
function Ada.Strings.Unbounded.Equal_Case_Insensitive
(Left, Right : Unbounded_String) return Boolean;
pragma Preelaborate(Equal_Case_Insensitive);
11/3
Equivalent
to Strings.Equal_Case_Insensitive (To_String (Left), To_String (Right));
12/3
{
AI05-0001-1}
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, converted to lower
case.
15/3
{
AI05-0001-1}
{
AI05-0248-1}
The library function Strings.Fixed.Less_Case_Insensitive
has the following declaration:16/3
with 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
{
AI05-0001-1}
{
AI05-0248-1}
The generic library function Strings.Bounded.Less_Case_Insensitive
has the following declaration:18/3
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
Equivalent
to Strings.Less_Case_Insensitive (Bounded.To_String (Left), Bounded.To_String
(Right));
20/3
{
AI05-0001-1}
{
AI05-0248-1}
The library function Strings.Unbounded.Less_Case_Insensitive
has the following declaration:21/3
function Ada.Strings.Unbounded.Less_Case_Insensitive
(Left, Right : Unbounded_String) return Boolean;
pragma Preelaborate(Less_Case_Insensitive);
22/3
Equivalent
to Strings.Less_Case_Insensitive (To_String (Left), To_String (Right));
Extensions to Ada 2005
22.a/3
{
AI05-0001-1}
The Strings.Equal_Case_Insensitive,
Strings.Fixed.Equal_Case_Insensitive, Strings.Bounded.Equal_Case_Insensitive,
Strings.Unbounded.Equal_Case_Insensitive, Strings.Less_Case_Insensitive,
Strings.Fixed.Less_Case_Insensitive, Strings.Bounded.Less_Case_Insensitive,
Strings.Unbounded.Less_Case_Insensitive functions are new.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe
