class PARENT_LISTS
Summary
Class invariant
Overview
creation features
exported features
class_text: CLASS_TEXT
writable attribute
Where the parent list is written.
inherit_comment: COMMENT
writable attribute
Comment just after the "inherit" keyword.
insert_comment: COMMENT
writable attribute
Comment just after the "insert" keyword.
default_insert_any_added_flag: BOOLEAN
writable attribute
This flag indicates that ANY has been automatically added in the insert_list in order to reach the canonical form (necessary for pretty and for error messages printing).
class_text_name: CLASS_NAME
effective function
accept (visitor: PARENT_LISTS_VISITOR)
effective procedure
Accept to be visited by the visitor.