+
Point of view
All features
expanded class LOCALE
Summary
top
Direct parents
Insert list: TIME_HANDLER
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
some useful locale-related items NOTE: All those features share the same once STRING. Be sure to copy the result if it is meant to be kept.
{ANY}
{}
{ANY}
{ANY}
language: FIXED_STRING
writable attribute
{ANY}
top
country: FIXED_STRING
writable attribute
{ANY}
top
encoding: FIXED_STRING
writable attribute
{ANY}
top
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
require
  • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
localized_text (text_id: ABSTRACT_STRING): STRING
effective function
{ANY}
top
Generic text translation
localized_time (time: TIME): STRING
effective function
{ANY}
top
localized_date (time: TIME): STRING
effective function
{ANY}
top
localized_time_and_date (time: TIME): STRING
effective function
{ANY}
top
localized_day (day: INTEGER_32): STRING
effective function
{ANY}
top
require
  • day.in_range(0, 7)
    0 and 7 are Sunday

localized_abbreviated_day (day: INTEGER_32): STRING
effective function
{ANY}
top
require
  • day.in_range(0, 7)
    0 and 7 are Sunday

localized_month (month: INTEGER_32): STRING
effective function
{ANY}
top
require
  • month.in_range(1, 12)
localized_abbreviated_month (month: INTEGER_32): STRING
effective function
{ANY}
top
require
  • month.in_range(1, 12)
localized_radix_character: STRING
effective function
{ANY}
top
(decimal dot, decimal comma, etc.)
localized_thousands_separator: STRING
effective function
{ANY}
top
localized_yes: STRING
effective function
{ANY}
top
localized_no: STRING
effective function
{ANY}
top
localized_ante_meridiem: STRING
effective function
{ANY}
top
localized_post_meridiem: STRING
effective function
{ANY}
top
to_string (p: POINTER): STRING
effective function
{}
top
ensure
  • p.is_null implies Result = Void
  • p.is_not_null implies Result /= Void
valid_spec (spec: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
Checking the validity of the argument of make.
make_language (a_language: ABSTRACT_STRING)
effective procedure
{ANY}
top
require
  • a_language.is_equal(a_language.as_lower)
ensure
make_country (a_language: ABSTRACT_STRING, a_country: ABSTRACT_STRING)
effective procedure
{ANY}
top
require
  • a_language.is_equal(a_language.as_lower)
  • a_country.is_equal(a_country.as_upper)
ensure
make_encoding (a_language: ABSTRACT_STRING, a_country: ABSTRACT_STRING, a_encoding: ABSTRACT_STRING)
effective procedure
{ANY}
top
require
  • a_language.is_equal(a_language.as_lower)
  • a_country.is_equal(a_country.as_upper)
  • a_encoding /= Void
ensure
make (spec: ABSTRACT_STRING)
effective procedure
{ANY}
top
require
default_create
effective procedure
{ANY}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
i18n_get_environment_language: POINTER
{ANY}
top
i18n_localized_time (time: INTEGER_64): POINTER
{ANY}
top
i18n_localized_date (time: INTEGER_64): POINTER
{ANY}
top
i18n_localized_time_and_date (time: INTEGER_64): POINTER
{ANY}
top
i18n_localized_day (day: INTEGER_32): POINTER
{ANY}
top
i18n_localized_abbreviated_day (day: INTEGER_32): POINTER
{ANY}
top
i18n_localized_month (month: INTEGER_32): POINTER
{ANY}
top
i18n_localized_abbreviated_month (month: INTEGER_32): POINTER
{ANY}
top
i18n_localized_radix_character: POINTER
{ANY}
top
i18n_localized_thousands_separator: POINTER
{ANY}
top
i18n_localized_yes: POINTER
{ANY}
top
i18n_localized_no: POINTER
{ANY}
top
i18n_localized_ante_meridiem: POINTER
{ANY}
top
i18n_localized_post_meridiem: POINTER
{ANY}
top
i18n_localized_text (text_id: POINTER): POINTER
{ANY}
top