public interface KernelPoolListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
kernelPoolChanged(KernelPoolEvent e)
Invoked when the SPICE kernel pool changes.
|
void kernelPoolChanged(KernelPoolEvent e)
e
- the kernel pool change event.Copyright \ (C) Arizona Board of Regents on behalf of the \ Planetary Image Research Laboratory, Lunar and \ Planetary Laboratory at the University of Arizona