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