jade.gui
Class GuiEvent
java.lang.Object
|
+--jade.gui.GuiEvent
- public class GuiEvent
- extends java.lang.Object
This class defines the object type GuiEvent
used to notify
an event to a GuiAgent. It has two mandatory attributes:the source of the event
and an integer identifying the type of event and an optional list of parameters
than can be added to the event object.The type of each parameter must extends
java.lang.Object
; therefore primitive object (e.g.int) should be wrapped
into appropriate objects(e.g java.lang.Integer
).
- Version:
- $Date: 2001/08/22 14:10:56 $ $Revision: 2.2 $
- Author:
- Giovanni Caire - CSELT S.p.A.
- See Also:
GuiAgent
Field Summary |
protected java.lang.Object |
source
|
protected int |
type
|
Constructor Summary |
GuiEvent(java.lang.Object eventSource,
int eventType)
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
source
protected java.lang.Object source
type
protected int type
GuiEvent
public GuiEvent(java.lang.Object eventSource,
int eventType)
getType
public int getType()
getSource
public java.lang.Object getSource()
addParameter
public void addParameter(java.lang.Object param)
- adds a new parameter to this event
- Parameters:
param
- is the parameter
getParameter
public java.lang.Object getParameter(int number)
- get the parameter in the given position
- Returns:
- the Object with the prameter
getAllParameter
public Iterator getAllParameter()
- get an Iterator over all the parameters