home
wiki
classes/clusters list
class information
+
Point of view
ANONYMOUS_FEATURE_MIXER
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
.
get_undefine
(a_final_fn:
FEATURE_NAME
):
FEATURE_NAME
If the undefine list exists and if
a_final_fn
is member of the undefine list, this function returns the actual feature name which is in the list.
get_redefine
(a_final_fn:
FEATURE_NAME
):
FEATURE_NAME
runnable_type
(ct:
TYPE_MARK
):
TYPE_MARK
exports_for
(fn:
FEATURE_NAME
):
CLIENT_LIST
Only looks for a possible explicit export clause for a given feature name.
exports_for_all
:
CLIENT_LIST
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
get_undefine
(a_final_fn:
FEATURE_NAME
):
FEATURE_NAME
effective function
top
If the undefine list exists and if
a_final_fn
is member of the undefine list, this function returns the actual feature name which is in the list.
(This can be useful to print error messages with accurate POSITIONs and to know if
a_final_fn
is undefined.)
require
a_final_fn /= Void
get_redefine
(a_final_fn:
FEATURE_NAME
):
FEATURE_NAME
effective function
top
require
a_final_fn /= Void
runnable_type
(ct:
TYPE_MARK
):
TYPE_MARK
effective function
top
require
ct.is_static
ensure
Result.is_static
exports_for
(fn:
FEATURE_NAME
):
CLIENT_LIST
effective function
top
Only looks for a possible explicit export clause for a given feature name.
Contrarily to
clients_for
, does not compute the export list. Hence, the result may be Void.
require
fn /= Void
exports_for_all
:
CLIENT_LIST
effective function
top