36
protected void parseURL(URL u, String spec, int start, int limit) {
String protocol = u.getProtocol();
String authority = u.getAuthority();
String userInfo = u.getUserInfo();
String host = u.getHost();
int port = u.getPort();
int i = 0;
boolean isUNCName = (start <= limit - 4) && (spec.charAt(start)
== '/') &&
(spec.charAt(start + 1) == '/') &&
(spec.charAt(start + 2) == '/') &&
(spec.charAt(start + 3) == '/');
if (!isUNCName && (start <= limit - 2) && (spec.charAt(start) ==
'/') &&
(spec.charAt(start + 1) == '/')) {
start += 2;
i = spec.indexOf('/', start);
if (i < 0) {
i = spec.indexOf('?', start);
if (i < 0) i = limit;
}
host = authority = spec.substring(start, i);
int ind = authority.indexOf('@');
if (ind != -1) {
userInfo = authority.substring(0, ind);
host = authority.substring(ind+1);
} else userInfo = null;
if (host != null) {
if (host.length()>0 && (host.charAt(0) == '[')) {
if ((ind = host.indexOf(']')) > 2) {
String nhost = host ;
host = nhost.substring(0,ind+1);
port = -1 ;
if (nhost.length() > ind+1) {
if (nhost.charAt(ind+1) == ':') {
++ind ;
if (nhost.length() > (ind + 1))
port =
Integer.parseInt(nhost.substring(ind+1));
}
}
}
} else {
ind = host.indexOf(':');
port = -1;
if (ind >= 0) {
if (host.length() > (ind + 1)) {
port = Integer.parseInt(host.substring(ind +
1));
}
host = host.substring(0, ind);
}
}
} else host = "";
start = i;
if (host == null) host = “";
...
setURL(u, protocol, host, port, authority, userInfo, ...);
http://admin:
[email protected]:80/command?foo=bar&lorem=ipsum#fragment
http://www.guardian.co.uk/sports/worldcup#results
ftp://bob:
[email protected]/oss/debian7.iso
URL ::= PROTOCOL ‘://‘ AUTHORITY PATH
[‘?’ QUERY] [‘#’ REF]
AUTHORITY ::= [USERINFO ‘@‘] HOST [‘:’ PORT]
PROTOCOL ::= ‘http’ | ‘ftp’
USERINFO ::= r{[a-z]+} ‘:’ r{[a-z0-9]+}
HOST ::= r{[a-z.]+}
PORT ::= ’80’
PATH ::= r{/[a-z0-9.]*}
QUERY ::= ‘foo=bar&lorem=ipsum’
REF ::= r{[a-z]+}