blob: 9c213866a968788b78d91a4cc486293d6b4f36d0 [file] [log] [blame]
Guido van Rossum228d8072001-03-02 05:58:11 +00001"""riscos specific module for conversion between pathnames and URLs.
2Based on macurl2path.
3Do not import directly, use urllib instead."""
4
5import string
6import urllib
7import os
8
Guido van Rossume2ae77b2001-10-24 20:42:55 +00009__all__ = ["url2pathname","pathname2url"]
10
11__slash_dot = string.maketrans("/.", "./")
12
13def url2pathname(url):
14 "Convert URL to a RISC OS path."
15 tp = urllib.splittype(url)[0]
Guido van Rossum228d8072001-03-02 05:58:11 +000016 if tp and tp <> 'file':
Tim Peters683ecc72001-07-02 04:59:35 +000017 raise RuntimeError, 'Cannot convert non-local URL to pathname'
Guido van Rossume2ae77b2001-10-24 20:42:55 +000018 # Turn starting /// into /, an empty hostname means current host
19 if url[:3] == '///':
20 url = url[2:]
21 elif url[:2] == '//':
22 raise RuntimeError, 'Cannot convert non-local URL to pathname'
23 components = string.split(url, '/')
24 if not components[0]:
25 if '$' in components:
26 del components[0]
27 else:
28 components[0] = '$'
Guido van Rossum228d8072001-03-02 05:58:11 +000029 # Remove . and embedded ..
30 i = 0
31 while i < len(components):
Tim Peters683ecc72001-07-02 04:59:35 +000032 if components[i] == '.':
33 del components[i]
34 elif components[i] == '..' and i > 0 and \
35 components[i-1] not in ('', '..'):
36 del components[i-1:i+1]
Guido van Rossume2ae77b2001-10-24 20:42:55 +000037 i -= 1
38 elif components[i] == '..':
39 components[i] = '^'
40 i += 1
Tim Peters683ecc72001-07-02 04:59:35 +000041 elif components[i] == '' and i > 0 and components[i-1] <> '':
42 del components[i]
43 else:
Guido van Rossume2ae77b2001-10-24 20:42:55 +000044 i += 1
45 components = map(lambda x: urllib.unquote(x).translate(__slash_dot), components)
46 return '.'.join(components)
Guido van Rossum228d8072001-03-02 05:58:11 +000047
48def pathname2url(pathname):
Guido van Rossume2ae77b2001-10-24 20:42:55 +000049 "Convert a RISC OS path name to a file url."
50 return urllib.quote('///' + pathname.translate(__slash_dot), "/$:")
Guido van Rossum228d8072001-03-02 05:58:11 +000051
52def test():
53 for url in ["index.html",
54 "/SCSI::SCSI4/$/Anwendung/Comm/Apps/!Fresco/Welcome",
Guido van Rossume2ae77b2001-10-24 20:42:55 +000055 "/SCSI::SCSI4/$/Anwendung/Comm/Apps/../!Fresco/Welcome",
Guido van Rossum228d8072001-03-02 05:58:11 +000056 "../index.html",
Tim Peters683ecc72001-07-02 04:59:35 +000057 "bar/index.html",
58 "/foo/bar/index.html",
59 "/foo/bar/",
60 "/"]:
61 print `url`, '->', `url2pathname(url)`
Guido van Rossume2ae77b2001-10-24 20:42:55 +000062 print "*******************************************************"
63 for path in ["SCSI::SCSI4.$.Anwendung",
64 "PythonApp:Lib",
65 "PythonApp:Lib.rourl2path/py"]:
Tim Peters683ecc72001-07-02 04:59:35 +000066 print `path`, '->', `pathname2url(path)`
Guido van Rossum228d8072001-03-02 05:58:11 +000067
68if __name__ == '__main__':
69 test()