home
wiki
classes/clusters list
class information
+
Point of view
FEATURE_NAME_LIST
ANY
EIFFELDOC_COMMENT_STATE
EIFFELDOC_COMMENT_WRITER
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
ABSTRACT_CURRENT
AGENT_LAUNCHER
WHEN_ITEM_2
WHEN_ITEM_1
E_ENSURE
CLASS_INVARIANT
CHECK_INVARIANT
REQUIRE_ITEM
LOOP_INVARIANT
COMMENT
PRECURSOR_INSTRUCTION
E_LOOP
IFTHENELSE
VOID_PROC_CALL
IFTHEN
PROC_CALL_N
PROC_CALL_1
PROC_CALL_0
ASSIGNMENT
E_DEBUG
ASSIGNMENT_ATTEMPT
NO_INVARIANT_WRAPPER
AGENT_INSTRUCTION
COMPOUND
INSPECT_STATEMENT
E_RETRY
E_CHECK
CREATE_INSTRUCTION
FAKE_ARGUMENT
FAKE_TARGET
CHARACTER_CONSTANT
INTEGER_CONSTANT
E_FALSE
E_TRUE
REAL_CONSTANT
MANIFEST_STRING
E_VOID
ADDRESS_OF
INTERNAL_LOCAL
NUMBERED_CAPTURE
NULL_POINTER
VOID_CALL
NON_VOID_NO_DISPATCH
MANIFEST_TUPLE
AGENT_CREATION
IMPLICIT_CAST
WRITTEN_CURRENT
IMPLICIT_CURRENT
E_OLD
FAKE_TUPLE
EXPRESSION_WITH_COMMENT
LOCAL_NAME2
ARGUMENT_NAME2
OLD_MANIFEST_ARRAY
MANIFEST_GENERIC
ASSIGNMENT_TEST
RESULT
CREATE_EXPRESSION
GENERATOR_GENERATING_TYPE
CREATE_WRITABLE
WRITABLE_ATTRIBUTE_NAME
CALL_N
CALL_1_C
CALL_INFIX_AND
CALL_INFIX_TIMES
CALL_INFIX_INT_REM
CALL_INFIX_XOR
CALL_INFIX_AND_THEN
CALL_INFIX_OR_ELSE
CALL_INFIX_POWER
CALL_INFIX_DIV
CALL_INFIX_GE
CALL_INFIX_GT
CALL_INFIX_PLUS
CALL_INFIX_LE
CALL_INFIX_FREEOP
CALL_INFIX_IMPLIES
CALL_INFIX_LT
CALL_INFIX_INT_DIV
CALL_INFIX_OR
CALL_INFIX_MINUS
CALL_0_C
STATIC_CALL_0_C
CALL_PREFIX_PLUS
CALL_PREFIX_NOT
CALL_PREFIX_FREEOP
CALL_PREFIX_MINUS
AGENT_EXPRESSION
BUILT_IN_EQ_NEQ
OPEN_OPERAND
PRECURSOR_EXPRESSION
CST_ATT_CHARACTER
CST_ATT_STRING
CST_ATT_INTEGER
CST_ATT_REAL
CST_ATT_UNIQUE
CST_ATT_BOOLEAN
WRITABLE_ATTRIBUTE
DEFERRED_FUNCTION
DEFERRED_PROCEDURE
EXTERNAL_PROCEDURE
EXTERNAL_FUNCTION
E_PROCEDURE
ONCE_PROCEDURE
ONCE_FUNCTION
E_FUNCTION
EMPTY_TUPLE_TYPE_MARK
NON_EMPTY_TUPLE_TYPE_MARK
NATIVE_ARRAY_TYPE_MARK
AGENT_TYPE_MARK
ARRAY_TYPE_MARK
USER_GENERIC_TYPE_MARK
FORMAL_GENERIC_TYPE_MARK
LIKE_CURRENT_TYPE_MARK
LIKE_FEATURE_TYPE_MARK
LIKE_ARGUMENT_TYPE_MARK
ANY_TYPE_MARK
STRING_TYPE_MARK
INTEGER_TYPE_MARK
POINTER_TYPE_MARK
BOOLEAN_TYPE_MARK
CHARACTER_TYPE_MARK
REAL_TYPE_MARK
CLASS_TYPE_MARK
LOCAL_NAME1
ARGUMENT_NAME1
FORMAL_ARG_LIST
LOCAL_VAR_LIST
DECLARATION_1
DECLARATION_GROUP
FEATURE_NAME
EXPORT_ITEM
EXPORT_LIST
RENAME_PAIR
RENAME_LIST
E_REQUIRE
TYPE
AGENT_ARGS
FEATURE_NAME_LIST
WHEN_CLAUSE
LOOP_VARIANT
EFFECTIVE_ARG_LIST
ASSERTION
FEATURE_TEXT
CLASS_NAME
CLASS_NAME_LIST
CLIENT_LIST
FEATURE_CLAUSE
FEATURE_CLAUSE_LIST
CREATION_CLAUSE
CREATION_CLAUSE_LIST
PARENT_EDGE
PARENT_LISTS
CLASS_TEXT
INTERNALS_HANDLER
All features
class EIFFELDOC_COMMENT_STATE_IN_WIKI_WORD
Summary
top
Syntax: the word between double brackets, with possibly a pipe and a label
Main Page
the FAQ
Direct parents
inherit list:
EIFFELDOC_COMMENT_STATE
Overview
top
creation features
exported features
visit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
as_visitor
:
VISITOR
visit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
effective procedure
top
require
visited /= Void
as_visitor
:
VISITOR
effective function
top
This feature is obsolete:
Don't use this feature anymore. That's a 2.0 left-over that does not have any sense now that the type system is improved. Just use Current instead.