class AGENT_ARGS
Summary
Class invariant
Overview
creation features
exported features
signature: STRING
writable attribute
To identify the launcher by its arguments and its result type.
agent_type: TYPE
writable attribute
hash_code: INTEGER_32
effective function
The hash-code value of Current.
is_equal (other: AGENT_ARGS): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
accept (visitor: AGENT_ARGS_VISITOR)
effective procedure
Accept to be visited by the visitor.