+
Point of view
CHECK_INVARIANT
class EIFFELDOC_COMMENT_WRITER
Summary
Overview
creation features
visit_check_invariant (visited: CHECK_INVARIANT)
effective procedure
as_visitor: VISITOR
effective function