public class KernelPoolEvent
extends java.util.EventObject
SPICE_Menu
) when the SPICE kernel
pool is updated (such as when a kernel is added to or removed from the
pool). The event is passed to every KernelPoolListener
object
that registered to receive such events using the producer's
addKernelPoolListener method.
The contents of the kernel pool at the time of the creation of an object of
this class are available via the getPoolContents()
method.
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ID
Class identification name with source code version and date.
|
Constructor and Description |
---|
KernelPoolEvent(java.lang.Object source)
Creates a new kernel pool event with the indicated source.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
getPoolContents()
Gets the list of kernels in the kernel pool at the time of the event's
creation.
|
java.lang.String |
toString()
Gets a text description of this kernel pool event.
|
public static final java.lang.String ID
public KernelPoolEvent(java.lang.Object source)
getPoolContents()
method.source
- the producer of the kernel pool event.java.lang.IllegalArgumentException
- if source is null.public final java.util.List<java.lang.String> getPoolContents()
public java.lang.String toString()
toString
in class java.util.EventObject
Copyright \ (C) Arizona Board of Regents on behalf of the \ Planetary Image Research Laboratory, Lunar and \ Planetary Laboratory at the University of Arizona