blob: 5089193c7d628187180b76611538850af96fac60 [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
Guido van Rossumc6360141990-10-13 19:23:40 +000017# Some strings for ctype-style character classification
Guido van Rossum8e2ec561993-07-29 09:37:38 +000018whitespace = ' \t\n\r\v\f'
Martin v. Löwis967f1e32007-08-14 09:23:10 +000019ascii_lowercase = 'abcdefghijklmnopqrstuvwxyz'
20ascii_uppercase = 'ABCDEFGHIJKLMNOPQRSTUVWXYZ'
Fred Drake960fdf92001-07-20 18:38:26 +000021ascii_letters = ascii_lowercase + ascii_uppercase
Guido van Rossumc6360141990-10-13 19:23:40 +000022digits = '0123456789'
23hexdigits = digits + 'abcdef' + 'ABCDEF'
24octdigits = '01234567'
Tim Peters495ad3c2001-01-15 01:36:40 +000025punctuation = """!"#$%&'()*+,-./:;<=>?@[\]^_`{|}~"""
Martin v. Löwis967f1e32007-08-14 09:23:10 +000026printable = digits + ascii_letters + punctuation + whitespace
Guido van Rossumc6360141990-10-13 19:23:40 +000027
Barry Warsaw8bee7612004-08-25 02:22:30 +000028# Functions which aren't available as string methods.
29
30# Capitalize the words in a string, e.g. " aBc dEf " -> "Abc Def".
Barry Warsaw8bee7612004-08-25 02:22:30 +000031def capwords(s, sep=None):
Ezio Melottia40bdda2009-09-26 12:33:22 +000032 """capwords(s [,sep]) -> string
Barry Warsaw8bee7612004-08-25 02:22:30 +000033
34 Split the argument into words using split, capitalize each
35 word using capitalize, and join the capitalized words using
Ezio Melottia40bdda2009-09-26 12:33:22 +000036 join. If the optional second argument sep is absent or None,
37 runs of whitespace characters are replaced by a single space
38 and leading and trailing whitespace are removed, otherwise
39 sep is used to split and join the words.
Barry Warsaw8bee7612004-08-25 02:22:30 +000040
41 """
Ezio Melottia40bdda2009-09-26 12:33:22 +000042 return (sep or ' ').join(x.capitalize() for x in s.split(sep))
Barry Warsaw8bee7612004-08-25 02:22:30 +000043
44
Raymond Hettinger0d58e2b2004-08-26 00:21:13 +000045####################################################################
Barry Warsaw8bee7612004-08-25 02:22:30 +000046import re as _re
47
Barry Warsaw46b629c2004-09-13 14:35:04 +000048class _multimap:
49 """Helper class for combining multiple mappings.
50
51 Used by .{safe_,}substitute() to combine the mapping and keyword
52 arguments.
53 """
54 def __init__(self, primary, secondary):
55 self._primary = primary
56 self._secondary = secondary
57
58 def __getitem__(self, key):
59 try:
60 return self._primary[key]
61 except KeyError:
62 return self._secondary[key]
63
64
Barry Warsaw12827c12004-09-10 03:08:08 +000065class _TemplateMetaclass(type):
66 pattern = r"""
Raymond Hettinger55593c32004-09-26 18:56:44 +000067 %(delim)s(?:
68 (?P<escaped>%(delim)s) | # Escape sequence of two delimiters
69 (?P<named>%(id)s) | # delimiter and a Python identifier
70 {(?P<braced>%(id)s)} | # delimiter and a braced identifier
71 (?P<invalid>) # Other ill-formed delimiter exprs
72 )
Barry Warsaw12827c12004-09-10 03:08:08 +000073 """
74
75 def __init__(cls, name, bases, dct):
76 super(_TemplateMetaclass, cls).__init__(name, bases, dct)
77 if 'pattern' in dct:
78 pattern = cls.pattern
79 else:
80 pattern = _TemplateMetaclass.pattern % {
Barry Warsaw17cb6002004-09-18 00:06:34 +000081 'delim' : _re.escape(cls.delimiter),
Barry Warsaw12827c12004-09-10 03:08:08 +000082 'id' : cls.idpattern,
83 }
84 cls.pattern = _re.compile(pattern, _re.IGNORECASE | _re.VERBOSE)
85
86
Guido van Rossum52cc1d82007-03-18 15:41:51 +000087class Template(metaclass=_TemplateMetaclass):
Barry Warsaw8bee7612004-08-25 02:22:30 +000088 """A string class for supporting $-substitutions."""
Barry Warsaw12827c12004-09-10 03:08:08 +000089
Barry Warsaw17cb6002004-09-18 00:06:34 +000090 delimiter = '$'
Barry Warsaw12827c12004-09-10 03:08:08 +000091 idpattern = r'[_a-z][_a-z0-9]*'
92
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')
Barry Warsaw12827c12004-09-10 03:08:08 +0000100 lines = self.template[:i].splitlines(True)
101 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
Barry Warsawb6234a92004-09-13 15:25:15 +0000110 def substitute(self, *args, **kws):
111 if len(args) > 1:
112 raise TypeError('Too many positional arguments')
113 if not args:
114 mapping = kws
Barry Warsaw46b629c2004-09-13 14:35:04 +0000115 elif kws:
Barry Warsawb6234a92004-09-13 15:25:15 +0000116 mapping = _multimap(kws, args[0])
117 else:
118 mapping = args[0]
Barry Warsaw46b629c2004-09-13 14:35:04 +0000119 # Helper function for .sub()
Barry Warsaw8bee7612004-08-25 02:22:30 +0000120 def convert(mo):
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000121 # Check the most common path first.
122 named = mo.group('named') or mo.group('braced')
123 if named is not None:
124 val = mapping[named]
125 # We use this idiom instead of str() because the latter will
126 # fail if val is a Unicode containing non-ASCII characters.
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000127 return '%s' % (val,)
Raymond Hettinger0d58e2b2004-08-26 00:21:13 +0000128 if mo.group('escaped') is not None:
Barry Warsaw17cb6002004-09-18 00:06:34 +0000129 return self.delimiter
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000130 if mo.group('invalid') is not None:
131 self._invalid(mo)
Neal Norwitz6627a962004-10-17 16:27:18 +0000132 raise ValueError('Unrecognized named group in pattern',
133 self.pattern)
Barry Warsaw12827c12004-09-10 03:08:08 +0000134 return self.pattern.sub(convert, self.template)
Barry Warsaw8bee7612004-08-25 02:22:30 +0000135
Barry Warsawb6234a92004-09-13 15:25:15 +0000136 def safe_substitute(self, *args, **kws):
137 if len(args) > 1:
138 raise TypeError('Too many positional arguments')
139 if not args:
140 mapping = kws
Barry Warsaw46b629c2004-09-13 14:35:04 +0000141 elif kws:
Barry Warsawb6234a92004-09-13 15:25:15 +0000142 mapping = _multimap(kws, args[0])
143 else:
144 mapping = args[0]
Barry Warsaw46b629c2004-09-13 14:35:04 +0000145 # Helper function for .sub()
Barry Warsaw8bee7612004-08-25 02:22:30 +0000146 def convert(mo):
Raymond Hettinger0d58e2b2004-08-26 00:21:13 +0000147 named = mo.group('named')
Barry Warsaw8bee7612004-08-25 02:22:30 +0000148 if named is not None:
149 try:
Barry Warsaw12827c12004-09-10 03:08:08 +0000150 # We use this idiom instead of str() because the latter
151 # will fail if val is a Unicode containing non-ASCII
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000152 return '%s' % (mapping[named],)
Barry Warsaw8bee7612004-08-25 02:22:30 +0000153 except KeyError:
Barry Warsaw17cb6002004-09-18 00:06:34 +0000154 return self.delimiter + named
Raymond Hettinger0d58e2b2004-08-26 00:21:13 +0000155 braced = mo.group('braced')
Raymond Hettinger6d191112004-09-14 02:34:08 +0000156 if braced is not None:
157 try:
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000158 return '%s' % (mapping[braced],)
Raymond Hettinger6d191112004-09-14 02:34:08 +0000159 except KeyError:
Barry Warsaw17cb6002004-09-18 00:06:34 +0000160 return self.delimiter + '{' + braced + '}'
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000161 if mo.group('escaped') is not None:
Barry Warsaw17cb6002004-09-18 00:06:34 +0000162 return self.delimiter
Barry Warsawb5c6b5b2004-09-13 20:52:50 +0000163 if mo.group('invalid') is not None:
Barry Warsaw8c72eae2004-11-01 03:52:43 +0000164 return self.delimiter
Neal Norwitz6627a962004-10-17 16:27:18 +0000165 raise ValueError('Unrecognized named group in pattern',
166 self.pattern)
Barry Warsaw12827c12004-09-10 03:08:08 +0000167 return self.pattern.sub(convert, self.template)
Eric Smith8c663262007-08-25 02:26:07 +0000168
169
170
171########################################################################
172# the Formatter class
173# see PEP 3101 for details and purpose of this class
174
Benjamin Petersonf608c612008-11-16 18:33:53 +0000175# The hard parts are reused from the C implementation. They're exposed as "_"
176# prefixed methods of str and unicode.
Eric Smith8c663262007-08-25 02:26:07 +0000177
Eric Smithe226b552007-08-27 11:28:18 +0000178# The overall parser is implemented in str._formatter_parser.
179# The field name parser is implemented in str._formatter_field_name_split
Eric Smith8c663262007-08-25 02:26:07 +0000180
181class Formatter:
182 def format(self, format_string, *args, **kwargs):
183 return self.vformat(format_string, args, kwargs)
184
185 def vformat(self, format_string, args, kwargs):
Eric Smith3bcc42a2007-08-31 02:26:31 +0000186 used_args = set()
Eric Smith11529192007-09-04 23:04:22 +0000187 result = self._vformat(format_string, args, kwargs, used_args, 2)
188 self.check_unused_args(used_args, args, kwargs)
189 return result
190
191 def _vformat(self, format_string, args, kwargs, used_args, recursion_depth):
192 if recursion_depth < 0:
193 raise ValueError('Max string recursion exceeded')
Eric Smith8c663262007-08-25 02:26:07 +0000194 result = []
Eric Smith9e7c8da2007-08-28 11:15:20 +0000195 for literal_text, field_name, format_spec, conversion in \
196 self.parse(format_string):
Eric Smith625cbf22007-08-29 03:22:59 +0000197
198 # output the literal text
199 if literal_text:
200 result.append(literal_text)
201
202 # if there's a field, output it
203 if field_name is not None:
Eric Smith9e7c8da2007-08-28 11:15:20 +0000204 # this is some markup, find the object and do
205 # the formatting
206
Eric Smith7ade6482007-08-26 22:27:13 +0000207 # given the field_name, find the object it references
Eric Smith3bcc42a2007-08-31 02:26:31 +0000208 # and the argument it came from
Eric Smith9d4ba392007-09-02 15:33:26 +0000209 obj, arg_used = self.get_field(field_name, args, kwargs)
Eric Smith3bcc42a2007-08-31 02:26:31 +0000210 used_args.add(arg_used)
Eric Smith7ade6482007-08-26 22:27:13 +0000211
212 # do any conversion on the resulting object
Eric Smith9e7c8da2007-08-28 11:15:20 +0000213 obj = self.convert_field(obj, conversion)
Eric Smith7ade6482007-08-26 22:27:13 +0000214
Eric Smith11529192007-09-04 23:04:22 +0000215 # expand the format spec, if needed
216 format_spec = self._vformat(format_spec, args, kwargs,
217 used_args, recursion_depth-1)
218
Eric Smith7ade6482007-08-26 22:27:13 +0000219 # format the object and append to the result
220 result.append(self.format_field(obj, format_spec))
Eric Smith625cbf22007-08-29 03:22:59 +0000221
Eric Smith8c663262007-08-25 02:26:07 +0000222 return ''.join(result)
223
Eric Smith9e7c8da2007-08-28 11:15:20 +0000224
Eric Smith8c663262007-08-25 02:26:07 +0000225 def get_value(self, key, args, kwargs):
Eric Smith7ade6482007-08-26 22:27:13 +0000226 if isinstance(key, int):
227 return args[key]
228 else:
229 return kwargs[key]
Eric Smith8c663262007-08-25 02:26:07 +0000230
Eric Smith9e7c8da2007-08-28 11:15:20 +0000231
Eric Smith8c663262007-08-25 02:26:07 +0000232 def check_unused_args(self, used_args, args, kwargs):
233 pass
234
Eric Smith9e7c8da2007-08-28 11:15:20 +0000235
Eric Smith8c663262007-08-25 02:26:07 +0000236 def format_field(self, value, format_spec):
Eric Smith7ade6482007-08-26 22:27:13 +0000237 return format(value, format_spec)
Eric Smith9e7c8da2007-08-28 11:15:20 +0000238
239
240 def convert_field(self, value, conversion):
241 # do any conversion on the resulting object
242 if conversion == 'r':
243 return repr(value)
244 elif conversion == 's':
245 return str(value)
Eric Smith11529192007-09-04 23:04:22 +0000246 elif conversion is None:
Eric Smith9e7c8da2007-08-28 11:15:20 +0000247 return value
Eric Smith11529192007-09-04 23:04:22 +0000248 raise ValueError("Unknown converion specifier {0!s}".format(conversion))
Eric Smith9e7c8da2007-08-28 11:15:20 +0000249
250
251 # returns an iterable that contains tuples of the form:
252 # (literal_text, field_name, format_spec, conversion)
Eric Smith625cbf22007-08-29 03:22:59 +0000253 # literal_text can be zero length
254 # field_name can be None, in which case there's no
255 # object to format and output
256 # if field_name is not None, it is looked up, formatted
257 # with format_spec and conversion and then used
Eric Smith9e7c8da2007-08-28 11:15:20 +0000258 def parse(self, format_string):
259 return format_string._formatter_parser()
260
261
262 # given a field_name, find the object it references.
263 # field_name: the field being looked up, e.g. "0.name"
264 # or "lookup[3]"
265 # used_args: a set of which args have been used
266 # args, kwargs: as passed in to vformat
Eric Smith9d4ba392007-09-02 15:33:26 +0000267 def get_field(self, field_name, args, kwargs):
Eric Smith9e7c8da2007-08-28 11:15:20 +0000268 first, rest = field_name._formatter_field_name_split()
269
Eric Smith9e7c8da2007-08-28 11:15:20 +0000270 obj = self.get_value(first, args, kwargs)
271
272 # loop through the rest of the field_name, doing
273 # getattr or getitem as needed
274 for is_attr, i in rest:
275 if is_attr:
276 obj = getattr(obj, i)
277 else:
278 obj = obj[i]
279
Eric Smith3bcc42a2007-08-31 02:26:31 +0000280 return obj, first