Lines Matching refs:url
63 String url;
89 this.url = filename;
112 * @param url URI encoded URL prefix to use when generating links
115 public void reInit(char[] buf, int len, Writer out, String url,
118 reInit(new CharArrayReader(buf, 0, len), out, url, tags);
126 * @param url URI encoded URL prefix to use when generating links
129 public void reInit(Reader in, Writer out, String url,
143 this.url = url;
200 out.write(url);
266 hit = new Hit(url, null, null, false, alt);
281 out.write(url);
360 out.write(url);
374 hit = new Hit(url, "<html>"
428 hit = new Hit(url, null, null, false, alt);