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