public interface Window
Modifier and Type | Method and Description |
---|---|
void |
close()
The function close() closes the window.
|
int |
getBottom()
The function getBottom() returns the distance of the lower edge of the
window from the upper edge of the display area.
|
Desktop |
getDesktop()
The function getDesktop() returns the desktop on which is the window.
|
int |
getHeight()
The function getHeight() returns the height of the window.
|
int |
getLeft()
The function getLeft() returns the distance of the left edge of the
window from the upper edge of the display area.
|
int |
getRight()
The function getRight() returns the distance of the right edge of the
window from the upper edge of the display area.
|
java.lang.String |
getTitle()
The function getTitle() returns the title of the Window.
|
int |
getTop()
The function getTop() returns the distance of the upper edge of the
window from the upper edge of the display area.
|
int |
getWidth()
The function getWidth() returns the width of the window.
|
boolean |
isVisible()
The function isVisible() returns true if and only if the window is
visible.
|
void |
move(int x,
int y)
The function move() moves the window to the right by x pixels and down by
y pixels.
|
void |
resize(int x,
int y,
int width,
int height)
The function resize() sets the size of the window so that its upper left
corner has the distance x pixels from the upper edge of the display area,
y pixels from the left edge of the display area, the width width pixels,
and the height height pixels.
|
int getBottom() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorint getHeight() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorint getLeft() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorint getRight() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorjava.lang.String getTitle() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorint getTop() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorint getWidth() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorboolean isVisible() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorDesktop getDesktop() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the errorvoid move(int x, int y) throws WDDManException
x
- the desired right movey
- the desired down moveWDDManException
- when there is an error; the message contains a
description of the errorvoid resize(int x, int y, int width, int height) throws WDDManException
x
- the desired distance in pixels of the upper left corner of the
window from the upper edge of the display areay
- the desired distance in pixels of the upper left corner of the
window from the left edge of the display areawidth
- the desired width of the windowheight
- the desired height of the windowWDDManException
- when there is an error; the message contains a
description of the errorvoid close() throws WDDManException
WDDManException
- when there is an error; the message contains a
description of the error