public interface InstrumentManagerConnectionListener
| Modifier and Type | Method and Description |
|---|---|
void |
closed(InstrumentManagerConnection connection)
Called when the connection is closed.
|
void |
deleted(InstrumentManagerConnection connection)
Called when the connection is deleted.
|
void |
opened(InstrumentManagerConnection connection)
Called when the connection is opened.
|
void opened(InstrumentManagerConnection connection)
connection - Connection which was opened.void closed(InstrumentManagerConnection connection)
connection - Connection which was closed.void deleted(InstrumentManagerConnection connection)
connection - Connection which was deleted.