+
Point of view
CHECK_INVARIANT
class EIFFELDOC_SHORTER_FIND_CLIENTS
Summary
top
Overview
top
creation features
exported features
visit_check_invariant (visited: CHECK_INVARIANT)
effective procedure
top
as_visitor: VISITOR
effective function
top