This is the mail archive of the
mauve-patches@sourceware.org
mailing list for the Mauve project.
Re: FYI: ElementBuffer test
- From: Lillian Angel <langel at redhat dot com>
- To: mauve-patches <mauve-patches at sources dot redhat dot com>
- Date: Mon, 16 Jan 2006 13:20:44 -0500
- Subject: Re: FYI: ElementBuffer test
- References: <1137426875.5743.10.camel@tow.toronto.redhat.com>
2006-01-16 Lillian Angel <langel@redhat.com>
*
gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure8.java:
Added new checks.
On Mon, 2006-01-16 at 10:54 -0500, Lillian Angel wrote:
> 2006-01-16 Lillian Angel <langel@redhat.com>
>
> *
> gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure8.java:
> New Class.
>
Index: gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure8.java
===================================================================
RCS file: /cvs/mauve/mauve/gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure8.java,v
retrieving revision 1.1
diff -u -r1.1 ElementStructure8.java
--- gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure8.java 16 Jan 2006 15:54:03 -0000 1.1
+++ gnu/testlet/javax/swing/text/DefaultStyledDocument/ElementBuffer/ElementStructure8.java 16 Jan 2006 18:19:06 -0000
@@ -75,6 +75,46 @@
Element fourth = root.getElement(3).getElement(0);
harness.check(fourth.getStartOffset() == 65);
harness.check(fourth.getEndOffset() == 66);
+
+ doc = new DefaultStyledDocument();
+ root = doc.getDefaultRootElement();
+
+ // Add a first line of text.
+ doc.insertString(0, "first line of text. \n", null);
+ harness.check(root.getElementCount() == 2);
+ harness.check(root.getElement(0).getStartOffset() == 0);
+ harness.check(root.getElement(0).getEndOffset() == 21);
+ harness.check(root.getElement(1).getStartOffset() == 21);
+ harness.check(root.getElement(1).getEndOffset() == 22);
+
+
+ // Add another line of text with 2 new lines.
+ doc.insertString(21, "\n second line of text. \n third line of text. \n", null);
+ harness.check(root.getElementCount() == 5);
+ harness.check(root.getElement(0).getElementCount() == 1);
+ harness.check(root.getElement(1).getElementCount() == 1);
+ harness.check(root.getElement(2).getElementCount() == 1);
+ harness.check(root.getElement(3).getElementCount() == 1);
+
+ first = root.getElement(0).getElement(0);
+ harness.check(first.getStartOffset() == 0);
+ harness.check(first.getEndOffset() == 21);
+
+ second = root.getElement(1).getElement(0);
+ harness.check(second.getStartOffset() == 21);
+ harness.check(second.getEndOffset() == 22);
+
+ third = root.getElement(2).getElement(0);
+ harness.check(third.getStartOffset() == 22);
+ harness.check(third.getEndOffset() == 45);
+
+ fourth = root.getElement(3).getElement(0);
+ harness.check(fourth.getStartOffset() == 45);
+ harness.check(fourth.getEndOffset() == 67);
+
+ Element fifth = root.getElement(4).getElement(0);
+ harness.check(fifth.getStartOffset() == 67);
+ harness.check(fifth.getEndOffset() == 68);
}
catch (Throwable t)
{