home
wiki
classes/clusters list
class information
+
Point of view
SE
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
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?
set_launcher
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
set_launcher
effective procedure
top