Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
19 lines (17 sloc) 575 Bytes
datetimeandzone = (dayname sp)? datetime (sp zone)?
sp = #'[ ,]+'
day = #'\d{1,2}'
monthnum = #'[01]?\d'
year = #'\d{4}'
hour = #'[012]?\d'
min = #'\d?\d'
sec = #'\d?\d'
time = hour ':' min ':' sec
dayandmonth = monthname sp day | day sp monthname
datetime = dayandmonth sp time sp year |
dayandmonth sp year sp time |
year '-' monthnum '-' day sp time
dayname = 'mon' | 'tue' | 'wed' | 'thu' | 'fri' | 'sat' | 'sun'
monthname = 'jan' | 'feb' | 'mar' | 'apr' | 'may' | 'jun' |
'jul' | 'aug' | 'sep' | 'oct' | 'nov' | 'dec'
zone = #'[+-]\d{4}'