Lines Matching defs:html
16 package com.android.mail.lib.html.parser;
37 * HtmlParser is a simple but efficient html parser.
39 * parser. It assumes that the entire html text is available.
57 // The html text
58 private String html;
184 * @param html String to parse
187 public HtmlDocument parse(String html) {
188 this.html = html;
195 int end = html.length();
239 html = null;
317 * @param start Position in original html.
318 * @param end Position in original html.
324 char ch = html.charAt(pos);
327 ch = html.charAt(pos + 1);
330 // Check if it's an html comment or tag
331 if (html.regionMatches(pos + 1, "!--", 0, 3)) {
343 String htmlTail = this.html.substring(start, finalPos);
345 if ((pos == clipLength) && (clipLength < html.length())) {
355 // The matcher matched in htmlTail, not html.
356 // htmlTail starts at html[start]
368 // in html; otherwise, we would have entered State.IN_TAG or
387 private final String html;
392 public TagNameScanner(String html) {
393 this.html = html;
398 * @param start Position in original html.
399 * @param end Position in original html.
405 char ch = html.charAt(pos);
424 tagName = html.substring(startNamePos, endNamePos);
434 private final String html;
447 public AttributeScanner(String html) {
448 this.html = html;
468 * @param start Position in original html
469 * @param end Position in original html
473 X.assertTrue(html.charAt(start) != '>');
481 char ch = html.charAt(pos);
496 * @param start Position in original html
497 * @param end Position in original html
505 if ((pos == end) || (html.charAt(pos) != '=')) {
521 char ch = html.charAt(pos);
526 while (pos < end && html.charAt(pos) != ch) {
537 ch = html.charAt(pos);
560 * @param start Position in original html
561 * @param end Position in original html
567 if (!Character.isWhitespace(html.charAt(pos))) {
576 name = html.substring(startNamePos, endNamePos);
583 value = html.substring(startValuePos, endValuePos);
639 * @param start Position in original html.
640 * @param end Position in original html.
644 X.assertTrue(html.charAt(start) == '<');
656 if (html.charAt(nameStart) == '/') {
662 TagNameScanner tagNameScanner = new TagNameScanner(html);
699 AttributeScanner attributeScanner = new AttributeScanner(html);
702 char ch = html.charAt(pos);
705 if ((pos + 1 < end) && (ch == '/') && (html.charAt(pos + 1) == '>')) {
757 String textNodeContent = html.substring(start, end);
765 CharMatcher.is('<').replaceFrom(html.substring(start, end), "<");
772 X.assertTrue(html.charAt(pos) == '>');
854 String beforeAttrs = html.substring(startPos, startAttributesPos);
855 String afterAttrs = html.substring(endAttributesPos, endPos);
867 X.assertTrue(html.charAt(startPos) == '<');
869 String tagName = html.substring(startPos + 1, startAttributesPos);
874 X.assertTrue(html.charAt(endContentPos) == '>');
877 X.assertTrue(html.charAt(endContentPos) == '/');
884 String afterAttrs = html.substring(endAttributesPos, endPos);
914 X.assertTrue(html.charAt(startPos) == '<');
915 X.assertTrue(html.charAt(startPos + 1) == '/');
920 String content = html.substring(startPos, endPos);
932 String tagName = html.substring(startPos + 2, startAttributesPos);
938 String endOfTag = html.substring(startAttributesPos, endPos);
981 String original = html.substring(startPos, endPos);
989 unescapedValue, html.substring(startPos, endPos)));
998 String originalPrefix = html.substring(
1009 String nameEtc = html.substring(scanner.startNamePos, endPos);
1020 original.append(html.substring(scanner.endNamePos, scanner.startValuePos));
1041 original.append(html.substring(scanner.endValuePos, endPos));
1061 X.assertTrue(html.regionMatches(start, START_COMMENT, 0, START_COMMENT.length()));
1064 int pos = html.indexOf(END_COMMENT, start + START_COMMENT.length());
1069 pos = html.indexOf('>', start + 4);
1078 nodes.add(HtmlDocument.createHtmlComment(html.substring(start, pos)));
1097 html.charAt(pos) == '<' &&
1098 html.charAt(pos + 1) == '/' &&
1099 html.regionMatches(true, pos + 2, element.getName(), 0,
1108 HtmlDocument.createCDATA(html.substring(start, pos));
1121 String html = new String(ByteStreams.toByteArray(System.in), "ISO-8859-1");
1124 HtmlDocument doc = parser.parse(html);