Next: wait keyword, Previous: Event control, Up: Event control
The request
keyword is used to request an event. If someone wants to use an event, it must first be requested, and after that it can be waited. After the event is not used anymore, it must be released.
The request
keyword has one mandatory argument, and one optional parameter. Both are described below.
The request keyword can be used, for example, in the following ways:
request Event1 request Event2 state