home
wiki
classes/clusters list
class information
+
Point of view
CALL_INFIX_IMPLIES
ANY
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
deferred class EXPRESSION_VISITOR
Summary
top
Direct parents
inherit list:
ABSTRACT_CURRENT_VISITOR
,
ADDRESS_OF_VISITOR
,
AGENT_CREATION_VISITOR
,
AGENT_EXPRESSION_VISITOR
,
ASSIGNMENT_TEST_VISITOR
,
BUILT_IN_EQ_NEQ_VISITOR
,
CALL_VISITOR
,
CREATE_EXPRESSION_VISITOR
,
CREATE_WRITABLE_VISITOR
,
EXPRESSION_WITH_COMMENT_VISITOR
,
E_OLD_VISITOR
,
FAKE_ARGUMENT_VISITOR
,
FAKE_TARGET_VISITOR
,
FAKE_TUPLE_VISITOR
,
GENERATOR_GENERATING_TYPE_VISITOR
,
IMPLICIT_CAST_VISITOR
,
LOCAL_ARGUMENT2_VISITOR
,
MANIFEST_EXPRESSION_VISITOR
,
MANIFEST_GENERIC_VISITOR
,
MANIFEST_TUPLE_VISITOR
,
NON_WRITTEN_EXPRESSION_VISITOR
,
OLD_MANIFEST_ARRAY_VISITOR
,
OPEN_OPERAND_VISITOR
,
PRECURSOR_EXPRESSION_VISITOR
,
RESULT_VISITOR
,
WRITABLE_ATTRIBUTE_NAME_VISITOR
Known children
inherit list:
AGENT_CREATION_HELPER
,
EIFFEL_TO_LISAAC
,
HIDDEN_EXPRESSION_DETECTOR
,
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_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
deferred procedure
top
require
visited /= Void