(URL url)
| 63 | } |
| 64 | |
| 65 | protected String toExternalForm(URL url) { |
| 66 | StringBuilder sb = new StringBuilder(); |
| 67 | sb.append(url.getProtocol()).append(":"); |
| 68 | if (url.getHost() != null) { |
| 69 | sb.append("//").append(url.getHost()); |
| 70 | if (url.getPort() >= 0) { |
| 71 | sb.append(":").append(url.getPort()); |
| 72 | } |
| 73 | } |
| 74 | if (url.getFile() != null) { |
| 75 | sb.append(url.getFile()); |
| 76 | } |
| 77 | return sb.toString(); |
| 78 | } |
| 79 | |
| 80 | protected abstract URLConnection openConnection(URL url) throws IOException; |
| 81 | } |