public static interface DBObjectProviderFactory.Listener
Modifier and Type | Method and Description |
---|---|
void |
providerCreated(java.lang.Object identifier, DBObjectProvider pro)
Notifies that the given provider has been cached with the given identifier.
|
void |
providerDeleted(java.lang.Object identifier, DBObjectProvider pro)
Notifies that the given provider has been deleted from the IDE.
|
void |
providerRemoved(java.lang.Object identifier, DBObjectProvider pro)
Notifies that the given provider has been uncached from the given identifier.
|
void providerCreated(java.lang.Object identifier, DBObjectProvider pro)
void providerRemoved(java.lang.Object identifier, DBObjectProvider pro)
void providerDeleted(java.lang.Object identifier, DBObjectProvider pro)