public class Configuration
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
RM_GLOBAL |
static int |
RM_WITH_CACHE |
Modifier and Type | Method and Description |
---|---|
void |
addRootInfoListener(RootInfoListener listener) |
void |
configureResolver(HandleResolver resolver) |
static Configuration |
defaultConfiguration()
Get the current default configuration.
|
SiteInfo[] |
getCacheSites() |
java.io.File |
getConfigDir() |
NamespaceInfo |
getGlobalNamespace() |
SiteInfo[] |
getGlobalSites() |
HandleValue[] |
getGlobalValues() |
java.util.Map |
getLocalAddressMap()
Gets the mapping of addresses to local addresses
|
SiteInfo[] |
getLocalSites(byte[] na) |
SiteInfo[] |
getLocalSites(java.lang.String na) |
int |
getResolutionMethod() |
java.net.InetAddress |
mapLocalAddress(java.net.InetAddress addr)
If the given address appears in the local address map return the
address to which it is mapped.
|
void |
notifyRootInfoOutdated() |
void |
refreshRootInfoFromNet() |
void |
removeRootInfoListener(RootInfoListener listener) |
void |
saveGlobalValues()
save the default global values in the users' config directory
|
void |
saveLocalAddressMap()
Saves the local address map to the appropriate configuration file
|
void |
setCacheSites(SiteInfo[] cacheSites) |
void |
setConfigDir(java.io.File newConfigDir) |
void |
setGlobalSites(SiteInfo[] globalSites) |
void |
setGlobalValues(HandleValue[] globalValues) |
void |
setGlobalValuesFile(java.io.File newGlobalValuesFile) |
void |
setLocalAddressMap(java.util.Map localAddrMap)
Sets a map that converts IP addresses to alternate addresses.
|
void |
setLocalSites(byte[] na,
SiteInfo[] sites) |
void |
setLocalSites(java.lang.String na,
SiteInfo[] sites) |
void |
setResolutionMethod(int resolutionMethod) |
public static final int RM_GLOBAL
public static final int RM_WITH_CACHE
public static final Configuration defaultConfiguration()
public void configureResolver(HandleResolver resolver)
public void setLocalSites(java.lang.String na, SiteInfo[] sites)
public void setLocalSites(byte[] na, SiteInfo[] sites)
public void setLocalAddressMap(java.util.Map localAddrMap)
public void saveLocalAddressMap() throws java.io.IOException
java.io.IOException
public java.util.Map getLocalAddressMap()
public java.net.InetAddress mapLocalAddress(java.net.InetAddress addr)
public SiteInfo[] getLocalSites(java.lang.String na)
public SiteInfo[] getLocalSites(byte[] na)
public void setGlobalValues(HandleValue[] globalValues)
public void setGlobalValuesFile(java.io.File newGlobalValuesFile)
public void saveGlobalValues()
public void setConfigDir(java.io.File newConfigDir)
public java.io.File getConfigDir()
public HandleValue[] getGlobalValues()
public NamespaceInfo getGlobalNamespace()
public void setGlobalSites(SiteInfo[] globalSites)
public SiteInfo[] getGlobalSites()
public void setCacheSites(SiteInfo[] cacheSites)
public SiteInfo[] getCacheSites()
public int getResolutionMethod()
public void setResolutionMethod(int resolutionMethod)
public void addRootInfoListener(RootInfoListener listener)
public void removeRootInfoListener(RootInfoListener listener)
public void notifyRootInfoOutdated()
public void refreshRootInfoFromNet() throws HandleException
HandleException