public interface RepositoryManagerListener
Modifier and Type | Method and Description |
---|---|
void |
initialized(RepositoryManager manager) |
void |
refreshed(RepositoryManager manager) |
void |
shutDown(RepositoryManager manager) |
void initialized(RepositoryManager manager)
void refreshed(RepositoryManager manager)
void shutDown(RepositoryManager manager)
Copyright © 2015-2020 Eclipse Foundation. All Rights Reserved.