home
wiki
classes/clusters list
class information
+
Point of view
CLASS_TEXT
ANY
EIFFEL_PARSER
FEATURE_STAMP
PARENT_EDGE
CLASS_TEXT
TYPE
ANONYMOUS_FEATURE_MIXER
FEATURE_ACCUMULATOR
EXPORT_LIST
PARENT_LISTS
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class PARENT_EDGE
Summary
top
To represent either an
"inherit"
or an
"insert"
parent edge.
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Class invariant
top
not
type_mark
.is_anchored
Overview
top
creation features
make
(insert_flag:
BOOLEAN
, tm:
TYPE_MARK
)
exported features
type_mark
:
TYPE_MARK
Declaration
type_mark
of the parent.
start_position
:
POSITION
class_text
:
CLASS_TEXT
An alias for
type_mark.class_text
.
class_text_name
:
STRING
An alias for
class_text.name.to_string
.
parent_lists
:
PARENT_LISTS
The corresponding one
is_insert_member
:
BOOLEAN
This parent is inserted (then current type does not conform to this parent via this inherit text item)
is_inherit_member
:
BOOLEAN
accept
(visitor:
PARENT_EDGE_VISITOR
)
Accept to be visited by the
visitor
.
rename_count
:
INTEGER_32
type_mark
:
TYPE_MARK
writable attribute
top
Declaration
type_mark
of the parent.
start_position
:
POSITION
effective function
top
class_text
:
CLASS_TEXT
writable attribute
top
An alias for
type_mark.class_text
.
class_text_name
:
STRING
writable attribute
top
An alias for
class_text.name.to_string
.
parent_lists
:
PARENT_LISTS
writable attribute
top
The corresponding one
is_insert_member
:
BOOLEAN
writable attribute
top
This parent is inserted (then current type does not conform to this parent via this inherit text item)
is_inherit_member
:
BOOLEAN
effective function
top
accept
(visitor:
PARENT_EDGE_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void
rename_count
:
INTEGER_32
effective function
top