+
Point of view
All features
deferred class INSTRUCTION_VISITOR
- Direct parents
- Inherit list: AGENT_INSTRUCTION_VISITOR, ASSERTION_LIST_VISITOR, ASSIGNMENT_ATTEMPT_VISITOR, ASSIGNMENT_CALL_ASSIGNER_VISITOR, ASSIGNMENT_VISITOR, CHECK_COMPOUND_VISITOR, COMMENT_VISITOR, COMPOUND_VISITOR, CREATE_INSTRUCTION_VISITOR, C_INLINE_VISITOR, DEBUG_COMPOUND_VISITOR, IFTHENELSE_VISITOR, IFTHEN_VISITOR, INSPECT_STATEMENT_VISITOR, LOOP_INSTRUCTION_VISITOR, NON_WRITTEN_INSTRUCTION_VISITOR, NO_INVARIANT_WRAPPER_VISITOR, PRECURSOR_INSTRUCTION_VISITOR, PROCEDURE_CALL_VISITOR, REQUIRE_ASSERTION_VISITOR, RETRY_INSTRUCTION_VISITOR, WHEN_CLAUSE_VISITOR
- Known children
- Inherit list: CODE_VISITOR, IN_OUT_VISITOR, PRECOMPUTABLE_ROUTINE_DETECTOR, RUNNER_DISPLAYER, RUNNER_INSTRUCTIONS
visit_ifthen (visited:
IFTHEN)
deferred procedure
visit_sedb (visited:
SEDB)
deferred procedure