+
Point of view
All features
deferred class GET_TEXT [E_]
Summary
top
Direct parents
Insert list: ANY
Known children
Inherit list: FILTER_GET_TEXT, NUMBER_GET_TEXT, TERMINAL_GET_TEXT
Overview
top
Features
{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}
translation (message: STRING): E_
deferred function
{ANY}
top
Translation of message into current locale
The translation is looked up in the default text domain.
See also: set_message_locale
require ensure
domain_translation (domain_name: STRING, message: STRING): E_
deferred function
{FILTER_GET_TEXT}
top
Translation of message into current locale
The translation is looked up in the text domain domain_name.
See also: set_message_locale
require
register_domain (domain_name: STRING)
deferred procedure
{FILTER_GET_TEXT}
top
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}
top
The locale (roughly, the language) in which the program should output messages.
is_message_locale_set: BOOLEAN
deferred function
{ANY}
top
ensure
text_domain: STRING
deferred function
{ANY}
top
The default text domain (namespace in which messages are looked up)
is_text_domain_set: BOOLEAN
deferred function
{ANY}
top
Was a default text domain set?
ensure
is_text_domain_set_up (domain_name: STRING): BOOLEAN
deferred function
{ANY}
top
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}
top
The encoding of the Result of xxx_translation
require
  • domain_name /= Void