Lines Matching defs:html
176 // Remove any empty html tokens.
657 HTML ("html"),
713 public String toHtml(boolean caps) { throw new AssertionError("not html"); }
720 /** Represents a simple string of html text. */
722 private String html;
724 public Html(String text, String html) {
726 this.html = html;
731 return caps ? html.toUpperCase() : html;
742 html = trimLeadingWhitespace(html);
747 html = trimTrailingWhitespace(html);
1241 StringBuilder html = new StringBuilder();
1246 html.append("<p>");
1249 html.append(token.toHtml(caps));
1253 html.append("<a href=\"");
1254 html.append(((Link)token).getURL());
1255 html.append("\">");
1256 html.append(token.getRawText());
1257 html.append("</a>");
1262 html.append(token.getRawText());
1266 html.append(token.getRawText());
1271 html.append(((MusicTrack)token).getTrack());
1276 html.append("<a href=\"");
1277 html.append(((Video)token).getURL(((Video)token).getDocID()));
1278 html.append("\">");
1279 html.append(token.getRawText());
1280 html.append("</a>");
1285 html.append("<a href=\"");
1286 html.append(((YouTubeVideo)token).getURL(
1288 html.append("\">");
1289 html.append(token.getRawText());
1290 html.append("</a>");
1295 html.append("<a href=\"");
1296 html.append(Photo.getAlbumURL(
1298 html.append("\">");
1299 html.append(token.getRawText());
1300 html.append("</a>");
1307 html.append("<a href=\"");
1308 html.append(((FlickrPhoto)token).getUrl());
1309 html.append("\">");
1310 html.append(token.getRawText());
1311 html.append("</a>");
1323 html.append("</p>\n");
1326 return html.toString();