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