java - java7 での javax.swing.text.View.createFragment の奇妙な動作

Question

前述の方法の奇妙な動作に遭遇しました。xml ファイルの内容を表示するために使用されるレガシー コンポーネントがあり、java6 で動作しますが、1.7_10 に切り替えると、終了オフセットがビューの範囲外であるため失敗します。

この問題を少し調べたところ、次のメソッド javax.swing.text.ParagraphView.findEdgeSpan(View, int, int, int, int) が見つかりました

これはメソッドのコードです:

/**
 * Binary search for the longest non-breakable fragment at the view edge.
 */
private float findEdgeSpan(View v, int axis, int fp, int p0, int p1) {
    int len = p1 - p0;
    if (len <= 1) {
        // further fragmentation is not possible
        return v.getMinimumSpan(axis);
    } else {
        int mid = p0 + len / 2;
        boolean startEdge = mid > fp;
        // initial view is breakable hence must support fragmentation
        View f = startEdge ?
            v.createFragment(fp, mid) : v.createFragment(mid, fp);
        boolean breakable = f.getBreakWeight(
                axis, 0, f.getMaximumSpan(axis)) > View.BadBreakWeight;
        if (breakable == startEdge) {
            p1 = mid;
        } else {
            p0 = mid;
        }
        return findEdgeSpan(f, axis, fp, p0, p1);
    }
}

ビューのフラグメントを作成し、このフラグメントで実行しますが、オフセット境界は外側のビューから取得されます。また、渡されたボンダリがcreateFragmentビューf境界の外にある場合があります。

それが適切な行動であるかどうか誰かが説明できますか？

のjavadocでjavax.swing.text.View.createFragment：

Parameters:
    p0 the starting offset >= 0. This should be a value greater or equal to the element starting offset and less than the element ending offset.
    p1 the ending offset > p0. This should be a value less than or equal to the elements end offset and greater than the elements starting offset.

私が理解しているように、p1 はビューの endOffset よりも大きくすべきではありませんね。