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