home
wiki
classes/clusters list
class information
+
Point of view
WEAK_ARRAY
ANY
REPOSITORY_TRANSIENT
WEAK_ARRAY
INTERNALS_HANDLER
All features
class REPOSITORY_TRANSIENT_OBJECT
Summary
top
Direct parents
inherit list:
COMPARABLE
,
HASHABLE
insert list:
INTERNALS_HANDLER
,
RECYCLABLE
Overview
top
creation features
exported features
hash_code
:
INTEGER_32
The hash-code value of
Current
.
infix "<"
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
Is
Current
strictly less than
other
?
is_equal
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
Is
other
attached to an object considered equal to current object?
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
infix "<="
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
Is
Current
less than or equal
other
?
infix ">"
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
Is
Current
strictly greater than
other
?
infix ">="
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
Is
Current
greater than or equal than
other
?
in_range
(lower: REPOSITORY_TRANSIENT_OBJECT, upper: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
Return True if
Current
is in range [
lower
..
upper
]
See also
min
,
max
,
compare
.
compare
(other: REPOSITORY_TRANSIENT_OBJECT):
INTEGER_32
If current object equal to
other
, 0 if smaller, -1; if greater, 1.
three_way_comparison
(other: REPOSITORY_TRANSIENT_OBJECT):
INTEGER_32
If current object equal to
other
, 0 if smaller, -1; if greater, 1.
min
(other: REPOSITORY_TRANSIENT_OBJECT): REPOSITORY_TRANSIENT_OBJECT
Minimum of
Current
and
other
.
max
(other: REPOSITORY_TRANSIENT_OBJECT): REPOSITORY_TRANSIENT_OBJECT
Maximum of
Current
and
other
.
hash_code
:
INTEGER_32
effective function
top
The hash-code value of
Current
.
ensure
good_hash_value:
Result >= 0
infix "<"
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
effective function
top
Is
Current
strictly less than
other
?
See also
>
,
<=
,
>=
,
min
,
max
.
require
other_exists:
other /= Void
ensure
asymmetric:
Result implies not other < Current
is_equal
(other: REPOSITORY_TRANSIENT_OBJECT):
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)
trichotomy:
Result = not Current < other and not other < Current
Result implies hash_code = other.hash_code
recycle
effective procedure
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
infix "<="
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
effective function
top
Is
Current
less than or equal
other
?
See also
>=
,
<
,
>
,
min
,
max
.
require
other_exists:
other /= Void
ensure
definition:
Result = Current
<
other or
is_equal
(other)
infix ">"
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
effective function
top
Is
Current
strictly greater than
other
?
See also
<
,
>=
,
<=
,
min
,
max
.
require
other_exists:
other /= Void
ensure
definition:
Result = other
<
Current
infix ">="
(other: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
effective function
top
Is
Current
greater than or equal than
other
?
See also
<=
,
>
,
<
,
min
,
max
.
require
other_exists:
other /= Void
ensure
definition:
Result = other
<=
Current
in_range
(lower: REPOSITORY_TRANSIENT_OBJECT, upper: REPOSITORY_TRANSIENT_OBJECT):
BOOLEAN
effective function
top
Return True if
Current
is in range [
lower
..
upper
]
See also
min
,
max
,
compare
.
ensure
Result = Current
>=
lower and Current
<=
upper
compare
(other: REPOSITORY_TRANSIENT_OBJECT):
INTEGER_32
effective function
top
If current object equal to
other
, 0 if smaller, -1; if greater, 1.
See also
min
,
max
,
in_range
.
require
other_exists:
other /= Void
ensure
equal_zero:
Result = 0 =
is_equal
(other)
smaller_negative:
Result = -1 = Current
<
other
greater_positive:
Result = 1 = Current
>
other
three_way_comparison
(other: REPOSITORY_TRANSIENT_OBJECT):
INTEGER_32
effective function
top
If current object equal to
other
, 0 if smaller, -1; if greater, 1.
See also
min
,
max
,
in_range
.
require
other_exists:
other /= Void
ensure
equal_zero:
Result = 0 =
is_equal
(other)
smaller_negative:
Result = -1 = Current
<
other
greater_positive:
Result = 1 = Current
>
other
min
(other: REPOSITORY_TRANSIENT_OBJECT): REPOSITORY_TRANSIENT_OBJECT
effective function
top
Minimum of
Current
and
other
.
See also
max
,
in_range
.
require
other /= Void
ensure
Result
<=
Current and then Result
<=
other
compare
(Result) = 0 or else other.
compare
(Result) = 0
max
(other: REPOSITORY_TRANSIENT_OBJECT): REPOSITORY_TRANSIENT_OBJECT
effective function
top
Maximum of
Current
and
other
.
See also
min
,
in_range
.
require
other /= Void
ensure
Result
>=
Current and then Result
>=
other
compare
(Result) = 0 or else other.
compare
(Result) = 0