blob: 9681c7c96d44e57e077934d0aeef137af7e85960 [file] [log] [blame]
Guido van Rossume7b146f2000-02-04 15:28:42 +00001"""Parse (absolute and relative) URLs.
2
3See RFC 1808: "Relative Uniform Resource Locators", by R. Fielding,
4UC Irvine, June 1995.
5"""
Guido van Rossum23cb2a81994-09-12 10:36:35 +00006
Fred Drakef606e8d2002-10-16 21:21:39 +00007__all__ = ["urlparse", "urlunparse", "urljoin", "urldefrag",
8 "urlsplit", "urlunsplit"]
Skip Montanaro40fc1602001-03-01 04:27:19 +00009
Guido van Rossum23cb2a81994-09-12 10:36:35 +000010# A classification of schemes ('' means apply by default)
Raymond Hettingeref30dc82003-01-07 02:09:16 +000011uses_relative = ['ftp', 'http', 'gopher', 'nntp', 'imap',
Skip Montanarof09b88e2003-01-06 20:27:03 +000012 'wais', 'file', 'https', 'shttp', 'mms',
Raymond Hettingeref30dc82003-01-07 02:09:16 +000013 'prospero', 'rtsp', 'rtspu', '']
14uses_netloc = ['ftp', 'http', 'gopher', 'nntp', 'telnet',
Skip Montanarof09b88e2003-01-06 20:27:03 +000015 'imap', 'wais', 'file', 'mms', 'https', 'shttp',
Raymond Hettingeref30dc82003-01-07 02:09:16 +000016 'snews', 'prospero', 'rtsp', 'rtspu', '']
17non_hierarchical = ['gopher', 'hdl', 'mailto', 'news',
18 'telnet', 'wais', 'imap', 'snews', 'sip']
19uses_params = ['ftp', 'hdl', 'prospero', 'http', 'imap',
Skip Montanarof09b88e2003-01-06 20:27:03 +000020 'https', 'shttp', 'rtsp', 'rtspu', 'sip',
Raymond Hettingeref30dc82003-01-07 02:09:16 +000021 'mms', '']
22uses_query = ['http', 'wais', 'imap', 'https', 'shttp', 'mms',
23 'gopher', 'rtsp', 'rtspu', 'sip', '']
24uses_fragment = ['ftp', 'hdl', 'http', 'gopher', 'news',
Skip Montanarof09b88e2003-01-06 20:27:03 +000025 'nntp', 'wais', 'https', 'shttp', 'snews',
Raymond Hettingeref30dc82003-01-07 02:09:16 +000026 'file', 'prospero', '']
Guido van Rossum23cb2a81994-09-12 10:36:35 +000027
28# Characters valid in scheme names
Guido van Rossumfad81f02000-12-19 16:48:13 +000029scheme_chars = ('abcdefghijklmnopqrstuvwxyz'
30 'ABCDEFGHIJKLMNOPQRSTUVWXYZ'
31 '0123456789'
32 '+-.')
Guido van Rossum23cb2a81994-09-12 10:36:35 +000033
Guido van Rossum74495401997-07-14 19:08:15 +000034MAX_CACHE_SIZE = 20
Guido van Rossum3fd32ec1996-05-28 23:54:24 +000035_parse_cache = {}
36
37def clear_cache():
Tim Peterse1190062001-01-15 03:34:38 +000038 """Clear the parse cache."""
39 global _parse_cache
40 _parse_cache = {}
Guido van Rossum3fd32ec1996-05-28 23:54:24 +000041
42
Fred Drake5751a222001-11-16 02:52:57 +000043def urlparse(url, scheme='', allow_fragments=1):
Tim Peterse1190062001-01-15 03:34:38 +000044 """Parse a URL into 6 components:
45 <scheme>://<netloc>/<path>;<params>?<query>#<fragment>
46 Return a 6-tuple: (scheme, netloc, path, params, query, fragment).
47 Note that we don't break the components up in smaller bits
48 (e.g. netloc is a single string) and we don't expand % escapes."""
Fred Drake5751a222001-11-16 02:52:57 +000049 tuple = urlsplit(url, scheme, allow_fragments)
50 scheme, netloc, url, query, fragment = tuple
51 if scheme in uses_params and ';' in url:
52 url, params = _splitparams(url)
53 else:
54 params = ''
55 return scheme, netloc, url, params, query, fragment
56
57def _splitparams(url):
58 if '/' in url:
59 i = url.find(';', url.rfind('/'))
60 if i < 0:
61 return url, ''
62 else:
63 i = url.find(';')
64 return url[:i], url[i+1:]
65
66def urlsplit(url, scheme='', allow_fragments=1):
67 """Parse a URL into 5 components:
68 <scheme>://<netloc>/<path>?<query>#<fragment>
69 Return a 5-tuple: (scheme, netloc, path, query, fragment).
70 Note that we don't break the components up in smaller bits
71 (e.g. netloc is a single string) and we don't expand % escapes."""
Tim Peterse1190062001-01-15 03:34:38 +000072 key = url, scheme, allow_fragments
73 cached = _parse_cache.get(key, None)
74 if cached:
75 return cached
76 if len(_parse_cache) >= MAX_CACHE_SIZE: # avoid runaway growth
77 clear_cache()
Fred Drake5751a222001-11-16 02:52:57 +000078 netloc = query = fragment = ''
Tim Peterse1190062001-01-15 03:34:38 +000079 i = url.find(':')
80 if i > 0:
81 if url[:i] == 'http': # optimize the common case
82 scheme = url[:i].lower()
83 url = url[i+1:]
84 if url[:2] == '//':
85 i = url.find('/', 2)
86 if i < 0:
Michael W. Hudsonbd3e7712002-03-18 13:06:00 +000087 i = url.find('#')
88 if i < 0:
89 i = len(url)
Tim Peterse1190062001-01-15 03:34:38 +000090 netloc = url[2:i]
91 url = url[i:]
Fred Drake5751a222001-11-16 02:52:57 +000092 if allow_fragments and '#' in url:
93 url, fragment = url.split('#', 1)
94 if '?' in url:
95 url, query = url.split('?', 1)
96 tuple = scheme, netloc, url, query, fragment
Tim Peterse1190062001-01-15 03:34:38 +000097 _parse_cache[key] = tuple
98 return tuple
99 for c in url[:i]:
100 if c not in scheme_chars:
101 break
102 else:
103 scheme, url = url[:i].lower(), url[i+1:]
104 if scheme in uses_netloc:
105 if url[:2] == '//':
106 i = url.find('/', 2)
107 if i < 0:
108 i = len(url)
109 netloc, url = url[2:i], url[i:]
Fred Drake5751a222001-11-16 02:52:57 +0000110 if allow_fragments and scheme in uses_fragment and '#' in url:
111 url, fragment = url.split('#', 1)
112 if scheme in uses_query and '?' in url:
113 url, query = url.split('?', 1)
114 tuple = scheme, netloc, url, query, fragment
Tim Peterse1190062001-01-15 03:34:38 +0000115 _parse_cache[key] = tuple
116 return tuple
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000117
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000118def urlunparse((scheme, netloc, url, params, query, fragment)):
Tim Peterse1190062001-01-15 03:34:38 +0000119 """Put a parsed URL back together again. This may result in a
120 slightly different, but equivalent URL, if the URL that was parsed
121 originally had redundant delimiters, e.g. a ? with an empty query
122 (the draft states that these are equivalent)."""
Fred Drake5751a222001-11-16 02:52:57 +0000123 if params:
124 url = "%s;%s" % (url, params)
125 return urlunsplit((scheme, netloc, url, query, fragment))
126
127def urlunsplit((scheme, netloc, url, query, fragment)):
Guido van Rossumbbc05682002-10-14 19:59:54 +0000128 if netloc or (scheme and scheme in uses_netloc and url[:2] != '//'):
Tim Peterse1190062001-01-15 03:34:38 +0000129 if url and url[:1] != '/': url = '/' + url
130 url = '//' + (netloc or '') + url
131 if scheme:
132 url = scheme + ':' + url
Tim Peterse1190062001-01-15 03:34:38 +0000133 if query:
134 url = url + '?' + query
135 if fragment:
136 url = url + '#' + fragment
137 return url
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000138
Jeremy Hylton4722da61998-08-25 19:45:24 +0000139def urljoin(base, url, allow_fragments = 1):
Tim Peterse1190062001-01-15 03:34:38 +0000140 """Join a base URL and a possibly relative URL to form an absolute
141 interpretation of the latter."""
142 if not base:
143 return url
144 if not url:
145 return base
146 bscheme, bnetloc, bpath, bparams, bquery, bfragment = \
147 urlparse(base, '', allow_fragments)
148 scheme, netloc, path, params, query, fragment = \
149 urlparse(url, bscheme, allow_fragments)
150 if scheme != bscheme or scheme not in uses_relative:
151 return url
152 if scheme in uses_netloc:
153 if netloc:
154 return urlunparse((scheme, netloc, path,
155 params, query, fragment))
156 netloc = bnetloc
157 if path[:1] == '/':
158 return urlunparse((scheme, netloc, path,
159 params, query, fragment))
160 if not path:
161 if not params:
162 params = bparams
163 if not query:
164 query = bquery
165 return urlunparse((scheme, netloc, bpath,
166 params, query, fragment))
167 segments = bpath.split('/')[:-1] + path.split('/')
168 # XXX The stuff below is bogus in various ways...
169 if segments[-1] == '.':
170 segments[-1] = ''
171 while '.' in segments:
172 segments.remove('.')
173 while 1:
174 i = 1
175 n = len(segments) - 1
176 while i < n:
177 if (segments[i] == '..'
178 and segments[i-1] not in ('', '..')):
179 del segments[i-1:i+1]
180 break
181 i = i+1
182 else:
183 break
184 if segments == ['', '..']:
185 segments[-1] = ''
186 elif len(segments) >= 2 and segments[-1] == '..':
187 segments[-2:] = ['']
188 return urlunparse((scheme, netloc, '/'.join(segments),
189 params, query, fragment))
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000190
Guido van Rossum3fd32ec1996-05-28 23:54:24 +0000191def urldefrag(url):
Tim Peterse1190062001-01-15 03:34:38 +0000192 """Removes any existing fragment from URL.
Guido van Rossum3fd32ec1996-05-28 23:54:24 +0000193
Tim Peterse1190062001-01-15 03:34:38 +0000194 Returns a tuple of the defragmented URL and the fragment. If
195 the URL contained no fragments, the second element is the
196 empty string.
197 """
Fred Drake5751a222001-11-16 02:52:57 +0000198 if '#' in url:
199 s, n, p, a, q, frag = urlparse(url)
200 defrag = urlunparse((s, n, p, a, q, ''))
201 return defrag, frag
202 else:
203 return url, ''
Guido van Rossum3fd32ec1996-05-28 23:54:24 +0000204
205
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000206test_input = """
207 http://a/b/c/d
208
209 g:h = <URL:g:h>
210 http:g = <URL:http://a/b/c/g>
211 http: = <URL:http://a/b/c/d>
212 g = <URL:http://a/b/c/g>
213 ./g = <URL:http://a/b/c/g>
214 g/ = <URL:http://a/b/c/g/>
215 /g = <URL:http://a/g>
216 //g = <URL:http://g>
217 ?y = <URL:http://a/b/c/d?y>
218 g?y = <URL:http://a/b/c/g?y>
219 g?y/./x = <URL:http://a/b/c/g?y/./x>
220 . = <URL:http://a/b/c/>
221 ./ = <URL:http://a/b/c/>
222 .. = <URL:http://a/b/>
223 ../ = <URL:http://a/b/>
224 ../g = <URL:http://a/b/g>
225 ../.. = <URL:http://a/>
226 ../../g = <URL:http://a/g>
227 ../../../g = <URL:http://a/../g>
228 ./../g = <URL:http://a/b/g>
229 ./g/. = <URL:http://a/b/c/g/>
230 /./g = <URL:http://a/./g>
231 g/./h = <URL:http://a/b/c/g/h>
232 g/../h = <URL:http://a/b/c/h>
233 http:g = <URL:http://a/b/c/g>
234 http: = <URL:http://a/b/c/d>
Andrew M. Kuchling5c355201999-01-06 22:13:09 +0000235 http:?y = <URL:http://a/b/c/d?y>
236 http:g?y = <URL:http://a/b/c/g?y>
237 http:g?y/./x = <URL:http://a/b/c/g?y/./x>
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000238"""
Guido van Rossumc08cc501998-12-21 18:24:09 +0000239# XXX The result for //g is actually http://g/; is this a problem?
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000240
241def test():
Tim Peterse1190062001-01-15 03:34:38 +0000242 import sys
243 base = ''
244 if sys.argv[1:]:
245 fn = sys.argv[1]
246 if fn == '-':
247 fp = sys.stdin
248 else:
249 fp = open(fn)
250 else:
251 import StringIO
252 fp = StringIO.StringIO(test_input)
253 while 1:
254 line = fp.readline()
255 if not line: break
256 words = line.split()
257 if not words:
258 continue
259 url = words[0]
260 parts = urlparse(url)
261 print '%-10s : %s' % (url, parts)
262 abs = urljoin(base, url)
263 if not base:
264 base = abs
265 wrapped = '<URL:%s>' % abs
266 print '%-10s = %s' % (url, wrapped)
267 if len(words) == 3 and words[1] == '=':
268 if wrapped != words[2]:
269 print 'EXPECTED', words[2], '!!!!!!!!!!'
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000270
271if __name__ == '__main__':
Tim Peterse1190062001-01-15 03:34:38 +0000272 test()