FYI: New test for PlainDocument

[Anthony Balkissoon <abalkiss@redhat.com>]

[-- Attachment #1: Type: text/plain, Size: 338 bytes --]

This tests to see if a removal that spans a line break causes the
surrounding lines to be joined (into a single Element).  Currently
classpath fails this test, but I'm about to look into that.

2005-09-30  Anthony Balkissoon  <abalkiss@redhat.com>

	* gnu/testlet/javax/swing/text/PlainDocument/removeJoinesLines.java:
	New test.

--Tony

[-- Attachment #2: removeJoinesLines.java --]
[-- Type: text/x-java, Size: 1589 bytes --]

// Tags: JDK1.2

// Copyright (C) 2004 Red Hat.

// This file is part of Mauve.

// Mauve is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2, or (at your option)
// any later version.

// Mauve is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with Mauve; see the file COPYING.  If not, write to
// the Free Software Foundation, 59 Temple Place - Suite 330,
// Boston, MA 02111-1307, USA.

package gnu.testlet.javax.swing.text.PlainDocument;

import gnu.testlet.Testlet;
import gnu.testlet.TestHarness;

import javax.swing.text.*;

// Checks whether a remove operation on a PlainDocument that spans multiple
// lines causes the surrounding lines to be joined together.
public class removeJoinesLines
  implements Testlet
{
  
  public void test(TestHarness harness)
  {
    Element root;
    PlainDocument doc = new PlainDocument();
    root = doc.getDefaultRootElement();
    
    try
      {
        doc.insertString(0, "Line One\n", null);
        doc.insertString(doc.getLength(), "Line Two\n", null);
        doc.insertString(doc.getLength(), "Line Three", null);
        doc.remove(5, 18);
        harness.check(root.getElementCount() == 1);
      }
    catch (Exception e)
      {
      }

  }
}