+
Point of view
REQUIRE_ITEM
deferred class EIFFELDOC_COMMENT_STATE
Summary
Overview
exported features
visit_require_item (visited: REQUIRE_ITEM)
effective procedure
as_visitor: VISITOR
effective function