home
wiki
classes/clusters list
class information
+
Point of view
ASSIGNMENT_HANDLER
ANY
ASSIGNMENT_HANDLER
GRAPH_NODE
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class GRAPH_NODE
Summary
top
One node of the whole system assignment graph node.
Direct parents
inherit list:
HASHABLE
insert list:
GLOBALS
Overview
top
creation features
make
(st:
TYPE
)
exported features
source_type
:
TYPE
The one (source) of the
Current
node in the graph.
hash_code
:
INTEGER_32
A memory cache for
source_type.run_time_mark.hash_code
.
is_equal
(other: GRAPH_NODE):
BOOLEAN
Is
other
attached to an object considered equal to current object?
id_extra_information
(tfw:
TEXT_FILE_WRITE
)
reset
To
reset
before each collect cycle.
collect_way_to
(destination_gn: GRAPH_NODE)
destination_count
:
INTEGER_32
recompute_run_time_set
(magic:
INTEGER_32
):
INTEGER_32
source_type
:
TYPE
writable attribute
top
The one (source) of the
Current
node in the graph.
hash_code
:
INTEGER_32
writable attribute
top
A memory cache for
source_type.run_time_mark.hash_code
.
ensure
good_hash_value:
Result >= 0
is_equal
(other: GRAPH_NODE):
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)
Result implies hash_code = other.hash_code
id_extra_information
(tfw:
TEXT_FILE_WRITE
)
effective procedure
top
reset
effective procedure
top
To
reset
before each collect cycle.
collect_way_to
(destination_gn: GRAPH_NODE)
effective procedure
top
require
destination_gn /= Current
destination_count
:
INTEGER_32
effective function
top
recompute_run_time_set
(magic:
INTEGER_32
):
INTEGER_32
effective function
top
ensure
Result >= magic