public interface RepositorySourceProvider
RepositorySources.| Modifier and Type | Method and Description |
|---|---|
boolean |
addSource(RepositorySource source)
Add a source to this provider, if this provider is editable.
|
java.util.List<RepositorySource> |
getSources(Downloader downloader,
ProgressIndicator logger,
boolean forceRefresh)
Gets the
RepositorySources from this provider. |
boolean |
isModifiable() |
boolean |
removeSource(RepositorySource source)
Remove the given source from this provider, if this provider is editable.
|
void |
save(ProgressIndicator progress)
If any changes have been made, persist them.
|
@NonNull java.util.List<RepositorySource> getSources(@Nullable Downloader downloader, @NonNull ProgressIndicator logger, boolean forceRefresh)
RepositorySources from this provider.downloader - The Downloader, if required by this provider.logger - A ProgressIndicator to be used for showing progress and logging.forceRefresh - If true, this provider should refresh its list of sources, rather than
using a cached version.boolean addSource(@NonNull
RepositorySource source)
getSources(Downloader, ProgressIndicator, boolean), but not
persisted until save(ProgressIndicator) is called.source - The source to add.true if the source was successfully added, false otherwise.boolean isModifiable()
true if this provider can be edited (that is, it has a facility for saving
and loading changes), false otherwise.void save(@NonNull
ProgressIndicator progress)
boolean removeSource(@NonNull
RepositorySource source)
source - The source to remove.true if the source was successfully removed, false otherwise.addSource(RepositorySource)