Titan



realtime


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.