Справочник Ada 2012

A.4.10 Сравнение строк

Статические семантики

Функция библиотеки Strings.Equal_Case_Insensitive имеет следующее объявление:

function Ada.Strings.Equal_Case_Insensitive (Left, Right : String)
return Boolean;
pragma Pure(Ada.Strings.Equal_Case_Insensitive);

Возвращает True, если строки состоят из одной и той же последовательности символов после применения независимого от локали простого преобразования регистра, как определено в документах, на которые ссылается примечание в разделе 1 ISO/IEC 10646:2011. В противном случае возвращает False. Эта функция использует тот же метод, что и для определения, являются ли два идентификатора одинаковыми.

Функция библиотеки Strings.Fixed.Equal_Case_Insensitive имеет следующее объявление:

with Ada.Strings.Equal_Case_Insensitive;
function Ada.Strings.Fixed.Equal_Case_Insensitive
(Left, Right : String) return Boolean
renames Ada.Strings.Equal_Case_Insensitive;

Обобщенная функция библиотеки Strings.Bounded.Equal_Case_Insensitive имеет следующее объявление:

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(Ada.Strings.Bounded.Equal_Case_Insensitive);

Эквивалентно Strings.Equal_Case_Insensitive (Bounded.To_String (Left), Bounded.To_String (Right));

Функция библиотеки Strings.Unbounded.Equal_Case_Insensitive имеет следующее объявление:

function Ada.Strings.Unbounded.Equal_Case_Insensitive
(Left, Right : Unbounded_String) return Boolean;
pragma Preelaborate(Ada.Strings.Unbounded.Equal_Case_Insensitive);

Эквивалентно Strings.Equal_Case_Insensitive (To_String (Left), To_String (Right));

Функция библиотеки Strings.Less_Case_Insensitive имеет следующее объявление:

function Ada.Strings.Less_Case_Insensitive (Left, Right : String)
return Boolean;
pragma Pure(Ada.Strings.Less_Case_Insensitive);

Выполняет лексикографическое сравнение строк Left и Right, преобразованных в нижний регистр.

Функция библиотеки Strings.Fixed.Less_Case_Insensitive имеет следующее объявление:

with Ada.Strings.Less_Case_Insensitive;
function Ada.Strings.Fixed.Less_Case_Insensitive
(Left, Right : String) return Boolean
renames Ada.Strings.Less_Case_Insensitive;

Обобщенная функция библиотеки Strings.Bounded.Less_Case_Insensitive имеет следующее объявление:

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(Ada.Strings.Bounded.Less_Case_Insensitive);

Эквивалентно Strings.Less_Case_Insensitive (Bounded.To_String (Left), Bounded.To_String (Right));

Функция библиотеки Strings.Unbounded.Less_Case_Insensitive имеет следующее объявление:

function Ada.Strings.Unbounded.Less_Case_Insensitive
(Left, Right : Unbounded_String) return Boolean;
pragma Preelaborate(Ada.Strings.Unbounded.Less_Case_Insensitive);

Эквивалентно Strings.Less_Case_Insensitive (To_String (Left), To_String (Right));