+
Point of view
AGENT_LAUNCHER
class EIFFELDOC_COMMENT_STATE_IN_TEXT
Summary
Overview
creation features
exported features
as_visitor: VISITOR
effective function
visit_agent_launcher (visited: AGENT_LAUNCHER)
effective procedure