home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
AGENT_EXPRESSION
AGENT_INSTRUCTION
AGENT_POOL
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class AGENT_ARGS
Summary
top
|*** A better name: AGENT_LAUNCHER_SIGNATURE ? ***
Direct parents
inherit list:
HASHABLE
,
VISITABLE
insert list:
GLOBALS
Class invariant
top
agent_type
.canonical_type_mark.is_agent
not
signature
.is_empty
Overview
top
creation features
exported features
signature
:
STRING
To identify the launcher by its arguments and its result type.
agent_type
:
TYPE
hash_code
:
INTEGER_32
The hash-code value of
Current
.
is_equal
(other: AGENT_ARGS):
BOOLEAN
Is
other
attached to an object considered equal to current object?
accept
(visitor:
AGENT_ARGS_VISITOR
)
Accept to be visited by the
visitor
.
signature
:
STRING
writable attribute
top
To identify the launcher by its arguments and its result type.
Also used for the name of the C function to be called.
agent_type
:
TYPE
writable attribute
top
hash_code
:
INTEGER_32
effective function
top
The hash-code value of
Current
.
ensure
good_hash_value:
Result >= 0
is_equal
(other: AGENT_ARGS):
BOOLEAN
effective function
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
Result implies hash_code = other.hash_code
accept
(visitor:
AGENT_ARGS_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void