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