JML

java.awt.event
Class WindowEvent

java.lang.Object
  extended byjava.util.EventObject
      extended byjava.awt.AWTEvent
          extended byjava.awt.event.ComponentEvent
              extended byjava.awt.event.WindowEvent
All Implemented Interfaces:
Serializable

public class WindowEvent
extends ComponentEvent


Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Field Summary
(package private)  int newState
           
(package private)  int oldState
           
(package private)  Window opposite
           
private static long serialVersionUID
           
static int WINDOW_ACTIVATED
           
static int WINDOW_CLOSED
           
static int WINDOW_CLOSING
           
static int WINDOW_DEACTIVATED
           
static int WINDOW_DEICONIFIED
           
static int WINDOW_FIRST
           
static int WINDOW_GAINED_FOCUS
           
static int WINDOW_ICONIFIED
           
static int WINDOW_LAST
           
static int WINDOW_LOST_FOCUS
           
static int WINDOW_OPENED
           
static int WINDOW_STATE_CHANGED
           
 
Fields inherited from class java.awt.event.ComponentEvent
COMPONENT_FIRST, COMPONENT_HIDDEN, COMPONENT_LAST, COMPONENT_MOVED, COMPONENT_RESIZED, COMPONENT_SHOWN
 
Fields inherited from class java.awt.AWTEvent
ACTION_EVENT_MASK, ADJUSTMENT_EVENT_MASK, COMPONENT_EVENT_MASK, consumed, CONTAINER_EVENT_MASK, FOCUS_EVENT_MASK, HIERARCHY_BOUNDS_EVENT_MASK, HIERARCHY_EVENT_MASK, id, INPUT_METHOD_EVENT_MASK, INVOCATION_EVENT_MASK, ITEM_EVENT_MASK, KEY_EVENT_MASK, MOUSE_EVENT_MASK, MOUSE_MOTION_EVENT_MASK, MOUSE_WHEEL_EVENT_MASK, PAINT_EVENT_MASK, RESERVED_ID_MAX, TEXT_EVENT_MASK, WINDOW_EVENT_MASK, WINDOW_FOCUS_EVENT_MASK, WINDOW_STATE_EVENT_MASK
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
WindowEvent(Window, int)
           
WindowEvent(Window, int, int, int)
           
WindowEvent(Window, int, Window)
           
WindowEvent(Window, int, Window, int, int)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 int getNewState()
           
 int getOldState()
           
 Window getOppositeWindow()
           
 Window getWindow()
           
 String paramString()
           
 
Methods inherited from class java.awt.event.ComponentEvent
getComponent
 
Methods inherited from class java.awt.AWTEvent
consume, getID, isConsumed, setSource, toString
 
Methods inherited from class java.util.EventObject
getSource
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

serialVersionUID

private static final long serialVersionUID

oldState

int oldState

WINDOW_DEICONIFIED

public static final int WINDOW_DEICONIFIED

WINDOW_DEACTIVATED

public static final int WINDOW_DEACTIVATED

WINDOW_GAINED_FOCUS

public static final int WINDOW_GAINED_FOCUS

opposite

transient Window opposite

WINDOW_LOST_FOCUS

public static final int WINDOW_LOST_FOCUS

WINDOW_FIRST

public static final int WINDOW_FIRST

WINDOW_LAST

public static final int WINDOW_LAST

WINDOW_STATE_CHANGED

public static final int WINDOW_STATE_CHANGED

newState

int newState

WINDOW_CLOSED

public static final int WINDOW_CLOSED

WINDOW_ICONIFIED

public static final int WINDOW_ICONIFIED

WINDOW_ACTIVATED

public static final int WINDOW_ACTIVATED

WINDOW_CLOSING

public static final int WINDOW_CLOSING

WINDOW_OPENED

public static final int WINDOW_OPENED
Constructor Detail

WindowEvent

public WindowEvent(Window,
                   int)

WindowEvent

public WindowEvent(Window,
                   int,
                   int,
                   int)

WindowEvent

public WindowEvent(Window,
                   int,
                   Window)

WindowEvent

public WindowEvent(Window,
                   int,
                   Window,
                   int,
                   int)
Method Detail

getNewState

public int getNewState()

getOldState

public int getOldState()

getOppositeWindow

public Window getOppositeWindow()

getWindow

public Window getWindow()

paramString

public String paramString()
Overrides:
paramString in class ComponentEvent

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.