FYI: New tests for AbstractDocument

[Anthony Balkissoon <abalkiss at redhat dot com>]

This tests the ElementChange contained in the DocumentEvent fired when
content is added and removed.

2005-10-05  Anthony Balkissoon  <abalkiss@redhat.com>

	* gnu/testlet/javax/swing/text/AbstractDocument/ElementChange.java: 
	New test.

--Tony

// Tags: JDK1.2

// Copyright (C) 2005 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.AbstractDocument;

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

import javax.swing.text.*;
import javax.swing.*;
import javax.swing.event.*;

/**
 * Tests if adding and removing content fires DocumentEvents with the proper ElementChange.
 */
public class ElementChange
  implements Testlet
{  
  public void test(TestHarness harness)
  {
    JTextArea textArea = new JTextArea ();
    final TestHarness harness2 = harness;

    ((AbstractDocument)textArea.getDocument()).addDocumentListener(new DocumentListener(){
        public void changedUpdate (DocumentEvent e)
        {
        }

        public void insertUpdate (DocumentEvent e)
        {
          Element root = e.getDocument().getDefaultRootElement();
          DocumentEvent.ElementChange ec = e.getChange(root);                
          Element[] childrenAdded = ec.getChildrenAdded();
          Element[] childrenRemoved = ec.getChildrenRemoved();
          harness2.checkPoint("insert update children added");
          harness2.check(childrenAdded.length == 4);
          harness2.check(childrenAdded[0].getStartOffset() == 0);
          harness2.check(childrenAdded[0].getEndOffset() == 36);
          harness2.check(childrenAdded[1].getStartOffset() == 36);
          harness2.check(childrenAdded[1].getEndOffset() == 97);
          harness2.check(childrenAdded[2].getStartOffset() == 97);
          harness2.check(childrenAdded[2].getEndOffset() == 134);
          harness2.check(childrenAdded[3].getStartOffset() == 134);
          harness2.check(childrenAdded[3].getEndOffset() == 176);

          harness2.checkPoint("insert update children removed");
          harness2.check(childrenRemoved.length == 1);
          harness2.check(childrenRemoved[0].getStartOffset() == 0);
          harness2.check(childrenRemoved[0].getEndOffset() == 176);
        }

        public void removeUpdate (DocumentEvent e)
        {
          Element root = e.getDocument().getDefaultRootElement();
          DocumentEvent.ElementChange ec = e.getChange(root);                
          Element[] childrenAdded = ec.getChildrenAdded();
          Element[] childrenRemoved = ec.getChildrenRemoved();
          harness2.checkPoint("remove update children added");
          harness2.check(childrenAdded.length == 1);
          harness2.check(childrenAdded[0].getStartOffset() == 0);
          harness2.check(childrenAdded[0].getEndOffset() == 57);

          harness2.checkPoint("remove udpate childrem removed");
          harness2.check(childrenRemoved.length == 2);
          harness2.check(childrenRemoved[0].getStartOffset() == 0);
          harness2.check(childrenRemoved[0].getEndOffset() == 5);
          harness2.check(childrenRemoved[1].getStartOffset() == 5);
          harness2.check(childrenRemoved[1].getEndOffset() == 57);
        }
      });
    textArea.setText("This is the text that we are adding\nIt has several lines, which should be several children added\nWhile only one child will be removed\nThat is, if the implementation is correct");
    try
      {
        textArea.getDocument().remove(5, 40);
      }
    catch (BadLocationException ble)
      {
      }

  }
}