1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
// Tags: GUI JDK1.0
// 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.java.awt.Frame;
import gnu.testlet.TestHarness;
import gnu.testlet.Testlet;
import gnu.testlet.java.awt.LocationTests;
import java.awt.*;
/**
* Check that a frame's size is set correctly when it is initially
* shown.
*/
public class size1 implements Testlet
{
// a random background color that is unlikely to be used by the
// window decorations.
static Color nonWMColor = new Color (243, 133, 89);
class testFrame extends Frame
{
Color c;
public testFrame (Color c)
{
super ();
this.c = c;
}
public void paint (Graphics g)
{
Rectangle bounds = new Rectangle (0, 0,
this.getSize ().width,
this.getSize ().height);
g.setColor (c);
g.fillRect (bounds.x, bounds.y, bounds.width, bounds.height);
}
}
public void test (TestHarness harness)
{
Robot r = harness.createRobot ();
Color c;
testFrame bg = new testFrame (nonWMColor);
testFrame fg = new testFrame (new Color (0, 0, 0));
int bg_x = 75;
int bg_y = 75;
int bg_width = 250;
int bg_height = 250;
int fg_x = 150;
int fg_y = 150;
int fg_width = 100;
int fg_height = 100;
bg.setLocation (bg_x, bg_y);
bg.setSize (bg_width, bg_height);
fg.setLocation (fg_x, fg_y);
fg.setSize (fg_width, fg_height);
bg.show ();
fg.show ();
// There is a delay to avoid any race conditions.
r.waitForIdle ();
r.delay (100);
Rectangle bounds = fg.getBounds();
// check the two pixels adjacent to each corner of the foreground
// frame.
LocationTests.checkRectangleOuterColors(harness, r, bounds, nonWMColor, true);
// check the frame's corner pixels.
LocationTests.checkRectangleCornerColors(harness, r, bounds, nonWMColor, false);
// There is a delay so the tester can see the result.
r.delay (3000);
}
}
|
