+
Point of view
All features
deferred class CHECK_INVARIANT_VISITOR
Summary
Overview
visit_check_invariant (visited: CHECK_INVARIANT)
deferred procedure
as_visitor: VISITOR
effective function