|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Utility class for converting local URLs to remote URLs and vice versa. used for mapping between a locally mirrored file and its remote counterpart. Created on Jan 23, 2004
| Method Summary | |
boolean |
containsLocalFile(java.io.File f)
Indicates whether the mapping contains the local file |
boolean |
containsRemoteURL(java.net.URL u)
Indicates whether the mapping contains the remote URL |
java.lang.String |
getDefaultIndexName()
Returns the default name given to remote URLs which do not have a file name component. |
java.net.URL |
localFileToRemoteURL(java.io.File f)
Creates a remote URL from a local URL. |
java.io.File |
remoteURLToLocalFile(java.net.URL u)
Creates a local URL from a remote URL. |
void |
setDefaultIndexName(java.lang.String name)
Sets the default index name to the specified string. |
| Method Detail |
public java.io.File remoteURLToLocalFile(java.net.URL u)
u - The remote URL.public java.net.URL localFileToRemoteURL(java.io.File f)
u - The local URL.public java.lang.String getDefaultIndexName()
public void setDefaultIndexName(java.lang.String name)
name - String to use as the default index name.public boolean containsLocalFile(java.io.File f)
f - the filepublic boolean containsRemoteURL(java.net.URL u)
u - the url
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||