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