home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
FILTER_GET_TEXT
INTERNALS_HANDLER
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
exported features
translation
(message:
STRING
): E_
Translation of
message
into current locale
The translation is looked up in the default text domain.
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)
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
translation
(message:
STRING
): E_
deferred 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
)
message_locale
:
STRING
deferred function
top
The locale (roughly, the language) in which the program should output messages.
is_message_locale_set
:
BOOLEAN
deferred function
top
ensure
Result =
message_locale
/= Void
text_domain
:
STRING
deferred function
top
The default text domain (namespace in which messages are looked up)
is_text_domain_set
:
BOOLEAN
deferred 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
deferred 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
deferred function
top
The encoding of the
Result
of
xxx_translation
require
domain_name /= Void