FYI: additions to DefaultStyledDocument test

FYI: additions to DefaultStyledDocument test

[Anthony Balkissoon]

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

I added a few checks to this test.

2005-12-20  Anthony Balkissoon  <abalkiss@redhat.com>

	*
gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure3.java: Added more checks to this test.

--Tony

[-- Attachment #2: ElementBufferStructure3Addition.diff --]
[-- Type: text/x-patch, Size: 1620 bytes --]

Index: gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure3.java
===================================================================
RCS file: /cvs/mauve/mauve/gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure3.java,v
retrieving revision 1.1
diff -u -r1.1 ElementStructure3.java
--- gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure3.java	21 Dec 2005 18:51:35 -0000	1.1
+++ gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure3.java	21 Dec 2005 21:28:05 -0000
@@ -22,6 +22,9 @@
 package gnu.testlet.javax.swing.text.DefaultStyledDocument.ElementBuffer;
 
 import javax.swing.text.DefaultStyledDocument;
+import javax.swing.text.BadLocationException;
+import javax.swing.text.Segment;
+import javax.swing.text.AttributeSet;
 import javax.swing.text.Element;
 import javax.swing.JTextPane;
 
@@ -40,6 +43,28 @@
     buffer = new ElementBuffer2(createDefaultRoot());
   }
 
+  protected void insertUpdate(DefaultDocumentEvent ev, AttributeSet attr)
+  {
+    int newLines = 0;
+    h2.check (ev.getLength() == 134);
+    h2.check (ev.getOffset() == 0);
+    Segment txt = new Segment();
+    try
+      {
+        getText(ev.getOffset(), ev.getLength(), txt);
+      }
+    catch (BadLocationException ble)
+      {
+      }
+
+    for (int i = txt.offset; i < txt.offset + txt.count; i ++)
+      {
+        if (txt.array[i] == '\n')
+          newLines ++;
+      }
+    h2.check (newLines == 1);
+    super.insertUpdate(ev, attr);
+  }
   
  public class ElementBuffer2 extends ElementBuffer
   {