DATETIME
A datetime literal token of the form @YYYY-MM-DDThh:mm:ss.fff+hh:mm. The @ prefix and T separator are required. The time component and timezone offset are optional. For example: @2024-01-15T12:30:00+05:00 or @2024-01-15T.
Examples
Full datetime with timezone
@2024-01-15T12:30:00+05:00
UTC datetime
@2024-01-15T12:30:00Z
Date with time marker only
@2024-01-15T
Used in a period comparison
Encounter.period starts after @2024-01-01T00:00:00Z
EBNF
DATETIME
: '@' DATEFORMAT 'T' TIMEFORMAT? TIMEZONEOFFSETFORMAT?
;
TIMEZONEOFFSETFORMAT
: ('+'|'-') [0-9][0-9] ':' [0-9][0-9]
| 'Z'
;