Справочное руководство по Ada 2012

A.3.4 Пакет Characters.Conversions

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

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

package Ada.Characters.Conversions is
pragma Pure(Conversions);

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)) равно True для каждого I в диапазоне Item.

function Is_Wide_String (Item : in Wide_Wide_String) return Boolean;

Возвращает True, если Is_Wide_Character(Item(I)) равно True для каждого 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 Character.

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, диапазон которой 1..Item'Length, каждый элемент которой задается To_Character соответствующего элемента в Item.

function To_Wide_String (Item : in String) return Wide_String;

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

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

Возвращает Wide_String, диапазон которой 1..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, диапазон которой 1..Item'Length, каждый элемент которой задается To_Wide_Wide_Character соответствующего элемента в Item.