public interface URLMap
| Modifier and Type | Interface and Description |
|---|---|
static class |
URLMap.Result |
| Modifier and Type | Method and Description |
|---|---|
void |
addEntry(java.lang.String urlprefix,
java.lang.String fileprefix)
Add an entry into the map.
|
URLMap.Result |
mapPath(java.lang.String path)
Inverse of mapURL; returns a url path and suffix: U,S
such that mapURL(U)+S = path
Return a Pair specifying:
1.
|
URLMap.Result |
mapURL(java.lang.String urlpath)
Use some maximal prefix of the url path
to locate the associated file path prefix.
|
URLMap.Result mapURL(java.lang.String urlpath) throws dap4.core.util.DapException
urlpath - a string specifying the url path to be mappeddap4.core.util.DapException - if the map fails
Note that this map does not deal with the whole url, only the path part
because as a rule, the host+port is unknown at the time the map is built
and also because there might be multiple hosts using the same map.URLMap.Result mapPath(java.lang.String path) throws dap4.core.util.DapException
path - a string specifying the file path to be mappeddap4.core.util.DapException - if the map fails
This is an optional operation and if not supported,
throw UnsupportedOperationException.void addEntry(java.lang.String urlprefix,
java.lang.String fileprefix)
throws dap4.core.util.DapException
urlprefix - fileprefix - dap4.core.util.DapException