class CREATION_CLAUSE
Summary
Class invariant
Overview
creation features
exported features
start_position: POSITION
writable attribute
Of the "creation" keyword.
clients: CLIENT_LIST
writable attribute
comment: COMMENT
writable attribute
pretty
effective procedure
short (heading_done: BOOLEAN, client: CLASS_NAME): BOOLEAN
effective function
True when at least one creation list is printed.
has (fn: FEATURE_NAME): BOOLEAN
effective function
accept (visitor: CREATION_CLAUSE_VISITOR)
effective procedure
Accept to be visited by the visitor.