home
wiki
classes/clusters list
class information
+
Point of view
RECYCLING_POOL
ANY
FILTER_GET_TEXT
STRING_RECYCLING_POOL
STRING_HANDLER
STRING
RECYCLING_POOL
INTERNALS_HANDLER
All features
deferred class UNICODE_FROM_STRING_GET_TEXT
Summary
top
Reads UNICODE_STRINGs from a catalog of UTF-8 encoded messages
Direct parents
inherit list:
FILTER_GET_TEXT
Overview
top
exported features
connect_to
(filtered_:
GET_TEXT
[
STRING
])
translation
(message:
STRING
):
UNICODE_STRING
Translation of
message
into current locale
The translation is looked up in the default text domain.
is_text_domain_set
:
BOOLEAN
Was a default text domain set?
is_text_domain_set_up
(domain_name:
STRING
):
BOOLEAN
Is
Current
ready to translate messages from domaine
domain_name
?
text_domain_code_set
(domain_name:
STRING
):
STRING
The encoding of the
Result
of
xxx_translation
message_locale
:
STRING
The locale (roughly, the language) in which the program should output messages.
is_message_locale_set
:
BOOLEAN
text_domain
:
STRING
The default text domain (namespace in which messages are looked up)
connect_to
(filtered_:
GET_TEXT
[
STRING
])
effective procedure
top
require
filtered_ /= Void
translation
(message:
STRING
):
UNICODE_STRING
effective function
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)
is_text_domain_set
:
BOOLEAN
effective function
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
top
Is
Current
ready to translate messages from domaine
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
effective function
top
The encoding of the
Result
of
xxx_translation
require
domain_name /= Void
message_locale
:
STRING
effective function
top
The locale (roughly, the language) in which the program should output messages.
is_message_locale_set
:
BOOLEAN
effective function
top
ensure
Result = message_locale /= Void
text_domain
:
STRING
deferred function
top
The default text domain (namespace in which messages are looked up)