deferred class ASSERTION_LIST_VISITOR
Summary
Overview
visit_assertion_list (visited: ASSERTION_LIST)
deferred procedure
visit_class_invariant (visited: CLASS_INVARIANT)
deferred procedure
visit_ensure_assertion (visited: ENSURE_ASSERTION)
deferred procedure
visit_loop_invariant (visited: LOOP_INVARIANT)
deferred procedure