+
Point of view
All features
deferred class DUMMY_GET_TEXT
Summary
top
Direct parents
Inherit list: NUMBER_GET_TEXT, TERMINAL_GET_TEXT
Overview
top
Features
{ANY}
{FILTER_GET_TEXT}
{ANY}
{ANY}
{ANY}
{ANY}
{}
{ANY}
  • text_domain: STRING
    The default text domain (namespace in which messages are looked up)
{}
  • init
    Initialise with default values.
translation (message: STRING): STRING
effective 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
    • message.is_ascii
    • is_text_domain_set
    • is_message_locale_set
    • is_text_domain_set_up(text_domain)
    • message.is_ascii
    • is_text_domain_set
    • is_message_locale_set
    • is_text_domain_set_up(text_domain)
ensure
  • Result.is_equal(domain_translation(text_domain, message))
number_translation (message_1: STRING, message_other: STRING, n: INTEGER_32): STRING
effective function
{ANY}
top
require
  • message_1.is_ascii
  • n >= 0
  • is_text_domain_set
  • is_message_locale_set
  • is_text_domain_set_up(text_domain)
ensure
  • Result.is_equal(domain_number_translation(text_domain, message_1, message_other, n))
domain_translation (domain_name: STRING, message: STRING): STRING
effective 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
    • message.is_ascii
    • is_message_locale_set
    • is_text_domain_set_up(domain_name)
    • message.is_ascii
    • is_message_locale_set
    • is_text_domain_set_up(domain_name)
ensure
  • Result.is_equal(domain_number_translation(domain_name, message, message, 1))
domain_number_translation (domain_name: STRING, message_1: STRING, message_other: STRING, n: INTEGER_32): STRING
effective function
{FILTER_GET_TEXT}
top
require
  • message_1.is_ascii
  • n >= 0
  • is_message_locale_set
  • is_text_domain_set_up(domain_name)
register_domain (domain_name: STRING)
effective 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.
set_environment_variable (variable: STRING, value: STRING)
effective procedure
{ANY}
top
Try to assign the value to the system environment variable (like SYSTEM.set_environment_variable).
Changes to language variables (such as LANGUAGE, LC_xxx, LANG) immediately affect the language of xxx_translation functions (unlike SYSTEM.set_environment_variable).
require
  • variable /= Void
  • value /= Void
set_message_locale (locale_name: STRING)
effective procedure
{ANY}
top
Set the locale (roughly, the language) in which the program should output messages.
The locale_name should have the following form: 
  language[_territory][.codeset]
The territory field is usually a country name
For instance, en_US would be a typical locale_name.
require
  • not locale_name.is_empty
ensure
  • message_locale.is_equal(locale_name)
set_default_message_locale
effective procedure
{ANY}
top
Try to read the default locale in the environment (environment variable, register, ...)
message_locale: STRING
writable attribute
{ANY}
top
The locale (roughly, the language) in which the program should output messages.
is_message_locale_set: BOOLEAN
effective function
{ANY}
top
ensure
  • Result = message_locale /= Void
is_text_domain_set: BOOLEAN
effective function
{ANY}
top
Was a default text domain set?
ensure
  • Result implies not text_domain.is_empty
is_text_domain_set_up (domain_name: STRING): BOOLEAN
effective 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
    • domain_name /= Void
ensure
  • Result
bind_text_domain_code_set (domain_name: STRING, code_set: STRING)
effective procedure
{ANY}
top
text_domain_code_set (domain_name: STRING): STRING
effective function
{ANY}
top
The encoding of the Result of xxx_translation
require
    • domain_name /= Void
    • domain_name /= Void
text_domain_code_sets: DICTIONARY[STRING, STRING]
writable attribute
{}
top
text_domain: STRING
deferred function
{ANY}
top
The default text domain (namespace in which messages are looked up)
init
effective procedure
{}
top
Initialise with default values.