java getdocument_Java Element.getDocument方法代码示例

import javax.swing.text.Element; //导入方法依赖的package包/类

/**

* Writes out all empty elements (all tags that have no

* corresponding end tag).

*

* @param elem an Element

* @exception IOException on any I/O error

* @exception BadLocationException if pos represents an invalid

* location within the document.

*/

protected void emptyTag(Element elem) throws BadLocationException, IOException {

if (!inContent && !inPre) {

indent();

}

AttributeSet attr = elem.getAttributes();

closeOutUnwantedEmbeddedTags(attr);

writeEmbeddedTags(attr);

if (attr != null && matchNameAttribute(attr, HTML.Tag.CONTENT)) {

inContent = true;

text(elem);

}

else if (attr != null && matchNameAttribute(attr, HTML.Tag.COMMENT)) {

comment(elem);

}

else {

boolean isBlock = isBlockTag(elem.getAttributes());

if (inContent && isBlock) {

writeLineSeparator();

indent();

}

Object nameTag = (attr != null) ? attr.getAttribute(StyleConstants.NameAttribute) : null;

Object endTag = (attr != null) ? attr.getAttribute(HTML.Attribute.ENDTAG) : null;

boolean outputEndTag = false;

// If an instance of an UNKNOWN Tag, or an instance of a

// tag that is only visible during editing

//

if (nameTag != null && endTag != null && (endTag instanceof String) && ((String) endTag).equals("true")) {

outputEndTag = true;

}

if (completeDoc && matchNameAttribute(attr, HTML.Tag.HEAD)) {

if (outputEndTag) {

// Write out any styles.

writeStyles(((HTMLDocument) getDocument()).getStyleSheet());

}

wroteHead = true;

}

write('

if (outputEndTag) {

write('/');

}

write(elem.getName());

writeAttributes(attr);

write('>');

if (attr != null && matchNameAttribute(attr, HTML.Tag.TITLE) && !outputEndTag) {

Document doc = elem.getDocument();

String title = (String) doc.getProperty(Document.TitleProperty);

write(title);

}

else if (!inContent || isBlock) {

writeLineSeparator();

if (isBlock && inContent) {

indent();

}

}

}

}