Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
PojavLauncherTeam
GitHub Repository: PojavLauncherTeam/mobile
Path: blob/master/test/jdk/java/awt/Frame/FrameSize/TestFrameSize.java
41153 views
1
/*
2
* Copyright 2009 Red Hat, Inc. All Rights Reserved.
3
* Copyright (c) 2009, 2016, Oracle and/or its affiliates. All rights reserved.
4
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5
*
6
* This code is free software; you can redistribute it and/or modify it
7
* under the terms of the GNU General Public License version 2 only, as
8
* published by the Free Software Foundation.
9
*
10
* This code is distributed in the hope that it will be useful, but WITHOUT
11
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13
* version 2 for more details (a copy is included in the LICENSE file that
14
* accompanied this code).
15
*
16
* You should have received a copy of the GNU General Public License version
17
* 2 along with this work; if not, write to the Free Software Foundation,
18
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
19
*
20
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
21
* or visit www.oracle.com if you need additional information or have any
22
* questions.
23
*/
24
25
/*
26
@test
27
@key headful
28
@bug 6721088
29
@summary X11 Window sizes should be what we set them to
30
@author Omair Majid <[email protected]>: area=awt.toplevel
31
@run main TestFrameSize
32
*/
33
34
/**
35
* TestFrameSize.java
36
*
37
* Summary: test that X11 Awt windows are drawn with correct sizes
38
*
39
* Test fails if size of window is wrong
40
*/
41
42
import java.awt.*;
43
44
public class TestFrameSize {
45
46
static Dimension desiredDimensions = new Dimension(200, 200);
47
static Frame mainWindow;
48
49
private static Dimension getClientSize(Frame window) {
50
Dimension size = window.getSize();
51
Insets insets = window.getInsets();
52
53
System.out.println("getClientSize() for " + window);
54
System.out.println(" size: " + size);
55
System.out.println(" insets: " + insets);
56
57
return new Dimension(
58
size.width - insets.left - insets.right,
59
size.height - insets.top - insets.bottom);
60
}
61
62
public static void drawGui() {
63
mainWindow = new Frame("");
64
mainWindow.setPreferredSize(desiredDimensions);
65
mainWindow.pack();
66
67
Dimension actualDimensions = mainWindow.getSize();
68
System.out.println("Desired dimensions: " + desiredDimensions.toString());
69
System.out.println("Actual dimensions: " + actualDimensions.toString());
70
if (!actualDimensions.equals(desiredDimensions)) {
71
throw new RuntimeException("Incorrect widow size");
72
}
73
74
// pack() guarantees to preserve the size of the client area after
75
// showing the window.
76
Dimension clientSize1 = getClientSize(mainWindow);
77
System.out.println("Client size before showing: " + clientSize1);
78
79
mainWindow.setVisible(true);
80
81
try {
82
Robot robot = new Robot();
83
robot.waitForIdle();
84
}catch(Exception ex) {
85
ex.printStackTrace();
86
throw new RuntimeException("Unexpected failure.");
87
}
88
89
Dimension clientSize2 = getClientSize(mainWindow);
90
System.out.println("Client size after showing: " + clientSize2);
91
92
if (!clientSize2.equals(clientSize1)) {
93
throw new RuntimeException("Incorrect client area size.");
94
}
95
}
96
97
public static void main(String[] args) {
98
try {
99
drawGui();
100
} finally {
101
if (mainWindow != null) {
102
mainWindow.dispose();
103
}
104
}
105
}
106
}
107
108