home
wiki
classes/clusters list
class information
+
Point of view
NO_INVARIANT_WRAPPER
ANY
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
INTERNALS_HANDLER
All features
deferred class INSTRUCTION_VISITOR
Summary
top
Direct parents
inherit list:
AGENT_INSTRUCTION_VISITOR
,
ASSIGNMENT_ATTEMPT_VISITOR
,
ASSIGNMENT_VISITOR
,
COMMENT_VISITOR
,
COMPOUND_VISITOR
,
CREATE_INSTRUCTION_VISITOR
,
E_CHECK_VISITOR
,
E_DEBUG_VISITOR
,
E_LOOP_VISITOR
,
E_RETRY_VISITOR
,
IFTHENELSE_VISITOR
,
IFTHEN_VISITOR
,
INSPECT_STATEMENT_VISITOR
,
NON_WRITTEN_INSTRUCTION_VISITOR
,
NO_INVARIANT_WRAPPER_VISITOR
,
PRECURSOR_INSTRUCTION_VISITOR
,
PROC_CALL_VISITOR
Known children
inherit list:
EIFFEL_TO_LISAAC
,
IN_OUT_VISITOR
,
PRECOMPUTABLE_ROUTINE_DETECTOR
Overview
top
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.
visit_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
)
deferred procedure
top
require
visited /= Void