home
classes/clusters list
class information
+
Point of view
ANY
ANY
RECYCLING_POOL
TYPED_INTERNALS
INTERNALS_HANDLER
All features
class LOCALE
Summary
top
A
"country & language"
context.
Direct parents
insert list:
RECYCLABLE
Class invariant
top
country
/= Void
language
/= Void
Overview
top
creation features
make
(a_country:
STRING
, a_language:
STRING
)
exported features
country
:
STRING
language
:
STRING
is_equal
(other: LOCALE):
BOOLEAN
Is
other
attached to an object considered equal to current object?
country
:
STRING
writable attribute
top
language
:
STRING
writable attribute
top
is_equal
(other: LOCALE):
BOOLEAN
effective function
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)