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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
"""
This modules provides a method to parse an ISO 8601:2004 time string to a
Python datetime.time instance.
It supports all basic and extended formats including time zone specifications
as described in the ISO standard.
"""
import re
from decimal import Decimal, ROUND_FLOOR
from datetime import time
from isodate.isostrf import strftime, TIME_EXT_COMPLETE, TZ_EXT
from isodate.isoerror import ISO8601Error
from isodate.isotzinfo import TZ_REGEX, build_tzinfo
TIME_REGEX_CACHE = []
# used to cache regular expressions to parse ISO time strings.
def build_time_regexps():
"""
Build regular expressions to parse ISO time string.
The regular expressions are compiled and stored in TIME_REGEX_CACHE
for later reuse.
"""
if not TIME_REGEX_CACHE:
# ISO 8601 time representations allow decimal fractions on least
# significant time component. Command and Full Stop are both valid
# fraction separators.
# The letter 'T' is allowed as time designator in front of a time
# expression.
# Immediately after a time expression, a time zone definition is
# allowed.
# a TZ may be missing (local time), be a 'Z' for UTC or a string of
# +-hh:mm where the ':mm' part can be skipped.
# TZ information patterns:
# ''
# Z
# +-hh:mm
# +-hhmm
# +-hh =>
# isotzinfo.TZ_REGEX
def add_re(regex_text):
TIME_REGEX_CACHE.append(re.compile(r"\A" + regex_text + TZ_REGEX + r"\Z"))
# 1. complete time:
# hh:mm:ss.ss ... extended format
add_re(
r"T?(?P<hour>[0-9]{2}):"
r"(?P<minute>[0-9]{2}):"
r"(?P<second>[0-9]{2}"
r"([,.][0-9]+)?)"
)
# hhmmss.ss ... basic format
add_re(
r"T?(?P<hour>[0-9]{2})"
r"(?P<minute>[0-9]{2})"
r"(?P<second>[0-9]{2}"
r"([,.][0-9]+)?)"
)
# 2. reduced accuracy:
# hh:mm.mm ... extended format
add_re(r"T?(?P<hour>[0-9]{2}):" r"(?P<minute>[0-9]{2}" r"([,.][0-9]+)?)")
# hhmm.mm ... basic format
add_re(r"T?(?P<hour>[0-9]{2})" r"(?P<minute>[0-9]{2}" r"([,.][0-9]+)?)")
# hh.hh ... basic format
add_re(r"T?(?P<hour>[0-9]{2}" r"([,.][0-9]+)?)")
return TIME_REGEX_CACHE
def parse_time(timestring):
"""
Parses ISO 8601 times into datetime.time objects.
Following ISO 8601 formats are supported:
(as decimal separator a ',' or a '.' is allowed)
hhmmss.ssTZD basic complete time
hh:mm:ss.ssTZD extended compelte time
hhmm.mmTZD basic reduced accuracy time
hh:mm.mmTZD extended reduced accuracy time
hh.hhTZD basic reduced accuracy time
TZD is the time zone designator which can be in the following format:
no designator indicates local time zone
Z UTC
+-hhmm basic hours and minutes
+-hh:mm extended hours and minutes
+-hh hours
"""
isotimes = build_time_regexps()
for pattern in isotimes:
match = pattern.match(timestring)
if match:
groups = match.groupdict()
for key, value in groups.items():
if value is not None:
groups[key] = value.replace(",", ".")
tzinfo = build_tzinfo(
groups["tzname"],
groups["tzsign"],
int(groups["tzhour"] or 0),
int(groups["tzmin"] or 0),
)
if "second" in groups:
second = Decimal(groups["second"]).quantize(
Decimal(".000001"), rounding=ROUND_FLOOR
)
microsecond = (second - int(second)) * int(1e6)
# int(...) ... no rounding
# to_integral() ... rounding
return time(
int(groups["hour"]),
int(groups["minute"]),
int(second),
int(microsecond.to_integral()),
tzinfo,
)
if "minute" in groups:
minute = Decimal(groups["minute"])
second = Decimal((minute - int(minute)) * 60).quantize(
Decimal(".000001"), rounding=ROUND_FLOOR
)
microsecond = (second - int(second)) * int(1e6)
return time(
int(groups["hour"]),
int(minute),
int(second),
int(microsecond.to_integral()),
tzinfo,
)
else:
microsecond, second, minute = 0, 0, 0
hour = Decimal(groups["hour"])
minute = (hour - int(hour)) * 60
second = (minute - int(minute)) * 60
microsecond = (second - int(second)) * int(1e6)
return time(
int(hour),
int(minute),
int(second),
int(microsecond.to_integral()),
tzinfo,
)
raise ISO8601Error("Unrecognised ISO 8601 time format: %r" % timestring)
def time_isoformat(ttime, format=TIME_EXT_COMPLETE + TZ_EXT):
"""
Format time strings.
This method is just a wrapper around isodate.isostrf.strftime and uses
Time-Extended-Complete with extended time zone as default format.
"""
return strftime(ttime, format)
|