home
wiki
classes/clusters list
class information
+
Point of view
INSTALL
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_HIDDEN
Summary
top
Direct parents
inherit list:
EIFFELDOC_COMMENT_STATE
Overview
top
creation features
exported features
as_visitor
:
VISITOR
install_memory
:
REFERENCE
[
INSTALL
]
parser_buffer
:
PARSER_BUFFER
The known keys of the INI file:
fz_conf_general
:
STRING
fz_conf_loadpath
:
STRING
fz_conf_environment
:
STRING
since version 2
fz_conf_se_tools
:
STRING
since version 3
fz_conf_java
:
STRING
since version 3
fz_conf_bin
:
STRING
fz_conf_lib
:
STRING
fz_conf_sys
:
STRING
fz_conf_short
:
STRING
fz_conf_tools
:
STRING
fz_conf_os
:
STRING
fz_conf_flavor
:
STRING
fz_conf_jobs
:
STRING
fz_conf_boost
:
STRING
fz_conf_no_check
:
STRING
fz_conf_require_check
:
STRING
fz_conf_ensure_check
:
STRING
fz_conf_invariant_check
:
STRING
fz_conf_loop_check
:
STRING
fz_conf_all_check
:
STRING
fz_conf_debug_check
:
STRING
fz_conf_flat_check
:
STRING
fz_conf_smarteiffel_options
:
STRING
fz_conf_undefined
:
STRING
fz_conf_tag
:
STRING
fz_conf_compiler_type
:
STRING
fz_conf_compiler_path
:
STRING
fz_conf_linker_path
:
STRING
fz_conf_strip_path
:
STRING
fz_conf_compiler_options
:
STRING
fz_conf_linker_options
:
STRING
fz_conf_cpp_compiler_type
:
STRING
fz_conf_cpp_compiler_path
:
STRING
fz_conf_cpp_compiler_options
:
STRING
fz_conf_cpp_linker_path
:
STRING
fz_conf_cpp_strip_path
:
STRING
fz_conf_cpp_linker_options
:
STRING
fz_conf_java_jar_binary
:
STRING
fz_conf_java_jvm_binary
:
STRING
fz_conf_java_java_compiler
:
STRING
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.
install_memory
:
REFERENCE
[
INSTALL
]
once function
top
parser_buffer
:
PARSER_BUFFER
frozen
once function
top
fz_conf_general
:
STRING
constant attribute
top
fz_conf_loadpath
:
STRING
constant attribute
top
fz_conf_environment
:
STRING
constant attribute
top
since version 2
fz_conf_se_tools
:
STRING
constant attribute
top
since version 3
fz_conf_java
:
STRING
constant attribute
top
since version 3
fz_conf_bin
:
STRING
constant attribute
top
fz_conf_lib
:
STRING
constant attribute
top
fz_conf_sys
:
STRING
constant attribute
top
fz_conf_short
:
STRING
constant attribute
top
fz_conf_tools
:
STRING
constant attribute
top
fz_conf_os
:
STRING
constant attribute
top
fz_conf_flavor
:
STRING
constant attribute
top
fz_conf_jobs
:
STRING
constant attribute
top
fz_conf_boost
:
STRING
constant attribute
top
fz_conf_no_check
:
STRING
constant attribute
top
fz_conf_require_check
:
STRING
constant attribute
top
fz_conf_ensure_check
:
STRING
constant attribute
top
fz_conf_invariant_check
:
STRING
constant attribute
top
fz_conf_loop_check
:
STRING
constant attribute
top
fz_conf_all_check
:
STRING
constant attribute
top
fz_conf_debug_check
:
STRING
constant attribute
top
fz_conf_flat_check
:
STRING
constant attribute
top
fz_conf_smarteiffel_options
:
STRING
constant attribute
top
fz_conf_undefined
:
STRING
constant attribute
top
fz_conf_tag
:
STRING
constant attribute
top
fz_conf_compiler_type
:
STRING
constant attribute
top
fz_conf_compiler_path
:
STRING
constant attribute
top
fz_conf_linker_path
:
STRING
constant attribute
top
fz_conf_strip_path
:
STRING
constant attribute
top
fz_conf_compiler_options
:
STRING
constant attribute
top
fz_conf_linker_options
:
STRING
constant attribute
top
fz_conf_cpp_compiler_type
:
STRING
constant attribute
top
fz_conf_cpp_compiler_path
:
STRING
constant attribute
top
fz_conf_cpp_compiler_options
:
STRING
constant attribute
top
fz_conf_cpp_linker_path
:
STRING
constant attribute
top
fz_conf_cpp_strip_path
:
STRING
constant attribute
top
fz_conf_cpp_linker_options
:
STRING
constant attribute
top
fz_conf_java_jar_binary
:
STRING
constant attribute
top
fz_conf_java_jvm_binary
:
STRING
constant attribute
top
fz_conf_java_java_compiler
:
STRING
constant attribute
top