Lines Matching refs:element
72 HTML.Element element = t.getElement();
73 if (element.isEmpty()) {
82 tree.addStartTag(HtmlDocument.createTag(element,
85 EndTag end = HtmlDocument.createEndTag(element);
90 push(element); // Track the open tags
98 HTML.Element element = t.getElement();
99 int pos = findStartTag(element);
113 logger.finest("Ignoring end tag: " + element.getName());
129 private int findStartTag(HTML.Element element) {
132 if (e == element) {
144 HTML.Element element = pop();
146 HtmlDocument.EndTag endTag = HtmlDocument.createEndTag(element);
152 private void push(HTML.Element element) {
153 stack.add(element);
196 HTML.Element element = tag.getElement();
197 if (element.getType() == HTML.Element.TABLE_TYPE) {
199 if (HTML4.TABLE_ELEMENT.equals(element)) {
211 if (HTML4.TD_ELEMENT.equals(element) ||
212 HTML4.TH_ELEMENT.equals(element)) {
215 } else if (HTML4.CAPTION_ELEMENT.equals(element)) {
222 // Ok to have a form element outside a table cell.
224 if (!HTML4.FORM_ELEMENT.equals(element)) {
232 HTML.Element element= endTag.getElement();
234 if (tables > 0 && element.getType() == HTML.Element.TABLE_TYPE) {
236 if (HTML4.TD_ELEMENT.equals(element) ||
237 HTML4.TR_ELEMENT.equals(element) ||
238 HTML4.TH_ELEMENT.equals(element)) {
242 } else if (HTML4.CAPTION_ELEMENT.equals(element)) { // End caption
245 } else if (HTML4.TABLE_ELEMENT.equals(element)) { // End table