+
Point of view
All features
deferred class CODE_VISITOR
Summary
Overview
visit_cecil_entry (visited: CECIL_ENTRY)
deferred procedure
require
  • visited /= Void
visit_implicit_current (visited: IMPLICIT_CURRENT)
deferred procedure
require
  • visited /= Void
visit_written_current (visited: WRITTEN_CURRENT)
deferred procedure
require
  • visited /= Void
visit_address_of (visited: ADDRESS_OF)
deferred procedure
require
  • visited /= Void
visit_agent_creation (visited: AGENT_CREATION)
deferred procedure
require
  • visited /= Void
visit_agent_expression (visited: AGENT_EXPRESSION)
deferred procedure
require
  • visited /= Void
visit_assertion (visited: ASSERTION)
deferred procedure
require
  • visited /= Void
visit_assignment_test (visited: ASSIGNMENT_TEST)
deferred procedure
require
  • visited /= Void
visit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
deferred procedure
require
  • visited /= Void
visit_closed_operand (visited: CLOSED_OPERAND)
deferred procedure
require
  • visited /= Void
visit_create_expression (visited: CREATE_EXPRESSION)
deferred procedure
require
  • visited /= Void
visit_create_writable (visited: CREATE_WRITABLE)
deferred procedure
require
  • visited /= Void
visit_e_old (visited: E_OLD)
deferred procedure
require
  • visited /= Void
visit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
deferred procedure
require
  • visited /= Void
visit_fake_argument (visited: FAKE_ARGUMENT)
deferred procedure
require
  • visited /= Void
visit_fake_target (visited: FAKE_TARGET)
deferred procedure
require
  • visited /= Void
visit_fake_tuple (visited: FAKE_TUPLE)
deferred procedure
require
  • visited /= Void
visit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
deferred procedure
require
  • visited /= Void
visit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
deferred procedure
require
  • visited /= Void
visit_call_prefix_not (visited: CALL_PREFIX_NOT)
deferred procedure
require
  • visited /= Void
visit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
deferred procedure
require
  • visited /= Void
visit_static_call_0_c (visited: STATIC_CALL_0_C)
deferred procedure
require
  • visited /= Void
visit_function_call_0 (visited: FUNCTION_CALL_0)
deferred procedure
require
  • visited /= Void
visit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
deferred procedure
require
  • visited /= Void
visit_call_infix_and (visited: CALL_INFIX_AND)
deferred procedure
require
  • visited /= Void
visit_call_infix_div (visited: CALL_INFIX_DIV)
deferred procedure
require
  • visited /= Void
visit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
deferred procedure
require
  • visited /= Void
visit_call_infix_ge (visited: CALL_INFIX_GE)
deferred procedure
require
  • visited /= Void
visit_call_infix_gt (visited: CALL_INFIX_GT)
deferred procedure
require
  • visited /= Void
visit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
deferred procedure
require
  • visited /= Void
visit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
deferred procedure
require
  • visited /= Void
visit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
deferred procedure
require
  • visited /= Void
visit_call_infix_le (visited: CALL_INFIX_LE)
deferred procedure
require
  • visited /= Void
visit_call_infix_lt (visited: CALL_INFIX_LT)
deferred procedure
require
  • visited /= Void
visit_call_infix_minus (visited: CALL_INFIX_MINUS)
deferred procedure
require
  • visited /= Void
visit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
deferred procedure
require
  • visited /= Void
visit_call_infix_or (visited: CALL_INFIX_OR)
deferred procedure
require
  • visited /= Void
visit_call_infix_plus (visited: CALL_INFIX_PLUS)
deferred procedure
require
  • visited /= Void
visit_call_infix_power (visited: CALL_INFIX_POWER)
deferred procedure
require
  • visited /= Void
visit_call_infix_times (visited: CALL_INFIX_TIMES)
deferred procedure
require
  • visited /= Void
visit_call_infix_xor (visited: CALL_INFIX_XOR)
deferred procedure
require
  • visited /= Void
visit_function_call_1 (visited: FUNCTION_CALL_1)
deferred procedure
require
  • visited /= Void
visit_function_call_n (visited: FUNCTION_CALL_N)
deferred procedure
require
  • visited /= Void
visit_generator_generating_type (visited: GENERATOR_GENERATING_TYPE)
deferred procedure
require
  • visited /= Void
visit_ifthenelse_exp (visited: IFTHENELSE_EXP)
deferred procedure
require
  • visited /= Void
visit_ifthen_exp (visited: IFTHEN_EXP)
deferred procedure
require
  • visited /= Void
visit_implicit_cast (visited: IMPLICIT_CAST)
deferred procedure
require
  • visited /= Void
visit_argument_name_ref (visited: ARGUMENT_NAME_REF)
deferred procedure
require
  • visited /= Void
visit_local_name_ref (visited: LOCAL_NAME_REF)
deferred procedure
require
  • visited /= Void
visit_loop_variant (visited: LOOP_VARIANT)
deferred procedure
require
  • visited /= Void
visit_e_false (visited: E_FALSE)
deferred procedure
require
  • visited /= Void
visit_e_true (visited: E_TRUE)
deferred procedure
require
  • visited /= Void
visit_character_constant (visited: CHARACTER_CONSTANT)
deferred procedure
require
  • visited /= Void
visit_integer_constant (visited: INTEGER_CONSTANT)
deferred procedure
require
  • visited /= Void
visit_natural_constant (visited: NATURAL_CONSTANT)
deferred procedure
require
  • visited /= Void
visit_real_constant (visited: REAL_CONSTANT)
deferred procedure
require
  • visited /= Void
visit_e_void (visited: E_VOID)
deferred procedure
require
  • visited /= Void
visit_manifest_string (visited: MANIFEST_STRING)
deferred procedure
require
  • visited /= Void
visit_manifest_generic (visited: MANIFEST_GENERIC)
deferred procedure
require
  • visited /= Void
visit_manifest_tuple (visited: MANIFEST_TUPLE)
deferred procedure
require
  • visited /= Void
visit_compound_expression (visited: COMPOUND_EXPRESSION)
deferred procedure
require
  • visited /= Void
visit_dynamic_dispatch_temporary1_id (visited: DYNAMIC_DISPATCH_TEMPORARY1_ID)
deferred procedure
require
  • visited /= Void
visit_dynamic_dispatch_temporary1 (visited: DYNAMIC_DISPATCH_TEMPORARY1)
deferred procedure
require
  • visited /= Void
visit_dynamic_dispatch_temporary2 (visited: DYNAMIC_DISPATCH_TEMPORARY2)
deferred procedure
require
  • visited /= Void
visit_internal_local2 (visited: INTERNAL_LOCAL2)
deferred procedure
require
  • visited /= Void
visit_native_array_item (visited: NATIVE_ARRAY_ITEM)
deferred procedure
require
  • visited /= Void
visit_no_dispatch (visited: NO_DISPATCH)
deferred procedure
require
  • visited /= Void
visit_non_void_no_dispatch (visited: NON_VOID_NO_DISPATCH)
deferred procedure
require
  • visited /= Void
visit_null_pointer (visited: NULL_POINTER)
deferred procedure
require
  • visited /= Void
visit_void_call (visited: VOID_CALL)
deferred procedure
require
  • visited /= Void
visit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
deferred procedure
require
  • visited /= Void
visit_open_operand (visited: OPEN_OPERAND)
deferred procedure
require
  • visited /= Void
visit_precursor_expression (visited: PRECURSOR_EXPRESSION)
deferred procedure
require
  • visited /= Void
visit_result (visited: RESULT)
deferred procedure
require
  • visited /= Void
visit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
deferred procedure
require
  • visited /= Void
visit_agent_instruction (visited: AGENT_INSTRUCTION)
deferred procedure
require
  • visited /= Void
visit_assertion_list (visited: ASSERTION_LIST)
deferred procedure
require
  • visited /= Void
visit_class_invariant (visited: CLASS_INVARIANT)
deferred procedure
require
  • visited /= Void
visit_ensure_assertion (visited: ENSURE_ASSERTION)
deferred procedure
require
  • visited /= Void
visit_loop_invariant (visited: LOOP_INVARIANT)
deferred procedure
require
  • visited /= Void
visit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
deferred procedure
require
  • visited /= Void
visit_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER)
deferred procedure
require
  • visited /= Void
visit_assignment (visited: ASSIGNMENT)
deferred procedure
require
  • visited /= Void
visit_check_compound (visited: CHECK_COMPOUND)
deferred procedure
require
  • visited /= Void
visit_c_inline (visited: C_INLINE)
deferred procedure
require
  • visited /= Void
visit_comment (visited: COMMENT)
deferred procedure
require
  • visited /= Void
visit_compound (visited: COMPOUND)
deferred procedure
require
  • visited /= Void
visit_create_instruction (visited: CREATE_INSTRUCTION)
deferred procedure
require
  • visited /= Void
visit_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION)
deferred procedure
require
  • visited /= Void
visit_debug_compound (visited: DEBUG_COMPOUND)
deferred procedure
require
  • visited /= Void
visit_ifthenelse (visited: IFTHENELSE)
deferred procedure
require
  • visited /= Void
visit_ifthen (visited: IFTHEN)
deferred procedure
require
  • visited /= Void
visit_manifest_string_inspect_statement (visited: MANIFEST_STRING_INSPECT_STATEMENT)
deferred procedure
require
  • visited /= Void
visit_other_inspect_statement (visited: OTHER_INSPECT_STATEMENT)
deferred procedure
require
  • visited /= Void
visit_loop_instruction (visited: LOOP_INSTRUCTION)
deferred procedure
require
  • visited /= Void
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
deferred procedure
require
  • visited /= Void
visit_run_time_error_instruction (visited: RUN_TIME_ERROR_INSTRUCTION)
deferred procedure
require
  • visited /= Void
visit_sedb (visited: SEDB)
deferred procedure
require
  • visited /= Void
visit_unused_expression (visited: UNUSED_EXPRESSION)
deferred procedure
require
  • visited /= Void
visit_void_proc_call (visited: VOID_PROC_CALL)
deferred procedure
require
  • visited /= Void
visit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
deferred procedure
require
  • visited /= Void
visit_procedure_call_0 (visited: PROCEDURE_CALL_0)
deferred procedure
require
  • visited /= Void
visit_procedure_call_1 (visited: PROCEDURE_CALL_1)
deferred procedure
require
  • visited /= Void
visit_procedure_call_n (visited: PROCEDURE_CALL_N)
deferred procedure
require
  • visited /= Void
visit_require_assertion (visited: REQUIRE_ASSERTION)
deferred procedure
require
  • visited /= Void
visit_retry_instruction (visited: RETRY_INSTRUCTION)
deferred procedure
require
  • visited /= Void
visit_when_clause (visited: WHEN_CLAUSE)
deferred procedure
require
  • visited /= Void