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