![]() |
![]() |
![]() |
![]() |
![]() |
This keyword is used in port type definitions. It indicates that operations on that port can have timestamp redirects.
This keyword requires the compiler option '-I' to be set, otherwise it is treated as an identifier.
Related keywords:
... realtime ... |
Example:
type port MyPort message realtime {
inout integer
}
Communication operations (i.e. send, receive, etc) on ports of type MyPort can have their timestamps stored in a float variable.