public class IndexNamesRegistry
extends java.lang.Object
| Constructor and Description |
|---|
IndexNamesRegistry(java.io.File savedIndexNamesFile,
IPath javaPluginWorkingLocation) |
| Modifier and Type | Method and Description |
|---|---|
void |
delete() |
char[][] |
read(IProgressMonitor monitor)
Returns the contents of the index names registry.
|
void |
write(char[][] newContents) |