public interface Resolver
| Modifier and Type | Method and Description |
|---|---|
List<String> |
getChildren(String url)
Returns the list of child resources of the resource identified by the URL.
|
long |
getTimestamp(String url)
Returns the modification date of the resource.
|
void |
observeChange(String url,
Consumer<InputStream> consumer)
Calls the consumer when the InputStream for the requested URL changes.
|
InputStream |
resolve(String url)
Returns the InputStream for the requested URL.
|
InputStream resolve(String url) throws ResourceRetrievalException
ResourceRetrievalException - if the resource identified by the URL does not exist.void observeChange(String url, Consumer<InputStream> consumer) throws ResourceRetrievalException
ResourceRetrievalException - if the resource identified by the URL does not exist.List<String> getChildren(String url) throws FileNotFoundException
FileNotFoundException - if the resource identified by the URL does not exist.long getTimestamp(String url) throws FileNotFoundException
FileNotFoundException - if the resource identified by the URL does not exist.Copyright © 2022. All Rights Reserved.