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
).
@see jade.gui.GuiAgent
@author Giovanni Caire - CSELT S.p.A.
@version $Date: 2003-11-20 11:55:37 +0100 (gio, 20 nov 2003) $ $Revision: 4572 $
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|