JML

java.awt.event
Class ActionEvent

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

public class ActionEvent
extends AWTEvent


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
static int ACTION_FIRST
           
static int ACTION_LAST
           
static int ACTION_PERFORMED
           
(package private)  String actionCommand
           
static int ALT_MASK
           
static int CTRL_MASK
           
static int META_MASK
           
(package private)  int modifiers
           
private static long serialVersionUID
           
static int SHIFT_MASK
           
(package private)  long when
           
 
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
ActionEvent(Object, int, String)
           
ActionEvent(Object, int, String, int)
           
ActionEvent(Object, int, String, long, int)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 String getActionCommand()
           
 int getModifiers()
           
 long getWhen()
           
 String paramString()
           
 
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

ACTION_LAST

public static final int ACTION_LAST

SHIFT_MASK

public static final int SHIFT_MASK

CTRL_MASK

public static final int CTRL_MASK

ACTION_FIRST

public static final int ACTION_FIRST

ALT_MASK

public static final int ALT_MASK

META_MASK

public static final int META_MASK

ACTION_PERFORMED

public static final int ACTION_PERFORMED

when

long when

actionCommand

String actionCommand

serialVersionUID

private static final long serialVersionUID

modifiers

int modifiers
Constructor Detail

ActionEvent

public ActionEvent(Object,
                   int,
                   String)

ActionEvent

public ActionEvent(Object,
                   int,
                   String,
                   int)

ActionEvent

public ActionEvent(Object,
                   int,
                   String,
                   long,
                   int)
Method Detail

getModifiers

public int getModifiers()

getWhen

public long getWhen()

getActionCommand

public String getActionCommand()

paramString

public String paramString()
Overrides:
paramString in class AWTEvent

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.