class FEATURE_CLAUSE
Summary
Class invariant
Overview
creation features
exported features
clients: CLIENT_LIST
writable attribute
The clients allowed to use these features.
comment: COMMENT
writable attribute
The heading comment comming with the clause.
class_text: CLASS_TEXT
writable attribute
The one where Current is written.
pretty
effective procedure
start_position: POSITION
effective function
accept (visitor: FEATURE_CLAUSE_VISITOR)
effective procedure
Accept to be visited by the visitor.