Руководство по Ada (Ada 2022)

A.3.4 Пакет Characters.Conversions

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

В библиотечном пакете Characters.Conversions объявлены следующие элементы:

package Ada.Characters.Conversions
with Pure is

function Is_Character (Item : in Wide_Character) return Boolean;
function Is_String (Item : in Wide_String) return Boolean;
function Is_Character (Item : in Wide_Wide_Character) return Boolean;
function Is_String (Item : in Wide_Wide_String) return Boolean;
function Is_Wide_Character (Item : in Wide_Wide_Character)
return Boolean;
function Is_Wide_String (Item : in Wide_Wide_String)
return Boolean;

function To_Wide_Character (Item : in Character) return Wide_Character;
function To_Wide_String (Item : in String) return Wide_String;
function To_Wide_Wide_Character (Item : in Character)
return Wide_Wide_Character;
function To_Wide_Wide_String (Item : in String)
return Wide_Wide_String;
function To_Wide_Wide_Character (Item : in Wide_Character)
return Wide_Wide_Character;
function To_Wide_Wide_String (Item : in Wide_String)
return Wide_Wide_String;

function To_Character (Item : in Wide_Character;
Substitute : in Character := ' ')
return Character;
function To_String (Item : in Wide_String;
Substitute : in Character := ' ')
return String;
function To_Character (Item : in Wide_Wide_Character;
Substitute : in Character := ' ')
return Character;
function To_String (Item : in Wide_Wide_String;
Substitute : in Character := ' ')
return String;
function To_Wide_Character (Item : in Wide_Wide_Character;
Substitute : in Wide_Character := ' ')
return Wide_Character;
function To_Wide_String (Item : in Wide_Wide_String;
Substitute : in Wide_Character := ' ')
return Wide_String;

end Ada.Characters.Conversions;

Функции в пакете Characters.Conversions проверяют значения Wide_Wide_Character или Wide_Character на принадлежность к Wide_Character или Character, или преобразуют между соответствующими символами типов Wide_Wide_Character, Wide_Character и Character.

function Is_Character (Item : in Wide_Character) return Boolean;

Возвращает True, если Wide_Character'Pos(Item) <= Character'Pos(Character'Last).

function Is_Character (Item : in Wide_Wide_Character) return Boolean;

Возвращает True, если Wide_Wide_Character'Pos(Item) <= Character'Pos(Character'Last).

function Is_Wide_Character (Item : in Wide_Wide_Character) return Boolean;

Возвращает True, если Wide_Wide_Character'Pos(Item) <= Wide_Character'Pos(Wide_Character'Last).

function Is_String (Item : in Wide_String) return Boolean;
function Is_String (Item : in Wide_Wide_String) return Boolean;

Возвращает True, если Is_Character(Item(I)) истинно для каждого I в диапазоне Item.

function Is_Wide_String (Item : in Wide_Wide_String) return Boolean;

Возвращает True, если Is_Wide_Character(Item(I)) истинно для каждого I в диапазоне Item.

function To_Character (Item : in Wide_Character;
Substitute : in Character := ' ') return Character;
function To_Character (Item : in Wide_Wide_Character;
Substitute : in Character := ' ') return Character;

Возвращает символ Character, соответствующий Item, если Is_Character(Item), в противном случае возвращает Substitute.

function To_Wide_Character (Item : in Character) return Wide_Character;

Возвращает Wide_Character X такой, что Character'Pos(Item) = Wide_Character'Pos (X).

function To_Wide_Character (Item : in Wide_Wide_Character;
Substitute : in Wide_Character := ' ')
return Wide_Character;

Возвращает Wide_Character, соответствующий Item, если Is_Wide_Character(Item), в противном случае возвращает Substitute Wide_Character.

function To_Wide_Wide_Character (Item : in Character)
return Wide_Wide_Character;

Возвращает Wide_Wide_Character X такой, что Character'Pos(Item) = Wide_Wide_Character'Pos (X).

function To_Wide_Wide_Character (Item : in Wide_Character)
return Wide_Wide_Character;

Возвращает Wide_Wide_Character X такой, что Wide_Character'Pos(Item) = Wide_Wide_Character'Pos (X).

function To_String (Item : in Wide_String;
Substitute : in Character := ' ') return String;
function To_String (Item : in Wide_Wide_String;
Substitute : in Character := ' ') return String;

Возвращает строку String, длина которой равна Item'Length, каждый элемент которой задается с помощью To_Character соответствующего элемента в Item.

function To_Wide_String (Item : in String) return Wide_String;

Возвращает Wide_String, длина которой равна Item'Length, каждый элемент которой задается с помощью To_Wide_Character соответствующего элемента в Item.

function To_Wide_String (Item : in Wide_Wide_String;
Substitute : in Wide_Character := ' ')
return Wide_String;

Возвращает Wide_String, длина которой равна Item'Length, каждый элемент которой задается с помощью To_Wide_Character соответствующего элемента в Item с заданным Substitute Wide_Character.

function To_Wide_Wide_String (Item : in String) return Wide_Wide_String;
function To_Wide_Wide_String (Item : in Wide_String)
return Wide_Wide_String;

Возвращает Wide_Wide_String, длина которой равна Item'Length, каждый элемент которой задается с помощью To_Wide_Wide_Character соответствующего элемента в Item.