Swing/HTMLAttributeID のバックアップ(No.7)

  • category: swing folder: HTMLAttributeID title: JEditorPaneのHTMLDocumentからIDでElementを取得する tags: [JEditorPane, HTMLDocument, Element, HTMLEditorKit, ParserDelegator, Highlighter] author: aterai pubdate: 2013-09-09T03:01:50+09:00 description: JEditorPaneに設定したHTMLDocumentを検索してid属性を持つElementを取得します。 image: https://lh6.googleusercontent.com/-qbmJcawN3vU/UiyAF7K-MRI/AAAAAAAABz0/i1Hw-dPyqSw/s800/HTMLAttributeID.png

概要

JEditorPaneに設定したHTMLDocumentを検索してid属性を持つElementを取得します。

Screenshot

screenshot

Download

サンプルコード

private void traverseElementById(Element element) {
  if (element.isLeaf()) {
    checkID(element);
  } else {
    for (int i = 0; i < element.getElementCount(); i++) {
      Element child = element.getElement(i);
      checkID(child);
      if (!child.isLeaf()) {
        traverseElementById(child);
      }
    }
  }
}
private void checkID(Element element) {
  AttributeSet attrs = element.getAttributes();
  Object elementName = attrs.getAttribute(
      AbstractDocument.ElementNameAttribute);
  Object name = (elementName != null)
      ? null : attrs.getAttribute(StyleConstants.NameAttribute);
  HTML.Tag tag;
  if (name instanceof HTML.Tag) {
    tag = (HTML.Tag) name;
  } else {
    return;
  }
  textArea.append(String.format("%s%n", tag));
  if (tag.isBlock()) { //block
    Object bid = attrs.getAttribute(HTML.Attribute.ID);
    if (bid != null) {
      textArea.append(String.format("block: id=%s%n", bid));
      addHighlight(element, true);
    }
  } else { //inline
    Enumeration e = attrs.getAttributeNames();
    while (e.hasMoreElements()) {
      Object obj = attrs.getAttribute(e.nextElement());
      //System.out.println("AttributeNames: "+obj);
      if (obj instanceof AttributeSet) {
        AttributeSet a = (AttributeSet) obj;
        Object iid = a.getAttribute(HTML.Attribute.ID);
        if (iid != null) {
          textArea.append(String.format("inline: id=%s%n", iid));
          addHighlight(element, false);
        }
      }
    }
  }
}
View in GitHub: Java, Kotlin

解説

  • Element#getElement(id)
    • HTMLDocument#getElement(String)メソッドを使用して指定したidを持つElementを取得
    • これらのElementは、org.w3c.dom.Elementではなく、javax.swing.text.Elementインタフェースを実装するHTMLDocument.BlockElementなど
      • org.w3c.dom.Document#getElementById(String)などは使用できない
    • 指定したidのElementが存在した場合、editorPane.select(element.getStartOffset(), element.getEndOffset());で選択
      • element.getStartOffset()などで取得されるオフセットは、JEditorPaneに表示されない要素や属性は含まれない
  • Highlight Element[@id]
    • id属性を持つElementをハイライト表示
    • HTMLDocument.BlockElementなどには、htmlの要素や属性が後で復元するための備考としてAttributeSetに保存されている
      • ブロック要素とインライン要素で属性の保存されている場所が異なる
    • DefaultHighlighter#setDrawsLayeredHighlights(false)の場合、改行を含むハイライトや選択状態の描画がおかしくなる？
  • ParserDelegator
    • ParserDelegatorを使って文字列をパースし、HTMLEditorKit.ParserCallback#handleStartTag(...)でタグの開始を見つけたら、MutableAttributeSet#getAttribute(HTML.Attribute.ID);でそのタグのidを取得
    • javax.swing.text.Elementとは無関係に、JEditorPane#getText()で取得した文字列をhtmlとして解析している
    • HTMLEditorKitが設定されたJEditorPaneからgetText()で取得された文字列には、<body>などのタグが自動的に補完されているので、元のhtmlテキストとは異なる点に注意
System.out.println("ParserDelegator");
final String id = field.getText().trim();
final String text = editorPane.getText();
ParserDelegator delegator = new ParserDelegator();
try {
  delegator.parse(new StringReader(text), new HTMLEditorKit.ParserCallback() {
    @Override public void handleStartTag(
        HTML.Tag tag, MutableAttributeSet a, int pos) {
      Object attrid = a.getAttribute(HTML.Attribute.ID);
      textArea.append(String.format("%s@id=%s%n", tag, attrid));
      if (id.equals(attrid)) {
        textArea.append(String.format("found: pos=%d%n", pos));
        int endoffs = text.indexOf('>', pos);
        textArea.append(String.format("%s%n", text.substring(pos, endoffs + 1)));
      }
    }
  }, Boolean.TRUE);
} catch (Exception ex) {
  ex.printStackTrace();
}

参考リンク

コメント