+
Point of view
ASSERTION
class EIFFELDOC_COMMENT_STATE_IN_PREFORMATTED
Summary
Overview
creation features
exported features
visit_assertion (visited: ASSERTION)
effective procedure
as_visitor: VISITOR
effective function