+
Point of view
CLASS_INVARIANT
class EIFFELDOC_COMMENT_STATE_IN_TEXT
Summary
Overview
creation features
visit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
as_visitor: VISITOR
effective function