Constructs a URL from the URLName. @return the URL @exception MalformedURLException if the URL is malformed
()
| 386 | * @exception MalformedURLException if the URL is malformed |
| 387 | */ |
| 388 | public URL getURL() throws MalformedURLException { |
| 389 | // URL expects the file to include the separating "/" |
| 390 | String f = getFile(); |
| 391 | if (f == null) |
| 392 | f = ""; |
| 393 | else |
| 394 | f = "/" + f; |
| 395 | return new URL(getProtocol(), getHost(), getPort(), f); |
| 396 | } |
| 397 | |
| 398 | /** |
| 399 | * Compares two URLNames. The result is true if and only if the |
no test coverage detected