* RFC: fix for Mauve test javax/swing/Border/TitledBorder/constructors.java
@ 2011-09-02 15:31 Pavel Tisnovsky
2011-09-07 2:39 ` Dr Andrew John Hughes
0 siblings, 1 reply; 5+ messages in thread
From: Pavel Tisnovsky @ 2011-09-02 15:31 UTC (permalink / raw)
To: mauve-discuss
Greetings,
here's fix for another Mauve test. In the test
"javax/swing/Border/TitledBorder/constructors.java" the position of the title in
the border should be compared with the constant TitledBorder.DEFAULT_POSITION,
not with TitledBorder.TOP, at least in cases when following constructors are used:
TitledBorder(Border border)
TitledBorder(Border border, String title)
TitledBorder(String title)
(there exist three other constructors where title position can be explicitly
specified, but the fix changes only test cases which use the previous three
constructors).
Here's proposed fix for the test:
--- javax/swing/border/Border/TitledBorder/constructors.java 2006-02-01
15:14:22.000000000 +0100
+++ javax/swing/border/Border/TitledBorder/constructors.java 2011-09-02
16:37:19.000000000 +0200
@@ -77,7 +77,7 @@
harness.check(tb.getTitleColor(), c);
Font f = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
harness.check(tb.getTitleFont(), f);
- harness.check(tb.getTitlePosition(), TitledBorder.TOP);
+ harness.check(tb.getTitlePosition(), TitledBorder.DEFAULT_POSITION);
harness.check(tb.getTitleJustification(), TitledBorder.LEADING);
tb = new TitledBorder((Border) null);
@@ -98,7 +98,7 @@
harness.check(tb.getTitleColor(), c);
Font f = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
harness.check(tb.getTitleFont(), f);
- harness.check(tb.getTitlePosition(), TitledBorder.TOP);
+ harness.check(tb.getTitlePosition(), TitledBorder.DEFAULT_POSITION);
harness.check(tb.getTitleJustification(), TitledBorder.LEADING);
tb = new TitledBorder((Border) null, "XYZ");
@@ -202,7 +202,7 @@
harness.check(tb.getTitleColor(), c);
Font f = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font");
harness.check(tb.getTitleFont(), f);
- harness.check(tb.getTitlePosition(), TitledBorder.TOP);
+ harness.check(tb.getTitlePosition(), TitledBorder.DEFAULT_POSITION);
harness.check(tb.getTitleJustification(), TitledBorder.LEADING);
tb = new TitledBorder((String) null);
~
Can anybody please review this change?
Thank you in advance,
Pavel
^ permalink raw reply [flat|nested] 5+ messages in thread* Re: RFC: fix for Mauve test javax/swing/Border/TitledBorder/constructors.java 2011-09-02 15:31 RFC: fix for Mauve test javax/swing/Border/TitledBorder/constructors.java Pavel Tisnovsky @ 2011-09-07 2:39 ` Dr Andrew John Hughes 2011-09-07 12:53 ` Pavel Tisnovsky 0 siblings, 1 reply; 5+ messages in thread From: Dr Andrew John Hughes @ 2011-09-07 2:39 UTC (permalink / raw) To: Pavel Tisnovsky; +Cc: mauve-discuss On 17:33 Fri 02 Sep , Pavel Tisnovsky wrote: > Greetings, > > here's fix for another Mauve test. In the test > "javax/swing/Border/TitledBorder/constructors.java" the position of the title in > the border should be compared with the constant TitledBorder.DEFAULT_POSITION, > not with TitledBorder.TOP, at least in cases when following constructors are used: > > TitledBorder(Border border) > TitledBorder(Border border, String title) > TitledBorder(String title) > > (there exist three other constructors where title position can be explicitly > specified, but the fix changes only test cases which use the previous three > constructors). > Can you explain why and note whether this affects current test results? -- Andrew :) Free Java Software Engineer Red Hat, Inc. (http://www.redhat.com) Support Free Java! Contribute to GNU Classpath and IcedTea http://www.gnu.org/software/classpath http://icedtea.classpath.org PGP Key: F5862A37 (https://keys.indymedia.org/) Fingerprint = EA30 D855 D50F 90CD F54D 0698 0713 C3ED F586 2A37 ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: RFC: fix for Mauve test javax/swing/Border/TitledBorder/constructors.java 2011-09-07 2:39 ` Dr Andrew John Hughes @ 2011-09-07 12:53 ` Pavel Tisnovsky 2011-09-14 8:55 ` Pavel Tisnovsky 0 siblings, 1 reply; 5+ messages in thread From: Pavel Tisnovsky @ 2011-09-07 12:53 UTC (permalink / raw) To: Dr Andrew John Hughes; +Cc: mauve-discuss Dr Andrew John Hughes wrote: > On 17:33 Fri 02 Sep , Pavel Tisnovsky wrote: >> Greetings, >> >> here's fix for another Mauve test. In the test >> "javax/swing/Border/TitledBorder/constructors.java" the position of the title in >> the border should be compared with the constant TitledBorder.DEFAULT_POSITION, >> not with TitledBorder.TOP, at least in cases when following constructors are used: >> >> TitledBorder(Border border) >> TitledBorder(Border border, String title) >> TitledBorder(String title) >> >> (there exist three other constructors where title position can be explicitly >> specified, but the fix changes only test cases which use the previous three >> constructors). >> > > Can you explain why and note whether this affects current test results? > Hi Andrew, well, I've gone deeper into this issue and it seems, that GNU Classpath and OpenJDK have quite different behaviour, but both are AFAIK correct due to imprecise specification. When one of the following constructors are used to create TitledBorder: TitledBorder(Border border) TitledBorder(Border border, String title) TitledBorder(String title) the text position is considered as DEFAULT_POSITION which * is equals * to TOP. The only difference between GNU Classpath / OpenJDK is that GNU Classpath explicitly sets text position to TOP in the constructor's body: public TitledBorder(String title) { this(/* border */ null, title, LEADING, TOP, /* titleFont */ null, /* titleColor */ null); } but OpenJDK still stores DEFAULT_POSITION in following types of code: switch (position) { case TOP: case DEFAULT: the same code block for TOP & DEFAULT (the same pattern are used for text justification, ie for constants LEFT and DEFAULT_JUSTIFICATION). This means that TitledBorder("title").getTitlePosition()==TitledBorder.TOP on GNU Classpath but TitledBorder("title").getTitlePosition()==TitledBorder.DEFAULT_POSITION on OpenJDK and proprietary JDKs too. So it's IMHO better to change the test to check for both possibilities. Pavel ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: RFC: fix for Mauve test javax/swing/Border/TitledBorder/constructors.java 2011-09-07 12:53 ` Pavel Tisnovsky @ 2011-09-14 8:55 ` Pavel Tisnovsky 2011-09-14 9:11 ` Mark Wielaard 0 siblings, 1 reply; 5+ messages in thread From: Pavel Tisnovsky @ 2011-09-14 8:55 UTC (permalink / raw) To: mauve-discuss Greetings, here's the new version of a patch for a Mauve test javax/swing/Border/TitledBorder/constructors.java. This patch make this test work correctly on OpenJDK & GNU Classpath too: --- mauve_old/gnu/testlet/javax/swing/border/TitledBorder/constructors.java 2006-02-01 15:14:22.000000000 +0100 +++ mauve_new/gnu/testlet/javax/swing/border/TitledBorder/constructors.java 2011-09-14 10:48:54.000000000 +0200 @@ -65,6 +65,11 @@ test6(harness); } + public void checkTitledBorderDefaultPosition(TestHarness harness, int position) + { + harness.check(position == TitledBorder.TOP || position == TitledBorder.DEFAULT_POSITION); + } + public void test1(TestHarness harness) { harness.checkPoint("(Border)"); @@ -77,7 +82,7 @@ harness.check(tb.getTitleColor(), c); Font f = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font"); harness.check(tb.getTitleFont(), f); - harness.check(tb.getTitlePosition(), TitledBorder.TOP); + checkTitledBorderDefaultPosition(harness, tb.getTitlePosition()); harness.check(tb.getTitleJustification(), TitledBorder.LEADING); tb = new TitledBorder((Border) null); @@ -98,7 +103,7 @@ harness.check(tb.getTitleColor(), c); Font f = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font"); harness.check(tb.getTitleFont(), f); - harness.check(tb.getTitlePosition(), TitledBorder.TOP); + checkTitledBorderDefaultPosition(harness, tb.getTitlePosition()); harness.check(tb.getTitleJustification(), TitledBorder.LEADING); tb = new TitledBorder((Border) null, "XYZ"); @@ -202,7 +207,7 @@ harness.check(tb.getTitleColor(), c); Font f = UIManager.getLookAndFeelDefaults().getFont("TitledBorder.font"); harness.check(tb.getTitleFont(), f); - harness.check(tb.getTitlePosition(), TitledBorder.TOP); + checkTitledBorderDefaultPosition(harness, tb.getTitlePosition()); harness.check(tb.getTitleJustification(), TitledBorder.LEADING); tb = new TitledBorder((String) null); Any comments are welcome. Pavel Pavel Tisnovsky wrote: > Dr Andrew John Hughes wrote: >> On 17:33 Fri 02 Sep , Pavel Tisnovsky wrote: >>> Greetings, >>> >>> here's fix for another Mauve test. In the test >>> "javax/swing/Border/TitledBorder/constructors.java" the position of the title in >>> the border should be compared with the constant TitledBorder.DEFAULT_POSITION, >>> not with TitledBorder.TOP, at least in cases when following constructors are used: >>> >>> TitledBorder(Border border) >>> TitledBorder(Border border, String title) >>> TitledBorder(String title) >>> >>> (there exist three other constructors where title position can be explicitly >>> specified, but the fix changes only test cases which use the previous three >>> constructors). >>> >> Can you explain why and note whether this affects current test results? >> > > Hi Andrew, > > well, I've gone deeper into this issue and it seems, that GNU Classpath and > OpenJDK have quite different behaviour, but both are AFAIK correct due to > imprecise specification. When one of the following constructors are used to > create TitledBorder: > > TitledBorder(Border border) > TitledBorder(Border border, String title) > TitledBorder(String title) > > the text position is considered as DEFAULT_POSITION which * is equals * to TOP. > The only difference between GNU Classpath / OpenJDK is that GNU Classpath > explicitly sets text position to TOP in the constructor's body: > > public TitledBorder(String title) > { > this(/* border */ null, title, LEADING, TOP, /* titleFont */ null, /* > titleColor */ null); > } > > but OpenJDK still stores DEFAULT_POSITION in following types of code: > > switch (position) { > case TOP: > case DEFAULT: > the same code block for TOP & DEFAULT > > (the same pattern are used for text justification, ie for constants LEFT and > DEFAULT_JUSTIFICATION). > > This means that TitledBorder("title").getTitlePosition()==TitledBorder.TOP on > GNU Classpath but > TitledBorder("title").getTitlePosition()==TitledBorder.DEFAULT_POSITION on > OpenJDK and proprietary JDKs too. > > So it's IMHO better to change the test to check for both possibilities. > > Pavel ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: RFC: fix for Mauve test javax/swing/Border/TitledBorder/constructors.java 2011-09-14 8:55 ` Pavel Tisnovsky @ 2011-09-14 9:11 ` Mark Wielaard 0 siblings, 0 replies; 5+ messages in thread From: Mark Wielaard @ 2011-09-14 9:11 UTC (permalink / raw) To: Pavel Tisnovsky; +Cc: mauve-discuss On Wed, 2011-09-14 at 10:57 +0200, Pavel Tisnovsky wrote: > here's the new version of a patch for a Mauve test > javax/swing/Border/TitledBorder/constructors.java. This patch make this test > work correctly on OpenJDK & GNU Classpath too: IMHO you just found a bug in GNU Classpath. If no position is given it should use DEFAULT_POSITION, not TOP. The test was wrong, and I think your original fix was correct. Cheers, Mark ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2011-09-14 9:11 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2011-09-02 15:31 RFC: fix for Mauve test javax/swing/Border/TitledBorder/constructors.java Pavel Tisnovsky 2011-09-07 2:39 ` Dr Andrew John Hughes 2011-09-07 12:53 ` Pavel Tisnovsky 2011-09-14 8:55 ` Pavel Tisnovsky 2011-09-14 9:11 ` Mark Wielaard
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).