+
Point of view
All features
deferred class ASSERTION_LIST_VISITOR
Summary
top
Overview
top
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