Lines Matching defs:href
65 * <a href="mailto:Norman.Walsh@Sun.COM">Norman.Walsh@Sun.COM</a>
236 public Source resolve(String href, String base)
239 String uri = href;
241 int hashPos = href.indexOf("#");
243 uri = href.substring(0, hashPos);
244 fragment = href.substring(hashPos+1);
250 result = catalog.resolveURI(href);
264 url = (href.length()==0 ? baseURL : new URL(baseURL, uri));
272 return resolve(href, absBase);
275 + href + "(base " + base + ")",
281 catalogManager.debug.message(2, "Resolved URI", href, result);