+
Point of view
All features
deferred class NUMBER_GET_TEXT [E_]
Summary
Direct parents
Inherit list: GET_TEXT
Known children
Inherit list: DUMMY_GET_TEXT, GNU_GET_TEXT
Overview
Features
{ANY}
{FILTER_GET_TEXT}
{ANY}
  • translation (message: STRING): E_
    Translation of message into current locale
    The translation is looked up in the default text domain.
{FILTER_GET_TEXT}
{ANY}
{ANY}
{ANY}
number_translation (message_1: STRING, message_other: STRING, n: INTEGER_32): ANY
deferred function
{ANY}
require ensure
domain_translation (domain_name: STRING, message: STRING): ANY
deferred function
Translation of message into current locale
The translation is looked up in the text domain domain_name.
See also: set_message_locale
require
  • message.is_ascii
  • is_message_locale_set
  • is_text_domain_set_up(domain_name)
ensure
domain_number_translation (domain_name: STRING, message_1: STRING, message_other: STRING, n: INTEGER_32): ANY
deferred function
require
translation (message: STRING): E_
deferred function
{ANY}
Translation of message into current locale
The translation is looked up in the default text domain.
See also: set_message_locale
require ensure
register_domain (domain_name: STRING)
deferred procedure
Used by a FILTER_GET_TEXT to let the filtered GET_TEXT know that it will use the text domain domain_name.
message_locale: STRING
deferred function
{ANY}
The locale (roughly, the language) in which the program should output messages.
is_message_locale_set: BOOLEAN
deferred function
{ANY}
ensure
text_domain: STRING
deferred function
{ANY}
The default text domain (namespace in which messages are looked up)
is_text_domain_set: BOOLEAN
deferred function
{ANY}
Was a default text domain set?
ensure
is_text_domain_set_up (domain_name: STRING): BOOLEAN
deferred function
{ANY}
Is Current ready to translate messages from domain domain_name?
The precise way of setting up a domain varies between implementations but will typically involve loading a message catalog.
require
  • domain_name /= Void
text_domain_code_set (domain_name: STRING): STRING
deferred function
{ANY}
The encoding of the Result of xxx_translation
require
  • domain_name /= Void