blob: fd4b1f7a62f10da5c43b5cc3b1ab658b4135d7fe [file] [log] [blame]
Neal Norwitz9d72bb42007-04-17 08:48:32 +00001"""A collection of string constants.
Guido van Rossum20032041997-12-29 19:26:28 +00002
3Public module variables:
4
Georg Brandl50767402008-11-22 08:31:09 +00005whitespace -- a string containing all ASCII whitespace
6ascii_lowercase -- a string containing all ASCII lowercase letters
7ascii_uppercase -- a string containing all ASCII uppercase letters
8ascii_letters -- a string containing all ASCII letters
9digits -- a string containing all ASCII decimal digits
10hexdigits -- a string containing all ASCII hexadecimal digits
11octdigits -- a string containing all ASCII octal digits
12punctuation -- a string containing all ASCII punctuation characters
13printable -- a string containing all ASCII characters considered printable
Guido van Rossum20032041997-12-29 19:26:28 +000014
15"""
16
Zachary Warec17a0b82016-06-04 14:35:05 -050017__all__ = ["ascii_letters", "ascii_lowercase", "ascii_uppercase", "capwords",
18 "digits", "hexdigits", "octdigits", "printable", "punctuation",
19 "whitespace", "Formatter", "Template"]
20
Georg Brandl66c221e2010-10-14 07:04:07 +000021import _string
22
Guido van Rossumc6360141990-10-13 19:23:40 +000023# Some strings for ctype-style character classification
Guido van Rossum8e2ec561993-07-29 09:37:38 +000024whitespace = ' \t\n\r\v\f'
Martin v. Löwis967f1e32007-08-14 09:23:10 +000025ascii_lowercase = 'abcdefghijklmnopqrstuvwxyz'
26ascii_uppercase = 'ABCDEFGHIJKLMNOPQRSTUVWXYZ'
Fred Drake960fdf92001-07-20 18:38:26 +000027ascii_letters = ascii_lowercase + ascii_uppercase
Guido van Rossumc6360141990-10-13 19:23:40 +000028digits = '0123456789'
29hexdigits = digits + 'abcdef' + 'ABCDEF'
30octdigits = '01234567'
R David Murray44b548d2016-09-08 13:59:53 -040031punctuation = r"""!"#$%&'()*+,-./:;<=>?@[\]^_`{|}~"""
Martin v. Löwis967f1e32007-08-14 09:23:10 +000032printable = digits + ascii_letters + punctuation + whitespace
Guido van Rossumc6360141990-10-13 19:23:40 +000033
Barry Warsaw8bee7612004-08-25 02:22:30 +000034# Functions which aren't available as string methods.
35
36# Capitalize the words in a string, e.g. " aBc dEf " -> "Abc Def".
Barry Warsaw8bee7612004-08-25 02:22:30 +000037def capwords(s, sep=None):
Ezio Melottia40bdda2009-09-26 12:33:22 +000038 """capwords(s [,sep]) -> string
Barry Warsaw8bee7612004-08-25 02:22:30 +000039
40 Split the argument into words using split, capitalize each
41 word using capitalize, and join the capitalized words using
Ezio Melottia40bdda2009-09-26 12:33:22 +000042 join. If the optional second argument sep is absent or None,
43 runs of whitespace characters are replaced by a single space
44 and leading and trailing whitespace are removed, otherwise
45 sep is used to split and join the words.
Barry Warsaw8bee7612004-08-25 02:22:30 +000046
47 """
Ezio Melottia40bdda2009-09-26 12:33:22 +000048 return (sep or ' ').join(x.capitalize() for x in s.split(sep))
Barry Warsaw8bee7612004-08-25 02:22:30 +000049
50
Raymond Hettinger0d58e2b2004-08-26 00:21:13 +000051####################################################################
Barry Warsaw8bee7612004-08-25 02:22:30 +000052import re as _re
Zachary Warec17a0b82016-06-04 14:35:05 -050053from collections import ChainMap as _ChainMap
Barry Warsaw46b629c2004-09-13 14:35:04 +000054
Barry Warsaw12827c12004-09-10 03:08:08 +000055class _TemplateMetaclass(type):
56 pattern = r"""
Raymond Hettinger55593c32004-09-26 18:56:44 +000057 %(delim)s(?:
58 (?P<escaped>%(delim)s) | # Escape sequence of two delimiters
59 (?P<named>%(id)s) | # delimiter and a Python identifier
Barry Warsawba427962017-09-04 16:32:10 -040060 {(?P<braced>%(bid)s)} | # delimiter and a braced identifier
Raymond Hettinger55593c32004-09-26 18:56:44 +000061 (?P<invalid>) # Other ill-formed delimiter exprs
62 )
Barry Warsaw12827c12004-09-10 03:08:08 +000063 """
64
65 def __init__(cls, name, bases, dct):
66 super(_TemplateMetaclass, cls).__init__(name, bases, dct)
67 if 'pattern' in dct:
68 pattern = cls.pattern
69 else:
70 pattern = _TemplateMetaclass.pattern % {
Barry Warsaw17cb6002004-09-18 00:06:34 +000071 'delim' : _re.escape(cls.delimiter),
Barry Warsaw12827c12004-09-10 03:08:08 +000072 'id' : cls.idpattern,
Barry Warsawba427962017-09-04 16:32:10 -040073 'bid' : cls.braceidpattern or cls.idpattern,
Barry Warsaw12827c12004-09-10 03:08:08 +000074 }
Georg Brandl056cb932010-07-29 17:16:10 +000075 cls.pattern = _re.compile(pattern, cls.flags | _re.VERBOSE)
Barry Warsaw12827c12004-09-10 03:08:08 +000076
77
Guido van Rossum52cc1d82007-03-18 15:41:51 +000078class Template(metaclass=_TemplateMetaclass):
Barry Warsaw8bee7612004-08-25 02:22:30 +000079 """A string class for supporting $-substitutions."""
Barry Warsaw12827c12004-09-10 03:08:08 +000080
Barry Warsaw17cb6002004-09-18 00:06:34 +000081 delimiter = '$'
Barry Warsawe256b402017-11-21 10:28:13 -050082 # r'[a-z]' matches to non-ASCII letters when used with IGNORECASE, but
83 # without the ASCII flag. We can't add re.ASCII to flags because of
84 # backward compatibility. So we use the ?a local flag and [a-z] pattern.
85 # We also can't remove the A-Z ranges, because although they are
86 # technically redundant with the IGNORECASE flag, the value is part of the
87 # publicly documented API.
INADA Naokib22273e2017-10-13 16:02:23 +090088 # See https://bugs.python.org/issue31672
Barry Warsawe256b402017-11-21 10:28:13 -050089 idpattern = r'(?a:[_a-zA-Z][_a-zA-Z0-9]*)'
Barry Warsawba427962017-09-04 16:32:10 -040090 braceidpattern = None
Georg Brandl056cb932010-07-29 17:16:10 +000091 flags = _re.IGNORECASE
Barry Warsaw12827c12004-09-10 03:08:08 +000092
93 def __init__(self, template):
94 self.template = template
Barry Warsaw8bee7612004-08-25 02:22:30 +000095
96 # Search for $$, $identifier, ${identifier}, and any bare $'s
Barry Warsaw8bee7612004-08-25 02:22:30 +000097
Barry Warsawb5c6b5b2004-09-13 20:52:50 +000098 def _invalid(self, mo):
99 i = mo.start('invalid')
Ezio Melottid8b509b2011-09-28 17:37:55 +0300100 lines = self.template[:i].splitlines(keepends=True)
Barry Warsaw12827c12004-09-10 03:08:08 +0000101 if not lines:
102 colno = 1
103 lineno = 1
104 else:
105 colno = i - len(''.join(lines[:-1]))
106 lineno = len(lines)
107 raise ValueError('Invalid placeholder in string: line %d, col %d' %
108 (lineno, colno))
109
Serhiy Storchaka8ffe9172015-03-24 22:28:43 +0200110 def substitute(*args, **kws):
111 if not args:
112 raise TypeError("descriptor 'substitute' of 'Template' object "
113 "needs an argument")
114 self, *args = args # allow the "self" keyword be passed
Barry Warsawb6234a92004-09-13 15:25:15 +0000115 if len(args) > 1:
116 raise TypeError('Too many positional arguments')
117 if not args:
118 mapping = kws
Barry Warsaw46b629c2004-09-13 14:35:04 +0000119 elif kws:
Zachary Warec17a0b82016-06-04 14:35:05 -0500120 mapping = _ChainMap(kws, args[0])
Barry Warsawb6234a92004-09-13 15:25:15 +0000121 else:
122 mapping = args[0]
Barry Warsaw46b629c2004-09-13 14:35:04 +0000123 # Helper function for .sub()
Barry Warsaw8bee7612004-08-25 02:22:30 +0000124 def convert(mo):
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000125 # Check the most common path first.
126 named = mo.group('named') or mo.group('braced')
127 if named is not None:
Serhiy Storchaka6e6883f2015-05-28 20:45:29 +0300128 return str(mapping[named])
Raymond Hettinger0d58e2b2004-08-26 00:21:13 +0000129 if mo.group('escaped') is not None:
Barry Warsaw17cb6002004-09-18 00:06:34 +0000130 return self.delimiter
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000131 if mo.group('invalid') is not None:
132 self._invalid(mo)
Neal Norwitz6627a962004-10-17 16:27:18 +0000133 raise ValueError('Unrecognized named group in pattern',
134 self.pattern)
Barry Warsaw12827c12004-09-10 03:08:08 +0000135 return self.pattern.sub(convert, self.template)
Barry Warsaw8bee7612004-08-25 02:22:30 +0000136
Serhiy Storchaka8ffe9172015-03-24 22:28:43 +0200137 def safe_substitute(*args, **kws):
138 if not args:
139 raise TypeError("descriptor 'safe_substitute' of 'Template' object "
140 "needs an argument")
141 self, *args = args # allow the "self" keyword be passed
Barry Warsawb6234a92004-09-13 15:25:15 +0000142 if len(args) > 1:
143 raise TypeError('Too many positional arguments')
144 if not args:
145 mapping = kws
Barry Warsaw46b629c2004-09-13 14:35:04 +0000146 elif kws:
Zachary Warec17a0b82016-06-04 14:35:05 -0500147 mapping = _ChainMap(kws, args[0])
Barry Warsawb6234a92004-09-13 15:25:15 +0000148 else:
149 mapping = args[0]
Barry Warsaw46b629c2004-09-13 14:35:04 +0000150 # Helper function for .sub()
Barry Warsaw8bee7612004-08-25 02:22:30 +0000151 def convert(mo):
Florent Xiclunaeb19dce2010-09-18 23:34:07 +0000152 named = mo.group('named') or mo.group('braced')
Barry Warsaw8bee7612004-08-25 02:22:30 +0000153 if named is not None:
154 try:
Serhiy Storchaka6e6883f2015-05-28 20:45:29 +0300155 return str(mapping[named])
Barry Warsaw8bee7612004-08-25 02:22:30 +0000156 except KeyError:
Florent Xiclunaeb19dce2010-09-18 23:34:07 +0000157 return mo.group()
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000158 if mo.group('escaped') is not None:
Barry Warsaw17cb6002004-09-18 00:06:34 +0000159 return self.delimiter
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000160 if mo.group('invalid') is not None:
Florent Xiclunaeb19dce2010-09-18 23:34:07 +0000161 return mo.group()
Neal Norwitz6627a962004-10-17 16:27:18 +0000162 raise ValueError('Unrecognized named group in pattern',
163 self.pattern)
Barry Warsaw12827c12004-09-10 03:08:08 +0000164 return self.pattern.sub(convert, self.template)
Eric Smith8c663262007-08-25 02:26:07 +0000165
166
167
168########################################################################
169# the Formatter class
170# see PEP 3101 for details and purpose of this class
171
Benjamin Petersonf608c612008-11-16 18:33:53 +0000172# The hard parts are reused from the C implementation. They're exposed as "_"
Florent Xicluna7b2a7712010-09-06 20:27:55 +0000173# prefixed methods of str.
Eric Smith8c663262007-08-25 02:26:07 +0000174
Georg Brandl66c221e2010-10-14 07:04:07 +0000175# The overall parser is implemented in _string.formatter_parser.
176# The field name parser is implemented in _string.formatter_field_name_split
Eric Smith8c663262007-08-25 02:26:07 +0000177
178class Formatter:
Serhiy Storchaka8ffe9172015-03-24 22:28:43 +0200179 def format(*args, **kwargs):
180 if not args:
181 raise TypeError("descriptor 'format' of 'Formatter' object "
182 "needs an argument")
183 self, *args = args # allow the "self" keyword be passed
184 try:
185 format_string, *args = args # allow the "format_string" keyword be passed
186 except ValueError:
Serhiy Storchaka009b0a12017-01-13 09:10:51 +0200187 raise TypeError("format() missing 1 required positional "
188 "argument: 'format_string'") from None
Eric Smith8c663262007-08-25 02:26:07 +0000189 return self.vformat(format_string, args, kwargs)
190
191 def vformat(self, format_string, args, kwargs):
Eric Smith3bcc42a2007-08-31 02:26:31 +0000192 used_args = set()
Eric V. Smith85976b12015-09-29 10:27:38 -0400193 result, _ = self._vformat(format_string, args, kwargs, used_args, 2)
Eric Smith11529192007-09-04 23:04:22 +0000194 self.check_unused_args(used_args, args, kwargs)
195 return result
196
Eric V. Smith7ce90742014-04-14 16:43:50 -0400197 def _vformat(self, format_string, args, kwargs, used_args, recursion_depth,
198 auto_arg_index=0):
Eric Smith11529192007-09-04 23:04:22 +0000199 if recursion_depth < 0:
200 raise ValueError('Max string recursion exceeded')
Eric Smith8c663262007-08-25 02:26:07 +0000201 result = []
Eric Smith9e7c8da2007-08-28 11:15:20 +0000202 for literal_text, field_name, format_spec, conversion in \
203 self.parse(format_string):
Eric Smith625cbf22007-08-29 03:22:59 +0000204
205 # output the literal text
206 if literal_text:
207 result.append(literal_text)
208
209 # if there's a field, output it
210 if field_name is not None:
Eric Smith9e7c8da2007-08-28 11:15:20 +0000211 # this is some markup, find the object and do
212 # the formatting
213
Eric V. Smith7ce90742014-04-14 16:43:50 -0400214 # handle arg indexing when empty field_names are given.
215 if field_name == '':
216 if auto_arg_index is False:
217 raise ValueError('cannot switch from manual field '
218 'specification to automatic field '
219 'numbering')
220 field_name = str(auto_arg_index)
221 auto_arg_index += 1
222 elif field_name.isdigit():
223 if auto_arg_index:
224 raise ValueError('cannot switch from manual field '
225 'specification to automatic field '
226 'numbering')
227 # disable auto arg incrementing, if it gets
228 # used later on, then an exception will be raised
229 auto_arg_index = False
230
Eric Smith7ade6482007-08-26 22:27:13 +0000231 # given the field_name, find the object it references
Eric Smith3bcc42a2007-08-31 02:26:31 +0000232 # and the argument it came from
Eric Smith9d4ba392007-09-02 15:33:26 +0000233 obj, arg_used = self.get_field(field_name, args, kwargs)
Eric Smith3bcc42a2007-08-31 02:26:31 +0000234 used_args.add(arg_used)
Eric Smith7ade6482007-08-26 22:27:13 +0000235
236 # do any conversion on the resulting object
Eric Smith9e7c8da2007-08-28 11:15:20 +0000237 obj = self.convert_field(obj, conversion)
Eric Smith7ade6482007-08-26 22:27:13 +0000238
Eric Smith11529192007-09-04 23:04:22 +0000239 # expand the format spec, if needed
Eric V. Smith85976b12015-09-29 10:27:38 -0400240 format_spec, auto_arg_index = self._vformat(
241 format_spec, args, kwargs,
242 used_args, recursion_depth-1,
243 auto_arg_index=auto_arg_index)
Eric Smith11529192007-09-04 23:04:22 +0000244
Eric Smith7ade6482007-08-26 22:27:13 +0000245 # format the object and append to the result
246 result.append(self.format_field(obj, format_spec))
Eric Smith625cbf22007-08-29 03:22:59 +0000247
Eric V. Smith85976b12015-09-29 10:27:38 -0400248 return ''.join(result), auto_arg_index
Eric Smith8c663262007-08-25 02:26:07 +0000249
Eric Smith9e7c8da2007-08-28 11:15:20 +0000250
Eric Smith8c663262007-08-25 02:26:07 +0000251 def get_value(self, key, args, kwargs):
Eric Smith7ade6482007-08-26 22:27:13 +0000252 if isinstance(key, int):
253 return args[key]
254 else:
255 return kwargs[key]
Eric Smith8c663262007-08-25 02:26:07 +0000256
Eric Smith9e7c8da2007-08-28 11:15:20 +0000257
Eric Smith8c663262007-08-25 02:26:07 +0000258 def check_unused_args(self, used_args, args, kwargs):
259 pass
260
Eric Smith9e7c8da2007-08-28 11:15:20 +0000261
Eric Smith8c663262007-08-25 02:26:07 +0000262 def format_field(self, value, format_spec):
Eric Smith7ade6482007-08-26 22:27:13 +0000263 return format(value, format_spec)
Eric Smith9e7c8da2007-08-28 11:15:20 +0000264
265
266 def convert_field(self, value, conversion):
267 # do any conversion on the resulting object
R David Murraye56bf972012-08-19 17:26:34 -0400268 if conversion is None:
269 return value
Eric Smith9e7c8da2007-08-28 11:15:20 +0000270 elif conversion == 's':
271 return str(value)
R David Murraye56bf972012-08-19 17:26:34 -0400272 elif conversion == 'r':
273 return repr(value)
274 elif conversion == 'a':
275 return ascii(value)
Florent Xicluna7b2a7712010-09-06 20:27:55 +0000276 raise ValueError("Unknown conversion specifier {0!s}".format(conversion))
Eric Smith9e7c8da2007-08-28 11:15:20 +0000277
278
279 # returns an iterable that contains tuples of the form:
280 # (literal_text, field_name, format_spec, conversion)
Eric Smith625cbf22007-08-29 03:22:59 +0000281 # literal_text can be zero length
282 # field_name can be None, in which case there's no
283 # object to format and output
284 # if field_name is not None, it is looked up, formatted
285 # with format_spec and conversion and then used
Eric Smith9e7c8da2007-08-28 11:15:20 +0000286 def parse(self, format_string):
Georg Brandl66c221e2010-10-14 07:04:07 +0000287 return _string.formatter_parser(format_string)
Eric Smith9e7c8da2007-08-28 11:15:20 +0000288
289
290 # given a field_name, find the object it references.
291 # field_name: the field being looked up, e.g. "0.name"
292 # or "lookup[3]"
293 # used_args: a set of which args have been used
294 # args, kwargs: as passed in to vformat
Eric Smith9d4ba392007-09-02 15:33:26 +0000295 def get_field(self, field_name, args, kwargs):
Georg Brandl66c221e2010-10-14 07:04:07 +0000296 first, rest = _string.formatter_field_name_split(field_name)
Eric Smith9e7c8da2007-08-28 11:15:20 +0000297
Eric Smith9e7c8da2007-08-28 11:15:20 +0000298 obj = self.get_value(first, args, kwargs)
299
300 # loop through the rest of the field_name, doing
301 # getattr or getitem as needed
302 for is_attr, i in rest:
303 if is_attr:
304 obj = getattr(obj, i)
305 else:
306 obj = obj[i]
307
Eric Smith3bcc42a2007-08-31 02:26:31 +0000308 return obj, first