+
Point of view
All features
deferred class CLASS_INVARIANT_VISITOR
Summary
top
Direct parents
Inherit list: VISITOR
Known children
Inherit list: ASSERTION_LIST_VISITOR
Overview
top
visit_class_invariant (visited: CLASS_INVARIANT)
deferred procedure
{CLASS_INVARIANT}
top
require
  • visited /= Void