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.IOException
public 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).IOException
Copyright © 2015 Open Microscopy Environment