Titan



timeout

1. Catching timeout exceptions

2. Wating for timer expiry


2. Waiting for timer expiry


The operation allows to wait for the expiration of a timer.

Related keywords:


( timer_identifier | any timer ).timeout ;


It is possible to check a member of an timer array.


  timer_identifier[array_index].timeout;


Example 2a:

T_rejaillir.timeout;

The program execution is suspended until the timer T_rejaillir expires.


Example 2b:

[] any timer.timeout { … }; 

This alternative in the alt statement will be invoked when any of the timers has just expired.


Example 2c:

Tl_feu[4].timeout;

The program execution is suspended until the fifth timer in the array T_feu expires.



BNF definition of timeout