public final class SourcePathCache
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private static class |
SourcePathCache.CacheEntry |
private static class |
SourcePathCache.FileExtensionFilter |
Modifier and Type | Field and Description |
---|---|
private static SourcePathCache.FileExtensionFilter |
FILE_EXTENSION_FILTER |
private java.util.Map |
m_packageCache |
private java.io.File[] |
m_sourcepath |
Constructor and Description |
---|
SourcePathCache(java.io.File[] sourcepath,
boolean removeNonExistent) |
SourcePathCache(java.lang.String[] sourcepath,
boolean removeNonExistent) |
Modifier and Type | Method and Description |
---|---|
private java.util.Set |
faultListing(java.io.File dir,
java.lang.String packageVMName) |
java.io.File |
find(java.lang.String packageVMName,
java.lang.String name) |
private final java.io.File[] m_sourcepath
private final java.util.Map m_packageCache
private static final SourcePathCache.FileExtensionFilter FILE_EXTENSION_FILTER