TIME
A time literal token of the form @Thh:mm:ss.fff. The @T prefix distinguishes time literals from datetime literals. Minutes, seconds, and milliseconds are optional, allowing partial times such as @T14 or @T14:30.
Examples
Hours, minutes, seconds
@T14:30:00
Hours and minutes only
@T14:30
With milliseconds
@T14:30:00.500
Used in a time comparison
Obs.effective.time >= @T08:00
EBNF
TIME
: '@T' TIMEFORMAT
;
TIMEFORMAT
: [0-9][0-9] (':' [0-9][0-9] (':' [0-9][0-9] ('.' [0-9]+)?)?)?
;