GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
IN_OUT_VISITOR
+
Point of view
All features
ANY
AGENT_ARGS
ASSERTION
CLASS_NAME
CLASS_TEXT
CLIENT_LIST
CREATION_CLAUSE_LIST
CREATION_CLAUSE
DECLARATION_GROUP
DECLARATION_1
EFFECTIVE_ARG_LIST_0
EFFECTIVE_ARG_LIST_N
EXPORT_ITEM
EXPORT_LIST
FEATURE_CLAUSE_LIST
FEATURE_CLAUSE
FEATURE_NAME_LIST
FEATURE_NAME
FEATURE_TEXT
FORMAL_ARG_LIST
LOCAL_VAR_LIST
LOOP_VARIANT
PARENT_EDGE
PARENT_LISTS
RENAME_LIST
RENAME_PAIR
REQUIRE_ASSERTION
TYPE_MARK_LIST
TYPE
WHEN_CLAUSE
ARGUMENT_NAME_DEF
LOCAL_NAME_DEF
AGENT_TYPE_MARK
ARRAY_TYPE_MARK
NATIVE_ARRAY_TYPE_MARK
NON_EMPTY_TUPLE_TYPE_MARK
USER_GENERIC_TYPE_MARK
WEAK_REFERENCE_TYPE_MARK
EMPTY_TUPLE_TYPE_MARK
LIKE_ARGUMENT_TYPE_MARK
LIKE_FEATURE_TYPE_MARK
LIKE_CURRENT_TYPE_MARK
CLIENT_TYPE_MARK
FORMAL_GENERIC_TYPE_MARK
ANY_TYPE_MARK
CLASS_TYPE_MARK
BOOLEAN_TYPE_MARK
CHARACTER_TYPE_MARK
INTEGER_TYPE_MARK
NATURAL_TYPE_MARK
POINTER_TYPE_MARK
REAL_TYPE_MARK
STRING_TYPE_MARK
DEFERRED_PROCEDURE
DEFERRED_FUNCTION
EXTERNAL_PROCEDURE
EXTERNAL_FUNCTION
E_FUNCTION
E_PROCEDURE
ONCE_FUNCTION
ONCE_PROCEDURE
CST_ATT_REAL
CST_ATT_CHARACTER
CST_ATT_INTEGER
CST_ATT_UNIQUE
CST_ATT_STRING
CST_ATT_BOOLEAN
WRITABLE_ATTRIBUTE
IMPLICIT_CURRENT
WRITTEN_CURRENT
ADDRESS_OF
AGENT_CREATION
AGENT_EXPRESSION
ASSIGNMENT_TEST
BUILT_IN_EQ_NEQ
CLOSED_OPERAND
CREATE_EXPRESSION
CREATE_WRITABLE
E_OLD
EXPRESSION_WITH_COMMENT
FAKE_ARGUMENT
FAKE_TARGET
FAKE_TUPLE
CALL_PREFIX_MINUS
CALL_PREFIX_FREEOP
CALL_PREFIX_NOT
CALL_PREFIX_PLUS
STATIC_CALL_0_C
FUNCTION_CALL_0
CALL_INFIX_AND_THEN
CALL_INFIX_AND
CALL_INFIX_DIV
CALL_INFIX_FREEOP
CALL_INFIX_GE
CALL_INFIX_GT
CALL_INFIX_IMPLIES
CALL_INFIX_INT_DIV
CALL_INFIX_INT_REM
CALL_INFIX_LE
CALL_INFIX_LT
CALL_INFIX_MINUS
CALL_INFIX_OR_ELSE
CALL_INFIX_OR
CALL_INFIX_PLUS
CALL_INFIX_POWER
CALL_INFIX_TIMES
CALL_INFIX_XOR
FUNCTION_CALL_1
FUNCTION_CALL_N
GENERATOR_GENERATING_TYPE
IFTHENELSE_EXP
IFTHEN_EXP
IMPLICIT_CAST
ARGUMENT_NAME_REF
LOCAL_NAME_REF
E_FALSE
E_TRUE
CHARACTER_CONSTANT
INTEGER_CONSTANT
NATURAL_CONSTANT
REAL_CONSTANT
E_VOID
MANIFEST_STRING
MANIFEST_GENERIC
MANIFEST_TUPLE
COMPOUND_EXPRESSION
DYNAMIC_DISPATCH_TEMPORARY1_ID
DYNAMIC_DISPATCH_TEMPORARY1
DYNAMIC_DISPATCH_TEMPORARY2
INTERNAL_LOCAL2
NATIVE_ARRAY_ITEM
NO_DISPATCH
NON_VOID_NO_DISPATCH
NULL_POINTER
VOID_CALL
OLD_MANIFEST_ARRAY
OPEN_OPERAND
PRECURSOR_EXPRESSION
RESULT
WRITABLE_ATTRIBUTE_NAME
AGENT_INSTRUCTION
CLASS_INVARIANT
ENSURE_ASSERTION
LOOP_INVARIANT
ASSERTION_LIST
ASSIGNMENT_ATTEMPT
ASSIGNMENT_CALL_ASSIGNER
ASSIGNMENT
CHECK_COMPOUND
C_INLINE
COMMENT
COMPOUND
CREATE_INSTRUCTION
RAW_CREATE_INSTRUCTION
DEBUG_COMPOUND
IFTHENELSE
IFTHEN
MANIFEST_STRING_INSPECT_STATEMENT
OTHER_INSPECT_STATEMENT
LOOP_INSTRUCTION
NO_INVARIANT_WRAPPER
RUN_TIME_ERROR_INSTRUCTION
SEDB
UNUSED_EXPRESSION
VOID_PROC_CALL
PRECURSOR_INSTRUCTION
PROCEDURE_CALL_0
PROCEDURE_CALL_1
PROCEDURE_CALL_N
RETRY_INSTRUCTION
WHEN_ITEM_1
WHEN_ITEM_2
ABSTRACT_CURRENT
All features
deferred class IN_OUT_VISITOR
Summary
top
Default definition of a class traversal. Each
"node"
has
entry
and
exit
features; the
entry
feature returns a
BOOLEAN
which controls the traversal of the subtree.
Direct parents
Inherit list:
AGENT_ARGS_VISITOR
,
AGENT_LAUNCHER_VISITOR
,
ANONYMOUS_FEATURE_VISITOR
,
ASSERTION_LIST_VISITOR
,
ASSERTION_VISITOR
,
CLASS_NAME_VISITOR
,
CLASS_TEXT_VISITOR
,
CLIENT_LIST_VISITOR
,
CREATION_CLAUSE_LIST_VISITOR
,
CREATION_CLAUSE_VISITOR
,
DECLARATION_VISITOR
,
EFFECTIVE_ARG_LIST_VISITOR
,
EXPORT_ITEM_VISITOR
,
EXPORT_LIST_VISITOR
,
EXPRESSION_VISITOR
,
FEATURE_CLAUSE_LIST_VISITOR
,
FEATURE_CLAUSE_VISITOR
,
FEATURE_NAME_LIST_VISITOR
,
FEATURE_NAME_VISITOR
,
FEATURE_TEXT_VISITOR
,
FORMAL_ARG_LIST_VISITOR
,
INSTRUCTION_VISITOR
,
LOCAL_ARGUMENT_VISITOR
,
LOCAL_VAR_LIST_VISITOR
,
LOOP_VARIANT_VISITOR
,
PARENT_EDGE_VISITOR
,
PARENT_LISTS_VISITOR
,
RENAME_LIST_VISITOR
,
RENAME_PAIR_VISITOR
,
REQUIRE_ASSERTION_VISITOR
,
TYPE_MARK_LIST_VISITOR
,
TYPE_MARK_VISITOR
,
TYPE_VISITOR
,
WHEN_CLAUSE_VISITOR
,
WHEN_ITEM_VISITOR
Known children
Inherit list:
EIFFELDOC_COMMENT_STATE
,
EIFFELDOC_COMMENT_WRITER
,
EIFFELDOC_SHORTER_CLASSDOC
,
EIFFELDOC_SHORTER_FIND_CLIENTS
,
EIFFELDOC_SHORTER_SOURCEDOC
,
GET_TEXT_CALL_FINDER
Overview
top
Features
{
CLASS_TEXT
}
visit_class_text
(visited:
CLASS_TEXT
)
{}
enter_class_text
(visited:
CLASS_TEXT
):
BOOLEAN
exit_class_text
(visited:
CLASS_TEXT
)
visiting_class_texts
:
SET
[
CLASS_TEXT
]
visitting_class_texts
:
SET
[
CLASS_TEXT
]
{
PARENT_LISTS
}
visit_parent_lists
(visited:
PARENT_LISTS
)
{}
enter_parent_lists
(visited:
PARENT_LISTS
):
BOOLEAN
exit_parent_lists
(visited:
PARENT_LISTS
)
{
PARENT_EDGE
}
visit_parent_edge
(visited:
PARENT_EDGE
)
{}
enter_parent_edge
(visited:
PARENT_EDGE
):
BOOLEAN
exit_parent_edge
(visited:
PARENT_EDGE
)
{
RENAME_LIST
}
visit_rename_list
(visited:
RENAME_LIST
)
{}
enter_rename_list
(visited:
RENAME_LIST
):
BOOLEAN
exit_rename_list
(visited:
RENAME_LIST
)
{
RENAME_PAIR
}
visit_rename_pair
(visited:
RENAME_PAIR
)
{}
enter_rename_pair
(visited:
RENAME_PAIR
):
BOOLEAN
exit_rename_pair
(visited:
RENAME_PAIR
)
{
EXPORT_LIST
}
visit_export_list
(visited:
EXPORT_LIST
)
{}
enter_export_list
(visited:
EXPORT_LIST
):
BOOLEAN
exit_export_list
(visited:
EXPORT_LIST
)
{
EXPORT_ITEM
}
visit_export_item
(visited:
EXPORT_ITEM
)
{}
enter_export_item
(visited:
EXPORT_ITEM
):
BOOLEAN
exit_export_item
(visited:
EXPORT_ITEM
)
{
FEATURE_CLAUSE_LIST
}
visit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
{}
enter_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
):
BOOLEAN
exit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
{
FEATURE_CLAUSE
}
visit_feature_clause
(visited:
FEATURE_CLAUSE
)
{}
enter_feature_clause
(visited:
FEATURE_CLAUSE
):
BOOLEAN
exit_feature_clause
(visited:
FEATURE_CLAUSE
)
{
CREATION_CLAUSE_LIST
}
visit_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
)
{}
enter_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
):
BOOLEAN
exit_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
)
{
CREATION_CLAUSE
}
visit_creation_clause
(visited:
CREATION_CLAUSE
)
{}
enter_creation_clause
(visited:
CREATION_CLAUSE
):
BOOLEAN
exit_creation_clause
(visited:
CREATION_CLAUSE
)
{
CLIENT_LIST
}
visit_client_list
(visited:
CLIENT_LIST
)
{}
enter_client_list
(visited:
CLIENT_LIST
):
BOOLEAN
exit_client_list
(visited:
CLIENT_LIST
)
{
TYPE_MARK_LIST
}
visit_type_mark_list
(visited:
TYPE_MARK_LIST
)
{}
enter_type_mark_list
(visited:
TYPE_MARK_LIST
):
BOOLEAN
exit_type_mark_list
(visited:
TYPE_MARK_LIST
)
{
CLASS_NAME
}
visit_class_name
(visited:
CLASS_NAME
)
{
FEATURE_TEXT
}
visit_feature_text
(visited:
FEATURE_TEXT
)
{}
enter_feature_text
(visited:
FEATURE_TEXT
):
BOOLEAN
exit_feature_text
(visited:
FEATURE_TEXT
)
{
FORMAL_ARG_LIST
}
visit_formal_arg_list
(visited:
FORMAL_ARG_LIST
)
{}
enter_formal_arg_list
(visited:
FORMAL_ARG_LIST
):
BOOLEAN
exit_formal_arg_list
(visited:
FORMAL_ARG_LIST
)
{
LOCAL_VAR_LIST
}
visit_local_var_list
(visited:
LOCAL_VAR_LIST
)
{}
enter_local_var_list
(visited:
LOCAL_VAR_LIST
):
BOOLEAN
exit_local_var_list
(visited:
LOCAL_VAR_LIST
)
{
CLOSED_OPERAND
}
visit_closed_operand
(visited:
CLOSED_OPERAND
)
{
UNUSED_EXPRESSION
}
visit_unused_expression
(visited:
UNUSED_EXPRESSION
)
{
LOCAL_NAME_DEF
}
visit_local_name_def
(visited:
LOCAL_NAME_DEF
)
{
ARGUMENT_NAME_DEF
}
visit_argument_name_def
(visited:
ARGUMENT_NAME_DEF
)
{
LOCAL_NAME_REF
}
visit_local_name_ref
(visited:
LOCAL_NAME_REF
)
{
ARGUMENT_NAME_REF
}
visit_argument_name_ref
(visited:
ARGUMENT_NAME_REF
)
{
INTERNAL_LOCAL2
}
visit_internal_local2
(visited:
INTERNAL_LOCAL2
)
{
DYNAMIC_DISPATCH_TEMPORARY1
}
visit_dynamic_dispatch_temporary1
(visited:
DYNAMIC_DISPATCH_TEMPORARY1
)
{
DYNAMIC_DISPATCH_TEMPORARY1_ID
}
visit_dynamic_dispatch_temporary1_id
(visited:
DYNAMIC_DISPATCH_TEMPORARY1_ID
)
{
DYNAMIC_DISPATCH_TEMPORARY2
}
visit_dynamic_dispatch_temporary2
(visited:
DYNAMIC_DISPATCH_TEMPORARY2
)
{
SEDB
}
visit_sedb
(visited:
SEDB
)
{
NO_DISPATCH
}
visit_no_dispatch
(visited:
NO_DISPATCH
)
{
TYPE
}
visiting_types
:
SET
[
TYPE
]
visitting_types
:
SET
[
TYPE
]
visit_type
(visited:
TYPE
)
{}
enter_type
(visited:
TYPE
):
BOOLEAN
exit_type
(visited:
TYPE
)
{
CLASS_TYPE_MARK
}
visit_class_type_mark
(visited:
CLASS_TYPE_MARK
)
{}
enter_class_type_mark
(visited:
CLASS_TYPE_MARK
):
BOOLEAN
exit_class_type_mark
(visited:
CLASS_TYPE_MARK
)
{
CLIENT_TYPE_MARK
}
visit_client_type_mark
(visited:
CLIENT_TYPE_MARK
)
{}
enter_client_type_mark
(visited:
CLIENT_TYPE_MARK
):
BOOLEAN
exit_client_type_mark
(visited:
CLIENT_TYPE_MARK
)
{
LIKE_FEATURE_TYPE_MARK
}
visit_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
)
{}
enter_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
):
BOOLEAN
exit_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
)
{
LIKE_ARGUMENT_TYPE_MARK
}
visit_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
)
{}
enter_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
):
BOOLEAN
exit_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
)
{
LIKE_CURRENT_TYPE_MARK
}
visit_like_current_type_mark
(visited:
LIKE_CURRENT_TYPE_MARK
)
{
AGENT_TYPE_MARK
}
visit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
{}
enter_agent_type_mark
(visited:
AGENT_TYPE_MARK
):
BOOLEAN
exit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
{
ANY_TYPE_MARK
}
visit_any_type_mark
(visited:
ANY_TYPE_MARK
)
{
STRING_TYPE_MARK
}
visit_string_type_mark
(visited:
STRING_TYPE_MARK
)
{
FORMAL_GENERIC_TYPE_MARK
}
visit_formal_generic_type_mark
(visited:
FORMAL_GENERIC_TYPE_MARK
)
{}
visit_generic_type_mark
(visited:
TYPE_MARK
)
{
USER_GENERIC_TYPE_MARK
}
visit_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
)
{}
enter_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
):
BOOLEAN
exit_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
)
{
EMPTY_TUPLE_TYPE_MARK
}
visit_empty_tuple_type_mark
(visited:
EMPTY_TUPLE_TYPE_MARK
)
{
NON_EMPTY_TUPLE_TYPE_MARK
}
visit_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
{}
enter_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
):
BOOLEAN
exit_non_empty_tupe_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
{
ARRAY_TYPE_MARK
}
visit_array_type_mark
(visited:
ARRAY_TYPE_MARK
)
{}
enter_array_type_mark
(visited:
ARRAY_TYPE_MARK
):
BOOLEAN
exit_array_type_mark
(visited:
ARRAY_TYPE_MARK
)
{
NATIVE_ARRAY_TYPE_MARK
}
visit_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
)
{}
enter_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
):
BOOLEAN
exit_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
)
{
WEAK_REFERENCE_TYPE_MARK
}
visit_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
)
{}
enter_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
):
BOOLEAN
exit_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
)
{
BOOLEAN_TYPE_MARK
}
visit_boolean_type_mark
(visited:
BOOLEAN_TYPE_MARK
)
{
POINTER_TYPE_MARK
}
visit_pointer_type_mark
(visited:
POINTER_TYPE_MARK
)
{
REAL_TYPE_MARK
}
visit_real_type_mark
(visited:
REAL_TYPE_MARK
)
{
INTEGER_TYPE_MARK
}
visit_integer_type_mark
(visited:
INTEGER_TYPE_MARK
)
{
CHARACTER_TYPE_MARK
}
visit_character_type_mark
(visited:
CHARACTER_TYPE_MARK
)
{
NATURAL_TYPE_MARK
}
visit_natural_type_mark
(visited:
NATURAL_TYPE_MARK
)
{
WRITABLE_ATTRIBUTE
}
visit_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
)
{}
enter_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
):
BOOLEAN
exit_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
)
{
CST_ATT_REAL
}
visit_cst_att_real
(visited:
CST_ATT_REAL
)
{
CST_ATT_INTEGER
}
visit_cst_att_integer
(visited:
CST_ATT_INTEGER
)
{
CST_ATT_BOOLEAN
}
visit_cst_att_boolean
(visited:
CST_ATT_BOOLEAN
)
{
CST_ATT_UNIQUE
}
visit_cst_att_unique
(visited:
CST_ATT_UNIQUE
)
{
CST_ATT_STRING
}
visit_cst_att_string
(visited:
CST_ATT_STRING
)
{
CST_ATT_CHARACTER
}
visit_cst_att_character
(visited:
CST_ATT_CHARACTER
)
{}
visiting_anonymous_features
:
HASHED_SET
[
POINTER
]
visitting_anonymous_features
:
HASHED_SET
[
POINTER
]
visit_anonymous_feature
(visited:
ANONYMOUS_FEATURE
)
do_visit_anonymous_feature
(visited:
ANONYMOUS_FEATURE
)
visiting_effective_routines
:
HASHED_SET
[
POINTER
]
visitting_effective_routines
:
HASHED_SET
[
POINTER
]
visit_effective_routine
(visited:
EFFECTIVE_ROUTINE
)
do_visit_effective_routine
(visited:
EFFECTIVE_ROUTINE
)
{
VOID_CALL
}
visit_void_call
(visited:
VOID_CALL
)
{
VOID_PROC_CALL
}
visit_void_proc_call
(visited:
VOID_PROC_CALL
)
{
RUN_TIME_ERROR_INSTRUCTION
}
visit_run_time_error_instruction
(visited:
RUN_TIME_ERROR_INSTRUCTION
)
{
NON_VOID_NO_DISPATCH
}
visit_non_void_no_dispatch
(visited:
NON_VOID_NO_DISPATCH
)
{
NATIVE_ARRAY_ITEM
}
visit_native_array_item
(visited:
NATIVE_ARRAY_ITEM
)
{}
enter_native_array_item
(visited:
NATIVE_ARRAY_ITEM
):
BOOLEAN
exit_native_array_item
(visited:
NATIVE_ARRAY_ITEM
)
{
NULL_POINTER
}
visit_null_pointer
(visited:
NULL_POINTER
)
{
E_FUNCTION
}
visit_e_function
(visited:
E_FUNCTION
)
{}
enter_e_function
(visited:
E_FUNCTION
):
BOOLEAN
exit_e_function
(visited:
E_FUNCTION
)
{
E_PROCEDURE
}
visit_e_procedure
(visited:
E_PROCEDURE
)
{}
enter_e_procedure
(visited:
E_PROCEDURE
):
BOOLEAN
exit_e_procedure
(visited:
E_PROCEDURE
)
{
ONCE_FUNCTION
}
visit_once_function
(visited:
ONCE_FUNCTION
)
{}
enter_once_function
(visited:
ONCE_FUNCTION
):
BOOLEAN
exit_once_function
(visited:
ONCE_FUNCTION
)
{
ONCE_PROCEDURE
}
visit_once_procedure
(visited:
ONCE_PROCEDURE
)
{}
enter_once_procedure
(visited:
ONCE_PROCEDURE
):
BOOLEAN
exit_once_procedure
(visited:
ONCE_PROCEDURE
)
{
EXTERNAL_FUNCTION
}
visit_external_function
(visited:
EXTERNAL_FUNCTION
)
{}
enter_external_function
(visited:
EXTERNAL_FUNCTION
):
BOOLEAN
exit_external_function
(visited:
EXTERNAL_FUNCTION
)
{
EXTERNAL_PROCEDURE
}
visit_external_procedure
(visited:
EXTERNAL_PROCEDURE
)
{}
enter_external_procedure
(visited:
EXTERNAL_PROCEDURE
):
BOOLEAN
exit_external_procedure
(visited:
EXTERNAL_PROCEDURE
)
{
DEFERRED_FUNCTION
}
visit_deferred_function
(visited:
DEFERRED_FUNCTION
)
{}
enter_deferred_function
(visited:
DEFERRED_FUNCTION
):
BOOLEAN
exit_deferred_function
(visited:
DEFERRED_FUNCTION
)
{
DEFERRED_PROCEDURE
}
visit_deferred_procedure
(visited:
DEFERRED_PROCEDURE
)
{}
enter_deferred_procedure
(visited:
DEFERRED_PROCEDURE
):
BOOLEAN
exit_deferred_procedure
(visited:
DEFERRED_PROCEDURE
)
{
ASSERTION_LIST
}
visit_assertion_list
(visited:
ASSERTION_LIST
)
{
REQUIRE_ASSERTION
}
visit_require_assertion
(visited:
REQUIRE_ASSERTION
)
{}
enter_require_assertion
(visited:
REQUIRE_ASSERTION
):
BOOLEAN
exit_require_assertion
(visited:
REQUIRE_ASSERTION
)
{
CLASS_INVARIANT
}
visit_class_invariant
(visited:
CLASS_INVARIANT
)
{}
enter_class_invariant
(visited:
CLASS_INVARIANT
):
BOOLEAN
exit_class_invariant
(visited:
CLASS_INVARIANT
)
{
LOOP_INVARIANT
}
visit_loop_invariant
(visited:
LOOP_INVARIANT
)
{}
enter_loop_invariant
(visited:
LOOP_INVARIANT
):
BOOLEAN
exit_loop_invariant
(visited:
LOOP_INVARIANT
)
{
ENSURE_ASSERTION
}
visit_ensure_assertion
(visited:
ENSURE_ASSERTION
)
{}
enter_ensure_assertion
(visited:
ENSURE_ASSERTION
):
BOOLEAN
exit_ensure_assertion
(visited:
ENSURE_ASSERTION
)
{
ASSERTION
}
visit_assertion
(visited:
ASSERTION
)
{}
enter_assertion
(visited:
ASSERTION
):
BOOLEAN
exit_assertion
(visited:
ASSERTION
)
{
FEATURE_NAME
}
visit_feature_name
(visited:
FEATURE_NAME
)
{
FAKE_TARGET
}
visit_fake_target
(visited:
FAKE_TARGET
)
{
CREATE_EXPRESSION
}
visit_create_expression
(visited:
CREATE_EXPRESSION
)
{}
enter_create_expression
(visited:
CREATE_EXPRESSION
):
BOOLEAN
exit_create_expression
(visited:
CREATE_EXPRESSION
)
{
ABSTRACT_CURRENT
}
visit_abstract_current
(visited:
ABSTRACT_CURRENT
)
{
CREATE_WRITABLE
}
visit_create_writable
(visited:
CREATE_WRITABLE
)
{}
enter_create_writable
(visited:
CREATE_WRITABLE
):
BOOLEAN
exit_create_writable
(visited:
CREATE_WRITABLE
)
{
PRECURSOR_EXPRESSION
}
visit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
{}
enter_precursor_expression
(visited:
PRECURSOR_EXPRESSION
):
BOOLEAN
exit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
{
MANIFEST_GENERIC
}
visit_manifest_generic
(visited:
MANIFEST_GENERIC
)
{}
enter_manifest_generic
(visited:
MANIFEST_GENERIC
):
BOOLEAN
exit_manifest_generic
(visited:
MANIFEST_GENERIC
)
{
OLD_MANIFEST_ARRAY
}
visit_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
)
{}
enter_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
):
BOOLEAN
exit_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
)
{
E_VOID
}
visit_e_void
(visited:
E_VOID
)
{
FAKE_ARGUMENT
}
visit_fake_argument
(visited:
FAKE_ARGUMENT
)
{}
enter_fake_argument
(visited:
FAKE_ARGUMENT
):
BOOLEAN
exit_fake_argument
(visited:
FAKE_ARGUMENT
)
{
CHARACTER_CONSTANT
}
visit_character_constant
(visited:
CHARACTER_CONSTANT
)
{
REAL_CONSTANT
}
visit_real_constant
(visited:
REAL_CONSTANT
)
{
INTEGER_CONSTANT
}
visit_integer_constant
(visited:
INTEGER_CONSTANT
)
{
NATURAL_CONSTANT
}
visit_natural_constant
(visited:
NATURAL_CONSTANT
)
{
FEATURE_NAME_LIST
}
visit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
{}
enter_feature_name_list
(visited:
FEATURE_NAME_LIST
):
BOOLEAN
exit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
{
OPEN_OPERAND
}
visit_open_operand
(visited:
OPEN_OPERAND
)
{
ADDRESS_OF
}
visit_address_of
(visited:
ADDRESS_OF
)
{}
enter_address_of
(visited:
ADDRESS_OF
):
BOOLEAN
exit_address_of
(visited:
ADDRESS_OF
)
{}
visit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
enter_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
):
BOOLEAN
exit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
{
EFFECTIVE_ARG_LIST_0
}
visit_effective_arg_list_0
(visited:
EFFECTIVE_ARG_LIST_0
)
{
EFFECTIVE_ARG_LIST_N
}
visit_effective_arg_list_n
(visited:
EFFECTIVE_ARG_LIST_N
)
{}
visit_call_support
(visited:
FEATURE_CALL
)
{
FUNCTION_CALL_0
}
visit_function_call_0
(visited:
FUNCTION_CALL_0
)
{}
enter_call_0_c
(visited:
FUNCTION_CALL_0
):
BOOLEAN
exit_call_0_c
(visited:
FUNCTION_CALL_0
)
{
STATIC_CALL_0_C
}
visit_static_call_0_c
(visited:
STATIC_CALL_0_C
)
{}
enter_static_call_0_c
(visited:
STATIC_CALL_0_C
):
BOOLEAN
exit_static_call_0_c
(visited:
STATIC_CALL_0_C
)
{
CALL_PREFIX_NOT
}
visit_call_prefix_not
(visited:
CALL_PREFIX_NOT
)
{}
enter_call_prefix_not
(visited:
CALL_PREFIX_NOT
):
BOOLEAN
exit_call_prefix_not
(visited:
CALL_PREFIX_NOT
)
{
CALL_PREFIX_MINUS
}
visit_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
)
{}
enter_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
):
BOOLEAN
exit_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
)
{
CALL_PREFIX_FREEOP
}
visit_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
)
{}
enter_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
):
BOOLEAN
exit_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
)
{
CALL_PREFIX_PLUS
}
visit_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
)
{}
enter_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
):
BOOLEAN
exit_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
)
{
FUNCTION_CALL_1
}
visit_function_call_1
(visited:
FUNCTION_CALL_1
)
{}
enter_call_1_c
(visited:
FUNCTION_CALL_1
):
BOOLEAN
exit_call_1_c
(visited:
FUNCTION_CALL_1
)
{
CALL_INFIX_AND_THEN
}
visit_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
)
{}
enter_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
):
BOOLEAN
exit_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
)
{
CALL_INFIX_MINUS
}
visit_call_infix_minus
(visited:
CALL_INFIX_MINUS
)
{}
enter_call_infix_minus
(visited:
CALL_INFIX_MINUS
):
BOOLEAN
exit_call_infix_minus
(visited:
CALL_INFIX_MINUS
)
{
CALL_INFIX_TIMES
}
visit_call_infix_times
(visited:
CALL_INFIX_TIMES
)
{}
enter_call_infix_times
(visited:
CALL_INFIX_TIMES
):
BOOLEAN
exit_call_infix_times
(visited:
CALL_INFIX_TIMES
)
{
CALL_INFIX_INT_REM
}
visit_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
)
{}
enter_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
):
BOOLEAN
exit_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
)
{
CALL_INFIX_OR
}
visit_call_infix_or
(visited:
CALL_INFIX_OR
)
{}
enter_call_infix_or
(visited:
CALL_INFIX_OR
):
BOOLEAN
exit_call_infix_or
(visited:
CALL_INFIX_OR
)
{
CALL_INFIX_GT
}
visit_call_infix_gt
(visited:
CALL_INFIX_GT
)
{}
enter_call_infix_gt
(visited:
CALL_INFIX_GT
):
BOOLEAN
exit_call_infix_gt
(visited:
CALL_INFIX_GT
)
{
CALL_INFIX_LT
}
visit_call_infix_lt
(visited:
CALL_INFIX_LT
)
{}
enter_call_infix_lt
(visited:
CALL_INFIX_LT
):
BOOLEAN
exit_call_infix_lt
(visited:
CALL_INFIX_LT
)
{
CALL_INFIX_PLUS
}
visit_call_infix_plus
(visited:
CALL_INFIX_PLUS
)
{}
enter_call_infix_plus
(visited:
CALL_INFIX_PLUS
):
BOOLEAN
exit_call_infix_plus
(visited:
CALL_INFIX_PLUS
)
{
CALL_INFIX_INT_DIV
}
visit_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
)
{}
enter_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
):
BOOLEAN
exit_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
)
{
CALL_INFIX_XOR
}
visit_call_infix_xor
(visited:
CALL_INFIX_XOR
)
{}
enter_call_infix_xor
(visited:
CALL_INFIX_XOR
):
BOOLEAN
exit_call_infix_xor
(visited:
CALL_INFIX_XOR
)
{
CALL_INFIX_POWER
}
visit_call_infix_power
(visited:
CALL_INFIX_POWER
)
{}
enter_call_infix_power
(visited:
CALL_INFIX_POWER
):
BOOLEAN
exit_call_infix_power
(visited:
CALL_INFIX_POWER
)
{
CALL_INFIX_DIV
}
visit_call_infix_div
(visited:
CALL_INFIX_DIV
)
{}
enter_call_infix_div
(visited:
CALL_INFIX_DIV
):
BOOLEAN
exit_call_infix_div
(visited:
CALL_INFIX_DIV
)
{
CALL_INFIX_OR_ELSE
}
visit_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
)
{}
enter_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
):
BOOLEAN
exit_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
)
{
CALL_INFIX_IMPLIES
}
visit_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
{}
enter_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
):
BOOLEAN
exit_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
{
CALL_INFIX_LE
}
visit_call_infix_le
(visited:
CALL_INFIX_LE
)
{}
enter_call_infix_le
(visited:
CALL_INFIX_LE
):
BOOLEAN
exit_call_infix_le
(visited:
CALL_INFIX_LE
)
{
CALL_INFIX_FREEOP
}
visit_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
)
{}
enter_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
):
BOOLEAN
exit_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
)
{
CALL_INFIX_AND
}
visit_call_infix_and
(visited:
CALL_INFIX_AND
)
{}
enter_call_infix_and
(visited:
CALL_INFIX_AND
):
BOOLEAN
exit_call_infix_and
(visited:
CALL_INFIX_AND
)
{
CALL_INFIX_GE
}
visit_call_infix_ge
(visited:
CALL_INFIX_GE
)
{}
enter_call_infix_ge
(visited:
CALL_INFIX_GE
):
BOOLEAN
exit_call_infix_ge
(visited:
CALL_INFIX_GE
)
{
BUILT_IN_EQ_NEQ
}
visit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
{}
enter_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
):
BOOLEAN
exit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
{
FUNCTION_CALL_N
}
visit_function_call_n
(visited:
FUNCTION_CALL_N
)
{}
enter_call_n
(visited:
FUNCTION_CALL_N
):
BOOLEAN
exit_call_n
(visited:
FUNCTION_CALL_N
)
{
MANIFEST_STRING
}
visit_manifest_string
(visited:
MANIFEST_STRING
)
{
AGENT_ARGS
}
visit_agent_args
(visited:
AGENT_ARGS
)
{}
enter_agent_args
(visited:
AGENT_ARGS
):
BOOLEAN
exit_agent_args
(visited:
AGENT_ARGS
)
{
AGENT_CREATION
}
visit_agent_creation
(visited:
AGENT_CREATION
)
{}
enter_agent_creation
(visited:
AGENT_CREATION
):
BOOLEAN
exit_agent_creation
(visited:
AGENT_CREATION
)
{
E_OLD
}
visit_e_old
(visited:
E_OLD
)
{}
enter_e_old
(visited:
E_OLD
):
BOOLEAN
exit_e_old
(visited:
E_OLD
)
{
FAKE_TUPLE
}
visit_fake_tuple
(visited:
FAKE_TUPLE
)
{}
enter_fake_tuple
(visited:
FAKE_TUPLE
):
BOOLEAN
exit_fake_tuple
(visited:
FAKE_TUPLE
)
{
MANIFEST_TUPLE
}
visit_manifest_tuple
(visited:
MANIFEST_TUPLE
)
{}
enter_manifest_tuple
(visited:
MANIFEST_TUPLE
):
BOOLEAN
exit_manifest_tuple
(visited:
MANIFEST_TUPLE
)
{
IMPLICIT_CAST
}
visit_implicit_cast
(visited:
IMPLICIT_CAST
)
{
GENERATOR_GENERATING_TYPE
}
visit_generator_generating_type
(visited:
GENERATOR_GENERATING_TYPE
)
{
AGENT_EXPRESSION
}
visit_agent_expression
(visited:
AGENT_EXPRESSION
)
{}
enter_agent_expression
(visited:
AGENT_EXPRESSION
):
BOOLEAN
exit_agent_expression
(visited:
AGENT_EXPRESSION
)
{
RESULT
}
visit_result
(visited:
RESULT
)
{
EXPRESSION_WITH_COMMENT
}
visit_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
)
{}
enter_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
):
BOOLEAN
exit_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
)
{
COMMENT
}
visit_comment
(visited:
COMMENT
)
{
IMPLICIT_CURRENT
}
visit_implicit_current
(visited:
IMPLICIT_CURRENT
)
{
WRITTEN_CURRENT
}
visit_written_current
(visited:
WRITTEN_CURRENT
)
{
WRITABLE_ATTRIBUTE_NAME
}
visit_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
)
{}
enter_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
):
BOOLEAN
exit_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
)
{
E_TRUE
}
visit_e_true
(visited:
E_TRUE
)
{
E_FALSE
}
visit_e_false
(visited:
E_FALSE
)
{
RETRY_INSTRUCTION
}
visit_retry_instruction
(visited:
RETRY_INSTRUCTION
)
{
IFTHENELSE
}
visit_ifthenelse
(visited:
IFTHENELSE
)
{}
enter_ifthenelse
(visited:
IFTHENELSE
):
BOOLEAN
exit_ifthenelse
(visited:
IFTHENELSE
)
{
IFTHEN
}
visit_ifthen
(visited:
IFTHEN
)
{}
enter_ifthen
(visited:
IFTHEN
):
BOOLEAN
exit_ifthen
(visited:
IFTHEN
)
{
IFTHENELSE_EXP
}
visit_ifthenelse_exp
(visited:
IFTHENELSE_EXP
)
{}
enter_ifthenelse_exp
(visited:
IFTHENELSE_EXP
):
BOOLEAN
exit_ifthenelse_exp
(visited:
IFTHENELSE_EXP
)
{
IFTHEN_EXP
}
visit_ifthen_exp
(visited:
IFTHEN_EXP
)
{}
enter_ifthen_exp
(visited:
IFTHEN_EXP
):
BOOLEAN
exit_ifthen_exp
(visited:
IFTHEN_EXP
)
{
ASSIGNMENT
}
visit_assignment
(visited:
ASSIGNMENT
)
{}
enter_assignment
(visited:
ASSIGNMENT
):
BOOLEAN
exit_assignment
(visited:
ASSIGNMENT
)
{
ASSIGNMENT_CALL_ASSIGNER
}
visit_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
)
{}
enter_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
):
BOOLEAN
exit_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
)
{
ASSIGNMENT_ATTEMPT
}
visit_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
)
{}
enter_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
):
BOOLEAN
exit_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
)
{
ASSIGNMENT_TEST
}
visit_assignment_test
(visited:
ASSIGNMENT_TEST
)
{}
enter_assignment_test
(visited:
ASSIGNMENT_TEST
):
BOOLEAN
exit_assignment_test
(visited:
ASSIGNMENT_TEST
)
{
DEBUG_COMPOUND
}
visit_debug_compound
(visited:
DEBUG_COMPOUND
)
{}
enter_debug_compound
(visited:
DEBUG_COMPOUND
):
BOOLEAN
exit_debug_compound
(visited:
DEBUG_COMPOUND
)
{
CHECK_COMPOUND
}
visit_check_compound
(visited:
CHECK_COMPOUND
)
{}
enter_check_compound
(visited:
CHECK_COMPOUND
):
BOOLEAN
exit_check_compound
(visited:
CHECK_COMPOUND
)
{
PROCEDURE_CALL_0
}
visit_procedure_call_0
(visited:
PROCEDURE_CALL_0
)
{}
enter_proc_call_0
(visited:
PROCEDURE_CALL_0
):
BOOLEAN
exit_proc_call_0
(visited:
PROCEDURE_CALL_0
)
{
PROCEDURE_CALL_1
}
visit_procedure_call_1
(visited:
PROCEDURE_CALL_1
)
{}
enter_proc_call_1
(visited:
PROCEDURE_CALL_1
):
BOOLEAN
exit_proc_call_1
(visited:
PROCEDURE_CALL_1
)
{
PROCEDURE_CALL_N
}
visit_procedure_call_n
(visited:
PROCEDURE_CALL_N
)
{}
enter_proc_call_n
(visited:
PROCEDURE_CALL_N
):
BOOLEAN
exit_proc_call_n
(visited:
PROCEDURE_CALL_N
)
{
AGENT_INSTRUCTION
}
visit_agent_instruction
(visited:
AGENT_INSTRUCTION
)
{}
enter_agent_instruction
(visited:
AGENT_INSTRUCTION
):
BOOLEAN
exit_agent_instruction
(visited:
AGENT_INSTRUCTION
)
{
CREATE_INSTRUCTION
}
visit_create_instruction
(visited:
CREATE_INSTRUCTION
)
{}
enter_create_instruction
(visited:
CREATE_INSTRUCTION
):
BOOLEAN
exit_create_instruction
(visited:
CREATE_INSTRUCTION
)
{
RAW_CREATE_INSTRUCTION
}
visit_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
)
{}
enter_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
):
BOOLEAN
exit_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
)
{
PRECURSOR_INSTRUCTION
}
visit_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
)
{}
enter_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
):
BOOLEAN
exit_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
)
{
LOOP_INSTRUCTION
}
visit_loop_instruction
(visited:
LOOP_INSTRUCTION
)
{}
enter_e_loop
(visited:
LOOP_INSTRUCTION
):
BOOLEAN
exit_e_loop
(visited:
LOOP_INSTRUCTION
)
{
LOOP_VARIANT
}
visit_loop_variant
(visited:
LOOP_VARIANT
)
{}
enter_loop_variant
(visited:
LOOP_VARIANT
):
BOOLEAN
exit_loop_variant
(visited:
LOOP_VARIANT
)
{}
visit_inspect_statement
(visited:
INSPECT_STATEMENT
)
{
OTHER_INSPECT_STATEMENT
}
visit_other_inspect_statement
(visited:
OTHER_INSPECT_STATEMENT
)
{
MANIFEST_STRING_INSPECT_STATEMENT
}
visit_manifest_string_inspect_statement
(visited:
MANIFEST_STRING_INSPECT_STATEMENT
)
{
C_INLINE
}
visit_c_inline
(visited:
C_INLINE
)
{}
enter_inspect_statement
(visited:
INSPECT_STATEMENT
):
BOOLEAN
exit_inspect_statement
(visited:
INSPECT_STATEMENT
)
{
WHEN_CLAUSE
}
visit_when_clause
(visited:
WHEN_CLAUSE
)
{}
enter_when_clause
(visited:
WHEN_CLAUSE
):
BOOLEAN
exit_when_clause
(visited:
WHEN_CLAUSE
)
{
WHEN_ITEM_1
}
visit_when_item_1
(visited:
WHEN_ITEM_1
)
{}
enter_when_item_1
(visited:
WHEN_ITEM_1
):
BOOLEAN
exit_when_item_1
(visited:
WHEN_ITEM_1
)
{
WHEN_ITEM_2
}
visit_when_item_2
(visited:
WHEN_ITEM_2
)
{}
enter_when_item_2
(visited:
WHEN_ITEM_2
):
BOOLEAN
exit_when_item_2
(visited:
WHEN_ITEM_2
)
{
COMPOUND
}
visit_compound
(visited:
COMPOUND
)
{
COMPOUND_EXPRESSION
}
visit_compound_expression
(visited:
COMPOUND_EXPRESSION
)
{}
enter_compound
(visited:
COMPOUND
):
BOOLEAN
exit_compound
(visited:
COMPOUND
)
{
NO_INVARIANT_WRAPPER
}
visit_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
)
{}
enter_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
):
BOOLEAN
exit_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
)
{
DECLARATION_1
}
visit_declaration_1
(visited:
DECLARATION_1
)
{}
enter_declaration_1
(visited:
DECLARATION_1
):
BOOLEAN
exit_declaration_1
(visited:
DECLARATION_1
)
{
DECLARATION_GROUP
}
visit_declaration_group
(visited:
DECLARATION_GROUP
)
{}
enter_declaration_group
(visited:
DECLARATION_GROUP
):
BOOLEAN
exit_declaration_group
(visited:
DECLARATION_GROUP
)
visit_class_text
(visited:
CLASS_TEXT
)
effective procedure
{
CLASS_TEXT
}
top
require
visited /= Void
enter_class_text
(visited:
CLASS_TEXT
):
BOOLEAN
effective function
{}
top
exit_class_text
(visited:
CLASS_TEXT
)
effective procedure
{}
top
visiting_class_texts
:
SET
[
CLASS_TEXT
]
once function
{}
top
visitting_class_texts
:
SET
[
CLASS_TEXT
]
once function
{}
top
This feature is obsolete:
Use `visiting_class_texts' instead.
visit_parent_lists
(visited:
PARENT_LISTS
)
effective procedure
{
PARENT_LISTS
}
top
require
visited /= Void
enter_parent_lists
(visited:
PARENT_LISTS
):
BOOLEAN
effective function
{}
top
exit_parent_lists
(visited:
PARENT_LISTS
)
effective procedure
{}
top
visit_parent_edge
(visited:
PARENT_EDGE
)
effective procedure
{
PARENT_EDGE
}
top
require
visited /= Void
enter_parent_edge
(visited:
PARENT_EDGE
):
BOOLEAN
effective function
{}
top
exit_parent_edge
(visited:
PARENT_EDGE
)
effective procedure
{}
top
visit_rename_list
(visited:
RENAME_LIST
)
effective procedure
{
RENAME_LIST
}
top
require
visited /= Void
enter_rename_list
(visited:
RENAME_LIST
):
BOOLEAN
effective function
{}
top
exit_rename_list
(visited:
RENAME_LIST
)
effective procedure
{}
top
visit_rename_pair
(visited:
RENAME_PAIR
)
effective procedure
{
RENAME_PAIR
}
top
require
visited /= Void
enter_rename_pair
(visited:
RENAME_PAIR
):
BOOLEAN
effective function
{}
top
exit_rename_pair
(visited:
RENAME_PAIR
)
effective procedure
{}
top
visit_export_list
(visited:
EXPORT_LIST
)
effective procedure
{
EXPORT_LIST
}
top
require
visited /= Void
enter_export_list
(visited:
EXPORT_LIST
):
BOOLEAN
effective function
{}
top
exit_export_list
(visited:
EXPORT_LIST
)
effective procedure
{}
top
visit_export_item
(visited:
EXPORT_ITEM
)
effective procedure
{
EXPORT_ITEM
}
top
require
visited /= Void
enter_export_item
(visited:
EXPORT_ITEM
):
BOOLEAN
effective function
{}
top
exit_export_item
(visited:
EXPORT_ITEM
)
effective procedure
{}
top
visit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
effective procedure
{
FEATURE_CLAUSE_LIST
}
top
require
visited /= Void
enter_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
):
BOOLEAN
effective function
{}
top
exit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
effective procedure
{}
top
visit_feature_clause
(visited:
FEATURE_CLAUSE
)
effective procedure
{
FEATURE_CLAUSE
}
top
require
visited /= Void
enter_feature_clause
(visited:
FEATURE_CLAUSE
):
BOOLEAN
effective function
{}
top
exit_feature_clause
(visited:
FEATURE_CLAUSE
)
effective procedure
{}
top
visit_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
)
effective procedure
{
CREATION_CLAUSE_LIST
}
top
require
visited /= Void
enter_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
):
BOOLEAN
effective function
{}
top
exit_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
)
effective procedure
{}
top
visit_creation_clause
(visited:
CREATION_CLAUSE
)
effective procedure
{
CREATION_CLAUSE
}
top
require
visited /= Void
enter_creation_clause
(visited:
CREATION_CLAUSE
):
BOOLEAN
effective function
{}
top
exit_creation_clause
(visited:
CREATION_CLAUSE
)
effective procedure
{}
top
visit_client_list
(visited:
CLIENT_LIST
)
effective procedure
{
CLIENT_LIST
}
top
require
visited /= Void
enter_client_list
(visited:
CLIENT_LIST
):
BOOLEAN
effective function
{}
top
exit_client_list
(visited:
CLIENT_LIST
)
effective procedure
{}
top
visit_type_mark_list
(visited:
TYPE_MARK_LIST
)
effective procedure
{
TYPE_MARK_LIST
}
top
require
visited /= Void
enter_type_mark_list
(visited:
TYPE_MARK_LIST
):
BOOLEAN
effective function
{}
top
exit_type_mark_list
(visited:
TYPE_MARK_LIST
)
effective procedure
{}
top
visit_class_name
(visited:
CLASS_NAME
)
effective procedure
{
CLASS_NAME
}
top
require
visited /= Void
visit_feature_text
(visited:
FEATURE_TEXT
)
effective procedure
{
FEATURE_TEXT
}
top
require
visited /= Void
enter_feature_text
(visited:
FEATURE_TEXT
):
BOOLEAN
effective function
{}
top
exit_feature_text
(visited:
FEATURE_TEXT
)
effective procedure
{}
top
visit_formal_arg_list
(visited:
FORMAL_ARG_LIST
)
effective procedure
{
FORMAL_ARG_LIST
}
top
require
visited /= Void
enter_formal_arg_list
(visited:
FORMAL_ARG_LIST
):
BOOLEAN
effective function
{}
top
exit_formal_arg_list
(visited:
FORMAL_ARG_LIST
)
effective procedure
{}
top
visit_local_var_list
(visited:
LOCAL_VAR_LIST
)
effective procedure
{
LOCAL_VAR_LIST
}
top
require
visited /= Void
enter_local_var_list
(visited:
LOCAL_VAR_LIST
):
BOOLEAN
effective function
{}
top
exit_local_var_list
(visited:
LOCAL_VAR_LIST
)
effective procedure
{}
top
visit_closed_operand
(visited:
CLOSED_OPERAND
)
effective procedure
{
CLOSED_OPERAND
}
top
require
visited /= Void
visit_unused_expression
(visited:
UNUSED_EXPRESSION
)
effective procedure
{
UNUSED_EXPRESSION
}
top
require
visited /= Void
visit_local_name_def
(visited:
LOCAL_NAME_DEF
)
effective procedure
{
LOCAL_NAME_DEF
}
top
require
visited /= Void
visit_argument_name_def
(visited:
ARGUMENT_NAME_DEF
)
effective procedure
{
ARGUMENT_NAME_DEF
}
top
require
visited /= Void
visit_local_name_ref
(visited:
LOCAL_NAME_REF
)
effective procedure
{
LOCAL_NAME_REF
}
top
require
visited /= Void
visit_argument_name_ref
(visited:
ARGUMENT_NAME_REF
)
effective procedure
{
ARGUMENT_NAME_REF
}
top
require
visited /= Void
visit_internal_local2
(visited:
INTERNAL_LOCAL2
)
effective procedure
{
INTERNAL_LOCAL2
}
top
require
visited /= Void
visit_dynamic_dispatch_temporary1
(visited:
DYNAMIC_DISPATCH_TEMPORARY1
)
effective procedure
{
DYNAMIC_DISPATCH_TEMPORARY1
}
top
require
visited /= Void
visit_dynamic_dispatch_temporary1_id
(visited:
DYNAMIC_DISPATCH_TEMPORARY1_ID
)
effective procedure
{
DYNAMIC_DISPATCH_TEMPORARY1_ID
}
top
require
visited /= Void
visit_dynamic_dispatch_temporary2
(visited:
DYNAMIC_DISPATCH_TEMPORARY2
)
effective procedure
{
DYNAMIC_DISPATCH_TEMPORARY2
}
top
require
visited /= Void
visit_sedb
(visited:
SEDB
)
effective procedure
{
SEDB
}
top
require
visited /= Void
visit_no_dispatch
(visited:
NO_DISPATCH
)
effective procedure
{
NO_DISPATCH
}
top
require
visited /= Void
visiting_types
:
SET
[
TYPE
]
once function
{
TYPE
}
top
visitting_types
:
SET
[
TYPE
]
once function
{
TYPE
}
top
This feature is obsolete:
Use `visiting_types' instead.
visit_type
(visited:
TYPE
)
effective procedure
{
TYPE
}
top
require
visited /= Void
enter_type
(visited:
TYPE
):
BOOLEAN
effective function
{}
top
exit_type
(visited:
TYPE
)
effective procedure
{}
top
visit_class_type_mark
(visited:
CLASS_TYPE_MARK
)
effective procedure
{
CLASS_TYPE_MARK
}
top
require
visited /= Void
enter_class_type_mark
(visited:
CLASS_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_class_type_mark
(visited:
CLASS_TYPE_MARK
)
effective procedure
{}
top
visit_client_type_mark
(visited:
CLIENT_TYPE_MARK
)
effective procedure
{
CLIENT_TYPE_MARK
}
top
require
visited /= Void
enter_client_type_mark
(visited:
CLIENT_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_client_type_mark
(visited:
CLIENT_TYPE_MARK
)
effective procedure
{}
top
visit_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
)
effective procedure
{
LIKE_FEATURE_TYPE_MARK
}
top
require
visited /= Void
enter_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
)
effective procedure
{}
top
visit_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
)
effective procedure
{
LIKE_ARGUMENT_TYPE_MARK
}
top
require
visited /= Void
enter_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
)
effective procedure
{}
top
visit_like_current_type_mark
(visited:
LIKE_CURRENT_TYPE_MARK
)
effective procedure
{
LIKE_CURRENT_TYPE_MARK
}
top
require
visited /= Void
visit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
effective procedure
{
AGENT_TYPE_MARK
}
top
require
visited /= Void
enter_agent_type_mark
(visited:
AGENT_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
effective procedure
{}
top
visit_any_type_mark
(visited:
ANY_TYPE_MARK
)
effective procedure
{
ANY_TYPE_MARK
}
top
require
visited /= Void
visit_string_type_mark
(visited:
STRING_TYPE_MARK
)
effective procedure
{
STRING_TYPE_MARK
}
top
require
visited /= Void
visit_formal_generic_type_mark
(visited:
FORMAL_GENERIC_TYPE_MARK
)
effective procedure
{
FORMAL_GENERIC_TYPE_MARK
}
top
require
visited /= Void
visit_generic_type_mark
(visited:
TYPE_MARK
)
effective procedure
{}
top
visit_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
)
effective procedure
{
USER_GENERIC_TYPE_MARK
}
top
require
visited /= Void
enter_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
)
effective procedure
{}
top
visit_empty_tuple_type_mark
(visited:
EMPTY_TUPLE_TYPE_MARK
)
effective procedure
{
EMPTY_TUPLE_TYPE_MARK
}
top
require
visited /= Void
visit_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
effective procedure
{
NON_EMPTY_TUPLE_TYPE_MARK
}
top
require
visited /= Void
enter_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_non_empty_tupe_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
effective procedure
{}
top
visit_array_type_mark
(visited:
ARRAY_TYPE_MARK
)
effective procedure
{
ARRAY_TYPE_MARK
}
top
require
visited /= Void
enter_array_type_mark
(visited:
ARRAY_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_array_type_mark
(visited:
ARRAY_TYPE_MARK
)
effective procedure
{}
top
visit_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
)
effective procedure
{
NATIVE_ARRAY_TYPE_MARK
}
top
require
visited /= Void
enter_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
)
effective procedure
{}
top
visit_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
)
effective procedure
{
WEAK_REFERENCE_TYPE_MARK
}
top
require
visited /= Void
enter_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
):
BOOLEAN
effective function
{}
top
exit_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
)
effective procedure
{}
top
visit_boolean_type_mark
(visited:
BOOLEAN_TYPE_MARK
)
effective procedure
{
BOOLEAN_TYPE_MARK
}
top
require
visited /= Void
visit_pointer_type_mark
(visited:
POINTER_TYPE_MARK
)
effective procedure
{
POINTER_TYPE_MARK
}
top
require
visited /= Void
visit_real_type_mark
(visited:
REAL_TYPE_MARK
)
effective procedure
{
REAL_TYPE_MARK
}
top
require
visited /= Void
visit_integer_type_mark
(visited:
INTEGER_TYPE_MARK
)
effective procedure
{
INTEGER_TYPE_MARK
}
top
require
visited /= Void
visit_character_type_mark
(visited:
CHARACTER_TYPE_MARK
)
effective procedure
{
CHARACTER_TYPE_MARK
}
top
require
visited /= Void
visit_natural_type_mark
(visited:
NATURAL_TYPE_MARK
)
effective procedure
{
NATURAL_TYPE_MARK
}
top
require
visited /= Void
visit_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
)
effective procedure
{
WRITABLE_ATTRIBUTE
}
top
require
visited /= Void
enter_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
):
BOOLEAN
effective function
{}
top
exit_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
)
effective procedure
{}
top
visit_cst_att_real
(visited:
CST_ATT_REAL
)
effective procedure
{
CST_ATT_REAL
}
top
require
visited /= Void
visit_cst_att_integer
(visited:
CST_ATT_INTEGER
)
effective procedure
{
CST_ATT_INTEGER
}
top
require
visited /= Void
visit_cst_att_boolean
(visited:
CST_ATT_BOOLEAN
)
effective procedure
{
CST_ATT_BOOLEAN
}
top
require
visited /= Void
visit_cst_att_unique
(visited:
CST_ATT_UNIQUE
)
effective procedure
{
CST_ATT_UNIQUE
}
top
require
visited /= Void
visit_cst_att_string
(visited:
CST_ATT_STRING
)
effective procedure
{
CST_ATT_STRING
}
top
require
visited /= Void
visit_cst_att_character
(visited:
CST_ATT_CHARACTER
)
effective procedure
{
CST_ATT_CHARACTER
}
top
require
visited /= Void
visiting_anonymous_features
:
HASHED_SET
[
POINTER
]
once function
{}
top
visitting_anonymous_features
:
HASHED_SET
[
POINTER
]
once function
{}
top
This feature is obsolete:
Use `visiting_anonymous_features' instead.
visit_anonymous_feature
(visited:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
do_visit_anonymous_feature
(visited:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
visiting_effective_routines
:
HASHED_SET
[
POINTER
]
once function
{}
top
visitting_effective_routines
:
HASHED_SET
[
POINTER
]
once function
{}
top
This feature is obsolete:
Use `visiting_effective_routines' instead.
visit_effective_routine
(visited:
EFFECTIVE_ROUTINE
)
effective procedure
{}
top
do_visit_effective_routine
(visited:
EFFECTIVE_ROUTINE
)
effective procedure
{}
top
visit_void_call
(visited:
VOID_CALL
)
effective procedure
{
VOID_CALL
}
top
require
visited /= Void
visit_void_proc_call
(visited:
VOID_PROC_CALL
)
effective procedure
{
VOID_PROC_CALL
}
top
require
visited /= Void
visit_run_time_error_instruction
(visited:
RUN_TIME_ERROR_INSTRUCTION
)
effective procedure
{
RUN_TIME_ERROR_INSTRUCTION
}
top
require
visited /= Void
visit_non_void_no_dispatch
(visited:
NON_VOID_NO_DISPATCH
)
effective procedure
{
NON_VOID_NO_DISPATCH
}
top
require
visited /= Void
visit_native_array_item
(visited:
NATIVE_ARRAY_ITEM
)
effective procedure
{
NATIVE_ARRAY_ITEM
}
top
require
visited /= Void
enter_native_array_item
(visited:
NATIVE_ARRAY_ITEM
):
BOOLEAN
effective function
{}
top
exit_native_array_item
(visited:
NATIVE_ARRAY_ITEM
)
effective procedure
{}
top
visit_null_pointer
(visited:
NULL_POINTER
)
effective procedure
{
NULL_POINTER
}
top
require
visited /= Void
visit_e_function
(visited:
E_FUNCTION
)
effective procedure
{
E_FUNCTION
}
top
require
visited /= Void
enter_e_function
(visited:
E_FUNCTION
):
BOOLEAN
effective function
{}
top
exit_e_function
(visited:
E_FUNCTION
)
effective procedure
{}
top
visit_e_procedure
(visited:
E_PROCEDURE
)
effective procedure
{
E_PROCEDURE
}
top
require
visited /= Void
enter_e_procedure
(visited:
E_PROCEDURE
):
BOOLEAN
effective function
{}
top
exit_e_procedure
(visited:
E_PROCEDURE
)
effective procedure
{}
top
visit_once_function
(visited:
ONCE_FUNCTION
)
effective procedure
{
ONCE_FUNCTION
}
top
require
visited /= Void
enter_once_function
(visited:
ONCE_FUNCTION
):
BOOLEAN
effective function
{}
top
exit_once_function
(visited:
ONCE_FUNCTION
)
effective procedure
{}
top
visit_once_procedure
(visited:
ONCE_PROCEDURE
)
effective procedure
{
ONCE_PROCEDURE
}
top
require
visited /= Void
enter_once_procedure
(visited:
ONCE_PROCEDURE
):
BOOLEAN
effective function
{}
top
exit_once_procedure
(visited:
ONCE_PROCEDURE
)
effective procedure
{}
top
visit_external_function
(visited:
EXTERNAL_FUNCTION
)
effective procedure
{
EXTERNAL_FUNCTION
}
top
require
visited /= Void
enter_external_function
(visited:
EXTERNAL_FUNCTION
):
BOOLEAN
effective function
{}
top
exit_external_function
(visited:
EXTERNAL_FUNCTION
)
effective procedure
{}
top
visit_external_procedure
(visited:
EXTERNAL_PROCEDURE
)
effective procedure
{
EXTERNAL_PROCEDURE
}
top
require
visited /= Void
enter_external_procedure
(visited:
EXTERNAL_PROCEDURE
):
BOOLEAN
effective function
{}
top
exit_external_procedure
(visited:
EXTERNAL_PROCEDURE
)
effective procedure
{}
top
visit_deferred_function
(visited:
DEFERRED_FUNCTION
)
effective procedure
{
DEFERRED_FUNCTION
}
top
require
visited /= Void
enter_deferred_function
(visited:
DEFERRED_FUNCTION
):
BOOLEAN
effective function
{}
top
exit_deferred_function
(visited:
DEFERRED_FUNCTION
)
effective procedure
{}
top
visit_deferred_procedure
(visited:
DEFERRED_PROCEDURE
)
effective procedure
{
DEFERRED_PROCEDURE
}
top
require
visited /= Void
enter_deferred_procedure
(visited:
DEFERRED_PROCEDURE
):
BOOLEAN
effective function
{}
top
exit_deferred_procedure
(visited:
DEFERRED_PROCEDURE
)
effective procedure
{}
top
visit_assertion_list
(visited:
ASSERTION_LIST
)
effective procedure
{
ASSERTION_LIST
}
top
require
visited /= Void
visited /= Void
visit_require_assertion
(visited:
REQUIRE_ASSERTION
)
effective procedure
{
REQUIRE_ASSERTION
}
top
require
visited /= Void
visited /= Void
enter_require_assertion
(visited:
REQUIRE_ASSERTION
):
BOOLEAN
effective function
{}
top
exit_require_assertion
(visited:
REQUIRE_ASSERTION
)
effective procedure
{}
top
visit_class_invariant
(visited:
CLASS_INVARIANT
)
effective procedure
{
CLASS_INVARIANT
}
top
require
visited /= Void
visited /= Void
enter_class_invariant
(visited:
CLASS_INVARIANT
):
BOOLEAN
effective function
{}
top
exit_class_invariant
(visited:
CLASS_INVARIANT
)
effective procedure
{}
top
visit_loop_invariant
(visited:
LOOP_INVARIANT
)
effective procedure
{
LOOP_INVARIANT
}
top
require
visited /= Void
visited /= Void
enter_loop_invariant
(visited:
LOOP_INVARIANT
):
BOOLEAN
effective function
{}
top
exit_loop_invariant
(visited:
LOOP_INVARIANT
)
effective procedure
{}
top
visit_ensure_assertion
(visited:
ENSURE_ASSERTION
)
effective procedure
{
ENSURE_ASSERTION
}
top
require
visited /= Void
visited /= Void
enter_ensure_assertion
(visited:
ENSURE_ASSERTION
):
BOOLEAN
effective function
{}
top
exit_ensure_assertion
(visited:
ENSURE_ASSERTION
)
effective procedure
{}
top
visit_assertion
(visited:
ASSERTION
)
effective procedure
{
ASSERTION
}
top
require
visited /= Void
visited /= Void
enter_assertion
(visited:
ASSERTION
):
BOOLEAN
effective function
{}
top
exit_assertion
(visited:
ASSERTION
)
effective procedure
{}
top
visit_feature_name
(visited:
FEATURE_NAME
)
effective procedure
{
FEATURE_NAME
}
top
require
visited /= Void
visit_fake_target
(visited:
FAKE_TARGET
)
effective procedure
{
FAKE_TARGET
}
top
require
visited /= Void
visit_create_expression
(visited:
CREATE_EXPRESSION
)
effective procedure
{
CREATE_EXPRESSION
}
top
require
visited /= Void
enter_create_expression
(visited:
CREATE_EXPRESSION
):
BOOLEAN
effective function
{}
top
exit_create_expression
(visited:
CREATE_EXPRESSION
)
effective procedure
{}
top
visit_abstract_current
(visited:
ABSTRACT_CURRENT
)
effective procedure
{
ABSTRACT_CURRENT
}
top
visit_create_writable
(visited:
CREATE_WRITABLE
)
effective procedure
{
CREATE_WRITABLE
}
top
require
visited /= Void
enter_create_writable
(visited:
CREATE_WRITABLE
):
BOOLEAN
effective function
{}
top
exit_create_writable
(visited:
CREATE_WRITABLE
)
effective procedure
{}
top
visit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
effective procedure
{
PRECURSOR_EXPRESSION
}
top
require
visited /= Void
enter_precursor_expression
(visited:
PRECURSOR_EXPRESSION
):
BOOLEAN
effective function
{}
top
exit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
effective procedure
{}
top
visit_manifest_generic
(visited:
MANIFEST_GENERIC
)
effective procedure
{
MANIFEST_GENERIC
}
top
require
visited /= Void
enter_manifest_generic
(visited:
MANIFEST_GENERIC
):
BOOLEAN
effective function
{}
top
exit_manifest_generic
(visited:
MANIFEST_GENERIC
)
effective procedure
{}
top
visit_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
)
effective procedure
{
OLD_MANIFEST_ARRAY
}
top
require
visited /= Void
enter_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
):
BOOLEAN
effective function
{}
top
exit_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
)
effective procedure
{}
top
visit_e_void
(visited:
E_VOID
)
effective procedure
{
E_VOID
}
top
require
visited /= Void
visit_fake_argument
(visited:
FAKE_ARGUMENT
)
effective procedure
{
FAKE_ARGUMENT
}
top
require
visited /= Void
enter_fake_argument
(visited:
FAKE_ARGUMENT
):
BOOLEAN
effective function
{}
top
exit_fake_argument
(visited:
FAKE_ARGUMENT
)
effective procedure
{}
top
visit_character_constant
(visited:
CHARACTER_CONSTANT
)
effective procedure
{
CHARACTER_CONSTANT
}
top
require
visited /= Void
visit_real_constant
(visited:
REAL_CONSTANT
)
effective procedure
{
REAL_CONSTANT
}
top
require
visited /= Void
visit_integer_constant
(visited:
INTEGER_CONSTANT
)
effective procedure
{
INTEGER_CONSTANT
}
top
require
visited /= Void
visit_natural_constant
(visited:
NATURAL_CONSTANT
)
effective procedure
{
NATURAL_CONSTANT
}
top
require
visited /= Void
visit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
effective procedure
{
FEATURE_NAME_LIST
}
top
require
visited /= Void
enter_feature_name_list
(visited:
FEATURE_NAME_LIST
):
BOOLEAN
effective function
{}
top
exit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
effective procedure
{}
top
visit_open_operand
(visited:
OPEN_OPERAND
)
effective procedure
{
OPEN_OPERAND
}
top
require
visited /= Void
visit_address_of
(visited:
ADDRESS_OF
)
effective procedure
{
ADDRESS_OF
}
top
require
visited /= Void
enter_address_of
(visited:
ADDRESS_OF
):
BOOLEAN
effective function
{}
top
exit_address_of
(visited:
ADDRESS_OF
)
effective procedure
{}
top
visit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
effective procedure
{}
top
enter_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
):
BOOLEAN
effective function
{}
top
exit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
effective procedure
{}
top
visit_effective_arg_list_0
(visited:
EFFECTIVE_ARG_LIST_0
)
effective procedure
{
EFFECTIVE_ARG_LIST_0
}
top
require
visited /= Void
visit_effective_arg_list_n
(visited:
EFFECTIVE_ARG_LIST_N
)
effective procedure
{
EFFECTIVE_ARG_LIST_N
}
top
require
visited /= Void
visit_call_support
(visited:
FEATURE_CALL
)
effective procedure
{}
top
visit_function_call_0
(visited:
FUNCTION_CALL_0
)
effective procedure
{
FUNCTION_CALL_0
}
top
require
visited /= Void
enter_call_0_c
(visited:
FUNCTION_CALL_0
):
BOOLEAN
effective function
{}
top
exit_call_0_c
(visited:
FUNCTION_CALL_0
)
effective procedure
{}
top
visit_static_call_0_c
(visited:
STATIC_CALL_0_C
)
effective procedure
{
STATIC_CALL_0_C
}
top
require
visited /= Void
enter_static_call_0_c
(visited:
STATIC_CALL_0_C
):
BOOLEAN
effective function
{}
top
exit_static_call_0_c
(visited:
STATIC_CALL_0_C
)
effective procedure
{}
top
visit_call_prefix_not
(visited:
CALL_PREFIX_NOT
)
effective procedure
{
CALL_PREFIX_NOT
}
top
require
visited /= Void
enter_call_prefix_not
(visited:
CALL_PREFIX_NOT
):
BOOLEAN
effective function
{}
top
exit_call_prefix_not
(visited:
CALL_PREFIX_NOT
)
effective procedure
{}
top
visit_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
)
effective procedure
{
CALL_PREFIX_MINUS
}
top
require
visited /= Void
enter_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
):
BOOLEAN
effective function
{}
top
exit_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
)
effective procedure
{}
top
visit_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
)
effective procedure
{
CALL_PREFIX_FREEOP
}
top
require
visited /= Void
enter_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
):
BOOLEAN
effective function
{}
top
exit_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
)
effective procedure
{}
top
visit_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
)
effective procedure
{
CALL_PREFIX_PLUS
}
top
require
visited /= Void
enter_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
):
BOOLEAN
effective function
{}
top
exit_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
)
effective procedure
{}
top
visit_function_call_1
(visited:
FUNCTION_CALL_1
)
effective procedure
{
FUNCTION_CALL_1
}
top
require
visited /= Void
enter_call_1_c
(visited:
FUNCTION_CALL_1
):
BOOLEAN
effective function
{}
top
exit_call_1_c
(visited:
FUNCTION_CALL_1
)
effective procedure
{}
top
visit_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
)
effective procedure
{
CALL_INFIX_AND_THEN
}
top
require
visited /= Void
enter_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
):
BOOLEAN
effective function
{}
top
exit_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
)
effective procedure
{}
top
visit_call_infix_minus
(visited:
CALL_INFIX_MINUS
)
effective procedure
{
CALL_INFIX_MINUS
}
top
require
visited /= Void
enter_call_infix_minus
(visited:
CALL_INFIX_MINUS
):
BOOLEAN
effective function
{}
top
exit_call_infix_minus
(visited:
CALL_INFIX_MINUS
)
effective procedure
{}
top
visit_call_infix_times
(visited:
CALL_INFIX_TIMES
)
effective procedure
{
CALL_INFIX_TIMES
}
top
require
visited /= Void
enter_call_infix_times
(visited:
CALL_INFIX_TIMES
):
BOOLEAN
effective function
{}
top
exit_call_infix_times
(visited:
CALL_INFIX_TIMES
)
effective procedure
{}
top
visit_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
)
effective procedure
{
CALL_INFIX_INT_REM
}
top
require
visited /= Void
enter_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
):
BOOLEAN
effective function
{}
top
exit_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
)
effective procedure
{}
top
visit_call_infix_or
(visited:
CALL_INFIX_OR
)
effective procedure
{
CALL_INFIX_OR
}
top
require
visited /= Void
enter_call_infix_or
(visited:
CALL_INFIX_OR
):
BOOLEAN
effective function
{}
top
exit_call_infix_or
(visited:
CALL_INFIX_OR
)
effective procedure
{}
top
visit_call_infix_gt
(visited:
CALL_INFIX_GT
)
effective procedure
{
CALL_INFIX_GT
}
top
require
visited /= Void
enter_call_infix_gt
(visited:
CALL_INFIX_GT
):
BOOLEAN
effective function
{}
top
exit_call_infix_gt
(visited:
CALL_INFIX_GT
)
effective procedure
{}
top
visit_call_infix_lt
(visited:
CALL_INFIX_LT
)
effective procedure
{
CALL_INFIX_LT
}
top
require
visited /= Void
enter_call_infix_lt
(visited:
CALL_INFIX_LT
):
BOOLEAN
effective function
{}
top
exit_call_infix_lt
(visited:
CALL_INFIX_LT
)
effective procedure
{}
top
visit_call_infix_plus
(visited:
CALL_INFIX_PLUS
)
effective procedure
{
CALL_INFIX_PLUS
}
top
require
visited /= Void
enter_call_infix_plus
(visited:
CALL_INFIX_PLUS
):
BOOLEAN
effective function
{}
top
exit_call_infix_plus
(visited:
CALL_INFIX_PLUS
)
effective procedure
{}
top
visit_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
)
effective procedure
{
CALL_INFIX_INT_DIV
}
top
require
visited /= Void
enter_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
):
BOOLEAN
effective function
{}
top
exit_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
)
effective procedure
{}
top
visit_call_infix_xor
(visited:
CALL_INFIX_XOR
)
effective procedure
{
CALL_INFIX_XOR
}
top
require
visited /= Void
enter_call_infix_xor
(visited:
CALL_INFIX_XOR
):
BOOLEAN
effective function
{}
top
exit_call_infix_xor
(visited:
CALL_INFIX_XOR
)
effective procedure
{}
top
visit_call_infix_power
(visited:
CALL_INFIX_POWER
)
effective procedure
{
CALL_INFIX_POWER
}
top
require
visited /= Void
enter_call_infix_power
(visited:
CALL_INFIX_POWER
):
BOOLEAN
effective function
{}
top
exit_call_infix_power
(visited:
CALL_INFIX_POWER
)
effective procedure
{}
top
visit_call_infix_div
(visited:
CALL_INFIX_DIV
)
effective procedure
{
CALL_INFIX_DIV
}
top
require
visited /= Void
enter_call_infix_div
(visited:
CALL_INFIX_DIV
):
BOOLEAN
effective function
{}
top
exit_call_infix_div
(visited:
CALL_INFIX_DIV
)
effective procedure
{}
top
visit_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
)
effective procedure
{
CALL_INFIX_OR_ELSE
}
top
require
visited /= Void
enter_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
):
BOOLEAN
effective function
{}
top
exit_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
)
effective procedure
{}
top
visit_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
effective procedure
{
CALL_INFIX_IMPLIES
}
top
require
visited /= Void
enter_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
):
BOOLEAN
effective function
{}
top
exit_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
effective procedure
{}
top
visit_call_infix_le
(visited:
CALL_INFIX_LE
)
effective procedure
{
CALL_INFIX_LE
}
top
require
visited /= Void
enter_call_infix_le
(visited:
CALL_INFIX_LE
):
BOOLEAN
effective function
{}
top
exit_call_infix_le
(visited:
CALL_INFIX_LE
)
effective procedure
{}
top
visit_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
)
effective procedure
{
CALL_INFIX_FREEOP
}
top
require
visited /= Void
enter_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
):
BOOLEAN
effective function
{}
top
exit_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
)
effective procedure
{}
top
visit_call_infix_and
(visited:
CALL_INFIX_AND
)
effective procedure
{
CALL_INFIX_AND
}
top
require
visited /= Void
enter_call_infix_and
(visited:
CALL_INFIX_AND
):
BOOLEAN
effective function
{}
top
exit_call_infix_and
(visited:
CALL_INFIX_AND
)
effective procedure
{}
top
visit_call_infix_ge
(visited:
CALL_INFIX_GE
)
effective procedure
{
CALL_INFIX_GE
}
top
require
visited /= Void
enter_call_infix_ge
(visited:
CALL_INFIX_GE
):
BOOLEAN
effective function
{}
top
exit_call_infix_ge
(visited:
CALL_INFIX_GE
)
effective procedure
{}
top
visit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
effective procedure
{
BUILT_IN_EQ_NEQ
}
top
require
visited /= Void
enter_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
):
BOOLEAN
effective function
{}
top
exit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
effective procedure
{}
top
visit_function_call_n
(visited:
FUNCTION_CALL_N
)
effective procedure
{
FUNCTION_CALL_N
}
top
require
visited /= Void
enter_call_n
(visited:
FUNCTION_CALL_N
):
BOOLEAN
effective function
{}
top
exit_call_n
(visited:
FUNCTION_CALL_N
)
effective procedure
{}
top
visit_manifest_string
(visited:
MANIFEST_STRING
)
effective procedure
{
MANIFEST_STRING
}
top
require
visited /= Void
visit_agent_args
(visited:
AGENT_ARGS
)
effective procedure
{
AGENT_ARGS
}
top
require
visited /= Void
enter_agent_args
(visited:
AGENT_ARGS
):
BOOLEAN
effective function
{}
top
exit_agent_args
(visited:
AGENT_ARGS
)
effective procedure
{}
top
visit_agent_creation
(visited:
AGENT_CREATION
)
effective procedure
{
AGENT_CREATION
}
top
require
visited /= Void
enter_agent_creation
(visited:
AGENT_CREATION
):
BOOLEAN
effective function
{}
top
exit_agent_creation
(visited:
AGENT_CREATION
)
effective procedure
{}
top
visit_e_old
(visited:
E_OLD
)
effective procedure
{
E_OLD
}
top
require
visited /= Void
enter_e_old
(visited:
E_OLD
):
BOOLEAN
effective function
{}
top
exit_e_old
(visited:
E_OLD
)
effective procedure
{}
top
visit_fake_tuple
(visited:
FAKE_TUPLE
)
effective procedure
{
FAKE_TUPLE
}
top
require
visited /= Void
enter_fake_tuple
(visited:
FAKE_TUPLE
):
BOOLEAN
effective function
{}
top
exit_fake_tuple
(visited:
FAKE_TUPLE
)
effective procedure
{}
top
visit_manifest_tuple
(visited:
MANIFEST_TUPLE
)
effective procedure
{
MANIFEST_TUPLE
}
top
require
visited /= Void
enter_manifest_tuple
(visited:
MANIFEST_TUPLE
):
BOOLEAN
effective function
{}
top
exit_manifest_tuple
(visited:
MANIFEST_TUPLE
)
effective procedure
{}
top
visit_implicit_cast
(visited:
IMPLICIT_CAST
)
effective procedure
{
IMPLICIT_CAST
}
top
require
visited /= Void
visit_generator_generating_type
(visited:
GENERATOR_GENERATING_TYPE
)
effective procedure
{
GENERATOR_GENERATING_TYPE
}
top
require
visited /= Void
visit_agent_expression
(visited:
AGENT_EXPRESSION
)
effective procedure
{
AGENT_EXPRESSION
}
top
require
visited /= Void
visited /= Void
enter_agent_expression
(visited:
AGENT_EXPRESSION
):
BOOLEAN
effective function
{}
top
exit_agent_expression
(visited:
AGENT_EXPRESSION
)
effective procedure
{}
top
visit_result
(visited:
RESULT
)
effective procedure
{
RESULT
}
top
require
visited /= Void
visit_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
)
effective procedure
{
EXPRESSION_WITH_COMMENT
}
top
require
visited /= Void
enter_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
):
BOOLEAN
effective function
{}
top
exit_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
)
effective procedure
{}
top
visit_comment
(visited:
COMMENT
)
effective procedure
{
COMMENT
}
top
require
visited /= Void
visit_implicit_current
(visited:
IMPLICIT_CURRENT
)
effective procedure
{
IMPLICIT_CURRENT
}
top
require
visited /= Void
visit_written_current
(visited:
WRITTEN_CURRENT
)
effective procedure
{
WRITTEN_CURRENT
}
top
require
visited /= Void
visit_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
)
effective procedure
{
WRITABLE_ATTRIBUTE_NAME
}
top
require
visited /= Void
enter_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
):
BOOLEAN
effective function
{}
top
exit_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
)
effective procedure
{}
top
visit_e_true
(visited:
E_TRUE
)
effective procedure
{
E_TRUE
}
top
require
visited /= Void
visit_e_false
(visited:
E_FALSE
)
effective procedure
{
E_FALSE
}
top
require
visited /= Void
visit_retry_instruction
(visited:
RETRY_INSTRUCTION
)
effective procedure
{
RETRY_INSTRUCTION
}
top
require
visited /= Void
visit_ifthenelse
(visited:
IFTHENELSE
)
effective procedure
{
IFTHENELSE
}
top
require
visited /= Void
enter_ifthenelse
(visited:
IFTHENELSE
):
BOOLEAN
effective function
{}
top
exit_ifthenelse
(visited:
IFTHENELSE
)
effective procedure
{}
top
visit_ifthen
(visited:
IFTHEN
)
effective procedure
{
IFTHEN
}
top
require
visited /= Void
enter_ifthen
(visited:
IFTHEN
):
BOOLEAN
effective function
{}
top
exit_ifthen
(visited:
IFTHEN
)
effective procedure
{}
top
visit_ifthenelse_exp
(visited:
IFTHENELSE_EXP
)
effective procedure
{
IFTHENELSE_EXP
}
top
require
visited /= Void
enter_ifthenelse_exp
(visited:
IFTHENELSE_EXP
):
BOOLEAN
effective function
{}
top
exit_ifthenelse_exp
(visited:
IFTHENELSE_EXP
)
effective procedure
{}
top
visit_ifthen_exp
(visited:
IFTHEN_EXP
)
effective procedure
{
IFTHEN_EXP
}
top
require
visited /= Void
enter_ifthen_exp
(visited:
IFTHEN_EXP
):
BOOLEAN
effective function
{}
top
exit_ifthen_exp
(visited:
IFTHEN_EXP
)
effective procedure
{}
top
visit_assignment
(visited:
ASSIGNMENT
)
effective procedure
{
ASSIGNMENT
}
top
require
visited /= Void
enter_assignment
(visited:
ASSIGNMENT
):
BOOLEAN
effective function
{}
top
exit_assignment
(visited:
ASSIGNMENT
)
effective procedure
{}
top
visit_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
)
effective procedure
{
ASSIGNMENT_CALL_ASSIGNER
}
top
require
visited /= Void
enter_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
):
BOOLEAN
effective function
{}
top
exit_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
)
effective procedure
{}
top
visit_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
)
effective procedure
{
ASSIGNMENT_ATTEMPT
}
top
require
visited /= Void
enter_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
):
BOOLEAN
effective function
{}
top
exit_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
)
effective procedure
{}
top
visit_assignment_test
(visited:
ASSIGNMENT_TEST
)
effective procedure
{
ASSIGNMENT_TEST
}
top
require
visited /= Void
enter_assignment_test
(visited:
ASSIGNMENT_TEST
):
BOOLEAN
effective function
{}
top
exit_assignment_test
(visited:
ASSIGNMENT_TEST
)
effective procedure
{}
top
visit_debug_compound
(visited:
DEBUG_COMPOUND
)
effective procedure
{
DEBUG_COMPOUND
}
top
require
visited /= Void
enter_debug_compound
(visited:
DEBUG_COMPOUND
):
BOOLEAN
effective function
{}
top
exit_debug_compound
(visited:
DEBUG_COMPOUND
)
effective procedure
{}
top
visit_check_compound
(visited:
CHECK_COMPOUND
)
effective procedure
{
CHECK_COMPOUND
}
top
require
visited /= Void
enter_check_compound
(visited:
CHECK_COMPOUND
):
BOOLEAN
effective function
{}
top
exit_check_compound
(visited:
CHECK_COMPOUND
)
effective procedure
{}
top
visit_procedure_call_0
(visited:
PROCEDURE_CALL_0
)
effective procedure
{
PROCEDURE_CALL_0
}
top
require
visited /= Void
enter_proc_call_0
(visited:
PROCEDURE_CALL_0
):
BOOLEAN
effective function
{}
top
exit_proc_call_0
(visited:
PROCEDURE_CALL_0
)
effective procedure
{}
top
visit_procedure_call_1
(visited:
PROCEDURE_CALL_1
)
effective procedure
{
PROCEDURE_CALL_1
}
top
require
visited /= Void
enter_proc_call_1
(visited:
PROCEDURE_CALL_1
):
BOOLEAN
effective function
{}
top
exit_proc_call_1
(visited:
PROCEDURE_CALL_1
)
effective procedure
{}
top
visit_procedure_call_n
(visited:
PROCEDURE_CALL_N
)
effective procedure
{
PROCEDURE_CALL_N
}
top
require
visited /= Void
enter_proc_call_n
(visited:
PROCEDURE_CALL_N
):
BOOLEAN
effective function
{}
top
exit_proc_call_n
(visited:
PROCEDURE_CALL_N
)
effective procedure
{}
top
visit_agent_instruction
(visited:
AGENT_INSTRUCTION
)
effective procedure
{
AGENT_INSTRUCTION
}
top
require
visited /= Void
visited /= Void
enter_agent_instruction
(visited:
AGENT_INSTRUCTION
):
BOOLEAN
effective function
{}
top
exit_agent_instruction
(visited:
AGENT_INSTRUCTION
)
effective procedure
{}
top
visit_create_instruction
(visited:
CREATE_INSTRUCTION
)
effective procedure
{
CREATE_INSTRUCTION
}
top
require
visited /= Void
enter_create_instruction
(visited:
CREATE_INSTRUCTION
):
BOOLEAN
effective function
{}
top
exit_create_instruction
(visited:
CREATE_INSTRUCTION
)
effective procedure
{}
top
visit_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
)
effective procedure
{
RAW_CREATE_INSTRUCTION
}
top
require
visited /= Void
enter_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
):
BOOLEAN
effective function
{}
top
exit_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
)
effective procedure
{}
top
visit_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
)
effective procedure
{
PRECURSOR_INSTRUCTION
}
top
require
visited /= Void
enter_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
):
BOOLEAN
effective function
{}
top
exit_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
)
effective procedure
{}
top
visit_loop_instruction
(visited:
LOOP_INSTRUCTION
)
effective procedure
{
LOOP_INSTRUCTION
}
top
require
visited /= Void
enter_e_loop
(visited:
LOOP_INSTRUCTION
):
BOOLEAN
effective function
{}
top
exit_e_loop
(visited:
LOOP_INSTRUCTION
)
effective procedure
{}
top
visit_loop_variant
(visited:
LOOP_VARIANT
)
effective procedure
{
LOOP_VARIANT
}
top
require
visited /= Void
visited /= Void
enter_loop_variant
(visited:
LOOP_VARIANT
):
BOOLEAN
effective function
{}
top
exit_loop_variant
(visited:
LOOP_VARIANT
)
effective procedure
{}
top
visit_inspect_statement
(visited:
INSPECT_STATEMENT
)
effective procedure
{}
top
visit_other_inspect_statement
(visited:
OTHER_INSPECT_STATEMENT
)
effective procedure
{
OTHER_INSPECT_STATEMENT
}
top
require
visited /= Void
visit_manifest_string_inspect_statement
(visited:
MANIFEST_STRING_INSPECT_STATEMENT
)
effective procedure
{
MANIFEST_STRING_INSPECT_STATEMENT
}
top
require
visited /= Void
visit_c_inline
(visited:
C_INLINE
)
effective procedure
{
C_INLINE
}
top
require
visited /= Void
enter_inspect_statement
(visited:
INSPECT_STATEMENT
):
BOOLEAN
effective function
{}
top
exit_inspect_statement
(visited:
INSPECT_STATEMENT
)
effective procedure
{}
top
visit_when_clause
(visited:
WHEN_CLAUSE
)
effective procedure
{
WHEN_CLAUSE
}
top
require
visited /= Void
visited /= Void
enter_when_clause
(visited:
WHEN_CLAUSE
):
BOOLEAN
effective function
{}
top
exit_when_clause
(visited:
WHEN_CLAUSE
)
effective procedure
{}
top
visit_when_item_1
(visited:
WHEN_ITEM_1
)
effective procedure
{
WHEN_ITEM_1
}
top
require
visited /= Void
enter_when_item_1
(visited:
WHEN_ITEM_1
):
BOOLEAN
effective function
{}
top
exit_when_item_1
(visited:
WHEN_ITEM_1
)
effective procedure
{}
top
visit_when_item_2
(visited:
WHEN_ITEM_2
)
effective procedure
{
WHEN_ITEM_2
}
top
require
visited /= Void
enter_when_item_2
(visited:
WHEN_ITEM_2
):
BOOLEAN
effective function
{}
top
exit_when_item_2
(visited:
WHEN_ITEM_2
)
effective procedure
{}
top
visit_compound
(visited:
COMPOUND
)
effective procedure
{
COMPOUND
}
top
require
visited /= Void
visit_compound_expression
(visited:
COMPOUND_EXPRESSION
)
effective procedure
{
COMPOUND_EXPRESSION
}
top
require
visited /= Void
enter_compound
(visited:
COMPOUND
):
BOOLEAN
effective function
{}
top
exit_compound
(visited:
COMPOUND
)
effective procedure
{}
top
visit_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
)
effective procedure
{
NO_INVARIANT_WRAPPER
}
top
require
visited /= Void
enter_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
):
BOOLEAN
effective function
{}
top
exit_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
)
effective procedure
{}
top
visit_declaration_1
(visited:
DECLARATION_1
)
effective procedure
{
DECLARATION_1
}
top
require
visited /= Void
enter_declaration_1
(visited:
DECLARATION_1
):
BOOLEAN
effective function
{}
top
exit_declaration_1
(visited:
DECLARATION_1
)
effective procedure
{}
top
visit_declaration_group
(visited:
DECLARATION_GROUP
)
effective procedure
{
DECLARATION_GROUP
}
top
require
visited /= Void
enter_declaration_group
(visited:
DECLARATION_GROUP
):
BOOLEAN
effective function
{}
top
exit_declaration_group
(visited:
DECLARATION_GROUP
)
effective procedure
{}
top