Lines Matching refs:HTML
16 package com.android.mail.lib.html.parser;
19 import com.android.mail.lib.html.parser.HtmlDocument.EndTag;
39 private final List<HTML.Element> stack = new ArrayList<HTML.Element>();
44 /** Gets the built html tree */
72 HTML.Element element = t.getElement();
98 HTML.Element element = t.getElement();
129 private int findStartTag(HTML.Element element) {
131 HTML.Element e = stack.get(i);
144 HTML.Element element = pop();
152 private void push(HTML.Element element) {
157 private HTML.Element pop() {
196 HTML.Element element = tag.getElement();
197 if (element.getType() == HTML.Element.TABLE_TYPE) {
232 HTML.Element element= endTag.getElement();
234 if (tables > 0 && element.getType() == HTML.Element.TABLE_TYPE) {
298 String html = new String(ByteStreams.toByteArray(System.in));
300 HtmlDocument doc = parser.parse(html);
