Lines Matching defs:url
48 public final URL url;
59 this.url = old.url;
73 public HttpCallerInfo(URL url, Authenticator a) {
74 this.url= url;
76 host = url.getHost();
78 int p = url.getPort();
80 port = url.getDefaultPort();
87 ia = InetAddress.getByName(url.getHost());
93 protocol = url.getProtocol();
102 public HttpCallerInfo(URL url, String host, int port, Authenticator a) {
103 this.url= url;
108 protocol = url.getProtocol();