ComTimeout

This structure provides a timeout command for agents which may be used in a choice.

Signature of ComTimeout

List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void

SIGNATURE ComTimeout

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT  Nat             ONLY nat
        Void            ONLY void
        Com[void]       ONLY com

timeout(Ms) delays the execution of the current agent for the specified number of milliseconds. In a choice, this command is enabled after the specified time period.

FUN timeout : nat -> com[void]

A timeout of zero milliseconds may be used to check for the availability of commands. In wait(Agent) + timeout(0), if on execution the wait command is immediatly enabled it is given the priority.

next node: ComAgentConv,
prev node: ComChoice,
up to node: Subsystem Concurrent Opal