home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
All features
class PRINTABLE_REFERENCE [E_]
Summary
top
Direct parents
inherit list:
ANY
Overview
top
creation features
set_item
(item_: E_)
exported features
item
: E_
set_item
(item_: E_)
out_in_tagged_out_memory
Append terse printable represention of current object in
tagged_out_memory
.
item
: E_
writable attribute
top
set_item
(item_: E_)
effective procedure
top
require
item_ /= Void
ensure
item
= item_
out_in_tagged_out_memory
effective procedure
top
Append terse printable represention of current object in
tagged_out_memory
.
ensure
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))