Syntax:
STAY := <real expression>;It is used to assign value to the time that a processed message will remains in the IL of a R type node.
It is only used in a R type node.
When executed a message enters the IL, an event is scheduled in the future to extract this message. More exactly, an event element is introduced in the FEL that refers to the R type node, to be executed at a time TIME + STAY (with the assigned value for the STAY). The index of the event is taken from the variable INO and the event parameter will be the actual value of the variable IEV. If the node contains a PREEMPTION instruction with a REMA parameter, the message must have a REMA field. The system checks the value of this field. If its value is not equal to zero, the time of execution of the event will be TIME + REMA. See PREEMPTION instruction (6.17).
See examples 1, 2, 3, 4, 5, 6, 7, 8 (with PREEMPTION and REMA), 9, 11, 12, 13, 17, 18 (GLIDER examples book).