home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
REPOSITORY_TRANSIENT
RECYCLING_POOL
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?
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
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