home
wiki
classes/clusters list
class information
+
Point of view
WRITTEN_CURRENT
ANY
ONCE_ROUTINE_POOL
CALL_1
CALL_0
PRECOMPUTABLE_ROUTINE_DETECTOR
ARGUMENT_NAME1
LOCAL_NAME1
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
EFFECTIVE_ARG_LIST
LOCAL_VAR_LIST
NATIVE_C_PLUS_PLUS
NATIVE_BUILT_IN
NATIVE_JAVA
NATIVE_C
NATIVE_PLUG_IN
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
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
INTERNALS_HANDLER
All features
class PRECOMPUTABLE_ROUTINE_DETECTOR
Summary
top
The goal of this
VISITOR
is to determine which kind of code we can run during the precomputation of some once routine.
Direct parents
inherit list:
ANONYMOUS_FEATURE_VISITOR
,
EFFECTIVE_ARG_LIST_VISITOR
,
EXPRESSION_VISITOR
,
INSTRUCTION_VISITOR
,
LOCAL_VAR_LIST_VISITOR
,
NATIVE_VISITOR
insert list:
GLOBALS
,
SINGLETON
Overview
top
creation features
make
exported features
visit_local_var_list
(visited:
LOCAL_VAR_LIST
)
visit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
visit_comment
(visited:
COMMENT
)
visit_fake_tuple
(visited:
FAKE_TUPLE
)
visit_written_current
(visited:
WRITTEN_CURRENT
)
as_visitor
:
VISITOR
visit_local_var_list
(visited:
LOCAL_VAR_LIST
)
effective procedure
top
require
visited /= Void
visit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
effective procedure
top
require
visited /= Void
visit_comment
(visited:
COMMENT
)
effective procedure
top
require
visited /= Void
visit_fake_tuple
(visited:
FAKE_TUPLE
)
effective procedure
top
require
visited /= Void
visit_written_current
(visited:
WRITTEN_CURRENT
)
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.