home
wiki
classes/clusters list
class information
+
Point of view
All features
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
Class invariant
top
internals
/= Void implies not
internals
.type_is_expanded
internals
/= Void implies
internals
.object_as_pointer /=
default_pointer
internals
/= Void =
key
/= Void
Overview
top
creation features
make
set
(a_internals:
INTERNALS
, a_key:
STRING
)
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?
set
(a_internals:
INTERNALS
, a_key:
STRING
)
internals
:
INTERNALS
key
:
STRING
reset
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
make
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
.
valid_generating_type_for_internals
(type:
STRING
):
BOOLEAN
internals_from_generating_type
(type:
STRING
):
INTERNALS
valid_generating_type_for_native_array_internals
(type:
STRING
):
BOOLEAN
native_array_internals_from_generating_type
(type:
STRING
, capacity:
INTEGER_32
):
INTERNALS
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
set
(a_internals:
INTERNALS
, a_key:
STRING
)
effective procedure
top
require
not a_internals.type_is_expanded
a_internals.object_as_pointer /=
default_pointer
a_key /= Void
ensure
internals
= a_internals
key
= a_key
internals
:
INTERNALS
writable attribute
top
key
:
STRING
writable attribute
top
reset
effective procedure
top
ensure
internals
= Void
key
= Void
recycle
effective procedure
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
make
effective procedure
top
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
valid_generating_type_for_internals
(type:
STRING
):
BOOLEAN
top
require
type /= Void
ensure
Result implies not type.has_prefix("NATIVE_ARRAY")
internals_from_generating_type
(type:
STRING
):
INTERNALS
top
require
valid_generating_type_for_internals
(type)
ensure
Result /= Void
Result.object_can_be_modified
valid_generating_type_for_native_array_internals
(type:
STRING
):
BOOLEAN
top
require
type /= Void
ensure
Result implies type.has_prefix("NATIVE_ARRAY")
native_array_internals_from_generating_type
(type:
STRING
, capacity:
INTEGER_32
):
INTERNALS
top
require
valid_generating_type_for_native_array_internals
(type)
ensure
Result /= Void
Result.object_can_be_modified