home
wiki
classes/clusters list
class information
+
Point of view
All features
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
visit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
deferred 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.
visit_open_operand
(visited:
OPEN_OPERAND
)
deferred procedure
top
require
visited /= Void
visit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
deferred procedure
top
require
visited /= Void
visit_agent_expression
(visited:
AGENT_EXPRESSION
)
deferred procedure
top
require
visited /= Void
visit_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
)
deferred procedure
top
require
visited /= Void
visit_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
)
deferred procedure
top
require
visited /= Void
visit_call_prefix_not
(visited:
CALL_PREFIX_NOT
)
deferred procedure
top
require
visited /= Void
visit_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
)
deferred procedure
top
require
visited /= Void
visit_static_call_0_c
(visited:
STATIC_CALL_0_C
)
deferred procedure
top
require
visited /= Void
visit_call_0_c
(visited:
CALL_0_C
)
deferred procedure
top
require
visited /= Void
visit_call_infix_minus
(visited:
CALL_INFIX_MINUS
)
deferred procedure
top
require
visited /= Void
visit_call_infix_or
(visited:
CALL_INFIX_OR
)
deferred procedure
top
require
visited /= Void
visit_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
)
deferred procedure
top
require
visited /= Void
visit_call_infix_lt
(visited:
CALL_INFIX_LT
)
deferred procedure
top
require
visited /= Void
visit_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
deferred procedure
top
require
visited /= Void
visit_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
)
deferred procedure
top
require
visited /= Void
visit_call_infix_le
(visited:
CALL_INFIX_LE
)
deferred procedure
top
require
visited /= Void
visit_call_infix_plus
(visited:
CALL_INFIX_PLUS
)
deferred procedure
top
require
visited /= Void
visit_call_infix_gt
(visited:
CALL_INFIX_GT
)
deferred procedure
top
require
visited /= Void
visit_call_infix_ge
(visited:
CALL_INFIX_GE
)
deferred procedure
top
require
visited /= Void
visit_call_infix_div
(visited:
CALL_INFIX_DIV
)
deferred procedure
top
require
visited /= Void
visit_call_infix_power
(visited:
CALL_INFIX_POWER
)
deferred procedure
top
require
visited /= Void
visit_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
)
deferred procedure
top
require
visited /= Void
visit_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
)
deferred procedure
top
require
visited /= Void
visit_call_infix_xor
(visited:
CALL_INFIX_XOR
)
deferred procedure
top
require
visited /= Void
visit_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
)
deferred procedure
top
require
visited /= Void
visit_call_infix_times
(visited:
CALL_INFIX_TIMES
)
deferred procedure
top
require
visited /= Void
visit_call_infix_and
(visited:
CALL_INFIX_AND
)
deferred procedure
top
require
visited /= Void
visit_call_1_c
(visited:
CALL_1_C
)
deferred procedure
top
require
visited /= Void
visit_call_n
(visited:
CALL_N
)
deferred procedure
top
require
visited /= Void
visit_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
)
deferred procedure
top
require
visited /= Void
visit_create_writable
(visited:
CREATE_WRITABLE
)
deferred procedure
top
require
visited /= Void
visit_generator_generating_type
(visited:
GENERATOR_GENERATING_TYPE
)
deferred procedure
top
require
visited /= Void
visit_create_expression
(visited:
CREATE_EXPRESSION
)
deferred procedure
top
require
visited /= Void
visit_result
(visited:
RESULT
)
deferred procedure
top
require
visited /= Void
visit_assignment_test
(visited:
ASSIGNMENT_TEST
)
deferred procedure
top
require
visited /= Void
visit_manifest_generic
(visited:
MANIFEST_GENERIC
)
deferred procedure
top
require
visited /= Void
visit_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
)
deferred procedure
top
require
visited /= Void
visit_argument_name2
(visited:
ARGUMENT_NAME2
)
deferred procedure
top
require
visited /= Void
visit_local_name2
(visited:
LOCAL_NAME2
)
deferred procedure
top
require
visited /= Void
visit_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
)
deferred procedure
top
require
visited /= Void
visit_fake_tuple
(visited:
FAKE_TUPLE
)
deferred procedure
top
require
visited /= Void
visit_e_old
(visited:
E_OLD
)
deferred procedure
top
require
visited /= Void
visit_implicit_current
(visited:
IMPLICIT_CURRENT
)
deferred procedure
top
require
visited /= Void
visit_written_current
(visited:
WRITTEN_CURRENT
)
deferred procedure
top
require
visited /= Void
visit_implicit_cast
(visited:
IMPLICIT_CAST
)
deferred procedure
top
require
visited /= Void
visit_agent_creation
(visited:
AGENT_CREATION
)
deferred procedure
top
require
visited /= Void
visit_manifest_tuple
(visited:
MANIFEST_TUPLE
)
deferred procedure
top
require
visited /= Void
visit_non_void_no_dispatch
(visited:
NON_VOID_NO_DISPATCH
)
deferred procedure
top
require
visited /= Void
visit_void_call
(visited:
VOID_CALL
)
deferred procedure
top
require
visited /= Void
visit_null_pointer
(visited:
NULL_POINTER
)
deferred procedure
top
require
visited /= Void
visit_numbered_capture
(visited:
NUMBERED_CAPTURE
)
deferred procedure
top
require
visited /= Void
visit_internal_local
(visited:
INTERNAL_LOCAL
)
deferred procedure
top
require
visited /= Void
visit_address_of
(visited:
ADDRESS_OF
)
deferred procedure
top
require
visited /= Void
visit_e_void
(visited:
E_VOID
)
deferred procedure
top
require
visited /= Void
visit_manifest_string
(visited:
MANIFEST_STRING
)
deferred procedure
top
require
visited /= Void
visit_real_constant
(visited:
REAL_CONSTANT
)
deferred procedure
top
require
visited /= Void
visit_e_true
(visited:
E_TRUE
)
deferred procedure
top
require
visited /= Void
visit_e_false
(visited:
E_FALSE
)
deferred procedure
top
require
visited /= Void
visit_integer_constant
(visited:
INTEGER_CONSTANT
)
deferred procedure
top
require
visited /= Void
visit_character_constant
(visited:
CHARACTER_CONSTANT
)
deferred procedure
top
require
visited /= Void
visit_fake_target
(visited:
FAKE_TARGET
)
deferred procedure
top
require
visited /= Void
visit_fake_argument
(visited:
FAKE_ARGUMENT
)
deferred procedure
top
require
visited /= Void