+
Point of view
All features
deferred class INSTRUCTION_VISITOR
Summary
top
Overview
top
visit_agent_instruction (visited: AGENT_INSTRUCTION)
deferred procedure
{AGENT_INSTRUCTION}
top
require
  • visited /= Void
visit_assertion_list (visited: ASSERTION_LIST)
deferred procedure
{ASSERTION_LIST}
top
require
  • visited /= Void
visit_class_invariant (visited: CLASS_INVARIANT)
deferred procedure
{CLASS_INVARIANT}
top
require
  • visited /= Void
visit_ensure_assertion (visited: ENSURE_ASSERTION)
deferred procedure
{ENSURE_ASSERTION}
top
require
  • visited /= Void
visit_loop_invariant (visited: LOOP_INVARIANT)
deferred procedure
{LOOP_INVARIANT}
top
require
  • visited /= Void
visit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
deferred procedure
{ASSIGNMENT_ATTEMPT}
top
require
  • visited /= Void
visit_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER)
deferred procedure
{ASSIGNMENT_CALL_ASSIGNER}
top
require
  • visited /= Void
visit_assignment (visited: ASSIGNMENT)
deferred procedure
{ASSIGNMENT}
top
require
  • visited /= Void
visit_check_compound (visited: CHECK_COMPOUND)
deferred procedure
{CHECK_COMPOUND}
top
require
  • visited /= Void
visit_c_inline (visited: C_INLINE)
deferred procedure
{C_INLINE}
top
require
  • visited /= Void
visit_comment (visited: COMMENT)
deferred procedure
{COMMENT}
top
require
  • visited /= Void
visit_compound (visited: COMPOUND)
deferred procedure
{COMPOUND}
top
require
  • visited /= Void
visit_create_instruction (visited: CREATE_INSTRUCTION)
deferred procedure
{CREATE_INSTRUCTION}
top
require
  • visited /= Void
visit_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION)
deferred procedure
{RAW_CREATE_INSTRUCTION}
top
require
  • visited /= Void
visit_debug_compound (visited: DEBUG_COMPOUND)
deferred procedure
{DEBUG_COMPOUND}
top
require
  • visited /= Void
visit_ifthenelse (visited: IFTHENELSE)
deferred procedure
{IFTHENELSE}
top
require
  • visited /= Void
visit_ifthen (visited: IFTHEN)
deferred procedure
{IFTHEN}
top
require
  • visited /= Void
visit_manifest_string_inspect_statement (visited: MANIFEST_STRING_INSPECT_STATEMENT)
deferred procedure
{MANIFEST_STRING_INSPECT_STATEMENT}
top
require
  • visited /= Void
visit_other_inspect_statement (visited: OTHER_INSPECT_STATEMENT)
deferred procedure
{OTHER_INSPECT_STATEMENT}
top
require
  • visited /= Void
visit_loop_instruction (visited: LOOP_INSTRUCTION)
deferred procedure
{LOOP_INSTRUCTION}
top
require
  • visited /= Void
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
deferred procedure
{NO_INVARIANT_WRAPPER}
top
require
  • visited /= Void
visit_run_time_error_instruction (visited: RUN_TIME_ERROR_INSTRUCTION)
deferred procedure
{RUN_TIME_ERROR_INSTRUCTION}
top
require
  • visited /= Void
visit_sedb (visited: SEDB)
deferred procedure
{SEDB}
top
require
  • visited /= Void
visit_unused_expression (visited: UNUSED_EXPRESSION)
deferred procedure
{UNUSED_EXPRESSION}
top
require
  • visited /= Void
visit_void_proc_call (visited: VOID_PROC_CALL)
deferred procedure
{VOID_PROC_CALL}
top
require
  • visited /= Void
visit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
deferred procedure
{PRECURSOR_INSTRUCTION}
top
require
  • visited /= Void
visit_procedure_call_0 (visited: PROCEDURE_CALL_0)
deferred procedure
{PROCEDURE_CALL_0}
top
require
  • visited /= Void
visit_procedure_call_1 (visited: PROCEDURE_CALL_1)
deferred procedure
{PROCEDURE_CALL_1}
top
require
  • visited /= Void
visit_procedure_call_n (visited: PROCEDURE_CALL_N)
deferred procedure
{PROCEDURE_CALL_N}
top
require
  • visited /= Void
visit_require_assertion (visited: REQUIRE_ASSERTION)
deferred procedure
{REQUIRE_ASSERTION}
top
require
  • visited /= Void
visit_retry_instruction (visited: RETRY_INSTRUCTION)
deferred procedure
{RETRY_INSTRUCTION}
top
require
  • visited /= Void
visit_when_clause (visited: WHEN_CLAUSE)
deferred procedure
{WHEN_CLAUSE}
top
require
  • visited /= Void