home
wiki
classes/clusters list
class information
+
Point of view
AGENT_LAUNCHER
ANY
AGENT_ARGS
GC_HANDLER
JVM
C_PRETTY_PRINTER
LIVE_TYPE
AGENT_CREATION
AGENT_LAUNCHER
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class AGENT_POOL
Summary
top
Singleton object in charge of agents. This singleton is shared via the
GLOBALS
.
agent_pool
once function.
Direct parents
inherit list:
ANY
insert list:
GLOBALS
,
SINGLETON
Overview
top
exported features
agent_creation_collected_flag
:
BOOLEAN
agent_launcher_collect
(launcher_type:
TYPE
):
AGENT_ARGS
agent_creation_collected_flag
:
BOOLEAN
writable attribute
top
agent_launcher_collect
(launcher_type:
TYPE
):
AGENT_ARGS
effective function
top
require
launcher_type.canonical_type_mark.is_agent
ensure
Result /= Void