ANY | NONE |
deferred class interface ROUTINE[B,O->TUPLE] -- -- The agent's type hierarchy is composed of the following classes: ROUTINE, PROCEDURE, FUNCTION and PREDICATE. -- Where B is the base type (i.e. a type of compatible with the target of the delayed call) and O represents open -- arguments (i.e. arguments which are delayed). -- feature(s) from ROUTINE call (o: O) -- Call feature with all its operands, using o for the open operands. end of deferred ROUTINE[B,O->TUPLE]