/** * Compares two URL objects whether they refer to the same file. In the * comparison included are the URL components protocol, host, port and file. * * @param url1 * the first URL to be compared. * @param url2 * the second URL to be compared. * @return {@code true} if both URLs refer to the same file, {@code false} * otherwise. */ protected bool sameFile(URL url1, URL url2) { String s1 = url1.getProtocol(); String s2 = url2.getProtocol(); if (s1 != s2 && (s1 == null || !s1.equals(s2))) { return(false); } s1 = url1.getFile(); s2 = url2.getFile(); if (s1 != s2 && (s1 == null || !s1.equals(s2))) { return(false); } if (!hostsEqual(url1, url2)) { return(false); } int p1 = url1.getPort(); if (p1 == -1) { p1 = getDefaultPort(); } int p2 = url2.getPort(); if (p2 == -1) { p2 = getDefaultPort(); } return(p1 == p2); }
/** * Returns the clear text representation of a given URL using HTTP format. * * @param url * the URL object to be converted. * @return the clear text representation of the specified URL. * @see #parseURL * @see URL#toExternalForm() */ protected internal String toExternalForm(URL url) { java.lang.StringBuilder answer = new java.lang.StringBuilder(); answer.append(url.getProtocol()); answer.append(':'); String authority = url.getAuthority(); if (authority != null && authority.length() > 0) { answer.append("//"); //$NON-NLS-1$ answer.append(url.getAuthority()); } String file = url.getFile(); String refJ = url.getRef(); if (file != null) { answer.append(file); } if (refJ != null) { answer.append('#'); answer.append(refJ); } return(answer.toString()); }
/** * Compares two URL objects whether they refer to the same file. In the * comparison included are the URL components protocol, host, port and file. * * @param url1 * the first URL to be compared. * @param url2 * the second URL to be compared. * @return {@code true} if both URLs refer to the same file, {@code false} * otherwise. */ protected bool sameFile(URL url1, URL url2) { String s1 = url1.getProtocol(); String s2 = url2.getProtocol(); if (s1 != s2 && (s1 == null || !s1.equals(s2))) { return false; } s1 = url1.getFile(); s2 = url2.getFile(); if (s1 != s2 && (s1 == null || !s1.equals(s2))) { return false; } if (!hostsEqual(url1, url2)) { return false; } int p1 = url1.getPort(); if (p1 == -1) { p1 = getDefaultPort(); } int p2 = url2.getPort(); if (p2 == -1) { p2 = getDefaultPort(); } return p1 == p2; }
/** * Returns the clear text representation of a given URL using HTTP format. * * @param url * the URL object to be converted. * @return the clear text representation of the specified URL. * @see #parseURL * @see URL#toExternalForm() */ protected internal String toExternalForm(URL url) { java.lang.StringBuilder answer = new java.lang.StringBuilder(); answer.append(url.getProtocol()); answer.append(':'); String authority = url.getAuthority(); if (authority != null && authority.length() > 0) { answer.append("//"); //$NON-NLS-1$ answer.append(url.getAuthority()); } String file = url.getFile(); String refJ = url.getRef(); if (file != null) { answer.append(file); } if (refJ != null) { answer.append('#'); answer.append(refJ); } return answer.toString(); }