概要

DocumentFilterを使用して最終行のみ編集可能なJTextAreaを作成します。

サンプルコード

class NonEditableLineDocumentFilter extends DocumentFilter {
  public static final String PROMPT = "> ";
  @Override public void insertString(
      DocumentFilter.FilterBypass fb, int offset, String string,
      AttributeSet attr) throws BadLocationException {
    if (string == null) {
      return;
    } else {
      replace(fb, offset, 0, string, attr);
    }
  }

  @Override public void remove(
      DocumentFilter.FilterBypass fb,
      int offset, int length) throws BadLocationException {
    replace(fb, offset, length, "", null);
  }

  @Override public void replace(
      DocumentFilter.FilterBypass fb, int offset, int length,
      String text, AttributeSet attrs) throws BadLocationException {
    Document doc = fb.getDocument();
    Element root = doc.getDefaultRootElement();
    int count = root.getElementCount();
    int index = root.getElementIndex(offset);
    Element cur = root.getElement(index);
    int promptPosition = cur.getStartOffset()+PROMPT.length();
    if (index == count - 1 && offset - promptPosition >= 0) {
      if (text.equals("\n")) {
        String line = doc.getText(promptPosition, offset - promptPosition);
        String[] args = line.split(" ");
        String cmd = args[0];
        if (cmd.isEmpty()) {
          text = "";
        } else {
          text = String.format("%n%s: command not found", cmd);
        }
        text += "\n" + PROMPT;
      }
      fb.replace(offset, length, text, attrs);
    }
  }
}
View in GitHub: Java, Kotlin

解説

  • DocumentFilter#replace(...)メソッドをオーバーライド
  • Document#getDefaultRootElement()でルートエレメントを取得してElement#getElementCount()で全体の行数を取得
  • offset(文字挿入位置)からElement#getElementIndex(offset)メソッドで挿入位置の行番号とElementを取得
  • 挿入位置の行番号 == 全体の行数 - 1となる場合のみDocumentFilter.FilterBypass#replace(...)を実行(編集可能)する
    • 上記のサンプルではコマンドプロンプト風に最終行の行頭にあるプロンプトは編集不可で改行の入力ごとに最終行の文字列を評価してメッセージを追加表示

参考リンク

コメント