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)
           
 
Method Summary
 void addParameter(java.lang.Object param)
          adds a new parameter to this event
 Iterator getAllParameter()
          get an Iterator over all the parameters
 java.lang.Object getParameter(int number)
          get the parameter in the given position
 java.lang.Object getSource()
           
 int getType()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

source

protected java.lang.Object source

type

protected int type
Constructor Detail

GuiEvent

public GuiEvent(java.lang.Object eventSource,
                int eventType)
Method Detail

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