home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
All features
class DYNAMIC_DOMAIN_GET_TEXT [E_]
Summary
top
Direct parents
inherit list:
DOMAIN_GET_TEXT
Overview
top
creation features
make
(domain_name:
STRING
, filtered_:
GET_TEXT
[E_])
features
make
(domain_name:
STRING
, filtered_:
GET_TEXT
[E_])
text_domain
:
STRING
The default text domain (namespace in which messages are looked up)
connect_to
(filtered_:
GET_TEXT
[E_])
translation
(message:
STRING
): E_
Translation of
message
into current locale
The translation is looked up in the default text domain.
domain_translation
(domain_name:
STRING
, message:
STRING
): E_
Translation of
message
into current locale
The translation is looked up in the text domain
domain_name
.
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
filtered
:
GET_TEXT
[E_]
message_locale
:
STRING
The locale (roughly, the language) in which the program should output messages.
is_message_locale_set
:
BOOLEAN
register_domain
(domain_name:
STRING
)
Used by a
FILTER_GET_TEXT
to let the filtered
GET_TEXT
know that it will use the text domain
domain_name
.
filter_domain_if_needed
(filtered_:
GET_TEXT
[I_]):
GET_TEXT
[I_]
Return
filtered_
wrapped, if necessary, in a
DYNAMIC_DOMAIN_GET_TEXT
.
make
(domain_name:
STRING
, filtered_:
GET_TEXT
[E_])
effective procedure
top
text_domain
:
STRING
writable attribute
top
The default text domain (namespace in which messages are looked up)
connect_to
(filtered_:
GET_TEXT
[E_])
effective procedure
top
require
filtered_ /= Void
ensure
filtered
= filtered_
translation
(message:
STRING
): E_
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)
ensure
Result.is_equal(domain_translation(text_domain, message))
domain_translation
(domain_name:
STRING
, message:
STRING
): E_
effective function
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)
is_text_domain_set
:
BOOLEAN
constant attribute
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
filtered
:
GET_TEXT
[E_]
writable attribute
top
ensure
Result /= 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
register_domain
(domain_name:
STRING
)
effective procedure
top
Used by a
FILTER_GET_TEXT
to let the filtered
GET_TEXT
know that it will use the text domain
domain_name
.
filter_domain_if_needed
(filtered_:
GET_TEXT
[I_]):
GET_TEXT
[I_]
effective function
top
Return
filtered_
wrapped, if necessary, in a
DYNAMIC_DOMAIN_GET_TEXT
.
require
filtered_ /= Void
ensure
Result /= Void
Result.text_domain.is_equal(
text_domain
)
filtered_.text_domain.is_equal(
text_domain
) implies Result = filtered_