| 
									
										
										
										
											2001-03-02 05:58:11 +00:00
										 |  |  | """riscos specific module for conversion between pathnames and URLs.
 | 
					
						
							|  |  |  | Based on macurl2path. | 
					
						
							|  |  |  | Do not import directly, use urllib instead."""
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | import string | 
					
						
							|  |  |  | import urllib | 
					
						
							|  |  |  | import os | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-10-24 20:42:55 +00:00
										 |  |  | __all__ = ["url2pathname","pathname2url"] | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | __slash_dot = string.maketrans("/.", "./") | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | def url2pathname(url): | 
					
						
							|  |  |  |     "Convert URL to a RISC OS path." | 
					
						
							|  |  |  |     tp = urllib.splittype(url)[0] | 
					
						
							| 
									
										
										
										
											2001-03-02 05:58:11 +00:00
										 |  |  |     if tp and tp <> 'file': | 
					
						
							| 
									
										
										
										
											2001-07-02 04:59:35 +00:00
										 |  |  |         raise RuntimeError, 'Cannot convert non-local URL to pathname' | 
					
						
							| 
									
										
										
										
											2001-10-24 20:42:55 +00:00
										 |  |  |     # Turn starting /// into /, an empty hostname means current host | 
					
						
							|  |  |  |     if url[:3] == '///': | 
					
						
							|  |  |  |         url = url[2:] | 
					
						
							|  |  |  |     elif url[:2] == '//': | 
					
						
							|  |  |  |         raise RuntimeError, 'Cannot convert non-local URL to pathname' | 
					
						
							|  |  |  |     components = string.split(url, '/') | 
					
						
							|  |  |  |     if not components[0]: | 
					
						
							|  |  |  |         if '$' in components: | 
					
						
							|  |  |  |             del components[0] | 
					
						
							|  |  |  |         else: | 
					
						
							|  |  |  |              components[0] = '$' | 
					
						
							| 
									
										
										
										
											2001-03-02 05:58:11 +00:00
										 |  |  |     # Remove . and embedded .. | 
					
						
							|  |  |  |     i = 0 | 
					
						
							|  |  |  |     while i < len(components): | 
					
						
							| 
									
										
										
										
											2001-07-02 04:59:35 +00:00
										 |  |  |         if components[i] == '.': | 
					
						
							|  |  |  |             del components[i] | 
					
						
							|  |  |  |         elif components[i] == '..' and i > 0 and \ | 
					
						
							|  |  |  |                                   components[i-1] not in ('', '..'): | 
					
						
							|  |  |  |             del components[i-1:i+1] | 
					
						
							| 
									
										
										
										
											2001-10-24 20:42:55 +00:00
										 |  |  |             i -= 1 | 
					
						
							|  |  |  |         elif components[i] == '..': | 
					
						
							|  |  |  |             components[i] = '^' | 
					
						
							|  |  |  |             i += 1 | 
					
						
							| 
									
										
										
										
											2001-07-02 04:59:35 +00:00
										 |  |  |         elif components[i] == '' and i > 0 and components[i-1] <> '': | 
					
						
							|  |  |  |             del components[i] | 
					
						
							|  |  |  |         else: | 
					
						
							| 
									
										
										
										
											2001-10-24 20:42:55 +00:00
										 |  |  |             i += 1 | 
					
						
							|  |  |  |     components = map(lambda x: urllib.unquote(x).translate(__slash_dot), components) | 
					
						
							|  |  |  |     return '.'.join(components) | 
					
						
							| 
									
										
										
										
											2001-03-02 05:58:11 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def pathname2url(pathname): | 
					
						
							| 
									
										
										
										
											2001-10-24 20:42:55 +00:00
										 |  |  |     "Convert a RISC OS path name to a file url." | 
					
						
							|  |  |  |     return urllib.quote('///' + pathname.translate(__slash_dot), "/$:") | 
					
						
							| 
									
										
										
										
											2001-03-02 05:58:11 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def test(): | 
					
						
							|  |  |  |     for url in ["index.html", | 
					
						
							|  |  |  |                 "/SCSI::SCSI4/$/Anwendung/Comm/Apps/!Fresco/Welcome", | 
					
						
							| 
									
										
										
										
											2001-10-24 20:42:55 +00:00
										 |  |  |                 "/SCSI::SCSI4/$/Anwendung/Comm/Apps/../!Fresco/Welcome", | 
					
						
							| 
									
										
										
										
											2001-03-02 05:58:11 +00:00
										 |  |  |                 "../index.html", | 
					
						
							| 
									
										
										
										
											2001-07-02 04:59:35 +00:00
										 |  |  |                 "bar/index.html", | 
					
						
							|  |  |  |                 "/foo/bar/index.html", | 
					
						
							|  |  |  |                 "/foo/bar/", | 
					
						
							|  |  |  |                 "/"]: | 
					
						
							|  |  |  |         print `url`, '->', `url2pathname(url)` | 
					
						
							| 
									
										
										
										
											2001-10-24 20:42:55 +00:00
										 |  |  |     print "*******************************************************" | 
					
						
							|  |  |  |     for path in ["SCSI::SCSI4.$.Anwendung", | 
					
						
							|  |  |  |                  "PythonApp:Lib", | 
					
						
							|  |  |  |                  "PythonApp:Lib.rourl2path/py"]: | 
					
						
							| 
									
										
										
										
											2001-07-02 04:59:35 +00:00
										 |  |  |         print `path`, '->', `pathname2url(path)` | 
					
						
							| 
									
										
										
										
											2001-03-02 05:58:11 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | if __name__ == '__main__': | 
					
						
							|  |  |  |     test() |