+
Point of view
PARENT_LISTS
class PARENT_EDGE
Summary
top
Class invariant
top
Overview
top
creation features
exported features
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.
is_target_of_rename (fn: FEATURE_NAME): BOOLEAN
effective function
top
is_source_of_rename (fn: FEATURE_NAME): BOOLEAN
effective function
top
set_insert_member
effective procedure
top
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.
get_redefine (a_final_fn: FEATURE_NAME): FEATURE_NAME
effective function
top
do_rename (fn: FEATURE_NAME): FEATURE_NAME
effective function
top
If some rename exists for fn, return the new name, otherwise, give back fn.
runnable_type (ct: TYPE_MARK): TYPE_MARK
effective function
top
exports_for (fn: FEATURE_NAME): CLIENT_LIST
effective function
top
Only looks for a possible explicit export clause for a given feature name.
exports_for_all: CLIENT_LIST
effective function
top
id_extra_information (tfw: TEXT_FILE_WRITE)
effective procedure
top
pretty
effective procedure
top
initialize_and_check_level_1 (pl: PARENT_LISTS)
effective procedure
top
First step of initialization (see also check_level_2).
check_level_2 (type: TYPE)
effective procedure
top
Second and last step (see also initialize_and_check_level_1).