1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
%%{
machine date_time;
# day_of_week
day_name = "Mon" | "Tue" | "Wed" | "Thu" | "Fri" | "Sat" | "Sun";
obs_day_of_week = CFWS? day_name CFWS?;
day_of_week = (FWS? day_name) | obs_day_of_week;
# date
obs_day = CFWS? (DIGIT | (DIGIT DIGIT)) CFWS?;
day = (FWS? DIGIT DIGIT? FWS) | obs_day;
month = "Jan" | "Feb" | "Mar" | "Apr" | "May" | "Jun" | "Jul" | "Aug" | "Sep" | "Oct" | "Nov" | "Dec";
obs_year = CFWS? (DIGIT DIGIT DIGIT*) CFWS?;
year = FWS DIGIT DIGIT DIGIT DIGIT FWS | obs_year;
date = day month year;
# time
obs_hour = CFWS? (DIGIT DIGIT) CFWS?;
hour = DIGIT DIGIT | obs_hour;
obs_minute = CFWS? (DIGIT DIGIT) CFWS?;
minute = DIGIT DIGIT | obs_minute;
obs_second = CFWS? (DIGIT DIGIT) CFWS?;
second = DIGIT DIGIT | obs_second;
obs_zone = "UT" | "GMT" | "EST" | "EDT" | "CST" | "CDT" | "MST" | "MDT" | "PST" | "PDT" | 0x41..0x49 | 0x4B..0x5A | 0x61..0x69 | 0x6B..0x7A;
time_of_day = hour ":" minute (":" second)?;
zone = FWS ((("+" | "-") DIGIT DIGIT DIGIT DIGIT) | obs_zone);
time = time_of_day zone;
}%%
|
