private static final class CaseInsensitiveLocation.Cache extends Object
| Modifier and Type | Field and Description |
|---|---|
private HashMap<String,HashMap<String,String>> |
cache
Mapping of directory names to directory content, the content being
a mapping of case insensitive name to case sensitive (real) name
on disc.
|
| Constructor and Description |
|---|
CaseInsensitiveLocation.Cache()
The constructor.
|
| Modifier and Type | Method and Description |
|---|---|
private HashMap<String,String> |
fill(Location dir)
Fill the cache with the content for the specified directory.
|
void |
invalidate()
Remove all content from the cache.
|
void |
invalidate(Location dir)
Remove a directory from the cache.
|
Location |
lookup(Location name)
Look up a filename in the cache.
|
public CaseInsensitiveLocation.Cache()
private HashMap<String,String> fill(Location dir) throws IOException
dir - the directory to cache.IOExceptionpublic void invalidate(Location dir)
dir - the directory to remove.public void invalidate()
public Location lookup(Location name) throws IOException
name - the name to look up (case insensitive).IOExceptionCopyright © 2016 Open Microscopy Environment