blob: cd6ad26dae70277b0baee0535b552f60c4a31125 [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
Skip Montanaro40fc1602001-03-01 04:27:19 +00007__all__ = ["urlparse", "urlunparse", "urljoin"]
8
Guido van Rossum23cb2a81994-09-12 10:36:35 +00009# A classification of schemes ('' means apply by default)
10uses_relative = ['ftp', 'http', 'gopher', 'nntp', 'wais', 'file',
Tim Peterse1190062001-01-15 03:34:38 +000011 'https', 'shttp',
12 'prospero', 'rtsp', 'rtspu', '']
Guido van Rossum23cb2a81994-09-12 10:36:35 +000013uses_netloc = ['ftp', 'http', 'gopher', 'nntp', 'telnet', 'wais',
Tim Peterse1190062001-01-15 03:34:38 +000014 'file',
15 'https', 'shttp', 'snews',
16 'prospero', 'rtsp', 'rtspu', '']
Guido van Rossumb02092a1997-01-02 18:18:27 +000017non_hierarchical = ['gopher', 'hdl', 'mailto', 'news', 'telnet', 'wais',
Tim Peterse1190062001-01-15 03:34:38 +000018 'snews', 'sip',
19 ]
Guido van Rossumb02092a1997-01-02 18:18:27 +000020uses_params = ['ftp', 'hdl', 'prospero', 'http',
Tim Peterse1190062001-01-15 03:34:38 +000021 'https', 'shttp', 'rtsp', 'rtspu', 'sip',
22 '']
Guido van Rossumb02092a1997-01-02 18:18:27 +000023uses_query = ['http', 'wais',
Tim Peterse1190062001-01-15 03:34:38 +000024 'https', 'shttp',
25 'gopher', 'rtsp', 'rtspu', 'sip',
26 '']
Guido van Rossum5feb54c1996-05-28 23:10:02 +000027uses_fragment = ['ftp', 'hdl', 'http', 'gopher', 'news', 'nntp', 'wais',
Tim Peterse1190062001-01-15 03:34:38 +000028 'https', 'shttp', 'snews',
29 'file', 'prospero', '']
Guido van Rossum23cb2a81994-09-12 10:36:35 +000030
31# Characters valid in scheme names
Guido van Rossumfad81f02000-12-19 16:48:13 +000032scheme_chars = ('abcdefghijklmnopqrstuvwxyz'
33 'ABCDEFGHIJKLMNOPQRSTUVWXYZ'
34 '0123456789'
35 '+-.')
Guido van Rossum23cb2a81994-09-12 10:36:35 +000036
Guido van Rossum74495401997-07-14 19:08:15 +000037MAX_CACHE_SIZE = 20
Guido van Rossum3fd32ec1996-05-28 23:54:24 +000038_parse_cache = {}
39
40def clear_cache():
Tim Peterse1190062001-01-15 03:34:38 +000041 """Clear the parse cache."""
42 global _parse_cache
43 _parse_cache = {}
Guido van Rossum3fd32ec1996-05-28 23:54:24 +000044
45
Fred Drake5751a222001-11-16 02:52:57 +000046def urlparse(url, scheme='', allow_fragments=1):
Tim Peterse1190062001-01-15 03:34:38 +000047 """Parse a URL into 6 components:
48 <scheme>://<netloc>/<path>;<params>?<query>#<fragment>
49 Return a 6-tuple: (scheme, netloc, path, params, query, fragment).
50 Note that we don't break the components up in smaller bits
51 (e.g. netloc is a single string) and we don't expand % escapes."""
Fred Drake5751a222001-11-16 02:52:57 +000052 tuple = urlsplit(url, scheme, allow_fragments)
53 scheme, netloc, url, query, fragment = tuple
54 if scheme in uses_params and ';' in url:
55 url, params = _splitparams(url)
56 else:
57 params = ''
58 return scheme, netloc, url, params, query, fragment
59
60def _splitparams(url):
61 if '/' in url:
62 i = url.find(';', url.rfind('/'))
63 if i < 0:
64 return url, ''
65 else:
66 i = url.find(';')
67 return url[:i], url[i+1:]
68
69def urlsplit(url, scheme='', allow_fragments=1):
70 """Parse a URL into 5 components:
71 <scheme>://<netloc>/<path>?<query>#<fragment>
72 Return a 5-tuple: (scheme, netloc, path, query, fragment).
73 Note that we don't break the components up in smaller bits
74 (e.g. netloc is a single string) and we don't expand % escapes."""
Tim Peterse1190062001-01-15 03:34:38 +000075 key = url, scheme, allow_fragments
76 cached = _parse_cache.get(key, None)
77 if cached:
78 return cached
79 if len(_parse_cache) >= MAX_CACHE_SIZE: # avoid runaway growth
80 clear_cache()
Fred Drake5751a222001-11-16 02:52:57 +000081 netloc = query = fragment = ''
Tim Peterse1190062001-01-15 03:34:38 +000082 i = url.find(':')
83 if i > 0:
84 if url[:i] == 'http': # optimize the common case
85 scheme = url[:i].lower()
86 url = url[i+1:]
87 if url[:2] == '//':
88 i = url.find('/', 2)
89 if i < 0:
90 i = len(url)
91 netloc = url[2:i]
92 url = url[i:]
Fred Drake5751a222001-11-16 02:52:57 +000093 if allow_fragments and '#' in url:
94 url, fragment = url.split('#', 1)
95 if '?' in url:
96 url, query = url.split('?', 1)
97 tuple = scheme, netloc, url, query, fragment
Tim Peterse1190062001-01-15 03:34:38 +000098 _parse_cache[key] = tuple
99 return tuple
100 for c in url[:i]:
101 if c not in scheme_chars:
102 break
103 else:
104 scheme, url = url[:i].lower(), url[i+1:]
105 if scheme in uses_netloc:
106 if url[:2] == '//':
107 i = url.find('/', 2)
108 if i < 0:
109 i = len(url)
110 netloc, url = url[2:i], url[i:]
Fred Drake5751a222001-11-16 02:52:57 +0000111 if allow_fragments and scheme in uses_fragment and '#' in url:
112 url, fragment = url.split('#', 1)
113 if scheme in uses_query and '?' in url:
114 url, query = url.split('?', 1)
115 tuple = scheme, netloc, url, query, fragment
Tim Peterse1190062001-01-15 03:34:38 +0000116 _parse_cache[key] = tuple
117 return tuple
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000118
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000119def urlunparse((scheme, netloc, url, params, query, fragment)):
Tim Peterse1190062001-01-15 03:34:38 +0000120 """Put a parsed URL back together again. This may result in a
121 slightly different, but equivalent URL, if the URL that was parsed
122 originally had redundant delimiters, e.g. a ? with an empty query
123 (the draft states that these are equivalent)."""
Fred Drake5751a222001-11-16 02:52:57 +0000124 if params:
125 url = "%s;%s" % (url, params)
126 return urlunsplit((scheme, netloc, url, query, fragment))
127
128def urlunsplit((scheme, netloc, url, query, fragment)):
Tim Peterse1190062001-01-15 03:34:38 +0000129 if netloc or (scheme in uses_netloc and url[:2] == '//'):
130 if url and url[:1] != '/': url = '/' + url
131 url = '//' + (netloc or '') + url
132 if scheme:
133 url = scheme + ':' + url
Tim Peterse1190062001-01-15 03:34:38 +0000134 if query:
135 url = url + '?' + query
136 if fragment:
137 url = url + '#' + fragment
138 return url
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000139
Jeremy Hylton4722da61998-08-25 19:45:24 +0000140def urljoin(base, url, allow_fragments = 1):
Tim Peterse1190062001-01-15 03:34:38 +0000141 """Join a base URL and a possibly relative URL to form an absolute
142 interpretation of the latter."""
143 if not base:
144 return url
145 if not url:
146 return base
147 bscheme, bnetloc, bpath, bparams, bquery, bfragment = \
148 urlparse(base, '', allow_fragments)
149 scheme, netloc, path, params, query, fragment = \
150 urlparse(url, bscheme, allow_fragments)
151 if scheme != bscheme or scheme not in uses_relative:
152 return url
153 if scheme in uses_netloc:
154 if netloc:
155 return urlunparse((scheme, netloc, path,
156 params, query, fragment))
157 netloc = bnetloc
158 if path[:1] == '/':
159 return urlunparse((scheme, netloc, path,
160 params, query, fragment))
161 if not path:
162 if not params:
163 params = bparams
164 if not query:
165 query = bquery
166 return urlunparse((scheme, netloc, bpath,
167 params, query, fragment))
168 segments = bpath.split('/')[:-1] + path.split('/')
169 # XXX The stuff below is bogus in various ways...
170 if segments[-1] == '.':
171 segments[-1] = ''
172 while '.' in segments:
173 segments.remove('.')
174 while 1:
175 i = 1
176 n = len(segments) - 1
177 while i < n:
178 if (segments[i] == '..'
179 and segments[i-1] not in ('', '..')):
180 del segments[i-1:i+1]
181 break
182 i = i+1
183 else:
184 break
185 if segments == ['', '..']:
186 segments[-1] = ''
187 elif len(segments) >= 2 and segments[-1] == '..':
188 segments[-2:] = ['']
189 return urlunparse((scheme, netloc, '/'.join(segments),
190 params, query, fragment))
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000191
Guido van Rossum3fd32ec1996-05-28 23:54:24 +0000192def urldefrag(url):
Tim Peterse1190062001-01-15 03:34:38 +0000193 """Removes any existing fragment from URL.
Guido van Rossum3fd32ec1996-05-28 23:54:24 +0000194
Tim Peterse1190062001-01-15 03:34:38 +0000195 Returns a tuple of the defragmented URL and the fragment. If
196 the URL contained no fragments, the second element is the
197 empty string.
198 """
Fred Drake5751a222001-11-16 02:52:57 +0000199 if '#' in url:
200 s, n, p, a, q, frag = urlparse(url)
201 defrag = urlunparse((s, n, p, a, q, ''))
202 return defrag, frag
203 else:
204 return url, ''
Guido van Rossum3fd32ec1996-05-28 23:54:24 +0000205
206
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000207test_input = """
208 http://a/b/c/d
209
210 g:h = <URL:g:h>
211 http:g = <URL:http://a/b/c/g>
212 http: = <URL:http://a/b/c/d>
213 g = <URL:http://a/b/c/g>
214 ./g = <URL:http://a/b/c/g>
215 g/ = <URL:http://a/b/c/g/>
216 /g = <URL:http://a/g>
217 //g = <URL:http://g>
218 ?y = <URL:http://a/b/c/d?y>
219 g?y = <URL:http://a/b/c/g?y>
220 g?y/./x = <URL:http://a/b/c/g?y/./x>
221 . = <URL:http://a/b/c/>
222 ./ = <URL:http://a/b/c/>
223 .. = <URL:http://a/b/>
224 ../ = <URL:http://a/b/>
225 ../g = <URL:http://a/b/g>
226 ../.. = <URL:http://a/>
227 ../../g = <URL:http://a/g>
228 ../../../g = <URL:http://a/../g>
229 ./../g = <URL:http://a/b/g>
230 ./g/. = <URL:http://a/b/c/g/>
231 /./g = <URL:http://a/./g>
232 g/./h = <URL:http://a/b/c/g/h>
233 g/../h = <URL:http://a/b/c/h>
234 http:g = <URL:http://a/b/c/g>
235 http: = <URL:http://a/b/c/d>
Andrew M. Kuchling5c355201999-01-06 22:13:09 +0000236 http:?y = <URL:http://a/b/c/d?y>
237 http:g?y = <URL:http://a/b/c/g?y>
238 http:g?y/./x = <URL:http://a/b/c/g?y/./x>
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000239"""
Guido van Rossumc08cc501998-12-21 18:24:09 +0000240# XXX The result for //g is actually http://g/; is this a problem?
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000241
242def test():
Tim Peterse1190062001-01-15 03:34:38 +0000243 import sys
244 base = ''
245 if sys.argv[1:]:
246 fn = sys.argv[1]
247 if fn == '-':
248 fp = sys.stdin
249 else:
250 fp = open(fn)
251 else:
252 import StringIO
253 fp = StringIO.StringIO(test_input)
254 while 1:
255 line = fp.readline()
256 if not line: break
257 words = line.split()
258 if not words:
259 continue
260 url = words[0]
261 parts = urlparse(url)
262 print '%-10s : %s' % (url, parts)
263 abs = urljoin(base, url)
264 if not base:
265 base = abs
266 wrapped = '<URL:%s>' % abs
267 print '%-10s = %s' % (url, wrapped)
268 if len(words) == 3 and words[1] == '=':
269 if wrapped != words[2]:
270 print 'EXPECTED', words[2], '!!!!!!!!!!'
Guido van Rossum23cb2a81994-09-12 10:36:35 +0000271
272if __name__ == '__main__':
Tim Peterse1190062001-01-15 03:34:38 +0000273 test()