home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
FEATURE_CLAUSE_LIST_VISITOR
CLASS_TEXT
SHORT_PRINTER
CLASS_CHECKER
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class FEATURE_CLAUSE_LIST
Summary
top
Direct parents
inherit list:
VISITABLE
insert list:
GLOBALS
Overview
top
creation features
exported features
count
:
INTEGER_32
Number of items in
Current
.
pretty
accept
(visitor:
FEATURE_CLAUSE_LIST_VISITOR
)
Accept to be visited by the
visitor
.
count
:
INTEGER_32
effective function
top
Number of items in
Current
.
ensure
Result > 0
pretty
effective procedure
top
accept
(visitor:
FEATURE_CLAUSE_LIST_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void