Lines Matching defs:HTML
167 if ((i > 0) && (tokens.get(i - 1) instanceof Html)) {
168 ((Html)tokens.get(i - 1)).trimLeadingWhitespace();
170 if ((i + 1 < tokens.size()) && (tokens.get(i + 1) instanceof Html)) {
171 ((Html)tokens.get(i + 1)).trimTrailingWhitespace();
176 // Remove any empty html tokens.
282 addToken(new Html(text.substring(start, nextChar), buf.toString()));
657 HTML ("html"),
658 FORMAT ("format"), // subtype of HTML
668 //stringreps for HTML and FORMAT don't really matter
713 public String toHtml(boolean caps) { throw new AssertionError("not html"); }
720 /** Represents a simple string of html text. */
721 public static class Html extends Token {
722 private String html;
724 public Html(String text, String html) {
725 super(Type.HTML, text);
726 this.html = html;
731 return caps ? html.toUpperCase() : html;
742 html = trimLeadingWhitespace(html);
747 html = trimTrailingWhitespace(html);
1198 // We have to make sure we escape HTML characters as usual.
1239 /** Converts the entire message into a single HTML display string. */
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();
