Class invariant
creation features
exported features
type_mark: TYPE_MARK
writable attribute
Declaration type_mark of the parent.
start_position: POSITION
effective function
class_text: CLASS_TEXT
writable attribute
An alias for type_mark.class_text.
class_text_name: STRING
writable attribute
An alias for
parent_lists: PARENT_LISTS
writable attribute
The corresponding one
is_insert_member: BOOLEAN
writable attribute
This parent is inserted (then current type does not conform to this parent via this inherit text item)
is_inherit_member: BOOLEAN
effective function
accept (visitor: PARENT_EDGE_VISITOR)
effective procedure
Accept to be visited by the visitor.