public class StreamManager extends Object
Modifier and Type | Field and Description |
---|---|
static boolean |
logAllLookups |
Constructor and Description |
---|
StreamManager() |
Modifier and Type | Method and Description |
---|---|
void |
addLocator(Locator loc)
Add a locator to the end of the locators list
|
void |
clearLocators()
Remove all locators
|
static StreamManager |
get() |
LocationMapper |
getLocationMapper()
Get the location mapping
|
List<Locator> |
locators()
Return an immutable list of all the handlers
|
static StreamManager |
makeDefaultStreamManager()
|
String |
mapURI(String filenameOrURI)
Apply the mapping of a filename or URI
|
TypedInputStream |
open(String filenameOrURI)
Open a file using the locators of this FileManager.
|
TypedInputStream |
openNoMap(String filenameOrURI)
Open a file using the locators of this FileManager
but without location mapping.
|
TypedInputStream |
openNoMapOrNull(String filenameOrURI)
Open a file using the locators of this FileManager
without location mapping.
|
void |
remove(Locator loc)
Remove a locator
|
static void |
setGlobal(StreamManager streamManager) |
void |
setLocationMapper(LocationMapper _mapper)
Set the location mapping
|
public static StreamManager makeDefaultStreamManager()
public static StreamManager get()
public static void setGlobal(StreamManager streamManager)
public TypedInputStream open(String filenameOrURI)
public TypedInputStream openNoMap(String filenameOrURI)
public TypedInputStream openNoMapOrNull(String filenameOrURI)
public void setLocationMapper(LocationMapper _mapper)
public LocationMapper getLocationMapper()
public void remove(Locator loc)
public void clearLocators()
public void addLocator(Locator loc)
Licenced under the Apache License, Version 2.0