public interface BrowserControllerListener
| Modifier and Type | Method and Description |
|---|---|
void |
selectedChannelGroupChanged(BrowserController source,
ChannelGroup newGroup)
event indicating that the selected channel group changed
|
void |
selectedSignalsChanged(BrowserController source,
java.util.Collection<java.lang.String> selectedSignals)
Event indicating that the selected signals have changed
|
void |
snapshotSelected(BrowserController controller,
MachineSnapshot snapshot)
event indicating that a snapshot has been selected
|
void snapshotSelected(BrowserController controller, MachineSnapshot snapshot)
controller - The controller managing selection statesnapshot - The snapshot that has been selectedvoid selectedChannelGroupChanged(BrowserController source, ChannelGroup newGroup)
source - the browser controller sending this noticenewGroup - the newly selected channel groupvoid selectedSignalsChanged(BrowserController source, java.util.Collection<java.lang.String> selectedSignals)
source - the controller sending the eventselectedSignals - the new collection of selected signals