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
|
StreamManager |
clone()
Create a deep copy of this StreamManager
|
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 StreamManager clone()
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