home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
FEATURE_CLAUSE_VISITOR
FEATURE_NAME_LIST
FEATURE_CLAUSE_LIST
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class FEATURE_CLAUSE
Summary
top
The syntactical contents of some feature clause. Note: for a
pretty
pretty_printing, it is obviously necessary to store exactly the original contents (in the source file) of a feature clause.
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Class invariant
top
clients
/= Void
class_text
/= Void
Overview
top
creation features
make
(ct:
CLASS_TEXT
, c:
CLIENT_LIST
, cm:
COMMENT
, l:
FAST_ARRAY
[
FEATURE_TEXT
])
exported features
clients
:
CLIENT_LIST
The
clients
allowed to use these features.
comment
:
COMMENT
The heading comment comming with the clause.
class_text
:
CLASS_TEXT
The one where
Current
is written.
pretty
start_position
:
POSITION
accept
(visitor:
FEATURE_CLAUSE_VISITOR
)
Accept to be visited by the
visitor
.
clients
:
CLIENT_LIST
writable attribute
top
The
clients
allowed to use these features.
comment
:
COMMENT
writable attribute
top
The heading comment comming with the clause.
class_text
:
CLASS_TEXT
writable attribute
top
The one where
Current
is written.
pretty
effective procedure
top
start_position
:
POSITION
effective function
top
accept
(visitor:
FEATURE_CLAUSE_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void