+
Point of view
All features
deferred class INSTRUCTION_VISITOR
Summary
top
Overview
top
visit_create_instruction (visited: CREATE_INSTRUCTION)
deferred procedure
top
as_visitor: VISITOR
effective function
top
visit_e_check (visited: E_CHECK)
deferred procedure
top
visit_e_retry (visited: E_RETRY)
deferred procedure
top
visit_inspect_statement (visited: INSPECT_STATEMENT)
deferred procedure
top
visit_compound (visited: COMPOUND)
deferred procedure
top
visit_agent_instruction (visited: AGENT_INSTRUCTION)
deferred procedure
top
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
deferred procedure
top
visit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
deferred procedure
top
visit_e_debug (visited: E_DEBUG)
deferred procedure
top
visit_assignment (visited: ASSIGNMENT)
deferred procedure
top
visit_proc_call_0 (visited: PROC_CALL_0)
deferred procedure
top
visit_proc_call_1 (visited: PROC_CALL_1)
deferred procedure
top
visit_proc_call_n (visited: PROC_CALL_N)
deferred procedure
top
visit_ifthen (visited: IFTHEN)
deferred procedure
top
visit_void_proc_call (visited: VOID_PROC_CALL)
deferred procedure
top
visit_ifthenelse (visited: IFTHENELSE)
deferred procedure
top
visit_e_loop (visited: E_LOOP)
deferred procedure
top
visit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
deferred procedure
top
visit_comment (visited: COMMENT)
deferred procedure
top